@ebusd/ebus-typespec 0.3.1 → 0.4.0

package/dist/src/lib.d.ts

@@ -45,16 +45,25 @@ export declare const $lib: import("@typespec/compiler").TypeSpecLibrary<{
         default: import("@typespec/compiler").CallableMessage<[string]>;
     };
     "banned-inheritance": {
-        default: import("@typespec/compiler").CallableMessage<[]>;
+        default: import("@typespec/compiler").CallableMessage<[string]>;
     };
     "duplicate-name": {
         default: import("@typespec/compiler").CallableMessage<[string]>;
     };
-}, EbusdEmitterOptions, "values" | "reverse" | "unit" | "id" | "condition" | "write" | "passive" | "auth" | "qq" | "zz" | "inherit" | "bcd" | "hex" | "maxBits" | "out" | "divisor">;
+    "multiple-decorator": {
+        default: import("@typespec/compiler").CallableMessage<[string]>;
+    };
+    "invalid-length": {
+        default: import("@typespec/compiler").CallableMessage<[string, string]>;
+    };
+    "missing-decorator": {
+        default: import("@typespec/compiler").CallableMessage<[string]>;
+    };
+}, EbusdEmitterOptions, "values" | "reverse" | "unit" | "id" | "condition" | "write" | "passive" | "auth" | "qq" | "zz" | "chain" | "inherit" | "bcd" | "hex" | "maxBits" | "out" | "divisor">;
 export declare const $flags: {
     decoratorArgMarshalling: string;
 };
-export declare const reportDiagnostic: <C extends "banned-source-address" | "banned-target-address" | "banned-auth" | "banned-divisor" | "banned-factor" | "banned-values" | "banned-type" | "banned-length" | "banned-in" | "duplicate-id" | "short-id" | "banned-inheritance" | "duplicate-name", M extends keyof {
+export declare const reportDiagnostic: <C extends "banned-source-address" | "banned-target-address" | "banned-auth" | "banned-divisor" | "banned-factor" | "banned-values" | "banned-type" | "banned-length" | "banned-in" | "duplicate-id" | "short-id" | "banned-inheritance" | "duplicate-name" | "multiple-decorator" | "invalid-length" | "missing-decorator", M extends keyof {
     "banned-source-address": {
         default: import("@typespec/compiler").CallableMessage<[string]>;
     };
@@ -89,11 +98,20 @@ export declare const reportDiagnostic: <C extends "banned-source-address" | "ban
         default: import("@typespec/compiler").CallableMessage<[string]>;
     };
     "banned-inheritance": {
-        default: import("@typespec/compiler").CallableMessage<[]>;
+        default: import("@typespec/compiler").CallableMessage<[string]>;
     };
     "duplicate-name": {
         default: import("@typespec/compiler").CallableMessage<[string]>;
     };
+    "multiple-decorator": {
+        default: import("@typespec/compiler").CallableMessage<[string]>;
+    };
+    "invalid-length": {
+        default: import("@typespec/compiler").CallableMessage<[string, string]>;
+    };
+    "missing-decorator": {
+        default: import("@typespec/compiler").CallableMessage<[string]>;
+    };
 }[C]>(program: import("@typespec/compiler").Program, diag: import("@typespec/compiler").DiagnosticReport<{
     "banned-source-address": {
         default: import("@typespec/compiler").CallableMessage<[string]>;
@@ -129,12 +147,21 @@ export declare const reportDiagnostic: <C extends "banned-source-address" | "ban
         default: import("@typespec/compiler").CallableMessage<[string]>;
     };
     "banned-inheritance": {
-        default: import("@typespec/compiler").CallableMessage<[]>;
+        default: import("@typespec/compiler").CallableMessage<[string]>;
     };
     "duplicate-name": {
         default: import("@typespec/compiler").CallableMessage<[string]>;
     };
-}, C, M>) => void, createDiagnostic: <C extends "banned-source-address" | "banned-target-address" | "banned-auth" | "banned-divisor" | "banned-factor" | "banned-values" | "banned-type" | "banned-length" | "banned-in" | "duplicate-id" | "short-id" | "banned-inheritance" | "duplicate-name", M extends keyof {
+    "multiple-decorator": {
+        default: import("@typespec/compiler").CallableMessage<[string]>;
+    };
+    "invalid-length": {
+        default: import("@typespec/compiler").CallableMessage<[string, string]>;
+    };
+    "missing-decorator": {
+        default: import("@typespec/compiler").CallableMessage<[string]>;
+    };
+}, C, M>) => void, createDiagnostic: <C extends "banned-source-address" | "banned-target-address" | "banned-auth" | "banned-divisor" | "banned-factor" | "banned-values" | "banned-type" | "banned-length" | "banned-in" | "duplicate-id" | "short-id" | "banned-inheritance" | "duplicate-name" | "multiple-decorator" | "invalid-length" | "missing-decorator", M extends keyof {
     "banned-source-address": {
         default: import("@typespec/compiler").CallableMessage<[string]>;
     };
@@ -169,11 +196,20 @@ export declare const reportDiagnostic: <C extends "banned-source-address" | "ban
         default: import("@typespec/compiler").CallableMessage<[string]>;
     };
     "banned-inheritance": {
-        default: import("@typespec/compiler").CallableMessage<[]>;
+        default: import("@typespec/compiler").CallableMessage<[string]>;
     };
     "duplicate-name": {
         default: import("@typespec/compiler").CallableMessage<[string]>;
     };
+    "multiple-decorator": {
+        default: import("@typespec/compiler").CallableMessage<[string]>;
+    };
+    "invalid-length": {
+        default: import("@typespec/compiler").CallableMessage<[string, string]>;
+    };
+    "missing-decorator": {
+        default: import("@typespec/compiler").CallableMessage<[string]>;
+    };
 }[C]>(diag: import("@typespec/compiler").DiagnosticReport<{
     "banned-source-address": {
         default: import("@typespec/compiler").CallableMessage<[string]>;
@@ -209,9 +245,18 @@ export declare const reportDiagnostic: <C extends "banned-source-address" | "ban
         default: import("@typespec/compiler").CallableMessage<[string]>;
     };
     "banned-inheritance": {
-        default: import("@typespec/compiler").CallableMessage<[]>;
+        default: import("@typespec/compiler").CallableMessage<[string]>;
     };
     "duplicate-name": {
         default: import("@typespec/compiler").CallableMessage<[string]>;
     };
-}, C, M>) => import("@typespec/compiler").Diagnostic, StateKeys: Record<"values" | "reverse" | "unit" | "id" | "condition" | "write" | "passive" | "auth" | "qq" | "zz" | "inherit" | "bcd" | "hex" | "maxBits" | "out" | "divisor", symbol>;
+    "multiple-decorator": {
+        default: import("@typespec/compiler").CallableMessage<[string]>;
+    };
+    "invalid-length": {
+        default: import("@typespec/compiler").CallableMessage<[string, string]>;
+    };
+    "missing-decorator": {
+        default: import("@typespec/compiler").CallableMessage<[string]>;
+    };
+}, C, M>) => import("@typespec/compiler").Diagnostic, StateKeys: Record<"values" | "reverse" | "unit" | "id" | "condition" | "write" | "passive" | "auth" | "qq" | "zz" | "chain" | "inherit" | "bcd" | "hex" | "maxBits" | "out" | "divisor", symbol>;

package/dist/src/lib.js

@@ -88,7 +88,7 @@ export const $lib = createTypeSpecLibrary({
         "banned-inheritance": {
             severity: "error",
             messages: {
-                default: paramMessage `The inheritance is too deep.`,
+                default: paramMessage `The inheritance is too deep in ${"ref"}.`,
             },
         },
         "duplicate-name": {
@@ -97,6 +97,24 @@ export const $lib = createTypeSpecLibrary({
                 default: paramMessage `There are multiple models types with the same id "${"id"}".`,
             },
         },
+        "multiple-decorator": {
+            severity: "error",
+            messages: {
+                default: paramMessage `Only single decorator "@${"which"}" allowed.`,
+            },
+        },
+        "invalid-length": {
+            severity: "error",
+            messages: {
+                default: paramMessage `Invalid @${"which"} length ${"value"}.`,
+            },
+        },
+        "missing-decorator": {
+            severity: "error",
+            messages: {
+                default: paramMessage `Missing decorator "@${"which"}".`,
+            },
+        }
     },
     emitter: {
         options: EmitterOptionsSchema,
@@ -109,6 +127,7 @@ export const $lib = createTypeSpecLibrary({
         qq: { description: "source address QQ" },
         zz: { description: "target address ZZ" },
         id: { description: "message ID" },
+        chain: { description: "message chain" },
         inherit: { description: "inherited model(s)" },
         bcd: { description: 'BCD encoding' },
         hex: { description: 'HEX encoding' },

package/dist/src/lib.js.map

@@ -1 +1 @@
-{"version":3,"file":"lib.js","sourceRoot":"","sources":["../../src/lib.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,qBAAqB,EAAE,YAAY,EAAsB,MAAM,oBAAoB,CAAC;AAc5F,MAAM,CAAC,MAAM,oBAAoB,GAAwC;IACvE,IAAI,EAAE,QAAQ;IACd,oBAAoB,EAAE,KAAK;IAC3B,UAAU,EAAE;QACV,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,KAAK,CAAC,EAAC,oBAAoB;YAClC,QAAQ,EAAE,IAAI;YACd,WAAW,EAAE,6BAA6B,EAAE,8BAA8B;SAC3E;QACD,QAAQ,EAAE;YACR,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,IAAI;YACd,WAAW,EAAE,iEAAiE;SAC/E;KACF;CACF,CAAA;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,qBAAqB,CAAC;IACxC,IAAI,EAAE,MAAM;IACZ,WAAW,EAAE;QACX,uBAAuB,EAAE;YACvB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,2BAA2B,OAAO,IAAI;aAC5D;SACF;QACD,uBAAuB,EAAE;YACvB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,2BAA2B,OAAO,IAAI;aAC5D;SACF;QACD,aAAa,EAAE;YACb,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,iBAAiB,OAAO,IAAI;aAClD;SACF;QACD,gBAAgB,EAAE;YAChB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,0BAA0B,OAAO,IAAI;aAC3D;SACF;QACD,eAAe,EAAE;YACf,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,yBAAyB,OAAO,IAAI;aAC1D;SACF;QACD,eAAe,EAAE;YACf,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,kBAAkB,QAAQ,GAAG;aACnD;SACF;QACD,aAAa,EAAE;YACb,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,gBAAgB,MAAM,eAAe,MAAM,IAAI;aACrE;SACF;QACD,eAAe,EAAE;YACf,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,YAAY,OAAO,cAAc,OAAO,GAAG;aACjE;SACF;QACD,WAAW,EAAE;YACX,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,oCAAoC;aAC1D;SACF;QACD,cAAc,EAAE;YACd,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,+CAA+C,IAAI,IAAI;aAC7E;SACF;QACD,UAAU,EAAE;YACV,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,WAAW,IAAI,iBAAiB;aACtD;SACF;QACD,oBAAoB,EAAE;YACpB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,8BAA8B;aACpD;SACF;QACD,gBAAgB,EAAE;YAChB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,qDAAqD,IAAI,IAAI;aACnF;SACF;KACF;IACD,OAAO,EAAE;QACP,OAAO,EAAE,oBAA2D;KACrE;IACD,KAAK,EAAE;QACL,SAAS,EAAE,EAAE,WAAW,EAAE,sBAAsB,EAAE;QAClD,KAAK,EAAE,EAAE,WAAW,EAAE,iBAAiB,EAAE;QACzC,OAAO,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE;QACxC,IAAI,EAAE,EAAE,WAAW,EAAE,sBAAsB,EAAE;QAC7C,EAAE,EAAE,EAAE,WAAW,EAAE,mBAAmB,EAAE;QACxC,EAAE,EAAE,EAAE,WAAW,EAAE,mBAAmB,EAAE;QACxC,EAAE,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE;QACjC,OAAO,EAAE,EAAE,WAAW,EAAE,oBAAoB,EAAE;QAC9C,GAAG,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE;QACpC,GAAG,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE;QACpC,OAAO,EAAE,EAAE,WAAW,EAAE,oBAAoB,EAAE;QAC9C,GAAG,EAAE,EAAE,WAAW,EAAE,+BAA+B,EAAE;QACrD,OAAO,EAAE,EAAE,WAAW,EAAE,wBAAwB,EAAE;QAClD,IAAI,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE;QAC7B,OAAO,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE;QACnC,MAAM,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE;KACxC;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,MAAM,GAAG,EAAC,uBAAuB,EAAE,KAAK,EAAC,CAAC;AAEvD,MAAM,CAAC,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC"}
+{"version":3,"file":"lib.js","sourceRoot":"","sources":["../../src/lib.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,qBAAqB,EAAE,YAAY,EAAsB,MAAM,oBAAoB,CAAC;AAc5F,MAAM,CAAC,MAAM,oBAAoB,GAAwC;IACvE,IAAI,EAAE,QAAQ;IACd,oBAAoB,EAAE,KAAK;IAC3B,UAAU,EAAE;QACV,WAAW,EAAE;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,KAAK,CAAC,EAAC,oBAAoB;YAClC,QAAQ,EAAE,IAAI;YACd,WAAW,EAAE,6BAA6B,EAAE,8BAA8B;SAC3E;QACD,QAAQ,EAAE;YACR,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,IAAI;YACd,WAAW,EAAE,iEAAiE;SAC/E;KACF;CACF,CAAA;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,qBAAqB,CAAC;IACxC,IAAI,EAAE,MAAM;IACZ,WAAW,EAAE;QACX,uBAAuB,EAAE;YACvB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,2BAA2B,OAAO,IAAI;aAC5D;SACF;QACD,uBAAuB,EAAE;YACvB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,2BAA2B,OAAO,IAAI;aAC5D;SACF;QACD,aAAa,EAAE;YACb,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,iBAAiB,OAAO,IAAI;aAClD;SACF;QACD,gBAAgB,EAAE;YAChB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,0BAA0B,OAAO,IAAI;aAC3D;SACF;QACD,eAAe,EAAE;YACf,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,yBAAyB,OAAO,IAAI;aAC1D;SACF;QACD,eAAe,EAAE;YACf,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,kBAAkB,QAAQ,GAAG;aACnD;SACF;QACD,aAAa,EAAE;YACb,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,gBAAgB,MAAM,eAAe,MAAM,IAAI;aACrE;SACF;QACD,eAAe,EAAE;YACf,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,YAAY,OAAO,cAAc,OAAO,GAAG;aACjE;SACF;QACD,WAAW,EAAE;YACX,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,oCAAoC;aAC1D;SACF;QACD,cAAc,EAAE;YACd,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,+CAA+C,IAAI,IAAI;aAC7E;SACF;QACD,UAAU,EAAE;YACV,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,WAAW,IAAI,iBAAiB;aACtD;SACF;QACD,oBAAoB,EAAE;YACpB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,kCAAkC,KAAK,GAAG;aAChE;SACF;QACD,gBAAgB,EAAE;YAChB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,qDAAqD,IAAI,IAAI;aACnF;SACF;QACD,oBAAoB,EAAE;YACpB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,2BAA2B,OAAO,YAAY;aACpE;SACF;QACD,gBAAgB,EAAE;YAChB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,YAAY,OAAO,WAAW,OAAO,GAAG;aAC9D;SACF;QACD,mBAAmB,EAAE;YACnB,QAAQ,EAAE,OAAO;YACjB,QAAQ,EAAE;gBACR,OAAO,EAAE,YAAY,CAAA,uBAAuB,OAAO,IAAI;aACxD;SACF;KACF;IACD,OAAO,EAAE;QACP,OAAO,EAAE,oBAA2D;KACrE;IACD,KAAK,EAAE;QACL,SAAS,EAAE,EAAE,WAAW,EAAE,sBAAsB,EAAE;QAClD,KAAK,EAAE,EAAE,WAAW,EAAE,iBAAiB,EAAE;QACzC,OAAO,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE;QACxC,IAAI,EAAE,EAAE,WAAW,EAAE,sBAAsB,EAAE;QAC7C,EAAE,EAAE,EAAE,WAAW,EAAE,mBAAmB,EAAE;QACxC,EAAE,EAAE,EAAE,WAAW,EAAE,mBAAmB,EAAE;QACxC,EAAE,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE;QACjC,KAAK,EAAE,EAAE,WAAW,EAAE,eAAe,EAAE;QACvC,OAAO,EAAE,EAAE,WAAW,EAAE,oBAAoB,EAAE;QAC9C,GAAG,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE;QACpC,GAAG,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE;QACpC,OAAO,EAAE,EAAE,WAAW,EAAE,oBAAoB,EAAE;QAC9C,GAAG,EAAE,EAAE,WAAW,EAAE,+BAA+B,EAAE;QACrD,OAAO,EAAE,EAAE,WAAW,EAAE,wBAAwB,EAAE;QAClD,IAAI,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE;QAC7B,OAAO,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE;QACnC,MAAM,EAAE,EAAE,WAAW,EAAE,cAAc,EAAE;KACxC;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,MAAM,GAAG,EAAC,uBAAuB,EAAE,KAAK,EAAC,CAAC;AAEvD,MAAM,CAAC,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC"}

package/dist/src/linter.js

@@ -9,7 +9,6 @@ import { noProjectionRule } from "./rules/no-projection.rule.js";
 import { noTemplateRule } from "./rules/no-template.rule.js";
 import { noTupleRule } from "./rules/no-tuple.rule.js";
 import { noUnionRule } from "./rules/no-union.rule.js";
-//todo recursion as model x {x:x}
 export const $linter = defineLinter({
     rules: [noFunctionRule, noInterfaceRule, noIntrinsicRule, noLiteralRule,
         noObjectRule, noOperationRule, noProjectionRule, noTemplateRule,

package/dist/src/linter.js.map

@@ -1 +1 @@
-{"version":3,"file":"linter.js","sourceRoot":"","sources":["../../src/linter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,YAAY,EAAC,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAC,cAAc,EAAC,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAC,eAAe,EAAC,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAC,eAAe,EAAC,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAC,aAAa,EAAC,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAC,YAAY,EAAC,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAC,eAAe,EAAC,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAC,gBAAgB,EAAC,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAC,cAAc,EAAC,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAC,WAAW,EAAC,MAAM,0BAA0B,CAAC;AACrD,OAAO,EAAC,WAAW,EAAC,MAAM,0BAA0B,CAAC;AACrD,iCAAiC;AACjC,MAAM,CAAC,MAAM,OAAO,GAAG,YAAY,CAAC;IAClC,KAAK,EAAE,CAAC,cAAc,EAAE,eAAe,EAAE,eAAe,EAAE,aAAa;QACrE,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,cAAc;QAC/D,WAAW,EAAE,WAAW,CAAC;IAC3B,QAAQ,EAAE;QACR,WAAW,EAAE;YACX,MAAM,EAAE;gBACN,CAAC,QAAQ,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACrC,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACtC,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACtC,CAAC,QAAQ,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACpC,CAAC,QAAQ,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACnC,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACtC,CAAC,QAAQ,gBAAgB,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACvC,CAAC,QAAQ,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACrC,CAAC,QAAQ,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBAClC,CAAC,QAAQ,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;aACnC;SACF;QACD,GAAG,EAAE;YACH,MAAM,EAAE;gBACN,CAAC,QAAQ,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACrC,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACtC,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACtC,CAAC,QAAQ,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACpC,CAAC,QAAQ,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACnC,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACtC,CAAC,QAAQ,gBAAgB,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACvC,CAAC,QAAQ,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACrC,CAAC,QAAQ,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBAClC,CAAC,QAAQ,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;aACnC;SACF;KACF;CACF,CAAC,CAAC"}
+{"version":3,"file":"linter.js","sourceRoot":"","sources":["../../src/linter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,YAAY,EAAC,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAC,cAAc,EAAC,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAC,eAAe,EAAC,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAC,eAAe,EAAC,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAC,aAAa,EAAC,MAAM,4BAA4B,CAAC;AACzD,OAAO,EAAC,YAAY,EAAC,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAC,eAAe,EAAC,MAAM,8BAA8B,CAAC;AAC7D,OAAO,EAAC,gBAAgB,EAAC,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAC,cAAc,EAAC,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAC,WAAW,EAAC,MAAM,0BAA0B,CAAC;AACrD,OAAO,EAAC,WAAW,EAAC,MAAM,0BAA0B,CAAC;AAErD,MAAM,CAAC,MAAM,OAAO,GAAG,YAAY,CAAC;IAClC,KAAK,EAAE,CAAC,cAAc,EAAE,eAAe,EAAE,eAAe,EAAE,aAAa;QACrE,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,cAAc;QAC/D,WAAW,EAAE,WAAW,CAAC;IAC3B,QAAQ,EAAE;QACR,WAAW,EAAE;YACX,MAAM,EAAE;gBACN,CAAC,QAAQ,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACrC,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACtC,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACtC,CAAC,QAAQ,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACpC,CAAC,QAAQ,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACnC,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACtC,CAAC,QAAQ,gBAAgB,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACvC,CAAC,QAAQ,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACrC,CAAC,QAAQ,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBAClC,CAAC,QAAQ,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;aACnC;SACF;QACD,GAAG,EAAE;YACH,MAAM,EAAE;gBACN,CAAC,QAAQ,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACrC,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACtC,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACtC,CAAC,QAAQ,aAAa,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACpC,CAAC,QAAQ,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACnC,CAAC,QAAQ,eAAe,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACtC,CAAC,QAAQ,gBAAgB,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACvC,CAAC,QAAQ,cAAc,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBACrC,CAAC,QAAQ,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;gBAClC,CAAC,QAAQ,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI;aACnC;SACF;KACF;CACF,CAAC,CAAC"}

package/dist/src/validate.d.ts

@@ -0,0 +1,2 @@
+import { type Program } from "@typespec/compiler";
+export declare const $onValidate: (program: Program) => void;

package/dist/src/validate.js

@@ -0,0 +1,83 @@
+import { createDiagnosticCollector } from "@typespec/compiler";
+import { getChain, getIdType, getValues } from "./decorators.js";
+import { reportDiagnostic, StateKeys } from "./lib.js";
+// perform higher level validation that can't be done by decorators directly
+export const $onValidate = (program) => {
+    const diagnostics = createDiagnosticCollector();
+    // walk through all models having an @id/@ext assigned
+    for (const target of program.stateSet(StateKeys.id).values()) {
+        const { isExt, id } = getIdType(program, target);
+        // check combination with @chain
+        const chain = getChain(program, target);
+        if (chain) {
+            const length = id.length - (isExt ? 0 : 2);
+            if (length <= 0) {
+                reportDiagnostic(program, {
+                    code: "invalid-length",
+                    target,
+                    format: { which: isExt ? 'ext' : 'id', value: '0' },
+                });
+            }
+            else {
+                const badLength = chain.dds.find(dd => dd.length !== length);
+                if (badLength !== undefined) {
+                    reportDiagnostic(program, {
+                        code: "invalid-length",
+                        target,
+                        format: { which: 'chain', value: badLength.length.toString() },
+                    });
+                }
+            }
+        }
+        // check for model recursion
+        const seen = new Set();
+        const checkRecursion = (model) => {
+            if (seen.has(model)) {
+                return model;
+            }
+            seen.add(model);
+            for (const prop of model.properties.values()) {
+                if (prop.type.kind === 'Model') {
+                    const ret = checkRecursion(prop.type);
+                    if (ret) {
+                        return ret;
+                    }
+                }
+            }
+        };
+        const model = checkRecursion(target);
+        if (model) {
+            reportDiagnostic(program, {
+                code: "banned-inheritance",
+                target,
+                format: { ref: model.name },
+            });
+        }
+    }
+    // walk through all models having a @chain assigned
+    for (const target of program.stateMap(StateKeys.chain).keys()) {
+        const id = getIdType(program, target);
+        // only valid in combination with @id/@ext
+        if (!id || id.isExt === undefined) {
+            reportDiagnostic(program, {
+                code: "missing-decorator",
+                target,
+                format: { which: 'id/@ext' },
+            });
+        }
+    }
+    //  walk through all scalars+modelproperties having a @divisor or @factor assigned
+    for (const target of program.stateSet(StateKeys.divisor).values()) {
+        if (getValues(program, target)) {
+            reportDiagnostic(program, {
+                code: "banned-values",
+                target,
+                format: { detail: 'combined with divisor/factor' },
+            });
+        }
+    }
+    if (diagnostics.diagnostics.length > 0) {
+        program.reportDiagnostics(diagnostics.diagnostics);
+    }
+};
+//# sourceMappingURL=validate.js.map

package/dist/src/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,yBAAyB,EAA4D,MAAM,oBAAoB,CAAC;AACxH,OAAO,EAAC,QAAQ,EAAqB,SAAS,EAAE,SAAS,EAAC,MAAM,iBAAiB,CAAC;AAClF,OAAO,EAAC,gBAAgB,EAAE,SAAS,EAAC,MAAM,UAAU,CAAC;AAGrD,4EAA4E;AAC5E,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,OAAgB,EAAQ,EAAE;IACpD,MAAM,WAAW,GAAG,yBAAyB,EAAE,CAAC;IAChD,sDAAsD;IACtD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,MAAM,EAA6B,EAAE,CAAC;QACxF,MAAM,EAAC,KAAK,EAAE,EAAE,EAAC,GAAG,SAAS,CAAC,OAAO,EAAE,MAAM,CAAE,CAAC;QAChD,gCAAgC;QAChC,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACxC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,KAAK,CAAA,CAAC,CAAA,CAAC,CAAA,CAAC,CAAA,CAAC,CAAC,CAAC;YACvC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;gBAChB,gBAAgB,CAAC,OAAO,EAAE;oBACxB,IAAI,EAAE,gBAAgB;oBACtB,MAAM;oBACN,MAAM,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,EAAC;iBACnD,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;gBAC7D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5B,gBAAgB,CAAC,OAAO,EAAE;wBACxB,IAAI,EAAE,gBAAgB;wBACtB,MAAM;wBACN,MAAM,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAC;qBAC9D,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,4BAA4B;QAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAS,CAAC;QAC9B,MAAM,cAAc,GAAG,CAAC,KAAY,EAAmB,EAAE;YACvD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpB,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAChB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC7C,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAG,OAAO,EAAE,CAAC;oBAC7B,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACtC,IAAI,GAAG,EAAE,CAAC;wBACR,OAAO,GAAG,CAAC;oBACb,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC,CAAA;QACD,MAAM,KAAK,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;QACrC,IAAI,KAAK,EAAE,CAAC;YACV,gBAAgB,CAAC,OAAO,EAAE;gBACxB,IAAI,EAAE,oBAAoB;gBAC1B,MAAM;gBACN,MAAM,EAAE,EAAC,GAAG,EAAE,KAAK,CAAC,IAAI,EAAC;aAC1B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,mDAAmD;IACnD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAA6B,EAAE,CAAC;QACzF,MAAM,EAAE,GAAG,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACtC,0CAA0C;QAC1C,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,KAAK,KAAG,SAAS,EAAE,CAAC;YAChC,gBAAgB,CAAC,OAAO,EAAE;gBACxB,IAAI,EAAE,mBAAmB;gBACzB,MAAM;gBACN,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAC;aAC5B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,kFAAkF;IAClF,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,MAAM,EAA4C,EAAE,CAAC;QAC5G,IAAI,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YAC/B,gBAAgB,CAAC,OAAO,EAAE;gBACxB,IAAI,EAAE,eAAe;gBACrB,MAAM;gBACN,MAAM,EAAE,EAAE,MAAM,EAAE,8BAA8B,EAAE;aACnD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvC,OAAO,CAAC,iBAAiB,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;IACrD,CAAC;AACH,CAAC,CAAA"}

package/docs.md

@@ -79,6 +79,7 @@ Available ruleSets:
 
 - [`@auth`](#@auth)
 - [`@base`](#@base)
+- [`@chain`](#@chain)
 - [`@condition`](#@condition)
 - [`@divisor`](#@divisor)
 - [`@ext`](#@ext)
@@ -132,6 +133,26 @@ Define the base message ID to be combined with an extension ID.
 | sb   | `valueof scalar Ebus.Sb`      | the secondary message ID. |
 | dd   | `valueof model Ebus.Symbol[]` | further message ID parts. |
 
+#### `@chain`
+
+Define chained message IDs.
+
+```typespec
+@Ebus.chain(length: valueof uint8, dd: valueof Ebus.Symbol[], ...dds: valueof Ebus.Symbol[][])
+```
+
+##### Target
+
+`Model`
+
+##### Parameters
+
+| Name   | Type                            | Description                                                                                |
+| ------ | ------------------------------- | ------------------------------------------------------------------------------------------ |
+| length | `valueof scalar uint8`          | the (maximum) length of a single message part of this chain, or 0 for default (=24).       |
+| dd     | `valueof model Ebus.Symbol[]`   | second message ID part the chain is built from (first one taken from id or ext decorator). |
+| dds    | `valueof model Ebus.Symbol[][]` | list of further message ID parts the chain is built from.                                  |
+
 #### `@condition`
 
 Define the condition(s) for the whole message (if given multiple times, all conditions must be met).
@@ -174,7 +195,7 @@ Define the divisor.
 Define the extension message ID to be combined with a base ID.
 
 ```typespec
-@Ebus.ext(...id: valueof Ebus.Symbol[])
+@Ebus.ext(...dd: valueof Ebus.Symbol[])
 ```
 
 ##### Target
@@ -185,7 +206,7 @@ Define the extension message ID to be combined with a base ID.
 
 | Name | Type                          | Description                  |
 | ---- | ----------------------------- | ---------------------------- |
-| id   | `valueof model Ebus.Symbol[]` | message ID extensions parts. |
+| dd   | `valueof model Ebus.Symbol[]` | message ID extensions parts. |
 
 #### `@factor`
 
@@ -439,6 +460,11 @@ Define the max bits.
 #### `@reverse`
 
 Define reverse representation.
+For numeric types this means most significant byte first (big-endian)
+instead of least significant byte first (little-endian).
+For date/time types coded as sequence of individual parts this means reverse sequence
+(i.e. year,month,day instead of day,month,year for dates
+and seconds,minutes,hours instead of hours,minutes,seconds for times).
 
 ```typespec
 @Ebus.internal.reverse

package/lib/decorators.tsp

@@ -59,9 +59,17 @@ extern dec base(target: Model, pb: valueof Pb, sb: valueof Sb, ...dd: valueof Sy
 
 /**
  * Define the extension message ID to be combined with a base ID.
- * @param id message ID extensions parts.
+ * @param dd message ID extensions parts.
  */
-extern dec ext(target: Model, ...id: valueof Symbol[]);
+extern dec ext(target: Model, ...dd: valueof Symbol[]);
+
+/**
+ * Define chained message IDs.
+ * @param length the (maximum) length of a single message part of this chain, or 0 for default (=24).
+ * @param dd second message ID part the chain is built from (first one taken from id or ext decorator).
+ * @param dds list of further message ID parts the chain is built from.
+ */
+extern dec chain(target: Model, length: valueof uint8, dd: valueof Symbol[], ...dds: valueof Symbol[][]);
 
 /**
  * Define the inherited model(s).
@@ -107,6 +115,11 @@ extern dec values(target: numeric|boolean|ModelProperty, values: Enum);
 namespace internal {
   /**
    * Define reverse representation.
+   * For numeric types this means most significant byte first (big-endian)
+   * instead of least significant byte first (little-endian).
+   * For date/time types coded as sequence of individual parts this means reverse sequence
+   * (i.e. year,month,day instead of day,month,year for dates
+   * and seconds,minutes,hours instead of hours,minutes,seconds for times).
    */
   extern dec reverse(target: Scalar);
 

package/lib/models.tsp

@@ -38,15 +38,8 @@ namespace id {
   @values(manufacturers)
   scalar manufacturer extends UCH;
 
-  model id_read {}
-  @zz(BROADCAST)
-  @passive
-  model id_bcast {}
-  @zz(BROADCAST)
-  model id_write {}
-
   /** identification */
-  @inherit(id_read, id_bcast, id_write) @id(0x07, 0x04)
+  @id(0x07, 0x04)
   model id {
     /** device manufacturer */
     mf?: manufacturer,
@@ -58,4 +51,11 @@ namespace id {
     /** hardware version */
     hw?: num.PIN,
   }
+
+  @zz(BROADCAST)
+  @passive
+  model id_bcast is id;
+
+  @zz(BROADCAST)
+  model id_write is id;
 }