skir-codemirror-plugin 0.9.0

package/dist/json/schema_validator.test.js

@@ -0,0 +1,212 @@
+import { expect } from "buckwheat";
+import { describe, it } from "mocha";
+import { parseJsonValue } from "./json_parser.js";
+import { validateSchema } from "./schema_validator.js";
+function parse(json) {
+    const result = parseJsonValue(json);
+    if (!result.value) {
+        throw new Error(`JSON parse error: ${JSON.stringify(result.errors)}`);
+    }
+    return result.value;
+}
+describe("schema_validator", () => {
+    it("validates primitive int32", () => {
+        const schema = {
+            type: { kind: "primitive", value: "int32" },
+            records: [],
+        };
+        const result = validateSchema(parse("123"), schema);
+        expect(result).toMatch({ errors: [] });
+        if (result.hints.length === 0) {
+            throw new Error("Expected type hints");
+        }
+    });
+    it("validates primitive string", () => {
+        const schema = {
+            type: { kind: "primitive", value: "string" },
+            records: [],
+        };
+        const result = validateSchema(parse('"hello"'), schema);
+        expect(result).toMatch({ errors: [] });
+    });
+    it("reports error for type mismatch (int32 vs string)", () => {
+        const schema = {
+            type: { kind: "primitive", value: "int32" },
+            records: [],
+        };
+        const result = validateSchema(parse('"hello"'), schema);
+        expect(result.errors).toMatch([
+            {
+                message: "Expected: int32",
+            },
+        ]);
+    });
+    it("validates array of primitives", () => {
+        const schema = {
+            type: {
+                kind: "array",
+                value: { item: { kind: "primitive", value: "int32" } },
+            },
+            records: [],
+        };
+        const result = validateSchema(parse("[1, 2, 3]"), schema);
+        expect(result).toMatch({ errors: [] });
+    });
+    it("reports error for invalid array item", () => {
+        const schema = {
+            type: {
+                kind: "array",
+                value: { item: { kind: "primitive", value: "int32" } },
+            },
+            records: [],
+        };
+        const result = validateSchema(parse('[1, "bad", 3]'), schema);
+        expect(result.errors).toMatch([
+            {
+                message: "Expected: int32",
+                segment: {
+                    start: 4,
+                    end: 9,
+                },
+            },
+        ]);
+    });
+    it("validates optional field (present)", () => {
+        const schema = {
+            type: {
+                kind: "optional",
+                value: { kind: "primitive", value: "int32" },
+            },
+            records: [],
+        };
+        const result = validateSchema(parse("123"), schema);
+        expect(result).toMatch({ errors: [] });
+    });
+    it("validates optional field (null)", () => {
+        const schema = {
+            type: {
+                kind: "optional",
+                value: { kind: "primitive", value: "int32" },
+            },
+            records: [],
+        };
+        const result = validateSchema(parse("null"), schema);
+        expect(result).toMatch({ errors: [] });
+    });
+    it("validates struct", () => {
+        const schema = {
+            type: { kind: "record", value: "MyStruct" },
+            records: [
+                {
+                    kind: "struct",
+                    id: "MyStruct",
+                    fields: [
+                        {
+                            name: "foo",
+                            number: 1,
+                            type: { kind: "primitive", value: "string" },
+                        },
+                        {
+                            name: "bar",
+                            number: 2,
+                            type: { kind: "primitive", value: "int32" },
+                        },
+                    ],
+                },
+            ],
+        };
+        const result = validateSchema(parse('{"foo": "hi", "bar": 123}'), schema);
+        expect(result).toMatch({ errors: [] });
+    });
+    it("reports unknown field in struct", () => {
+        const schema = {
+            type: { kind: "record", value: "MyStruct" },
+            records: [
+                {
+                    kind: "struct",
+                    id: "MyStruct",
+                    fields: [],
+                },
+            ],
+        };
+        const result = validateSchema(parse('{"unknown": 1}'), schema);
+        expect(result.errors).toMatch([
+            {
+                message: "Unknown field",
+                segment: {
+                    start: 1,
+                    end: 10,
+                },
+            },
+        ]);
+    });
+    it("validates enum (string literal)", () => {
+        const schema = {
+            type: { kind: "record", value: "MyEnum" },
+            records: [
+                {
+                    kind: "enum",
+                    id: "MyEnum",
+                    variants: [
+                        { name: "First", number: 1 },
+                        { name: "Second", number: 2 },
+                    ],
+                },
+            ],
+        };
+        const result = validateSchema(parse('"First"'), schema);
+        expect(result).toMatch({ errors: [] });
+    });
+    it("reports unknown enum variant", () => {
+        const schema = {
+            type: { kind: "record", value: "MyEnum" },
+            records: [
+                {
+                    kind: "enum",
+                    id: "MyEnum",
+                    variants: [{ name: "First", number: 1 }],
+                },
+            ],
+        };
+        const result = validateSchema(parse('"Unknown"'), schema);
+        expect(result.errors).toMatch([
+            {
+                message: "Unknown variant",
+            },
+        ]);
+    });
+    it("validates enum (object with kind)", () => {
+        const schema = {
+            type: { kind: "record", value: "MyEnum" },
+            records: [
+                {
+                    kind: "enum",
+                    id: "MyEnum",
+                    variants: [
+                        {
+                            name: "complex",
+                            number: 1,
+                            type: { kind: "primitive", value: "int32" },
+                        },
+                    ],
+                },
+            ],
+        };
+        expect(validateSchema(parse('{"kind": "complex", "value": 123}'), schema)).toMatch({ errors: [] });
+        expect(validateSchema(parse('{"kind": "complex", "value": "foo"}'), schema)).toMatch({
+            errors: [
+                {
+                    message: "Expected: int32",
+                },
+            ],
+        });
+        expect(validateSchema(parse('{"kind": "complex"}'), schema)).toMatch({
+            errors: [
+                {
+                    message: "Missing: 'value'",
+                },
+            ],
+        });
+    });
+});
+//# sourceMappingURL=schema_validator.test.js.map

package/dist/json/schema_validator.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema_validator.test.js","sourceRoot":"","sources":["../../src/json/schema_validator.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnC,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAGvD,SAAS,KAAK,CAAC,IAAY;IACzB,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC;AACtB,CAAC;AAED,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE;YAC3C,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QACvC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE;YAC5C,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE;YAC3C,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;YAC5B;gBACE,OAAO,EAAE,iBAAiB;aAC3B;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;aACvD;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1D,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE;gBACJ,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;aACvD;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC,CAAC;QAC9D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;YAC5B;gBACE,OAAO,EAAE,iBAAiB;gBAC1B,OAAO,EAAE;oBACP,KAAK,EAAE,CAAC;oBACR,GAAG,EAAE,CAAC;iBACP;aACF;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE;gBACJ,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE;aAC7C;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE;gBACJ,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE;aAC7C;YACD,OAAO,EAAE,EAAE;SACZ,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;QACrD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE;YAC3C,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE,UAAU;oBACd,MAAM,EAAE;wBACN;4BACE,IAAI,EAAE,KAAK;4BACX,MAAM,EAAE,CAAC;4BACT,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE;yBAC7C;wBACD;4BACE,IAAI,EAAE,KAAK;4BACX,MAAM,EAAE,CAAC;4BACT,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE;yBAC5C;qBACF;iBACF;aACF;SACF,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,2BAA2B,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE;YAC3C,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE,UAAU;oBACd,MAAM,EAAE,EAAE;iBACX;aACF;SACF,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC,CAAC;QAC/D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;YAC5B;gBACE,OAAO,EAAE,eAAe;gBACxB,OAAO,EAAE;oBACP,KAAK,EAAE,CAAC;oBACR,GAAG,EAAE,EAAE;iBACR;aACF;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE;YACzC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,EAAE,EAAE,QAAQ;oBACZ,QAAQ,EAAE;wBACR,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE;wBAC5B,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,EAAE;qBAC9B;iBACF;aACF;SACF,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE;YACzC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,EAAE,EAAE,QAAQ;oBACZ,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;iBACzC;aACF;SACF,CAAC;QACF,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;QAC1D,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC;YAC5B;gBACE,OAAO,EAAE,iBAAiB;aAC3B;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE;YACzC,OAAO,EAAE;gBACP;oBACE,IAAI,EAAE,MAAM;oBACZ,EAAE,EAAE,QAAQ;oBACZ,QAAQ,EAAE;wBACR;4BACE,IAAI,EAAE,SAAS;4BACf,MAAM,EAAE,CAAC;4BACT,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE;yBAC5C;qBACF;iBACF;aACF;SACF,CAAC;QAEF,MAAM,CACJ,cAAc,CAAC,KAAK,CAAC,mCAAmC,CAAC,EAAE,MAAM,CAAC,CACnE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QAC1B,MAAM,CACJ,cAAc,CAAC,KAAK,CAAC,qCAAqC,CAAC,EAAE,MAAM,CAAC,CACrE,CAAC,OAAO,CAAC;YACR,MAAM,EAAE;gBACN;oBACE,OAAO,EAAE,iBAAiB;iBAC3B;aACF;SACF,CAAC,CAAC;QACH,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;YACnE,MAAM,EAAE;gBACN;oBACE,OAAO,EAAE,kBAAkB;iBAC5B;aACF;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC","sourcesContent":["import { expect } from \"buckwheat\";\nimport { describe, it } from \"mocha\";\nimport { parseJsonValue } from \"./json_parser.js\";\nimport { validateSchema } from \"./schema_validator.js\";\nimport { JsonValue, TypeDefinition } from \"./types.js\";\n\nfunction parse(json: string): JsonValue {\n  const result = parseJsonValue(json);\n  if (!result.value) {\n    throw new Error(`JSON parse error: ${JSON.stringify(result.errors)}`);\n  }\n  return result.value;\n}\n\ndescribe(\"schema_validator\", () => {\n  it(\"validates primitive int32\", () => {\n    const schema: TypeDefinition = {\n      type: { kind: \"primitive\", value: \"int32\" },\n      records: [],\n    };\n    const result = validateSchema(parse(\"123\"), schema);\n    expect(result).toMatch({ errors: [] });\n    if (result.hints.length === 0) {\n      throw new Error(\"Expected type hints\");\n    }\n  });\n\n  it(\"validates primitive string\", () => {\n    const schema: TypeDefinition = {\n      type: { kind: \"primitive\", value: \"string\" },\n      records: [],\n    };\n    const result = validateSchema(parse('\"hello\"'), schema);\n    expect(result).toMatch({ errors: [] });\n  });\n\n  it(\"reports error for type mismatch (int32 vs string)\", () => {\n    const schema: TypeDefinition = {\n      type: { kind: \"primitive\", value: \"int32\" },\n      records: [],\n    };\n    const result = validateSchema(parse('\"hello\"'), schema);\n    expect(result.errors).toMatch([\n      {\n        message: \"Expected: int32\",\n      },\n    ]);\n  });\n\n  it(\"validates array of primitives\", () => {\n    const schema: TypeDefinition = {\n      type: {\n        kind: \"array\",\n        value: { item: { kind: \"primitive\", value: \"int32\" } },\n      },\n      records: [],\n    };\n    const result = validateSchema(parse(\"[1, 2, 3]\"), schema);\n    expect(result).toMatch({ errors: [] });\n  });\n\n  it(\"reports error for invalid array item\", () => {\n    const schema: TypeDefinition = {\n      type: {\n        kind: \"array\",\n        value: { item: { kind: \"primitive\", value: \"int32\" } },\n      },\n      records: [],\n    };\n    const result = validateSchema(parse('[1, \"bad\", 3]'), schema);\n    expect(result.errors).toMatch([\n      {\n        message: \"Expected: int32\",\n        segment: {\n          start: 4,\n          end: 9,\n        },\n      },\n    ]);\n  });\n\n  it(\"validates optional field (present)\", () => {\n    const schema: TypeDefinition = {\n      type: {\n        kind: \"optional\",\n        value: { kind: \"primitive\", value: \"int32\" },\n      },\n      records: [],\n    };\n    const result = validateSchema(parse(\"123\"), schema);\n    expect(result).toMatch({ errors: [] });\n  });\n\n  it(\"validates optional field (null)\", () => {\n    const schema: TypeDefinition = {\n      type: {\n        kind: \"optional\",\n        value: { kind: \"primitive\", value: \"int32\" },\n      },\n      records: [],\n    };\n    const result = validateSchema(parse(\"null\"), schema);\n    expect(result).toMatch({ errors: [] });\n  });\n\n  it(\"validates struct\", () => {\n    const schema: TypeDefinition = {\n      type: { kind: \"record\", value: \"MyStruct\" },\n      records: [\n        {\n          kind: \"struct\",\n          id: \"MyStruct\",\n          fields: [\n            {\n              name: \"foo\",\n              number: 1,\n              type: { kind: \"primitive\", value: \"string\" },\n            },\n            {\n              name: \"bar\",\n              number: 2,\n              type: { kind: \"primitive\", value: \"int32\" },\n            },\n          ],\n        },\n      ],\n    };\n    const result = validateSchema(parse('{\"foo\": \"hi\", \"bar\": 123}'), schema);\n    expect(result).toMatch({ errors: [] });\n  });\n\n  it(\"reports unknown field in struct\", () => {\n    const schema: TypeDefinition = {\n      type: { kind: \"record\", value: \"MyStruct\" },\n      records: [\n        {\n          kind: \"struct\",\n          id: \"MyStruct\",\n          fields: [],\n        },\n      ],\n    };\n    const result = validateSchema(parse('{\"unknown\": 1}'), schema);\n    expect(result.errors).toMatch([\n      {\n        message: \"Unknown field\",\n        segment: {\n          start: 1,\n          end: 10,\n        },\n      },\n    ]);\n  });\n\n  it(\"validates enum (string literal)\", () => {\n    const schema: TypeDefinition = {\n      type: { kind: \"record\", value: \"MyEnum\" },\n      records: [\n        {\n          kind: \"enum\",\n          id: \"MyEnum\",\n          variants: [\n            { name: \"First\", number: 1 },\n            { name: \"Second\", number: 2 },\n          ],\n        },\n      ],\n    };\n    const result = validateSchema(parse('\"First\"'), schema);\n    expect(result).toMatch({ errors: [] });\n  });\n\n  it(\"reports unknown enum variant\", () => {\n    const schema: TypeDefinition = {\n      type: { kind: \"record\", value: \"MyEnum\" },\n      records: [\n        {\n          kind: \"enum\",\n          id: \"MyEnum\",\n          variants: [{ name: \"First\", number: 1 }],\n        },\n      ],\n    };\n    const result = validateSchema(parse('\"Unknown\"'), schema);\n    expect(result.errors).toMatch([\n      {\n        message: \"Unknown variant\",\n      },\n    ]);\n  });\n\n  it(\"validates enum (object with kind)\", () => {\n    const schema: TypeDefinition = {\n      type: { kind: \"record\", value: \"MyEnum\" },\n      records: [\n        {\n          kind: \"enum\",\n          id: \"MyEnum\",\n          variants: [\n            {\n              name: \"complex\",\n              number: 1,\n              type: { kind: \"primitive\", value: \"int32\" },\n            },\n          ],\n        },\n      ],\n    };\n\n    expect(\n      validateSchema(parse('{\"kind\": \"complex\", \"value\": 123}'), schema),\n    ).toMatch({ errors: [] });\n    expect(\n      validateSchema(parse('{\"kind\": \"complex\", \"value\": \"foo\"}'), schema),\n    ).toMatch({\n      errors: [\n        {\n          message: \"Expected: int32\",\n        },\n      ],\n    });\n    expect(validateSchema(parse('{\"kind\": \"complex\"}'), schema)).toMatch({\n      errors: [\n        {\n          message: \"Missing: 'value'\",\n        },\n      ],\n    });\n  });\n});\n"]}

package/dist/json/to_json.d.ts

@@ -0,0 +1,6 @@
+import type { Json, JsonValue, RecordDefinition, TypeSignature } from "./types";
+export declare function toJson(value: JsonValue): Json;
+export declare function makeJsonTemplate(type: TypeSignature, idToRecordDef: {
+    [id: string]: RecordDefinition;
+}, depth?: "depth"): Json;
+//# sourceMappingURL=to_json.d.ts.map

package/dist/json/to_json.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"to_json.d.ts","sourceRoot":"","sources":["../../src/json/to_json.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAEhF,wBAAgB,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAiB7C;AAED,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,aAAa,EACnB,aAAa,EAAE;IAAE,CAAC,EAAE,EAAE,MAAM,GAAG,gBAAgB,CAAA;CAAE,EACjD,KAAK,CAAC,EAAE,OAAO,GACd,IAAI,CA4CN"}

package/dist/json/to_json.js

@@ -0,0 +1,61 @@
+export function toJson(value) {
+    switch (value.kind) {
+        case "literal": {
+            return JSON.parse(value.jsonCode);
+        }
+        case "array": {
+            return value.values.map(toJson);
+        }
+        case "object": {
+            return Object.fromEntries(Object.values(value.keyValues).map((keyValue) => [
+                keyValue.key,
+                toJson(keyValue.value),
+            ]));
+        }
+    }
+}
+export function makeJsonTemplate(type, idToRecordDef, depth) {
+    switch (type.kind) {
+        case "array": {
+            return [];
+        }
+        case "optional": {
+            return null;
+        }
+        case "record": {
+            const recordDef = idToRecordDef[type.value];
+            if (recordDef.kind === "struct") {
+                if (depth) {
+                    return {};
+                }
+                return Object.fromEntries(recordDef.fields.map((field) => [
+                    field.name,
+                    makeJsonTemplate(field.type, idToRecordDef, "depth"),
+                ]));
+            }
+            else {
+                // Enum
+                return "UNKNOWN";
+            }
+        }
+        case "primitive": {
+            switch (type.value) {
+                case "bool":
+                    return false;
+                case "int32":
+                case "float32":
+                case "float64":
+                    return 0;
+                case "int64":
+                case "hash64":
+                    return "0";
+                case "timestamp":
+                    return { unix_millis: 0, formatted: "1970-01-01T00:00:00Z" };
+                case "string":
+                case "bytes":
+                    return "";
+            }
+        }
+    }
+}
+//# sourceMappingURL=to_json.js.map

package/dist/json/to_json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"to_json.js","sourceRoot":"","sources":["../../src/json/to_json.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,MAAM,CAAC,KAAgB;IACrC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;gBAC/C,QAAQ,CAAC,GAAG;gBACZ,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;aACvB,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAmB,EACnB,aAAiD,EACjD,KAAe;IAEf,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC;YAC7C,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAChC,IAAI,KAAK,EAAE,CAAC;oBACV,OAAO,EAAE,CAAC;gBACZ,CAAC;gBACD,OAAO,MAAM,CAAC,WAAW,CACvB,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;oBAC9B,KAAK,CAAC,IAAI;oBACV,gBAAgB,CAAC,KAAK,CAAC,IAAK,EAAE,aAAa,EAAE,OAAO,CAAC;iBACtD,CAAC,CACH,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,OAAO;gBACP,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;gBACnB,KAAK,MAAM;oBACT,OAAO,KAAK,CAAC;gBACf,KAAK,OAAO,CAAC;gBACb,KAAK,SAAS,CAAC;gBACf,KAAK,SAAS;oBACZ,OAAO,CAAC,CAAC;gBACX,KAAK,OAAO,CAAC;gBACb,KAAK,QAAQ;oBACX,OAAO,GAAG,CAAC;gBACb,KAAK,WAAW;oBACd,OAAO,EAAE,WAAW,EAAE,CAAC,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;gBAC/D,KAAK,QAAQ,CAAC;gBACd,KAAK,OAAO;oBACV,OAAO,EAAE,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC","sourcesContent":["import type { Json, JsonValue, RecordDefinition, TypeSignature } from \"./types\";\n\nexport function toJson(value: JsonValue): Json {\n  switch (value.kind) {\n    case \"literal\": {\n      return JSON.parse(value.jsonCode);\n    }\n    case \"array\": {\n      return value.values.map(toJson);\n    }\n    case \"object\": {\n      return Object.fromEntries(\n        Object.values(value.keyValues).map((keyValue) => [\n          keyValue.key,\n          toJson(keyValue.value),\n        ]),\n      );\n    }\n  }\n}\n\nexport function makeJsonTemplate(\n  type: TypeSignature,\n  idToRecordDef: { [id: string]: RecordDefinition },\n  depth?: \"depth\",\n): Json {\n  switch (type.kind) {\n    case \"array\": {\n      return [];\n    }\n    case \"optional\": {\n      return null;\n    }\n    case \"record\": {\n      const recordDef = idToRecordDef[type.value]!;\n      if (recordDef.kind === \"struct\") {\n        if (depth) {\n          return {};\n        }\n        return Object.fromEntries(\n          recordDef.fields.map((field) => [\n            field.name,\n            makeJsonTemplate(field.type!, idToRecordDef, \"depth\"),\n          ]),\n        );\n      } else {\n        // Enum\n        return \"UNKNOWN\";\n      }\n    }\n    case \"primitive\": {\n      switch (type.value) {\n        case \"bool\":\n          return false;\n        case \"int32\":\n        case \"float32\":\n        case \"float64\":\n          return 0;\n        case \"int64\":\n        case \"hash64\":\n          return \"0\";\n        case \"timestamp\":\n          return { unix_millis: 0, formatted: \"1970-01-01T00:00:00Z\" };\n        case \"string\":\n        case \"bytes\":\n          return \"\";\n      }\n    }\n  }\n}\n"]}

package/dist/json/to_json.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=to_json.test.d.ts.map

package/dist/json/to_json.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"to_json.test.d.ts","sourceRoot":"","sources":["../../src/json/to_json.test.ts"],"names":[],"mappings":""}

package/dist/json/to_json.test.js

@@ -0,0 +1,128 @@
+import { expect } from "buckwheat";
+import { describe, it } from "mocha";
+import { parseJsonValue } from "./json_parser.js";
+import { makeJsonTemplate, toJson } from "./to_json.js";
+function parse(json) {
+    const result = parseJsonValue(json);
+    if (!result.value) {
+        throw new Error(`JSON parse error: ${JSON.stringify(result.errors)}`);
+    }
+    return result.value;
+}
+describe("to_json", () => {
+    describe("toJson", () => {
+        it("converts primitives", () => {
+            expect(toJson(parse("true"))).toBe(true);
+            expect(toJson(parse("false"))).toBe(false);
+            expect(toJson(parse("null"))).toBe(null);
+            expect(toJson(parse("123"))).toBe(123);
+            expect(toJson(parse('"hello"'))).toBe("hello");
+        });
+        it("converts array", () => {
+            expect(toJson(parse("[1, 2, 3]"))).toMatch([1, 2, 3]);
+        });
+        it("converts object", () => {
+            expect(toJson(parse('{"a": 1, "b": "2"}'))).toMatch({ a: 1, b: "2" });
+        });
+        it("converts nested structure", () => {
+            const input = '{"arr": [1, {"x": "y"}], "obj": {"z": null}}';
+            expect(toJson(parse(input))).toMatch({
+                arr: [1, { x: "y" }],
+                obj: { z: null },
+            });
+        });
+    });
+    describe("makeJsonTemplate", () => {
+        const emptyRecords = {};
+        it("creates template for array", () => {
+            const type = {
+                kind: "array",
+                value: { item: { kind: "primitive", value: "int32" } },
+            };
+            expect(makeJsonTemplate(type, emptyRecords)).toMatch([]);
+        });
+        it("creates template for optional", () => {
+            const type = {
+                kind: "optional",
+                value: { kind: "primitive", value: "int32" },
+            };
+            expect(makeJsonTemplate(type, emptyRecords)).toBe(null);
+        });
+        it("creates template for primitives", () => {
+            expect(makeJsonTemplate({ kind: "primitive", value: "bool" }, emptyRecords)).toBe(false);
+            expect(makeJsonTemplate({ kind: "primitive", value: "int32" }, emptyRecords)).toBe(0);
+            expect(makeJsonTemplate({ kind: "primitive", value: "float64" }, emptyRecords)).toBe(0);
+            expect(makeJsonTemplate({ kind: "primitive", value: "int64" }, emptyRecords)).toBe("0");
+            expect(makeJsonTemplate({ kind: "primitive", value: "string" }, emptyRecords)).toBe("");
+        });
+        it("creates template for struct", () => {
+            const records = {
+                MyStruct: {
+                    kind: "struct",
+                    id: "MyStruct",
+                    fields: [
+                        {
+                            name: "foo",
+                            number: 1,
+                            type: { kind: "primitive", value: "string" },
+                        },
+                        {
+                            name: "bar",
+                            number: 2,
+                            type: { kind: "primitive", value: "int32" },
+                        },
+                    ],
+                },
+            };
+            const type = { kind: "record", value: "MyStruct" };
+            expect(makeJsonTemplate(type, records)).toMatch({
+                foo: "",
+                bar: 0,
+            });
+        });
+        it("creates template for nested struct (depth limit)", () => {
+            const records = {
+                Parent: {
+                    kind: "struct",
+                    id: "Parent",
+                    fields: [
+                        {
+                            name: "child",
+                            number: 1,
+                            type: { kind: "record", value: "Child" },
+                        },
+                    ],
+                },
+                Child: {
+                    kind: "struct",
+                    id: "Child",
+                    fields: [
+                        {
+                            name: "val",
+                            number: 1,
+                            type: { kind: "primitive", value: "int32" },
+                        },
+                    ],
+                },
+            };
+            const type = { kind: "record", value: "Parent" };
+            // Expect child to be {}, because depth logic in makeJsonTemplate
+            // passes "depth" to recursive call for struct fields.
+            expect(makeJsonTemplate(type, records)).toMatch({
+                child: {},
+            });
+        });
+        it("creates template for enum", () => {
+            const records = {
+                MyEnum: {
+                    kind: "enum",
+                    id: "MyEnum",
+                    variants: [],
+                },
+            };
+            const type = { kind: "record", value: "MyEnum" };
+            expect(makeJsonTemplate(type, records)).toBe("UNKNOWN");
+        });
+    });
+});
+//# sourceMappingURL=to_json.test.js.map

package/dist/json/to_json.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"to_json.test.js","sourceRoot":"","sources":["../../src/json/to_json.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACnC,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAGxD,SAAS,KAAK,CAAC,IAAY;IACzB,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,qBAAqB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC;AACtB,CAAC;AAED,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;IACvB,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;QACtB,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE;YACxB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iBAAiB,EAAE,GAAG,EAAE;YACzB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACxE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,KAAK,GAAG,8CAA8C,CAAC;YAC7D,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;gBACnC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;gBACpB,GAAG,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE;aACjB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,MAAM,YAAY,GAAuC,EAAE,CAAC;QAE5D,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,IAAI,GAAkB;gBAC1B,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;aACvD,CAAC;YACF,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,IAAI,GAAkB;gBAC1B,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE;aAC7C,CAAC;YACF,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,CACJ,gBAAgB,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,YAAY,CAAC,CACrE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACd,MAAM,CACJ,gBAAgB,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,YAAY,CAAC,CACtE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACV,MAAM,CACJ,gBAAgB,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,YAAY,CAAC,CACxE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACV,MAAM,CACJ,gBAAgB,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,YAAY,CAAC,CACtE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACZ,MAAM,CACJ,gBAAgB,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,YAAY,CAAC,CACvE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACb,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,OAAO,GAAuC;gBAClD,QAAQ,EAAE;oBACR,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE,UAAU;oBACd,MAAM,EAAE;wBACN;4BACE,IAAI,EAAE,KAAK;4BACX,MAAM,EAAE,CAAC;4BACT,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE;yBAC7C;wBACD;4BACE,IAAI,EAAE,KAAK;4BACX,MAAM,EAAE,CAAC;4BACT,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE;yBAC5C;qBACF;iBACF;aACF,CAAC;YACF,MAAM,IAAI,GAAkB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;YAClE,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;gBAC9C,GAAG,EAAE,EAAE;gBACP,GAAG,EAAE,CAAC;aACP,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,OAAO,GAAuC;gBAClD,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE,QAAQ;oBACZ,MAAM,EAAE;wBACN;4BACE,IAAI,EAAE,OAAO;4BACb,MAAM,EAAE,CAAC;4BACT,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE;yBACzC;qBACF;iBACF;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,EAAE,EAAE,OAAO;oBACX,MAAM,EAAE;wBACN;4BACE,IAAI,EAAE,KAAK;4BACX,MAAM,EAAE,CAAC;4BACT,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE;yBAC5C;qBACF;iBACF;aACF,CAAC;YACF,MAAM,IAAI,GAAkB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;YAChE,iEAAiE;YACjE,sDAAsD;YACtD,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;gBAC9C,KAAK,EAAE,EAAE;aACV,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,OAAO,GAAuC;gBAClD,MAAM,EAAE;oBACN,IAAI,EAAE,MAAM;oBACZ,EAAE,EAAE,QAAQ;oBACZ,QAAQ,EAAE,EAAE;iBACb;aACF,CAAC;YACF,MAAM,IAAI,GAAkB,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;YAChE,MAAM,CAAC,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC","sourcesContent":["import { expect } from \"buckwheat\";\nimport { describe, it } from \"mocha\";\nimport { parseJsonValue } from \"./json_parser.js\";\nimport { makeJsonTemplate, toJson } from \"./to_json.js\";\nimport { JsonValue, RecordDefinition, TypeSignature } from \"./types.js\";\n\nfunction parse(json: string): JsonValue {\n  const result = parseJsonValue(json);\n  if (!result.value) {\n    throw new Error(`JSON parse error: ${JSON.stringify(result.errors)}`);\n  }\n  return result.value;\n}\n\ndescribe(\"to_json\", () => {\n  describe(\"toJson\", () => {\n    it(\"converts primitives\", () => {\n      expect(toJson(parse(\"true\"))).toBe(true);\n      expect(toJson(parse(\"false\"))).toBe(false);\n      expect(toJson(parse(\"null\"))).toBe(null);\n      expect(toJson(parse(\"123\"))).toBe(123);\n      expect(toJson(parse('\"hello\"'))).toBe(\"hello\");\n    });\n\n    it(\"converts array\", () => {\n      expect(toJson(parse(\"[1, 2, 3]\"))).toMatch([1, 2, 3]);\n    });\n\n    it(\"converts object\", () => {\n      expect(toJson(parse('{\"a\": 1, \"b\": \"2\"}'))).toMatch({ a: 1, b: \"2\" });\n    });\n\n    it(\"converts nested structure\", () => {\n      const input = '{\"arr\": [1, {\"x\": \"y\"}], \"obj\": {\"z\": null}}';\n      expect(toJson(parse(input))).toMatch({\n        arr: [1, { x: \"y\" }],\n        obj: { z: null },\n      });\n    });\n  });\n\n  describe(\"makeJsonTemplate\", () => {\n    const emptyRecords: { [id: string]: RecordDefinition } = {};\n\n    it(\"creates template for array\", () => {\n      const type: TypeSignature = {\n        kind: \"array\",\n        value: { item: { kind: \"primitive\", value: \"int32\" } },\n      };\n      expect(makeJsonTemplate(type, emptyRecords)).toMatch([]);\n    });\n\n    it(\"creates template for optional\", () => {\n      const type: TypeSignature = {\n        kind: \"optional\",\n        value: { kind: \"primitive\", value: \"int32\" },\n      };\n      expect(makeJsonTemplate(type, emptyRecords)).toBe(null);\n    });\n\n    it(\"creates template for primitives\", () => {\n      expect(\n        makeJsonTemplate({ kind: \"primitive\", value: \"bool\" }, emptyRecords),\n      ).toBe(false);\n      expect(\n        makeJsonTemplate({ kind: \"primitive\", value: \"int32\" }, emptyRecords),\n      ).toBe(0);\n      expect(\n        makeJsonTemplate({ kind: \"primitive\", value: \"float64\" }, emptyRecords),\n      ).toBe(0);\n      expect(\n        makeJsonTemplate({ kind: \"primitive\", value: \"int64\" }, emptyRecords),\n      ).toBe(\"0\");\n      expect(\n        makeJsonTemplate({ kind: \"primitive\", value: \"string\" }, emptyRecords),\n      ).toBe(\"\");\n    });\n\n    it(\"creates template for struct\", () => {\n      const records: { [id: string]: RecordDefinition } = {\n        MyStruct: {\n          kind: \"struct\",\n          id: \"MyStruct\",\n          fields: [\n            {\n              name: \"foo\",\n              number: 1,\n              type: { kind: \"primitive\", value: \"string\" },\n            },\n            {\n              name: \"bar\",\n              number: 2,\n              type: { kind: \"primitive\", value: \"int32\" },\n            },\n          ],\n        },\n      };\n      const type: TypeSignature = { kind: \"record\", value: \"MyStruct\" };\n      expect(makeJsonTemplate(type, records)).toMatch({\n        foo: \"\",\n        bar: 0,\n      });\n    });\n\n    it(\"creates template for nested struct (depth limit)\", () => {\n      const records: { [id: string]: RecordDefinition } = {\n        Parent: {\n          kind: \"struct\",\n          id: \"Parent\",\n          fields: [\n            {\n              name: \"child\",\n              number: 1,\n              type: { kind: \"record\", value: \"Child\" },\n            },\n          ],\n        },\n        Child: {\n          kind: \"struct\",\n          id: \"Child\",\n          fields: [\n            {\n              name: \"val\",\n              number: 1,\n              type: { kind: \"primitive\", value: \"int32\" },\n            },\n          ],\n        },\n      };\n      const type: TypeSignature = { kind: \"record\", value: \"Parent\" };\n      // Expect child to be {}, because depth logic in makeJsonTemplate\n      // passes \"depth\" to recursive call for struct fields.\n      expect(makeJsonTemplate(type, records)).toMatch({\n        child: {},\n      });\n    });\n\n    it(\"creates template for enum\", () => {\n      const records: { [id: string]: RecordDefinition } = {\n        MyEnum: {\n          kind: \"enum\",\n          id: \"MyEnum\",\n          variants: [],\n        },\n      };\n      const type: TypeSignature = { kind: \"record\", value: \"MyEnum\" };\n      expect(makeJsonTemplate(type, records)).toBe(\"UNKNOWN\");\n    });\n  });\n});\n"]}

package/dist/json/types.d.ts

@@ -0,0 +1,170 @@
+export type Json = null | boolean | number | string | readonly Json[] | Readonly<{
+    [name: string]: Json;
+}>;
+export interface JsonError {
+    readonly kind: "error";
+    readonly segment: Segment;
+    readonly message: string;
+}
+export interface JsonParseResult {
+    readonly value: JsonValue | undefined;
+    readonly errors: readonly JsonError[];
+    readonly edits: readonly JsonEdit[];
+}
+export type JsonValue = JsonArray | JsonObject | JsonLiteral;
+export interface JsonArray {
+    readonly kind: "array";
+    readonly firstToken: Segment;
+    readonly segment: Segment;
+    readonly values: JsonValue[];
+    expectedType?: TypeSignature;
+}
+export interface JsonKey {
+    readonly keySegment: Segment;
+    readonly key: string;
+}
+export interface JsonKeyValue {
+    readonly keySegment: Segment;
+    readonly key: string;
+    readonly value: JsonValue;
+    expectedType?: TypeSignature;
+}
+export interface JsonObject {
+    readonly kind: "object";
+    readonly firstToken: Segment;
+    readonly segment: Segment;
+    readonly keyValues: {
+        [key: string]: JsonKeyValue;
+    };
+    readonly allKeys: readonly JsonKey[];
+    expectedType?: TypeSignature;
+}
+export interface JsonLiteral {
+    readonly kind: "literal";
+    readonly firstToken: Segment;
+    readonly segment: Segment;
+    readonly jsonCode: string;
+    readonly type: "boolean" | "null" | "number" | "string";
+    expectedType?: TypeSignature;
+}
+export interface Segment {
+    readonly start: number;
+    readonly end: number;
+}
+export type Path = {
+    readonly kind: "root";
+} | {
+    readonly kind: "field-value";
+    readonly fieldName: string;
+    readonly structPath: Path;
+} | {
+    readonly kind: "variant-value";
+    readonly variantName: string;
+    readonly enumPath: Path;
+} | {
+    readonly kind: "array-item";
+    readonly index: number;
+    readonly key: string | null;
+    readonly arrayPath: Path;
+};
+export interface JsonValueContext {
+    readonly value: JsonValue;
+    readonly path: Path;
+}
+export interface JsonEdit {
+    readonly segment: Segment;
+    readonly replacement: string;
+}
+/** JSON representation of a `TypeDescriptor`. */
+export type TypeDefinition = {
+    readonly type: TypeSignature;
+    readonly records: readonly RecordDefinition[];
+};
+/** A type in the JSON representation of a `TypeDescriptor`. */
+export type TypeSignature = {
+    kind: "optional";
+    value: TypeSignature;
+} | ArrayTypeSignature | RecordTypeSignature | {
+    kind: "primitive";
+    value: PrimitiveType;
+};
+export interface ArrayTypeSignature {
+    readonly kind: "array";
+    readonly value: {
+        readonly item: TypeSignature;
+        readonly key_extractor?: string;
+    };
+}
+export interface RecordTypeSignature {
+    readonly kind: "record";
+    readonly value: string;
+}
+export type PrimitiveType = "bool" | "int32" | "int64" | "hash64" | "float32" | "float64" | "timestamp" | "string" | "bytes";
+export type RecordDefinition = StructDefinition | EnumDefinition;
+/** Definition of a struct in the JSON representation of a `TypeDescriptor`. */
+export type StructDefinition = {
+    readonly kind: "struct";
+    readonly id: string;
+    readonly doc?: string;
+    readonly fields: readonly FieldDefinition[];
+    readonly removed_numbers?: readonly number[];
+};
+/**
+ * Definition of a struct field in the JSON representation of a
+ * `TypeDescriptor`.
+ */
+export type FieldDefinition = {
+    readonly name: string;
+    readonly type: TypeSignature;
+    readonly number: number;
+    readonly doc?: string;
+};
+/** Definition of an enum in the JSON representation of a `TypeDescriptor`. */
+export type EnumDefinition = {
+    readonly kind: "enum";
+    readonly id: string;
+    readonly doc?: string;
+    readonly variants: readonly VariantDefinition[];
+    readonly removed_numbers?: readonly number[];
+};
+/**
+ * Definition of an enum variant in the JSON representation of a
+ * `TypeDescriptor`.
+ */
+export type VariantDefinition = {
+    readonly name: string;
+    readonly type?: TypeSignature;
+    readonly number: number;
+    readonly doc?: string;
+};
+export interface ValidationResult {
+    readonly errors: JsonError[];
+    readonly hints: Hint[];
+    readonly rootTypeHint: TypeHint | undefined;
+    readonly pathToTypeHint: ReadonlyMap<Path, TypeHint>;
+}
+export interface TypeHint {
+    readonly segment: Segment;
+    readonly message: string | readonly string[];
+    readonly valueContext: JsonValueContext;
+    readonly childHints: readonly TypeHint[];
+}
+export type Hint = {
+    readonly segment: Segment;
+    readonly message: string;
+    readonly valueContext?: undefined;
+} | TypeHint;
+export interface MutableTypeHint extends TypeHint {
+    readonly childHints: TypeHint[];
+}
+export interface MethodList {
+    readonly methods: readonly Method[];
+}
+export interface Method {
+    readonly method: string;
+    readonly number: number | string;
+    readonly request: TypeDefinition;
+    readonly response: TypeDefinition;
+    readonly doc?: string;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/json/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/json/types.ts"],"names":[],"mappings":"AACA,MAAM,MAAM,IAAI,GACZ,IAAI,GACJ,OAAO,GACP,MAAM,GACN,MAAM,GACN,SAAS,IAAI,EAAE,GACf,QAAQ,CAAC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC,CAAC;AAMvC,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAMD,MAAM,WAAW,eAAe;IAE9B,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IAGtC,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;CACrC;AAED,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,WAAW,CAAC;AAE7D,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAEvB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAE7B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC;IAC7B,YAAY,CAAC,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,YAAY,CAAC,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAExB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAE7B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE;QAAE,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,CAAA;KAAE,CAAC;IAEpD,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,YAAY,CAAC,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAEzB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,CAAC;IACxD,YAAY,CAAC,EAAE,aAAa,CAAC;CAC9B;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAGD,MAAM,MAAM,IAAI,GACZ;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAE7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAE3B,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAC;CAC3B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAE/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAE7B,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;CAC1B,CAAC;AAEN,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAMD,iDAAiD;AACjD,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;CAC/C,CAAC;AAEF,+DAA+D;AAC/D,MAAM,MAAM,aAAa,GACrB;IACE,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,aAAa,CAAC;CACtB,GACD,kBAAkB,GAClB,mBAAmB,GACnB;IACE,IAAI,EAAE,WAAW,CAAC;IAClB,KAAK,EAAE,aAAa,CAAC;CACtB,CAAC;AAEN,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;QAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;KACjC,CAAC;CACH;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,aAAa,GACrB,MAAM,GACN,OAAO,GACP,OAAO,GACP,QAAQ,GACR,SAAS,GACT,SAAS,GACT,WAAW,GACX,QAAQ,GACR,OAAO,CAAC;AAEZ,MAAM,MAAM,gBAAgB,GAAG,gBAAgB,GAAG,cAAc,CAAC;AAEjE,+EAA+E;AAC/E,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC;IAC5C,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,8EAA8E;AAC9E,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB,CAAC;AAMF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;IACvB,QAAQ,CAAC,YAAY,EAAE,QAAQ,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,cAAc,EAAE,WAAW,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;CACtD;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;IAExC,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,EAAE,CAAC;CAC1C;AAED,MAAM,MAAM,IAAI,GACZ;IACE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC;CACnC,GACD,QAAQ,CAAC;AAEb,MAAM,WAAW,eAAgB,SAAQ,QAAQ;IAC/C,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC;CACjC;AAMD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB"}