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

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,QAyCtE"}

package/dist/src/rules/expand.js

@@ -1,21 +1,22 @@
-import { walkPropertiesInherited } from "@typespec/compiler";
-import { createRule } from "@typespec/lint";
+import { navigateTypesInNamespace, walkPropertiesInherited } from "@typespec/compiler";
 import { getOperationVerb } from "@typespec/http";
-import { getExpand, isContains, isExpand, isReferences } from "../index.js";
+import { getExpand, isContains, isDelta, isExpand, isReferences } from "../index.js";
 import { reportDiagnostic } from "../lib.js";
-export const expandOnlyOnGetNavigationSourceRule = createRule({
-    name: "expand-only-on-get-navigation-source",
-    create({ program }) {
-        return {
+import { getNavigationSourceType } from "../utils.js";
+import { GetDeclaredNamespaces } from "../entities/namespace.js";
+export function validateExpandOnlyOnGetNavigationSource(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
             operation: (operation) => {
-                var _a;
                 if (!isExpand(program, operation)) {
                     return;
                 }
                 if (getOperationVerb(program, operation) === "get") {
-                    return;
+                    if (getNavigationSourceType(program, operation) !== undefined) {
+                        return;
+                    }
                 }
-                if ((_a = operation.interface) === null || _a === void 0 ? void 0 : _a.operations.has("_isNavigationSource")) {
+                if (isDelta(program, operation) && operation.name === "delta") {
                     return;
                 }
                 reportDiagnostic(program, {
@@ -28,20 +29,19 @@ export const expandOnlyOnGetNavigationSourceRule = createRule({
                     },
                 });
             },
-        };
-    },
-});
-export const expandOnlyNavigationPropertiesRule = createRule({
-    name: "expand-only-navigation-properties",
-    create({ program }) {
-        return {
+        });
+    }
+}
+;
+export function validateExpandOnlyNavigationProperties(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
             operation: (operation) => {
-                var _a, _b;
                 const expanded = getExpand(program, operation);
                 if (!expanded.length) {
                     return;
                 }
-                const returnType = (_b = (_a = operation.interface) === null || _a === void 0 ? void 0 : _a.operations.get("_isNavigationSource")) === null || _b === void 0 ? void 0 : _b.returnType;
+                const returnType = getNavigationSourceType(program, operation);
                 if (!returnType) {
                     return;
                 }
@@ -49,7 +49,9 @@ export const expandOnlyNavigationPropertiesRule = createRule({
                 const navigationProperties = [...walkPropertiesInherited(modelType)]
                     .filter((property) => isContains(program, property) || isReferences(program, property))
                     .map((property) => property.name);
-                const invalidExpansions = expanded.filter((property) => !navigationProperties.includes(property));
+                const invalidExpansions = expanded.filter((property) => {
+                    return !navigationProperties.includes(property) && property !== "$value";
+                });
                 if (!invalidExpansions.length) {
                     return;
                 }
@@ -63,7 +65,8 @@ export const expandOnlyNavigationPropertiesRule = createRule({
                     },
                 });
             },
-        };
-    },
-});
+        });
+    }
+}
+;
 //# sourceMappingURL=expand.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"expand.js","sourceRoot":"","sources":["../../../src/rules/expand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AACpE,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAE7C,MAAM,CAAC,MAAM,mCAAmC,GAAG,UAAU,CAAC;IAC5D,IAAI,EAAE,sCAAsC;IAC5C,MAAM,CAAC,EAAE,OAAO,EAAE;QAChB,OAAO;YACL,SAAS,EAAE,CAAC,SAAS,EAAE,EAAE;;gBACvB,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE;oBACjC,OAAO;iBACR;gBAED,IAAI,gBAAgB,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,KAAK,EAAE;oBAClD,OAAO;iBACR;gBAED,IAAI,MAAA,SAAS,CAAC,SAAS,0CAAE,UAAU,CAAC,GAAG,CAAC,qBAAqB,CAAC,EAAE;oBAC9D,OAAO;iBACR;gBAED,gBAAgB,CAAC,OAAO,EAAE;oBACxB,IAAI,EAAE,uBAAuB;oBAC7B,MAAM,EAAE,SAAS;oBACjB,SAAS,EAAE,WAAW;oBACtB,MAAM,EAAE;wBACN,SAAS,EAAE,SAAS;wBACpB,MAAM,EAAE,eAAe;qBACxB;iBACF,CAAC,CAAC;YACL,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,kCAAkC,GAAG,UAAU,CAAC;IAC3D,IAAI,EAAE,mCAAmC;IACzC,MAAM,CAAC,EAAE,OAAO,EAAE;QAChB,OAAO;YACL,SAAS,EAAE,CAAC,SAAS,EAAE,EAAE;;gBACvB,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC/C,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE;oBACpB,OAAO;iBACR;gBAED,MAAM,UAAU,GAAG,MAAA,MAAA,SAAS,CAAC,SAAS,0CAAE,UAAU,CAAC,GAAG,CAAC,qBAAqB,CAAC,0CACzE,UAAmB,CAAC;gBACxB,IAAI,CAAC,UAAU,EAAE;oBACf,OAAO;iBACR;gBAED,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,UAAU,CAAC,OAAO,CAAC,KAAe,CAAC,CAAC,CAAC,UAAU,CAAC;gBACxF,MAAM,oBAAoB,GAAG,CAAC,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;qBACjE,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;qBACtF,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAEpC,MAAM,iBAAiB,GAAG,QAAQ,CAAC,MAAM,CACvC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,oBAAoB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CACvD,CAAC;gBAEF,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE;oBAC7B,OAAO;iBACR;gBAED,gBAAgB,CAAC,OAAO,EAAE;oBACxB,IAAI,EAAE,uBAAuB;oBAC7B,MAAM,EAAE,SAAS;oBACjB,SAAS,EAAE,kBAAkB;oBAC7B,MAAM,EAAE;wBACN,KAAK,EAAE,SAAS,CAAC,IAAI;wBACrB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;qBACzC;iBACF,CAAC,CAAC;YACL,CAAC;SACF,CAAC;IACJ,CAAC;CACF,CAAC,CAAC"}
+{"version":3,"file":"expand.js","sourceRoot":"","sources":["../../../src/rules/expand.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AACvG,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACrF,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,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,SAAS,EAAE,EAAE;gBACvB,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;oBAClC,OAAO;gBACT,CAAC;gBAED,IAAI,gBAAgB,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,KAAK,EAAE,CAAC;oBACnD,IAAG,uBAAuB,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;wBAC7D,OAAO;oBACT,CAAC;gBACH,CAAC;gBAED,IAAG,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAC,CAAC;oBAC5D,OAAO;gBACT,CAAC;gBAED,gBAAgB,CAAC,OAAO,EAAE;oBACxB,IAAI,EAAE,uBAAuB;oBAC7B,MAAM,EAAE,SAAS;oBACjB,SAAS,EAAE,WAAW;oBACtB,MAAM,EAAE;wBACN,SAAS,EAAE,SAAS;wBACpB,MAAM,EAAE,eAAe;qBACxB;iBACF,CAAC,CAAC;YACL,CAAC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAAA,CAAC;AAEF,MAAM,UAAU,sCAAsC,CAAC,OAAgB;IACrE,KAAK,MAAM,SAAS,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,wBAAwB,CAAC,SAAS,EAAE;YAClC,SAAS,EAAE,CAAC,SAAS,EAAE,EAAE;gBACvB,MAAM,QAAQ,GAAG,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC/C,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;oBACrB,OAAO;gBACT,CAAC;gBAED,MAAM,UAAU,GAAG,uBAAuB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;oBAChB,OAAO;gBACT,CAAC;gBAED,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,UAAU,CAAC,OAAO,CAAC,KAAe,CAAC,CAAC,CAAC,UAAU,CAAC;gBACxF,MAAM,oBAAoB,GAAG,CAAC,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC;qBACjE,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;qBACtF,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBAEpC,MAAM,iBAAiB,GAAG,QAAQ,CAAC,MAAM,CACvC,CAAC,QAAQ,EAAE,EAAE;oBACX,OAAO,CAAC,oBAAoB,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,KAAK,QAAQ,CAAA;gBAC1E,CAAC,CACF,CAAC;gBAEF,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC;oBAC9B,OAAO;gBACT,CAAC;gBAED,gBAAgB,CAAC,OAAO,EAAE;oBACxB,IAAI,EAAE,uBAAuB;oBAC7B,MAAM,EAAE,SAAS;oBACjB,SAAS,EAAE,kBAAkB;oBAC7B,MAAM,EAAE;wBACN,KAAK,EAAE,SAAS,CAAC,IAAI;wBACrB,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC;qBACzC;iBACF,CAAC,CAAC;YACL,CAAC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAAA,CAAC"}

package/dist/src/rules/extends-on-same-type.d.ts

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

package/dist/src/rules/extends-on-same-type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extends-on-same-type.d.ts","sourceRoot":"","sources":["../../../src/rules/extends-on-same-type.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,OAAO,EAA4B,MAAM,oBAAoB,CAAC;AAGvE,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,OAAO,QAkCzD"}

package/dist/src/rules/extends-on-same-type.js

@@ -0,0 +1,39 @@
+import { reportDiagnostic } from "../lib.js";
+import { isComplex, isEntity } from "../index.js";
+import { isExcludedCoreType } from "../utils.js";
+import { navigateTypesInNamespace } from "@typespec/compiler";
+import { GetDeclaredNamespaces } from "../entities/namespace.js";
+export function validateExtendsOnSameType(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            model: (model) => {
+                if (!model.baseModel) {
+                    return;
+                }
+                if (isExcludedCoreType(program, model)) {
+                    return;
+                }
+                if (isEntity(program, model) && !isEntity(program, model.baseModel)) {
+                    reportDiagnostic(program, {
+                        code: "extends-invalid-use",
+                        target: model,
+                        format: {
+                            type: "@entity",
+                        },
+                    });
+                }
+                if (isComplex(program, model) && !isComplex(program, model.baseModel)) {
+                    reportDiagnostic(program, {
+                        code: "extends-invalid-use",
+                        target: model,
+                        format: {
+                            type: "@complex",
+                        },
+                    });
+                }
+            },
+        });
+    }
+}
+;
+//# sourceMappingURL=extends-on-same-type.js.map

package/dist/src/rules/extends-on-same-type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extends-on-same-type.js","sourceRoot":"","sources":["../../../src/rules/extends-on-same-type.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAW,wBAAwB,EAAE,MAAM,oBAAoB,CAAC;AACvE,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,KAAK,CAAC,SAAS,EAAE,CAAC;oBACrB,OAAO;gBACT,CAAC;gBAED,IAAI,kBAAkB,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,CAAC;oBACvC,OAAO;gBACT,CAAC;gBAED,IAAI,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;oBACpE,gBAAgB,CAAC,OAAO,EAAE;wBACxB,IAAI,EAAE,qBAAqB;wBAC3B,MAAM,EAAE,KAAK;wBACb,MAAM,EAAE;4BACN,IAAI,EAAE,SAAS;yBAChB;qBACF,CAAC,CAAC;gBACL,CAAC;gBAED,IAAI,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;oBACtE,gBAAgB,CAAC,OAAO,EAAE;wBACxB,IAAI,EAAE,qBAAqB;wBAC3B,MAAM,EAAE,KAAK;wBACb,MAAM,EAAE;4BACN,IAAI,EAAE,UAAU;yBACjB;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAAA,CAAC"}

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

@@ -0,0 +1,7 @@
+import { Program } from "@typespec/compiler";
+export declare function validateFilterAppliesToGetOperationsThatReturnCollections(program: Program): void;
+export declare function validateFilterAllPropertiesNotationIsNotUsedTogetherWithOtherProperties(program: Program): void;
+export declare function validateFilterOnlyAppliesToModelProperties(program: Program): void;
+export declare function validateFilterPropertiesMustNotBeEmpty(program: Program): void;
+export declare function validateFilterOnlyAppliesToSimpleModelProperties(program: Program): void;
+//# sourceMappingURL=filter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"filter.d.ts","sourceRoot":"","sources":["../../../src/rules/filter.ts"],"names":[],"mappings":"AAIA,OAAO,EAAS,OAAO,EAAsE,MAAM,oBAAoB,CAAC;AAGxH,wBAAgB,yDAAyD,CAAC,OAAO,EAAE,OAAO,QAgCzF;AAGD,wBAAgB,uEAAuE,CAAC,OAAO,EAAE,OAAO,QA4BvG;AAED,wBAAgB,0CAA0C,CAAC,OAAO,EAAE,OAAO,QAwC1E;AAED,wBAAgB,sCAAsC,CAAC,OAAO,EAAE,OAAO,QA6BtE;AAED,wBAAgB,gDAAgD,CAAC,OAAO,EAAE,OAAO,QAoChF"}

package/dist/src/rules/filter.js

@@ -0,0 +1,160 @@
+import { getFilter, isDelta, isFilter } from "../index.js";
+import { getOperationVerb } from "@typespec/http";
+import { getModelStructuralPropertyNames, getNavigationSourceType, isNavigationProperty, isTypeCollection } from "../utils.js";
+import { reportDiagnostic } from "../lib.js";
+import { getPropertyType, navigateTypesInNamespace, walkPropertiesInherited } from "@typespec/compiler";
+import { GetDeclaredNamespaces } from "../entities/namespace.js";
+export function validateFilterAppliesToGetOperationsThatReturnCollections(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            operation: (operation) => {
+                if (!isFilter(program, operation)) {
+                    return;
+                }
+                if (getOperationVerb(program, operation) === "get") {
+                    const returnType = operation.returnType;
+                    const isCollection = isTypeCollection(program, returnType);
+                    if (isCollection) {
+                        return;
+                    }
+                }
+                if (isDelta(program, operation) && operation.name === "delta") {
+                    return;
+                }
+                reportDiagnostic(program, {
+                    code: "decorator-invalid-use",
+                    target: operation,
+                    messageId: "wrongType",
+                    format: {
+                        decorator: "@filter",
+                        target: "get operation that returns a collection",
+                    },
+                });
+            },
+        });
+    }
+}
+;
+export function validateFilterAllPropertiesNotationIsNotUsedTogetherWithOtherProperties(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            operation: (operation) => {
+                if (!isFilter(program, operation)) {
+                    return;
+                }
+                const filterProperties = getFilter(program, operation);
+                if (filterProperties.length === 1 && filterProperties[0] === "*") {
+                    return;
+                }
+                const invalidFilterProperties = filterProperties.includes("*");
+                if (invalidFilterProperties) {
+                    reportDiagnostic(program, {
+                        code: "decorator-invalid-use",
+                        target: operation,
+                        messageId: "invalidAllPropertiesNotationUsage",
+                        format: {
+                            decorator: "@filter",
+                            properties: filterProperties.join(", "),
+                        },
+                    });
+                }
+            },
+        });
+    }
+}
+export function validateFilterOnlyAppliesToModelProperties(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            operation: (operation) => {
+                if (!isFilter(program, operation)) {
+                    return;
+                }
+                const returnType = getNavigationSourceType(program, operation);
+                if (!returnType) {
+                    return;
+                }
+                const model = returnType.indexer ? returnType.indexer.value : returnType;
+                const filterPropertyNames = getFilter(program, operation);
+                const structuralPropertyNames = getModelStructuralPropertyNames(program, model);
+                const invalidFilterPropertyNames = filterPropertyNames.filter(p => !structuralPropertyNames.includes(p));
+                if (!invalidFilterPropertyNames.length) {
+                    return;
+                }
+                if (invalidFilterPropertyNames.length === 1 && invalidFilterPropertyNames[0] === "*") {
+                    return;
+                }
+                reportDiagnostic(program, {
+                    code: "decorator-invalid-use",
+                    target: operation,
+                    messageId: "filterProperties",
+                    format: {
+                        model: model.name,
+                        properties: invalidFilterPropertyNames.join(", "),
+                    },
+                });
+            },
+        });
+    }
+}
+;
+export function validateFilterPropertiesMustNotBeEmpty(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            operation: (operation) => {
+                if (!isFilter(program, operation)) {
+                    return;
+                }
+                const filterProperties = getFilter(program, operation);
+                if (filterProperties.length) {
+                    return;
+                }
+                if (isDelta(program, operation) && operation.name === "delta") {
+                    return;
+                }
+                reportDiagnostic(program, {
+                    code: "decorator-invalid-use",
+                    target: operation,
+                    messageId: "required",
+                    format: {
+                        decorator: "@filter",
+                        parameters: "filter properties",
+                    },
+                });
+            },
+        });
+    }
+}
+;
+export function validateFilterOnlyAppliesToSimpleModelProperties(program) {
+    for (const namespace of GetDeclaredNamespaces(program)) {
+        navigateTypesInNamespace(namespace, {
+            operation: (operation) => {
+                if (!isFilter(program, operation)) {
+                    return;
+                }
+                const filterProperties = getFilter(program, operation);
+                const modelType = getNavigationSourceType(program, operation);
+                if (!modelType) {
+                    return;
+                }
+                const properties = [...walkPropertiesInherited(modelType)];
+                for (const property of properties) {
+                    if (getPropertyType(property).kind === "Model" && filterProperties.includes(property.name)) {
+                        if (isNavigationProperty(program, property)) {
+                            reportDiagnostic(program, {
+                                code: "decorator-invalid-use",
+                                target: operation,
+                                messageId: "filterPropertiesShouldBeSimple",
+                                format: {
+                                    model: modelType.name,
+                                    property: property.name,
+                                },
+                            });
+                        }
+                    }
+                }
+            }
+        });
+    }
+}
+//# sourceMappingURL=filter.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"filter.js","sourceRoot":"","sources":["../../../src/rules/filter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,+BAA+B,EAAE,uBAAuB,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAC/H,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAkB,eAAe,EAAE,wBAAwB,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AACxH,OAAO,EAAE,qBAAqB,EAAE,MAAM,0BAA0B,CAAC;AAEjE,MAAM,UAAU,yDAAyD,CAAC,OAAgB;IACxF,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,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;oBAClC,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,IAAG,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC7D,OAAO;gBACT,CAAC;gBAED,gBAAgB,CAAC,OAAO,EAAE;oBACxB,IAAI,EAAE,uBAAuB;oBAC7B,MAAM,EAAE,SAAS;oBACjB,SAAS,EAAE,WAAW;oBACtB,MAAM,EAAE;wBACN,SAAS,EAAE,SAAS;wBACpB,MAAM,EAAE,yCAAyC;qBAClD;iBACF,CAAC,CAAC;YACL,CAAC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAAA,CAAC;AAGF,MAAM,UAAU,uEAAuE,CAAC,OAAgB;IACtG,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,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;oBAClC,OAAO;gBACT,CAAC;gBAED,MAAM,gBAAgB,GAAG,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBACvD,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBACjE,OAAO;gBACT,CAAC;gBAED,MAAM,uBAAuB,GAAG,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;gBAC/D,IAAI,uBAAuB,EAAE,CAAC;oBAC5B,gBAAgB,CAAC,OAAO,EAAE;wBACxB,IAAI,EAAE,uBAAuB;wBAC7B,MAAM,EAAE,SAAS;wBACjB,SAAS,EAAE,mCAAmC;wBAC9C,MAAM,EAAE;4BACN,SAAS,EAAE,SAAS;4BACpB,UAAU,EAAE,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC;yBACxC;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAED,MAAM,UAAU,0CAA0C,CAAC,OAAgB;IACzE,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,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;oBAClC,OAAO;gBACT,CAAC;gBAED,MAAM,UAAU,GAAG,uBAAuB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC/D,IAAI,CAAC,UAAU,EAAE,CAAC;oBAChB,OAAO;gBACT,CAAC;gBAED,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAE,UAAU,CAAC,OAAO,CAAC,KAAe,CAAC,CAAC,CAAC,UAAU,CAAC;gBACpF,MAAM,mBAAmB,GAAG,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAE1D,MAAM,uBAAuB,GAAG,+BAA+B,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;gBAEhF,MAAM,0BAA0B,GAAG,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,uBAAuB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBAEzG,IAAI,CAAC,0BAA0B,CAAC,MAAM,EAAE,CAAC;oBACvC,OAAO;gBACT,CAAC;gBAED,IAAI,0BAA0B,CAAC,MAAM,KAAK,CAAC,IAAI,0BAA0B,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBACrF,OAAO;gBACT,CAAC;gBAED,gBAAgB,CAAC,OAAO,EAAE;oBACxB,IAAI,EAAE,uBAAuB;oBAC7B,MAAM,EAAE,SAAS;oBACjB,SAAS,EAAE,kBAAkB;oBAC7B,MAAM,EAAE;wBACN,KAAK,EAAE,KAAK,CAAC,IAAI;wBACjB,UAAU,EAAE,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC;qBAClD;iBACF,CAAC,CAAC;YACL,CAAC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAAA,CAAC;AAEF,MAAM,UAAU,sCAAsC,CAAC,OAAgB;IACrE,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,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;oBAClC,OAAO;gBACT,CAAC;gBAED,MAAM,gBAAgB,GAAG,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBACvD,IAAI,gBAAgB,CAAC,MAAM,EAAE,CAAC;oBAC5B,OAAO;gBACT,CAAC;gBAED,IAAG,OAAO,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAC,CAAC;oBAC5D,OAAO;gBACT,CAAC;gBAED,gBAAgB,CAAC,OAAO,EAAE;oBACxB,IAAI,EAAE,uBAAuB;oBAC7B,MAAM,EAAE,SAAS;oBACjB,SAAS,EAAE,UAAU;oBACrB,MAAM,EAAE;wBACN,SAAS,EAAE,SAAS;wBACpB,UAAU,EAAE,mBAAmB;qBAChC;iBACF,CAAC,CAAC;YACL,CAAC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC;AAAA,CAAC;AAEF,MAAM,UAAU,gDAAgD,CAAC,OAAgB;IAE/E,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,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;oBAClC,OAAO;gBACT,CAAC;gBAED,MAAM,gBAAgB,GAAG,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBACvD,MAAM,SAAS,GAAG,uBAAuB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;gBAC9D,IAAI,CAAC,SAAS,EAAE,CAAC;oBACf,OAAO;gBACT,CAAC;gBAED,MAAM,UAAU,GAAG,CAAC,GAAG,uBAAuB,CAAC,SAAS,CAAC,CAAC,CAAC;gBAC3D,KAAI,MAAM,QAAQ,IAAI,UAAU,EAAC,CAAC;oBAChC,IAAG,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAC,CAAC;wBACzF,IAAG,oBAAoB,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAC,CAAC;4BAC1C,gBAAgB,CAAC,OAAO,EACtB;gCACE,IAAI,EAAE,uBAAuB;gCAC7B,MAAM,EAAE,SAAS;gCACjB,SAAS,EAAE,gCAAgC;gCAC3C,MAAM,EAAE;oCACN,KAAK,EAAE,SAAS,CAAC,IAAI;oCACrB,QAAQ,EAAE,QAAQ,CAAC,IAAI;iCACxB;6BACF,CAAC,CAAA;wBACN,CAAC;oBACH,CAAC;gBACH,CAAC;YAEH,CAAC;SACF,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"function.d.ts","sourceRoot":"","sources":["../../../src/rules/function.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,OAAO,EAAwC,MAAM,oBAAoB,CAAC;AAO9F,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,OAAO,QAqBpD;AAED,wBAAgB,oDAAoD,CAAC,OAAO,EAAE,OAAO,QAwCpF"}