@microsoft/typespec-msgraph 0.0.1-Preview.2 → 0.0.1-Preview.20

package/dist/src/rules/count.js

@@ -1,21 +1,23 @@
-import { createRule } from "@typespec/lint";
+import { navigateTypesInNamespace } from "@typespec/compiler";
 import { getOperationVerb } from "@typespec/http";
 import { isCount } from "../index.js";
+import { isTypeCollection } from "../utils.js";
 import { reportDiagnostic } from "../lib.js";
+import { GetDeclaredNamespaces } from "../entities/namespace.js";
 /**
  * @count applies to get operations that return collections.
  */
-export const countAppliesToGetOperationsThatReturnCollectionsRule = createRule({
-    name: "count-applies-to-get-operations-that-return-collections",
-    create({ program }) {
-        return {
+export function validateCountAppliesToGetOperationsThatReturnCollections(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
             operation: (operation) => {
                 if (!isCount(program, operation)) {
                     return;
                 }
                 if (getOperationVerb(program, operation) === "get") {
                     const returnType = operation.returnType;
-                    if (returnType.kind === "Model" && returnType.name === "PagedListResponse") {
+                    const isCollection = isTypeCollection(program, returnType);
+                    if (isCollection) {
                         return;
                     }
                 }
@@ -29,7 +31,8 @@ export const countAppliesToGetOperationsThatReturnCollectionsRule = createRule({
                     },
                 });
             },
-        };
-    },
-});
+        });
+    }
+}
+;
 //# sourceMappingURL=count.js.map

package/dist/src/rules/count.js.map

@@ -1 +1 @@
-{"version":3,"file":"count.js","sourceRoot":"","sources":["../../../src/rules/count.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAE7C;;GAEG;AACH,MAAM,CAAC,MAAM,oDAAoD,GAAG,UAAU,CAAC;IAC7E,IAAI,EAAE,yDAAyD;IAC/D,MAAM,CAAC,EAAE,OAAO,EAAE;QAChB,OAAO;YACL,SAAS,EAAE,CAAC,SAAS,EAAE,EAAE;gBACvB,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE;oBAChC,OAAO;iBACR;gBAED,IAAI,gBAAgB,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,KAAK,EAAE;oBAClD,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC;oBACxC,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,IAAI,KAAK,mBAAmB,EAAE;wBAC1E,OAAO;qBACR;iBACF;gBAED,gBAAgB,CAAC,OAAO,EAAE;oBACxB,IAAI,EAAE,uBAAuB;oBAC7B,MAAM,EAAE,SAAS;oBACjB,SAAS,EAAE,WAAW;oBACtB,MAAM,EAAE;wBACN,SAAS,EAAE,QAAQ;wBACnB,MAAM,EAAE,yCAAyC;qBAClD;iBACF,CAAC,CAAC;YACL,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}
+{"version":3,"file":"count.js","sourceRoot":"","sources":["../../../src/rules/count.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAEjE;;GAEG;AACH,MAAM,UAAU,wDAAwD,CAAC,OAAgB;IACvF,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,wBAAwB,CAAC,SAAS,EAAE;YAClC,SAAS,EAAE,CAAC,SAAS,EAAE,EAAE;gBACvB,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;oBACjC,OAAO;gBACT,CAAC;gBAED,IAAI,gBAAgB,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,KAAK,EAAE,CAAC;oBACnD,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC;oBACxC,MAAM,YAAY,GAAG,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;oBAC3D,IAAI,YAAY,EAAE,CAAC;wBACjB,OAAO;oBACT,CAAC;gBACH,CAAC;gBAED,gBAAgB,CAAC,OAAO,EAAE;oBACxB,IAAI,EAAE,uBAAuB;oBAC7B,MAAM,EAAE,SAAS;oBACjB,SAAS,EAAE,WAAW;oBACtB,MAAM,EAAE;wBACN,SAAS,EAAE,QAAQ;wBACnB,MAAM,EAAE,yCAAyC;qBAClD;iBACF,CAAC,CAAC;YACL,CAAC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAAA,CAAC"}

package/dist/src/rules/delta.d.ts

@@ -0,0 +1,8 @@
+import { Program } from "@typespec/compiler";
+export declare function validateDeltaCanOnlyBeAppliedToFunctionsNamedDelta(program: Program): void;
+export declare function validateDeltaCanOnlyBeUsedWithFunctions(program: Program): void;
+export declare function validateDeltaCanOnlyBeUsedInCollectionInterfacesThatExtendEntityTypes(program: Program): void;
+export declare function validateInterfaceWithDeltaDefinitionMustIncludeAGetOperation(program: Program): void;
+export declare function validateDeltaFunctionReturnTypeMustBeCollectionOfEntityType(program: Program): void;
+export declare function validateNavigationPropertyShouldBeTargettedByOneInterfaceWithDelta(program: Program): void;
+//# sourceMappingURL=delta.d.ts.map

package/dist/src/rules/delta.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"delta.d.ts","sourceRoot":"","sources":["../../../src/rules/delta.ts"],"names":[],"mappings":"AAAA,OAAO,EAA8C,OAAO,EAAiG,MAAM,oBAAoB,CAAC;AAOxL,wBAAgB,kDAAkD,CAAC,OAAO,EAAE,OAAO,QAmBlF;AAED,wBAAgB,uCAAuC,CAAC,OAAO,EAAE,OAAO,QAkBvE;AAED,wBAAgB,qEAAqE,CAAC,OAAO,EAAE,OAAO,QAwBrG;AAED,wBAAgB,4DAA4D,CAAC,OAAO,EAAE,OAAO,QA2B5F;AAED,wBAAgB,2DAA2D,CAAC,OAAO,EAAE,OAAO,QAiC3F;AAED,wBAAgB,kEAAkE,CAAC,OAAO,EAAE,OAAO,QA+BlG"}

package/dist/src/rules/delta.js

@@ -0,0 +1,204 @@
+import { getPropertyType, navigateTypesInNamespace } from "@typespec/compiler";
+import { GetDeclaredNamespaces } from "../entities/namespace.js";
+import { isDelta, isEntity, isFunction } from "../index.js";
+import { reportDiagnostic } from "../lib.js";
+import { extractTypesFromUnion, filterMapByIdenticalValues, getNavigationSourceType, getSourceInterfaces, isCollection, isNavigationProperty } from "../utils.js";
+import { getOperationVerb } from "@typespec/http";
+export function validateDeltaCanOnlyBeAppliedToFunctionsNamedDelta(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            operation: (theOperation) => {
+                if (isDelta(program, theOperation)) {
+                    if (theOperation.name === "delta") {
+                        return;
+                    }
+                    reportDiagnostic(program, {
+                        code: "decorator-invalid-use",
+                        target: theOperation,
+                        messageId: "deltaCanOnlyBeAppliedToFunctionsNamedDelta",
+                        format: {}
+                    });
+                }
+            }
+        });
+    }
+}
+export function validateDeltaCanOnlyBeUsedWithFunctions(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            operation: (theOperation) => {
+                if (isDelta(program, theOperation)) {
+                    if (isFunction(program, theOperation)) {
+                        return;
+                    }
+                    reportDiagnostic(program, {
+                        code: "decorator-invalid-use",
+                        target: theOperation,
+                        messageId: "deltaCanOnlyBeUsedWithFunctions",
+                        format: {}
+                    });
+                }
+            }
+        });
+    }
+}
+export function validateDeltaCanOnlyBeUsedInCollectionInterfacesThatExtendEntityTypes(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            operation: (theOperation) => {
+                if (isDelta(program, theOperation)) {
+                    const navigationBindingType = getNavigationSourceType(program, theOperation);
+                    if (theOperation.interface) {
+                        const theInterfaces = getSourceInterfaces(theOperation.interface);
+                        if (isCollection(theInterfaces) &&
+                            navigationBindingType && isEntity(program, navigationBindingType)) {
+                            return;
+                        }
+                        reportDiagnostic(program, {
+                            code: "decorator-invalid-use",
+                            target: theOperation.interface,
+                            messageId: "deltaCanOnlyBeUsedInCollectionInterfacesThatExtendEntityTypes",
+                            format: {}
+                        });
+                    }
+                }
+            }
+        });
+    }
+}
+export function validateInterfaceWithDeltaDefinitionMustIncludeAGetOperation(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            interface: (theInterface) => {
+                const hasDelta = [...theInterface.operations]
+                    .map(([_, operation]) => operation)
+                    .some((operation) => isDelta(program, operation));
+                if (hasDelta) {
+                    const getOperations = [...theInterface.operations]
+                        .map(([_, operation]) => operation)
+                        .filter((operation) => getOperationVerb(program, operation) === "get");
+                    if (getOperations.length > 0) {
+                        return;
+                    }
+                    reportDiagnostic(program, {
+                        code: "decorator-invalid-use",
+                        target: theInterface,
+                        messageId: "interfaceWithDeltaDefinitionMustIncludeAGetOperation",
+                        format: {}
+                    });
+                }
+            }
+        });
+    }
+}
+export function validateDeltaFunctionReturnTypeMustBeCollectionOfEntityType(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            operation: (theOperation) => {
+                if (isDelta(program, theOperation)) {
+                    const returnType = theOperation.returnType;
+                    if (returnType) {
+                        if (returnType.kind === "Union") {
+                            const unionTypes = extractTypesFromUnion(returnType);
+                            for (const unionType of unionTypes) {
+                                if (unionType.kind === "Model") {
+                                    return;
+                                }
+                            }
+                        }
+                        if (returnType.kind === "Model") {
+                            return;
+                        }
+                    }
+                    if (returnedValueResolvedToAModel(returnType)) {
+                        return;
+                    }
+                    reportDiagnostic(program, {
+                        code: "decorator-invalid-use",
+                        target: returnType,
+                        messageId: "deltaFunctionReturnTypeMustBeCollectionOfEntityType",
+                        format: {}
+                    });
+                }
+            }
+        });
+    }
+}
+export function validateNavigationPropertyShouldBeTargettedByOneInterfaceWithDelta(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        // Get all delta interfaces with the same navigation source
+        const deltaInterfacesWithSameNavigationSource = getInterfacesWithNavigationSources(program, namespace.interfaces);
+        const allRepeatedNavigationSources = [...deltaInterfacesWithSameNavigationSource.values()];
+        // Get all navigation properties that are used in the models
+        const navigationPropertyTypes = getNavigationPropertyTypes(program, namespace);
+        // Check if the navigation source type is used as a navigation property in the models and add them to a list to report all at once
+        let modelPropertiesToReport = [];
+        for (let i = 0; i < navigationPropertyTypes.length; i++) {
+            if (allRepeatedNavigationSources.includes(navigationPropertyTypes[i].name)) {
+                modelPropertiesToReport.push(navigationPropertyTypes[i].name);
+            }
+        }
+        modelPropertiesToReport = [...new Set(modelPropertiesToReport)];
+        if (modelPropertiesToReport.length > 0) {
+            console.log("reporting");
+            reportDiagnostic(program, {
+                code: "decorator-invalid-use",
+                target: navigationPropertyTypes.find((model) => model.name === modelPropertiesToReport[0]), // Because we cannot target more than one at a time
+                messageId: "navigationPropertyShouldBeTargettedWithOneInterface",
+                format: {
+                    models: modelPropertiesToReport.join(", ")
+                }
+            });
+        }
+    }
+}
+function getNavigationPropertyTypes(program, namespace) {
+    const modelsInNamespace = [...namespace.models].map(([_, model]) => model);
+    const allModelProperties = modelsInNamespace.flatMap((model) => model.properties);
+    let navigationPropertyTypes = [];
+    for (const properties of allModelProperties) {
+        for (const [_, property] of properties) {
+            if (isNavigationProperty(program, property) && getPropertyType(property).kind === "Model") {
+                navigationPropertyTypes.push(property.type);
+            }
+        }
+    }
+    return navigationPropertyTypes;
+}
+function getInterfacesWithNavigationSources(program, interfaces) {
+    const interfacesWithNavigationSourceType = new Map();
+    for (const [_, theInterface] of interfaces) {
+        const theOperations = theInterface.operations;
+        for (const [_, theOperation] of theOperations) {
+            if (isDelta(program, theOperation)) {
+                const navigationSourceType = getNavigationSourceType(program, theOperation);
+                if (navigationSourceType) {
+                    interfacesWithNavigationSourceType.set(theInterface, navigationSourceType.name);
+                }
+            }
+        }
+    }
+    return filterMapByIdenticalValues(interfacesWithNavigationSourceType);
+}
+/**
+ * GetCollection, GetMediaValue, GetPagedCollection, GetResource all return Models, but the @function
+ * return type resolves them to an Operation kind.
+ * @param returnType
+ * @returns
+ */
+function returnedValueResolvedToAModel(returnType) {
+    const operationReturnTypes = ["GetCollection", "GetPagedCollection"];
+    if (returnType.kind === "Union") {
+        const unionTypes = extractTypesFromUnion(returnType);
+        for (const unionType of unionTypes) {
+            if (unionType.kind === "Operation") {
+                return operationReturnTypes.includes(unionType.name);
+            }
+        }
+    }
+    if (returnType.kind === "Operation") {
+        return operationReturnTypes.includes(returnType.name);
+    }
+    return false;
+}
+//# sourceMappingURL=delta.js.map

package/dist/src/rules/delta.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"delta.js","sourceRoot":"","sources":["../../../src/rules/delta.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkF,eAAe,EAAE,wBAAwB,EAA2B,MAAM,oBAAoB,CAAC;AACxL,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,qBAAqB,EAAE,0BAA0B,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,YAAY,EAAE,oBAAoB,EAAW,MAAM,aAAa,CAAC;AAC3K,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAElD,MAAM,UAAU,kDAAkD,CAAC,OAAgB;IACjF,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,wBAAwB,CAAC,SAAS,EAAE;YAClC,SAAS,EAAE,CAAC,YAAY,EAAE,EAAE;gBAC1B,IAAG,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,EAAC,CAAC;oBACjC,IAAG,YAAY,CAAC,IAAI,KAAK,OAAO,EAChC,CAAC;wBACC,OAAO;oBACT,CAAC;oBACD,gBAAgB,CAAC,OAAO,EAAE;wBACxB,IAAI,EAAE,uBAAuB;wBAC7B,MAAM,EAAE,YAAY;wBACpB,SAAS,EAAE,4CAA4C;wBACvD,MAAM,EAAE,EAAE;qBACX,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;SACF,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uCAAuC,CAAC,OAAgB;IACtE,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,wBAAwB,CAAC,SAAS,EAAE;YAClC,SAAS,EAAE,CAAC,YAAY,EAAE,EAAE;gBAC1B,IAAG,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;oBAClC,IAAG,UAAU,CAAC,OAAO,EAAE,YAAY,CAAC,EAAC,CAAC;wBACpC,OAAO;oBACT,CAAC;oBACD,gBAAgB,CAAC,OAAO,EAAE;wBACxB,IAAI,EAAE,uBAAuB;wBAC7B,MAAM,EAAE,YAAY;wBACpB,SAAS,EAAE,iCAAiC;wBAC5C,MAAM,EAAE,EAAE;qBACX,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;SACF,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qEAAqE,CAAC,OAAgB;IACpG,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,wBAAwB,CAAC,SAAS,EAAE;YAClC,SAAS,EAAE,CAAC,YAAY,EAAE,EAAE;gBAC1B,IAAG,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,EAAC,CAAC;oBACjC,MAAM,qBAAqB,GAAG,uBAAuB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;oBAC7E,IAAG,YAAY,CAAC,SAAS,EAAC,CAAC;wBACzB,MAAM,aAAa,GAAG,mBAAmB,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;wBAClE,IAAG,YAAY,CAAC,aAAa,CAAC;4BAC9B,qBAAqB,IAAI,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAC,EACjE,CAAC;4BACC,OAAO;wBACT,CAAC;wBACD,gBAAgB,CAAC,OAAO,EAAE;4BACxB,IAAI,EAAE,uBAAuB;4BAC7B,MAAM,EAAE,YAAY,CAAC,SAAS;4BAC9B,SAAS,EAAE,+DAA+D;4BAC1E,MAAM,EAAE,EAAE;yBACX,CAAC,CAAA;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC,CAAC;IACN,CAAC;AACF,CAAC;AAED,MAAM,UAAU,4DAA4D,CAAC,OAAgB;IAE3F,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,wBAAwB,CAAC,SAAS,EAAE;YAClC,SAAS,EAAE,CAAC,YAAY,EAAE,EAAE;gBAC1B,MAAM,QAAQ,GAAG,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC;qBAC5C,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC;qBAClC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;gBAClD,IAAG,QAAQ,EAAC,CAAC;oBACX,MAAM,aAAa,GAAG,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC;yBACjD,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC;yBAClC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,KAAK,CAAC,CAAC;oBAEvE,IAAG,aAAa,CAAC,MAAM,GAAG,CAAC,EAAC,CAAC;wBAC3B,OAAO;oBACT,CAAC;oBAED,gBAAgB,CAAC,OAAO,EAAE;wBACxB,IAAI,EAAE,uBAAuB;wBAC7B,MAAM,EAAE,YAAY;wBACpB,SAAS,EAAE,sDAAsD;wBACjE,MAAM,EAAE,EAAE;qBACX,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;SACF,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,2DAA2D,CAAC,OAAgB;IAE1F,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,wBAAwB,CAAC,SAAS,EAAE;YAClC,SAAS,EAAE,CAAC,YAAY,EAAE,EAAE;gBAC1B,IAAG,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,EAAC,CAAC;oBACjC,MAAM,UAAU,GAAG,YAAY,CAAC,UAAU,CAAC;oBAC3C,IAAG,UAAU,EAAC,CAAC;wBACb,IAAG,UAAU,CAAC,IAAI,KAAK,OAAO,EAAC,CAAC;4BAC9B,MAAM,UAAU,GAAG,qBAAqB,CAAC,UAAmB,CAAC,CAAC;4BAC9D,KAAI,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;gCAClC,IAAG,SAAS,CAAC,IAAI,KAAK,OAAO,EAAC,CAAC;oCAC7B,OAAO;gCACT,CAAC;4BACH,CAAC;wBACH,CAAC;wBACD,IAAG,UAAU,CAAC,IAAI,KAAK,OAAO,EAAC,CAAC;4BAC9B,OAAO;wBACT,CAAC;oBACH,CAAC;oBACD,IAAG,6BAA6B,CAAC,UAAU,CAAC,EAAC,CAAC;wBAC5C,OAAO;oBACT,CAAC;oBACD,gBAAgB,CAAC,OAAO,EAAE;wBACxB,IAAI,EAAE,uBAAuB;wBAC7B,MAAM,EAAE,UAAU;wBAClB,SAAS,EAAE,qDAAqD;wBAChE,MAAM,EAAE,EAAE;qBACX,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;SACF,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,kEAAkE,CAAC,OAAgB;IAEjG,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAC,CAAC;QACtD,2DAA2D;QAC3D,MAAM,uCAAuC,GAA4B,kCAAkC,CAAC,OAAO,EAAE,SAAS,CAAC,UAAU,CAAC,CAAC;QAC3I,MAAM,4BAA4B,GAAG,CAAC,GAAG,uCAAuC,CAAC,MAAM,EAAE,CAAC,CAAC;QAE3F,4DAA4D;QAC5D,MAAM,uBAAuB,GAAG,0BAA0B,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAE/E,kIAAkI;QAClI,IAAI,uBAAuB,GAAa,EAAE,CAAC;QAC3C,KAAI,IAAI,CAAC,GAAC,CAAC,EAAE,CAAC,GAAC,uBAAuB,CAAC,MAAM,EAAE,CAAC,EAAE,EAClD,CAAC;YACC,IAAG,4BAA4B,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAC,CAAC;gBACzE,uBAAuB,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChE,CAAC;QACH,CAAC;QACD,uBAAuB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,uBAAuB,CAAC,CAAC,CAAC;QAChE,IAAG,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAC,CAAC;YACrC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAA;YACxB,gBAAgB,CAAC,OAAO,EAAE;gBACxB,IAAI,EAAE,uBAAuB;gBAC7B,MAAM,EAAE,uBAAuB,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,uBAAuB,CAAC,CAAC,CAAC,CAAE,EAAE,mDAAmD;gBAChJ,SAAS,EAAE,qDAAqD;gBAChE,MAAM,EAAE;oBACN,MAAM,EAAE,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC;iBAC3C;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CAAC,OAAgB,EAAE,SAAoB;IACxE,MAAM,iBAAiB,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IAC3E,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAClF,IAAI,uBAAuB,GAAa,EAAE,CAAC;IAC3C,KAAI,MAAM,UAAU,IAAI,kBAAkB,EAAC,CAAC;QAC1C,KAAK,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,UAAU,EAAC,CAAC;YACtC,IAAI,oBAAoB,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,KAAK,OAAO,EACzF,CAAC;gBACC,uBAAuB,CAAC,IAAI,CAAE,QAAQ,CAAC,IAAc,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,uBAAuB,CAAC;AACjC,CAAC;AAED,SAAS,kCAAkC,CAAC,OAAgB,EAAE,UAAkC;IAC9F,MAAM,kCAAkC,GAA4B,IAAI,GAAG,EAAE,CAAC;IAC9E,KAAI,MAAM,CAAC,CAAC,EAAE,YAAY,CAAC,IAAI,UAAU,EAAE,CAAC;QAC1C,MAAM,aAAa,GAAG,YAAY,CAAC,UAAU,CAAC;QAC9C,KAAI,MAAM,CAAC,CAAC,EAAE,YAAY,CAAC,IAAI,aAAa,EAAC,CAAC;YAC5C,IAAG,OAAO,CAAC,OAAO,EAAE,YAAY,CAAC,EAAC,CAAC;gBACjC,MAAM,oBAAoB,GAAG,uBAAuB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;gBAC5E,IAAG,oBAAoB,EACvB,CAAC;oBACC,kCAAkC,CAAC,GAAG,CAAC,YAAY,EAAE,oBAAqB,CAAC,IAAI,CAAC,CAAC;gBACnF,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,0BAA0B,CAAC,kCAAkC,CAAC,CAAC;AACxE,CAAC;AAGD;;;;;GAKG;AACH,SAAS,6BAA6B,CAAC,UAAgB;IACrD,MAAM,oBAAoB,GAAG,CAAC,eAAe,EAAE,oBAAoB,CAAC,CAAA;IACpE,IAAG,UAAU,CAAC,IAAI,KAAK,OAAO,EAAC,CAAC;QAC9B,MAAM,UAAU,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;QACrD,KAAI,MAAM,SAAS,IAAI,UAAU,EAAC,CAAC;YACjC,IAAG,SAAS,CAAC,IAAI,KAAK,WAAW,EAAC,CAAC;gBACjC,OAAO,oBAAoB,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;IACH,CAAC;IACD,IAAG,UAAU,CAAC,IAAI,KAAK,WAAW,EAAC,CAAC;QAClC,OAAO,oBAAoB,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/src/rules/disallowed-typespec-decorators.d.ts

@@ -0,0 +1,3 @@
+import { Program } from "@typespec/compiler";
+export declare function validateDisallowedTypeSpecDecorators(program: Program): void;
+//# sourceMappingURL=disallowed-typespec-decorators.d.ts.map

package/dist/src/rules/disallowed-typespec-decorators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"disallowed-typespec-decorators.d.ts","sourceRoot":"","sources":["../../../src/rules/disallowed-typespec-decorators.ts"],"names":[],"mappings":"AAEA,OAAO,EAIL,OAAO,EAER,MAAM,oBAAoB,CAAC;AAE5B,wBAAgB,oCAAoC,CAAC,OAAO,EAAE,OAAO,QAkCpE"}

package/dist/src/rules/disallowed-typespec-decorators.js

@@ -0,0 +1,37 @@
+import { GetDeclaredNamespaces } from "../entities/namespace.js";
+import { reportDiagnostic } from "../lib.js";
+import { navigateTypesInNamespace, } from "@typespec/compiler";
+export function validateDisallowedTypeSpecDecorators(program) {
+    const denyList = [
+        "$friendlyName",
+        "$secret",
+        "$summary",
+        "$tag",
+        "$visibility",
+        "$withVisibility",
+        "$withUpdateableProperties",
+        "$withDefaultKeyVisibility",
+    ];
+    function validate(x) {
+        x.decorators.forEach((d) => {
+            if (denyList.indexOf(d.decorator.name) >= 0) {
+                reportDiagnostic(program, {
+                    code: "decorator-invalid-use",
+                    target: x,
+                    messageId: "disallowedTypeSpecDecorators",
+                    format: {
+                        decorator: d.decorator.name,
+                    },
+                });
+            }
+        });
+    }
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            model: validate,
+            modelProperty: validate,
+            interface: validate,
+        });
+    }
+}
+//# sourceMappingURL=disallowed-typespec-decorators.js.map

package/dist/src/rules/disallowed-typespec-decorators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"disallowed-typespec-decorators.js","sourceRoot":"","sources":["../../../src/rules/disallowed-typespec-decorators.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAKL,wBAAwB,GACzB,MAAM,oBAAoB,CAAC;AAE5B,MAAM,UAAU,oCAAoC,CAAC,OAAgB;IACnE,MAAM,QAAQ,GAAG;QACf,eAAe;QACf,SAAS;QACT,UAAU;QACV,MAAM;QACN,aAAa;QACb,iBAAiB;QACjB,2BAA2B;QAC3B,2BAA2B;KAC5B,CAAC;IAEF,SAAS,QAAQ,CAAC,CAAoC;QACpD,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YACzB,IAAI,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC5C,gBAAgB,CAAC,OAAO,EAAE;oBACxB,IAAI,EAAE,uBAAuB;oBAC7B,MAAM,EAAE,CAAC;oBACT,SAAS,EAAE,8BAA8B;oBACzC,MAAM,EAAE;wBACN,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI;qBAC5B;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,wBAAwB,CAAC,SAAS,EAAE;YAClC,KAAK,EAAE,QAAQ;YACf,aAAa,EAAE,QAAQ;YACvB,SAAS,EAAE,QAAQ;SACpB,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/src/rules/entity.d.ts

@@ -1,2 +1,7 @@
-export declare const entityMustHaveKeyRule: import("@typespec/lint").LintRule;
+import { Program } from "@typespec/compiler";
+export declare function validateEntityMustHaveKey(program: Program): void;
+export declare function validateKeyOnlyOnEntityNonNullablePrimitiveProperty(program: Program): void;
+export declare function validateExtendOnlyAppliesOnDifferentNamespaces(program: Program): void;
+export declare function validatePropertyTypeOfEntityTypeMustHaveContainsOrReferences(program: Program): void;
+export declare function validateEntityAndComplexAreMutuallyExclusive(program: Program): void;
 //# sourceMappingURL=entity.d.ts.map

package/dist/src/rules/entity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../../../src/rules/entity.ts"],"names":[],"mappings":"AAKA,eAAO,MAAM,qBAAqB,mCA2BhC,CAAC"}
+{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../../../src/rules/entity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAC6F,MAAM,oBAAoB,CAAC;AAMxI,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,QAsDzD;AAED,wBAAgB,mDAAmD,CAAC,OAAO,EAAE,OAAO,QA2CnF;AAGD,wBAAgB,8CAA8C,CAAC,OAAO,EAAE,OAAO,QA8B9E;AAED,wBAAgB,4DAA4D,CAAE,OAAO,EAAE,OAAO,QA0B7F;AAED,wBAAgB,4CAA4C,CAAC,OAAO,EAAE,OAAO,QAkB5E"}

package/dist/src/rules/entity.js

@@ -1,20 +1,48 @@
-import { isKey, walkPropertiesInherited } from "@typespec/compiler";
-import { createRule } from "@typespec/lint";
-import { isEntity } from "../index.js";
+import { getLocationContext, isKey, navigateTypesInNamespace, walkPropertiesInherited, isArrayModelType } from "@typespec/compiler";
+import { isComplex, isContains, isEntity, isOwnerless, isPartial, isReferences } from "../index.js";
 import { reportDiagnostic } from "../lib.js";
-export const entityMustHaveKeyRule = createRule({
-    name: "entity-must-have-key",
-    create({ program }) {
-        return {
+import { isTypeNullable, isExcludedLibraryType, isSameNamespace, extractTypesFromUnion, getInterfaceNavigationSourceType } from "../utils.js";
+import { GetDeclaredNamespaces } from "../entities/namespace.js";
+export function validateEntityMustHaveKey(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
             model: (model) => {
                 if (!isEntity(program, model)) {
                     return;
                 }
-                for (const property of walkPropertiesInherited(model)) {
+                if (isPartial(program, model)) {
+                    return;
+                }
+                const properties = walkPropertiesInherited(model);
+                for (const property of properties) {
                     if (isKey(program, property)) {
                         return;
                     }
                 }
+                // If the model is a binding type in an ownerless singleton route skip check.'
+                let modelIsOwnerless = false;
+                navigateTypesInNamespace(namespace, {
+                    interface: (interfaceModel) => {
+                        if (isOwnerless(program, interfaceModel)) {
+                            let bindingType = getInterfaceNavigationSourceType(program, interfaceModel);
+                            if (bindingType && bindingType === model) {
+                                modelIsOwnerless = true;
+                            }
+                        }
+                    },
+                });
+                // Or if it is explicitly marked with an equivalent @agsAttribute
+                if (model.decorators.find((da) => {
+                    var _a;
+                    return ((_a = da.definition) === null || _a === void 0 ? void 0 : _a.name) === "@agsAttribute" &&
+                        da.args.findIndex((darg) => darg.jsValue === "IsOwnerlessSingleton") !== -1 &&
+                        da.args.findIndex((darg) => darg.jsValue === "true") !== -1;
+                })) {
+                    modelIsOwnerless = true;
+                }
+                if (modelIsOwnerless) {
+                    return;
+                }
                 reportDiagnostic(program, {
                     code: "decorator-missing-dependencies",
                     target: model,
@@ -25,7 +53,145 @@ export const entityMustHaveKeyRule = createRule({
                     },
                 });
             },
-        };
-    },
-});
+        });
+    }
+}
+;
+export function validateKeyOnlyOnEntityNonNullablePrimitiveProperty(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            modelProperty: (property) => {
+                if (!property.model || !isKey(program, property)) {
+                    return;
+                }
+                if (isExcludedLibraryType(program, property.model)) {
+                    return;
+                }
+                if (!isEntity(program, property.model)) {
+                    reportDiagnostic(program, {
+                        code: "decorator-missing-dependencies",
+                        target: property,
+                        format: {
+                            decorator: "@key",
+                            required: "@entity",
+                            location: "entity model",
+                        },
+                    });
+                    return;
+                }
+                if (isTypeNullable(program, property.type) ||
+                    property.type.kind !== "Scalar" ||
+                    property.name === "Array") {
+                    reportDiagnostic(program, {
+                        code: "decorator-invalid-use",
+                        target: property,
+                        messageId: "key",
+                        format: {},
+                    });
+                    return;
+                }
+            },
+        });
+    }
+}
+;
+// TODO: Add unit tests for this function
+export function validateExtendOnlyAppliesOnDifferentNamespaces(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            model: (model) => {
+                if (!model.baseModel) {
+                    return;
+                }
+                const baseModelLocationContextType = getLocationContext(program, model.baseModel).type;
+                const modelLocationContextType = getLocationContext(program, model).type;
+                if (baseModelLocationContextType === "library" && modelLocationContextType === "library") {
+                    return;
+                }
+                if (baseModelLocationContextType === "project" && modelLocationContextType === "project") {
+                    return;
+                }
+                if (isSameNamespace(program, model, model.baseModel)) {
+                    reportDiagnostic(program, {
+                        code: "extends-invalid-use",
+                        target: model,
+                        messageId: "namespaces",
+                        format: {},
+                    });
+                }
+            },
+        });
+    }
+}
+;
+export function validatePropertyTypeOfEntityTypeMustHaveContainsOrReferences(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            modelProperty: (property) => {
+                if (property.type.kind === "Model" && isPropertyParentModelAndPropertyTypeEntity(program, property)) {
+                    if (!isContains(program, property) && !isReferences(program, property)) {
+                        reportModelPropertyDiagnostics(program, property);
+                        return;
+                    }
+                }
+                if (property.type.kind === "Union" && getLocationContext(program, property).type !== "library") {
+                    const unionTypes = extractTypesFromUnion(property.type);
+                    for (const unionType of unionTypes) {
+                        if (unionType.kind === "Model" && isEntity(program, unionType)) {
+                            if (!isContains(program, property) && !isReferences(program, property)) {
+                                reportModelPropertyDiagnostics(program, property, unionType.name);
+                                return;
+                            }
+                        }
+                    }
+                }
+            }
+        });
+    }
+}
+export function validateEntityAndComplexAreMutuallyExclusive(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            model: (model) => {
+                if (isEntity(program, model) && isComplex(program, model)) {
+                    reportDiagnostic(program, {
+                        code: "decorator-invalid-use",
+                        target: model,
+                        messageId: "entityAndComplexAreMutuallyExclusive",
+                        format: {
+                            model: model.name,
+                        },
+                    });
+                }
+            }
+        });
+    }
+}
+function isPropertyParentModelAndPropertyTypeEntity(program, property) {
+    const propertyType = getPropertyType(program, property);
+    return getLocationContext(program, property).type !== "library" &&
+        property.model &&
+        propertyType.kind === "Model" &&
+        isEntity(program, property.model) &&
+        isEntity(program, propertyType);
+}
+function reportModelPropertyDiagnostics(program, property, propertyTypeName) {
+    const propertyType = getPropertyType(program, property);
+    reportDiagnostic(program, {
+        code: "element-missing-dependencies",
+        target: property,
+        messageId: "propertyMissingContainsOrReferences",
+        format: {
+            property: property.name,
+            entity: propertyTypeName !== null && propertyTypeName !== void 0 ? propertyTypeName : propertyType.name,
+        }
+    });
+}
+function getPropertyType(program, property) {
+    let propertyType = property.type;
+    if (propertyType.kind === "Model" && isArrayModelType(program, propertyType)) {
+        propertyType = propertyType.indexer.value;
+    }
+    return propertyType;
+}
 //# sourceMappingURL=entity.js.map

package/dist/src/rules/entity.js.map

@@ -1 +1 @@
-{"version":3,"file":"entity.js","sourceRoot":"","sources":["../../../src/rules/entity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAE7C,MAAM,CAAC,MAAM,qBAAqB,GAAG,UAAU,CAAC;IAC9C,IAAI,EAAE,sBAAsB;IAC5B,MAAM,CAAC,EAAE,OAAO,EAAE;QAChB,OAAO;YACL,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE;gBACf,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE;oBAC7B,OAAO;iBACR;gBAED,KAAK,MAAM,QAAQ,IAAI,uBAAuB,CAAC,KAAK,CAAC,EAAE;oBACrD,IAAI,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE;wBAC5B,OAAO;qBACR;iBACF;gBAED,gBAAgB,CAAC,OAAO,EAAE;oBACxB,IAAI,EAAE,gCAAgC;oBACtC,MAAM,EAAE,KAAK;oBACb,MAAM,EAAE;wBACN,SAAS,EAAE,SAAS;wBACpB,QAAQ,EAAE,MAAM;wBAChB,QAAQ,EAAE,uBAAuB;qBAClC;iBACF,CAAC,CAAC;YACL,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}
+{"version":3,"file":"entity.js","sourceRoot":"","sources":["../../../src/rules/entity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,kBAAkB,EAAE,KAAK,EAAE,wBAAwB,EAClE,uBAAuB,EAAiE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACxI,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACpG,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,eAAe,EAAE,qBAAqB,EAAE,gCAAgC,EAAE,MAAM,aAAa,CAAC;AAC9I,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,MAAM,UAAU,yBAAyB,CAAC,OAAgB;IACxD,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,wBAAwB,CAAC,SAAS,EAAE;YAClC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE;gBACf,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;oBAC9B,OAAO;gBACT,CAAC;gBAED,IAAG,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,EAAC,CAAC;oBAC5B,OAAO;gBACT,CAAC;gBAED,MAAM,UAAU,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;gBAClD,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;oBAClC,IAAI,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;wBAC7B,OAAO;oBACT,CAAC;gBACH,CAAC;gBAED,8EAA8E;gBAC9E,IAAI,gBAAgB,GAAW,KAAK,CAAC;gBACrC,wBAAwB,CAAC,SAAS,EAAE;oBAClC,SAAS,EAAE,CAAC,cAAc,EAAE,EAAE;wBAC5B,IAAG,WAAW,CAAC,OAAO,EAAE,cAAc,CAAC,EAAC,CAAC;4BACvC,IAAI,WAAW,GAAmB,gCAAgC,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;4BAC5F,IAAI,WAAW,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;gCACzC,gBAAgB,GAAG,IAAI,CAAC;4BAC1B,CAAC;wBACH,CAAC;oBACH,CAAC;iBACF,CAAC,CAAC;gBAEH,iEAAiE;gBACjE,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,EAAwB,EAAE,EAAE;;oBAAC,OAAA,CAAA,MAAA,EAAE,CAAC,UAAU,0CAAE,IAAI,MAAK,eAAe;wBACvF,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAsB,EAAE,EAAE,CAAE,IAAI,CAAC,OAAkB,KAAK,sBAAsB,CAAC,KAAK,CAAC,CAAC;wBACzG,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAsB,EAAE,EAAE,CAAE,IAAI,CAAC,OAAkB,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;iBAAA,CAAC,EAAE,CAAC;oBACjG,gBAAgB,GAAG,IAAI,CAAC;gBAC5B,CAAC;gBACD,IAAI,gBAAgB,EAAE,CAAC;oBACpB,OAAO;gBACV,CAAC;gBAED,gBAAgB,CAAC,OAAO,EAAE;oBACxB,IAAI,EAAE,gCAAgC;oBACtC,MAAM,EAAE,KAAK;oBACb,MAAM,EAAE;wBACN,SAAS,EAAE,SAAS;wBACpB,QAAQ,EAAE,MAAM;wBAChB,QAAQ,EAAE,uBAAuB;qBAClC;iBACF,CAAC,CAAC;YACL,CAAC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAAA,CAAC;AAEF,MAAM,UAAU,mDAAmD,CAAC,OAAgB;IAClF,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,wBAAwB,CAAC,SAAS,EAAE;YAClC,aAAa,EAAE,CAAC,QAAQ,EAAE,EAAE;gBAC1B,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;oBACjD,OAAO;gBACT,CAAC;gBAED,IAAI,qBAAqB,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;oBACnD,OAAO;gBACT,CAAC;gBAED,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;oBACvC,gBAAgB,CAAC,OAAO,EAAE;wBACxB,IAAI,EAAE,gCAAgC;wBACtC,MAAM,EAAE,QAAQ;wBAChB,MAAM,EAAE;4BACN,SAAS,EAAE,MAAM;4BACjB,QAAQ,EAAE,SAAS;4BACnB,QAAQ,EAAE,cAAc;yBACzB;qBACF,CAAC,CAAC;oBAEH,OAAO;gBACT,CAAC;gBAED,IACE,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC;oBACtC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;oBAC/B,QAAQ,CAAC,IAAI,KAAK,OAAO,EACzB,CAAC;oBACD,gBAAgB,CAAC,OAAO,EAAE;wBACxB,IAAI,EAAE,uBAAuB;wBAC7B,MAAM,EAAE,QAAQ;wBAChB,SAAS,EAAE,KAAK;wBAChB,MAAM,EAAE,EAAE;qBACX,CAAC,CAAC;oBAEH,OAAO;gBACT,CAAC;YACH,CAAC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAAA,CAAC;AAEF,yCAAyC;AACzC,MAAM,UAAU,8CAA8C,CAAC,OAAgB;IAC7E,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,wBAAwB,CAAC,SAAS,EAAE;YAClC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE;gBACf,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;oBACrB,OAAO;gBACT,CAAC;gBAED,MAAM,4BAA4B,GAAG,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC;gBACvF,MAAM,wBAAwB,GAAG,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC;gBAEzE,IAAG,4BAA4B,KAAK,SAAS,IAAI,wBAAwB,KAAK,SAAS,EAAC,CAAC;oBACvF,OAAO;gBACT,CAAC;gBAED,IAAG,4BAA4B,KAAK,SAAS,IAAI,wBAAwB,KAAK,SAAS,EAAC,CAAC;oBACvF,OAAO;gBACT,CAAC;gBAED,IAAI,eAAe,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;oBACrD,gBAAgB,CAAC,OAAO,EAAE;wBACxB,IAAI,EAAE,qBAAqB;wBAC3B,MAAM,EAAE,KAAK;wBACb,SAAS,EAAE,YAAY;wBACvB,MAAM,EAAE,EAAE;qBACX,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAAA,CAAC;AAEF,MAAM,UAAU,4DAA4D,CAAE,OAAgB;IAC5F,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAC,CAAC;QACtD,wBAAwB,CAAC,SAAS,EAAE;YAClC,aAAa,EAAE,CAAC,QAAQ,EAAE,EAAE;gBAC1B,IAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,0CAA0C,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;oBACnG,IAAG,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAC,CAAC;wBACrE,8BAA8B,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;wBAClD,OAAO;oBACT,CAAC;gBACH,CAAC;gBAED,IAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,IAAI,KAAK,SAAS,EAAC,CAAC;oBAC7F,MAAM,UAAU,GAAG,qBAAqB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;oBAExD,KAAI,MAAM,SAAS,IAAI,UAAU,EAAC,CAAC;wBACjC,IAAG,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;4BAC9D,IAAG,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAC,CAAC;gCACrE,8BAA8B,CAAC,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,CAAC;gCAClE,OAAO;4BACT,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;SACF,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,4CAA4C,CAAC,OAAgB;IAC3E,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAC,CAAC;QACtD,wBAAwB,CAAC,SAAS,EAAE;YAClC,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE;gBACf,IAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,EAAC,CAAC;oBACxD,gBAAgB,CAAC,OAAO,EAAE;wBACxB,IAAI,EAAE,uBAAuB;wBAC7B,MAAM,EAAE,KAAK;wBACb,SAAS,EAAE,sCAAsC;wBACjD,MAAM,EAAE;4BACN,KAAK,EAAE,KAAK,CAAC,IAAI;yBAClB;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;SACF,CAAC,CAAA;IACJ,CAAC;AAEH,CAAC;AAED,SAAS,0CAA0C,CAAC,OAAgB,EAAE,QAAuB;IAC3F,MAAM,YAAY,GAAG,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAExD,OAAO,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,IAAI,KAAK,SAAS;QAC7D,QAAQ,CAAC,KAAK;QACd,YAAY,CAAC,IAAI,KAAK,OAAO;QAC7B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC;QACjC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,8BAA8B,CAAC,OAAgB,EAAE,QAAuB,EAAE,gBAAyB;IAC1G,MAAM,YAAY,GAAG,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACxD,gBAAgB,CAAC,OAAO,EAAE;QACxB,IAAI,EAAE,8BAA8B;QACpC,MAAM,EAAE,QAAQ;QAChB,SAAS,EAAE,qCAAqC;QAChD,MAAM,EAAE;YACN,QAAQ,EAAE,QAAQ,CAAC,IAAI;YACvB,MAAM,EAAE,gBAAgB,aAAhB,gBAAgB,cAAhB,gBAAgB,GAAK,YAAsB,CAAC,IAAI;SACzD;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CAAC,OAAgB,EAAE,QAAuB;IAChE,IAAI,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC;IACjC,IAAI,YAAY,CAAC,IAAI,KAAK,OAAO,IAAI,gBAAgB,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;QAC7E,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC;IAC5C,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC"}

package/dist/src/rules/enum.d.ts

@@ -0,0 +1,4 @@
+export declare const useEvolvableEnumRule: import("@typespec/compiler").LinterRuleDefinition<"use-evolvable-enum", {
+    readonly default: import("@typespec/compiler").CallableMessage<[string]>;
+}>;
+//# sourceMappingURL=enum.d.ts.map

package/dist/src/rules/enum.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"enum.d.ts","sourceRoot":"","sources":["../../../src/rules/enum.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,oBAAoB;;EA2B/B,CAAC"}

package/dist/src/rules/enum.js

@@ -0,0 +1,29 @@
+import { createRule, paramMessage } from "@typespec/compiler";
+import { isExcludedCoreType } from "../utils.js";
+export const useEvolvableEnumRule = createRule({
+    name: "use-evolvable-enum",
+    severity: "warning",
+    description: "Enforce evolvable enums",
+    messages: {
+        default: paramMessage `Enumeration '${"enum"}' should have a member named unknownFutureValue for future extensibility.`,
+    },
+    create(context) {
+        return {
+            enum: (enumType) => {
+                if (isExcludedCoreType(context.program, enumType)) {
+                    return;
+                }
+                if (enumType.members.has("unknownFutureValue")) {
+                    return;
+                }
+                context.reportDiagnostic({
+                    target: enumType,
+                    format: {
+                        enum: enumType.name,
+                    },
+                });
+            },
+        };
+    },
+});
+//# sourceMappingURL=enum.js.map

package/dist/src/rules/enum.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"enum.js","sourceRoot":"","sources":["../../../src/rules/enum.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAEjD,MAAM,CAAC,MAAM,oBAAoB,GAAG,UAAU,CAAC;IAC7C,IAAI,EAAE,oBAAoB;IAC1B,QAAQ,EAAE,SAAS;IACnB,WAAW,EAAE,yBAAyB;IACtC,QAAQ,EAAE;QACR,OAAO,EAAE,YAAY,CAAA,gBAAgB,MAAM,2EAA2E;KACvH;IACD,MAAM,CAAC,OAAO;QACZ,OAAO;YACL,IAAI,EAAE,CAAC,QAAQ,EAAE,EAAE;gBACjB,IAAI,kBAAkB,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;oBAClD,OAAO;gBACT,CAAC;gBAED,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC;oBAC/C,OAAO;gBACT,CAAC;gBAED,OAAO,CAAC,gBAAgB,CAAC;oBACvB,MAAM,EAAE,QAAQ;oBAChB,MAAM,EAAE;wBACN,IAAI,EAAE,QAAQ,CAAC,IAAI;qBACpB;iBACF,CAAC,CAAC;YACL,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}

package/dist/src/rules/expand.d.ts

@@ -1,3 +1,4 @@
-export declare const expandOnlyOnGetNavigationSourceRule: import("@typespec/lint").LintRule;
-export declare const expandOnlyNavigationPropertiesRule: import("@typespec/lint").LintRule;
+import { Program } from "@typespec/compiler";
+export declare function validateExpandOnlyOnGetNavigationSource(program: Program): void;
+export declare function validateExpandOnlyNavigationProperties(program: Program): void;
 //# sourceMappingURL=expand.d.ts.map

package/dist/src/rules/expand.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"expand.d.ts","sourceRoot":"","sources":["../../../src/rules/expand.ts"],"names":[],"mappings":"AAMA,eAAO,MAAM,mCAAmC,mCA6B9C,CAAC;AAEH,eAAO,MAAM,kCAAkC,mCAyC7C,CAAC"}
+{"version":3,"file":"expand.d.ts","sourceRoot":"","sources":["../../../src/rules/expand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,OAAO,EAAqD,MAAM,oBAAoB,CAAC;AAOvG,wBAAgB,uCAAuC,CAAC,OAAO,EAAE,OAAO,QA8BvE;AAED,wBAAgB,sCAAsC,CAAC,OAAO,EAAE,OAAO,QA6CtE"}