skir-codemirror-plugin 0.9.0

package/dist/codemirror/json_completion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json_completion.d.ts","sourceRoot":"","sources":["../../src/codemirror/json_completion.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC/E,OAAO,EAML,cAAc,EACf,MAAM,eAAe,CAAC;AAGvB,wBAAgB,cAAc,CAC5B,MAAM,EAAE,cAAc,GACrB,CAAC,OAAO,EAAE,iBAAiB,KAAK,gBAAgB,GAAG,IAAI,CAsJzD"}

package/dist/codemirror/json_completion.js

@@ -0,0 +1,150 @@
+import { ensureJsonState, jsonStateField } from "./json_state";
+export function jsonCompletion(schema) {
+    // Index record definitions by record id.
+    const idToRecordDef = {};
+    for (const record of schema.records) {
+        idToRecordDef[record.id] = record;
+    }
+    function doCompleteJson(jsonValue, position) {
+        if (!inSegment(position, jsonValue.segment)) {
+            return null;
+        }
+        const { expectedType } = jsonValue;
+        if (!expectedType) {
+            return null;
+        }
+        const actualType = expectedType.kind === "optional" ? expectedType.value : expectedType;
+        void actualType;
+        switch (jsonValue.kind) {
+            case "array": {
+                if (expectedType.kind !== "array") {
+                    return null;
+                }
+                for (const element of jsonValue.values) {
+                    if (position < element.firstToken.start) {
+                        return null; // No need to continue (optimization)
+                    }
+                    const maybeResult = doCompleteJson(element, position);
+                    if (maybeResult) {
+                        return maybeResult;
+                    }
+                }
+                return null;
+            }
+            case "object": {
+                if (expectedType.kind !== "record") {
+                    return null;
+                }
+                const recordDef = idToRecordDef[expectedType.value];
+                if (recordDef.kind === "struct") {
+                    for (const key of jsonValue.allKeys) {
+                        // First, see if the current position is within the key.
+                        const { keySegment } = key;
+                        if (inSegment(position, keySegment)) {
+                            const missingFieldNames = collectMissingFieldNames(jsonValue, recordDef);
+                            return {
+                                from: keySegment.start + 1,
+                                to: keySegment.end - 1,
+                                options: missingFieldNames.map((name) => ({
+                                    label: name,
+                                })),
+                            };
+                        }
+                        // Then, check the value.
+                        const keyValue = jsonValue.keyValues[key.key];
+                        if (keyValue) {
+                            const maybeResult = doCompleteJson(keyValue.value, position);
+                            if (maybeResult) {
+                                return maybeResult;
+                            }
+                        }
+                    }
+                }
+                else {
+                    const kindKv = jsonValue.keyValues["kind"];
+                    if (kindKv &&
+                        inSegment(position, kindKv.value.firstToken) &&
+                        kindKv.value.kind === "literal" &&
+                        kindKv.value.type === "string") {
+                        const options = recordDef.variants
+                            .filter((v) => v.type)
+                            .map((v) => ({
+                            label: v.name,
+                        }));
+                        return {
+                            from: kindKv.value.firstToken.start + 1,
+                            to: kindKv.value.firstToken.end - 1,
+                            options: options,
+                        };
+                    }
+                    const valueKv = jsonValue.keyValues["value"];
+                    if (valueKv) {
+                        const maybeResult = doCompleteJson(valueKv?.value, position);
+                        if (maybeResult) {
+                            return maybeResult;
+                        }
+                    }
+                }
+                return null;
+            }
+            case "literal": {
+                if (expectedType.kind !== "record") {
+                    return null;
+                }
+                const recordDef = idToRecordDef[expectedType.value];
+                if (recordDef.kind !== "enum") {
+                    return null;
+                }
+                const options = recordDef.variants
+                    .filter((v) => !v.type)
+                    .map((v) => ({
+                    label: v.name,
+                }))
+                    .concat({
+                    label: "UNKNOWN",
+                });
+                return {
+                    from: jsonValue.firstToken.start + 1,
+                    to: jsonValue.firstToken.end - 1,
+                    options: options,
+                };
+            }
+        }
+    }
+    function completeJson(context) {
+        const position = context.pos;
+        // Ensure JSON state is up-to-date
+        if (!context.view) {
+            return null;
+        }
+        // Check if character before cursor is a quote
+        const charBeforeCursor = position > 0 ? context.state.doc.sliceString(position - 1, position) : "";
+        const shouldEnsureState = context.explicit || charBeforeCursor === '"';
+        const jsonState = shouldEnsureState
+            ? ensureJsonState(context.view, schema)
+            : context.state.field(jsonStateField, false);
+        if (!jsonState) {
+            return null;
+        }
+        const parseResult = jsonState.parseResult;
+        if (!parseResult.value) {
+            return null;
+        }
+        return doCompleteJson(parseResult.value, position);
+    }
+    return completeJson;
+}
+function inSegment(position, segment) {
+    return position >= segment.start && position < segment.end;
+}
+function collectMissingFieldNames(object, recordDef) {
+    const result = [];
+    for (const field of recordDef.fields) {
+        if (object.keyValues[field.name]) {
+            continue;
+        }
+        result.push(field.name);
+    }
+    return result;
+}
+//# sourceMappingURL=json_completion.js.map

package/dist/codemirror/json_completion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json_completion.js","sourceRoot":"","sources":["../../src/codemirror/json_completion.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE/D,MAAM,UAAU,cAAc,CAC5B,MAAsB;IAEtB,yCAAyC;IACzC,MAAM,aAAa,GAAuC,EAAE,CAAC;IAC7D,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;IACpC,CAAC;IAED,SAAS,cAAc,CACrB,SAAoB,EACpB,QAAgB;QAEhB,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5C,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,EAAE,YAAY,EAAE,GAAG,SAAS,CAAC;QACnC,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,UAAU,GACd,YAAY,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC;QACvE,KAAK,UAAU,CAAC;QAChB,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;YACvB,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,YAAY,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAClC,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;oBACvC,IAAI,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;wBACxC,OAAO,IAAI,CAAC,CAAC,qCAAqC;oBACpD,CAAC;oBACD,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;oBACtD,IAAI,WAAW,EAAE,CAAC;wBAChB,OAAO,WAAW,CAAC;oBACrB,CAAC;gBACH,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,IAAI,YAAY,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACnC,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM,SAAS,GAAG,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBACpD,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAChC,KAAK,MAAM,GAAG,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;wBACpC,wDAAwD;wBACxD,MAAM,EAAE,UAAU,EAAE,GAAG,GAAG,CAAC;wBAC3B,IAAI,SAAS,CAAC,QAAQ,EAAE,UAAU,CAAC,EAAE,CAAC;4BACpC,MAAM,iBAAiB,GAAG,wBAAwB,CAChD,SAAS,EACT,SAAS,CACV,CAAC;4BACF,OAAO;gCACL,IAAI,EAAE,UAAU,CAAC,KAAK,GAAG,CAAC;gCAC1B,EAAE,EAAE,UAAU,CAAC,GAAG,GAAG,CAAC;gCACtB,OAAO,EAAE,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oCACxC,KAAK,EAAE,IAAI;iCACZ,CAAC,CAAC;6BACJ,CAAC;wBACJ,CAAC;wBACD,yBAAyB;wBACzB,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;wBAC9C,IAAI,QAAQ,EAAE,CAAC;4BACb,MAAM,WAAW,GAAG,cAAc,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;4BAC7D,IAAI,WAAW,EAAE,CAAC;gCAChB,OAAO,WAAW,CAAC;4BACrB,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;oBAC3C,IACE,MAAM;wBACN,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC;wBAC5C,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;wBAC/B,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAC9B,CAAC;wBACD,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ;6BAC/B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;6BACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;4BACX,KAAK,EAAE,CAAC,CAAC,IAAI;yBACd,CAAC,CAAC,CAAC;wBACN,OAAO;4BACL,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC;4BACvC,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC;4BACnC,OAAO,EAAE,OAAO;yBACjB,CAAC;oBACJ,CAAC;oBACD,MAAM,OAAO,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;oBAC7C,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,WAAW,GAAG,cAAc,CAAC,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;wBAC7D,IAAI,WAAW,EAAE,CAAC;4BAChB,OAAO,WAAW,CAAC;wBACrB,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YACD,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,IAAI,YAAY,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACnC,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM,SAAS,GAAG,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;gBACpD,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;oBAC9B,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ;qBAC/B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;qBACtB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACX,KAAK,EAAE,CAAC,CAAC,IAAI;iBACd,CAAC,CAAC;qBACF,MAAM,CAAC;oBACN,KAAK,EAAE,SAAS;iBACjB,CAAC,CAAC;gBACL,OAAO;oBACL,IAAI,EAAE,SAAS,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC;oBACpC,EAAE,EAAE,SAAS,CAAC,UAAU,CAAC,GAAG,GAAG,CAAC;oBAChC,OAAO,EAAE,OAAO;iBACjB,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,YAAY,CAAC,OAA0B;QAC9C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC;QAE7B,kCAAkC;QAClC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;YAClB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,8CAA8C;QAC9C,MAAM,gBAAgB,GACpB,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,MAAM,iBAAiB,GAAG,OAAO,CAAC,QAAQ,IAAI,gBAAgB,KAAK,GAAG,CAAC;QAEvE,MAAM,SAAS,GAAG,iBAAiB;YACjC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;YACvC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;QAE/C,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC;QAC1C,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,cAAc,CAAC,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACrD,CAAC;IAED,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,SAAS,SAAS,CAAC,QAAgB,EAAE,OAAgB;IACnD,OAAO,QAAQ,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC;AAC7D,CAAC;AAED,SAAS,wBAAwB,CAC/B,MAAkB,EAClB,SAA2B;IAE3B,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACrC,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,SAAS;QACX,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC","sourcesContent":["import { CompletionContext, CompletionResult } from \"@codemirror/autocomplete\";\nimport {\n  JsonObject,\n  JsonValue,\n  RecordDefinition,\n  Segment,\n  StructDefinition,\n  TypeDefinition,\n} from \"../json/types\";\nimport { ensureJsonState, jsonStateField } from \"./json_state\";\n\nexport function jsonCompletion(\n  schema: TypeDefinition,\n): (context: CompletionContext) => CompletionResult | null {\n  // Index record definitions by record id.\n  const idToRecordDef: { [id: string]: RecordDefinition } = {};\n  for (const record of schema.records) {\n    idToRecordDef[record.id] = record;\n  }\n\n  function doCompleteJson(\n    jsonValue: JsonValue,\n    position: number,\n  ): CompletionResult | null {\n    if (!inSegment(position, jsonValue.segment)) {\n      return null;\n    }\n    const { expectedType } = jsonValue;\n    if (!expectedType) {\n      return null;\n    }\n    const actualType =\n      expectedType.kind === \"optional\" ? expectedType.value : expectedType;\n    void actualType;\n    switch (jsonValue.kind) {\n      case \"array\": {\n        if (expectedType.kind !== \"array\") {\n          return null;\n        }\n        for (const element of jsonValue.values) {\n          if (position < element.firstToken.start) {\n            return null; // No need to continue (optimization)\n          }\n          const maybeResult = doCompleteJson(element, position);\n          if (maybeResult) {\n            return maybeResult;\n          }\n        }\n        return null;\n      }\n      case \"object\": {\n        if (expectedType.kind !== \"record\") {\n          return null;\n        }\n        const recordDef = idToRecordDef[expectedType.value];\n        if (recordDef.kind === \"struct\") {\n          for (const key of jsonValue.allKeys) {\n            // First, see if the current position is within the key.\n            const { keySegment } = key;\n            if (inSegment(position, keySegment)) {\n              const missingFieldNames = collectMissingFieldNames(\n                jsonValue,\n                recordDef,\n              );\n              return {\n                from: keySegment.start + 1,\n                to: keySegment.end - 1,\n                options: missingFieldNames.map((name) => ({\n                  label: name,\n                })),\n              };\n            }\n            // Then, check the value.\n            const keyValue = jsonValue.keyValues[key.key];\n            if (keyValue) {\n              const maybeResult = doCompleteJson(keyValue.value, position);\n              if (maybeResult) {\n                return maybeResult;\n              }\n            }\n          }\n        } else {\n          const kindKv = jsonValue.keyValues[\"kind\"];\n          if (\n            kindKv &&\n            inSegment(position, kindKv.value.firstToken) &&\n            kindKv.value.kind === \"literal\" &&\n            kindKv.value.type === \"string\"\n          ) {\n            const options = recordDef.variants\n              .filter((v) => v.type)\n              .map((v) => ({\n                label: v.name,\n              }));\n            return {\n              from: kindKv.value.firstToken.start + 1,\n              to: kindKv.value.firstToken.end - 1,\n              options: options,\n            };\n          }\n          const valueKv = jsonValue.keyValues[\"value\"];\n          if (valueKv) {\n            const maybeResult = doCompleteJson(valueKv?.value, position);\n            if (maybeResult) {\n              return maybeResult;\n            }\n          }\n        }\n        return null;\n      }\n      case \"literal\": {\n        if (expectedType.kind !== \"record\") {\n          return null;\n        }\n        const recordDef = idToRecordDef[expectedType.value];\n        if (recordDef.kind !== \"enum\") {\n          return null;\n        }\n        const options = recordDef.variants\n          .filter((v) => !v.type)\n          .map((v) => ({\n            label: v.name,\n          }))\n          .concat({\n            label: \"UNKNOWN\",\n          });\n        return {\n          from: jsonValue.firstToken.start + 1,\n          to: jsonValue.firstToken.end - 1,\n          options: options,\n        };\n      }\n    }\n  }\n\n  function completeJson(context: CompletionContext): CompletionResult | null {\n    const position = context.pos;\n\n    // Ensure JSON state is up-to-date\n    if (!context.view) {\n      return null;\n    }\n\n    // Check if character before cursor is a quote\n    const charBeforeCursor =\n      position > 0 ? context.state.doc.sliceString(position - 1, position) : \"\";\n    const shouldEnsureState = context.explicit || charBeforeCursor === '\"';\n\n    const jsonState = shouldEnsureState\n      ? ensureJsonState(context.view, schema)\n      : context.state.field(jsonStateField, false);\n\n    if (!jsonState) {\n      return null;\n    }\n    const parseResult = jsonState.parseResult;\n    if (!parseResult.value) {\n      return null;\n    }\n    return doCompleteJson(parseResult.value, position);\n  }\n\n  return completeJson;\n}\n\nfunction inSegment(position: number, segment: Segment): boolean {\n  return position >= segment.start && position < segment.end;\n}\n\nfunction collectMissingFieldNames(\n  object: JsonObject,\n  recordDef: StructDefinition,\n): string[] {\n  const result: string[] = [];\n  for (const field of recordDef.fields) {\n    if (object.keyValues[field.name]) {\n      continue;\n    }\n    result.push(field.name);\n  }\n  return result;\n}\n"]}

package/dist/codemirror/json_linter.d.ts

@@ -0,0 +1,4 @@
+import { Diagnostic } from "@codemirror/lint";
+import { EditorView } from "@codemirror/view";
+export declare function jsonLinter(editable: "editable" | "read-only"): (view: EditorView) => Diagnostic[];
+//# sourceMappingURL=json_linter.d.ts.map

package/dist/codemirror/json_linter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json_linter.d.ts","sourceRoot":"","sources":["../../src/codemirror/json_linter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAI9C,wBAAgB,UAAU,CACxB,QAAQ,EAAE,UAAU,GAAG,WAAW,GACjC,CAAC,IAAI,EAAE,UAAU,KAAK,UAAU,EAAE,CAuBpC"}

package/dist/codemirror/json_linter.js

@@ -0,0 +1,277 @@
+import { ensureJsonState, jsonStateField } from "./json_state";
+export function jsonLinter(editable) {
+    function lintJson(view) {
+        const jsonState = view.state.field(jsonStateField, false);
+        if (!jsonState) {
+            return [];
+        }
+        const parseResult = jsonState.parseResult;
+        if (parseResult.errors.length) {
+            return parseResult.errors.map(errorToDiagnostic);
+        }
+        if (!jsonState.validationResult) {
+            return [];
+        }
+        const { errors, hints } = jsonState.validationResult;
+        return errors
+            .map(errorToDiagnostic)
+            .concat(hints.map((hint) => hintToDiagnostic(hint, editable)));
+    }
+    return lintJson;
+}
+function errorToDiagnostic(error) {
+    return {
+        from: error.segment.start,
+        to: error.segment.end,
+        message: error.message,
+        severity: "error",
+        renderMessage: () => {
+            const wrapper = document.createElement("div");
+            wrapper.className = "cm-diagnostic-wrapper";
+            wrapper.textContent = error.message;
+            return wrapper;
+        },
+    };
+}
+function getStringControlRows(view, typeHint, value, editable) {
+    const headerRow = document.createElement("div");
+    headerRow.textContent = typeHint.message;
+    const jsonCode = value.jsonCode;
+    const parsedValue = JSON.parse(jsonCode);
+    const controlsRow = document.createElement("div");
+    controlsRow.className = "cm-diagnostic-controls";
+    const label = document.createElement("span");
+    // label.className = "cm-diagnostic-label";
+    label.textContent = "Value:";
+    const textarea = document.createElement("textarea");
+    textarea.className = "cm-diagnostic-textarea";
+    textarea.value = parsedValue;
+    textarea.rows = 1;
+    const isReadOnly = editable === "read-only";
+    textarea.readOnly = isReadOnly;
+    textarea.addEventListener("keydown", (e) => {
+        if (e.key === "Enter" && !e.shiftKey && !isReadOnly) {
+            e.preventDefault();
+            const newValue = textarea.value;
+            const newJsonString = JSON.stringify(newValue);
+            view.dispatch({
+                changes: {
+                    from: typeHint.segment.start,
+                    to: typeHint.segment.end,
+                    insert: newJsonString,
+                },
+            });
+        }
+    });
+    controlsRow.appendChild(label);
+    controlsRow.appendChild(textarea);
+    return [headerRow, controlsRow];
+}
+function getTimestampControlRows(view, typeHint) {
+    const headerRow = document.createElement("div");
+    headerRow.textContent = typeHint.message;
+    let unixMillis;
+    {
+        const value = typeHint.valueContext.value;
+        if (value.kind === "object") {
+            const unixMillisKv = value.keyValues["unix_millis"];
+            if (unixMillisKv &&
+                unixMillisKv.value.kind === "literal" &&
+                unixMillisKv.value.type === "number") {
+                unixMillis = JSON.parse(unixMillisKv.value.jsonCode);
+                if (unixMillis < -8640000000000000 || 8640000000000000 < unixMillis) {
+                    unixMillis = undefined;
+                }
+            }
+        }
+    }
+    // Row 1: unix_millis input
+    const row1 = document.createElement("div");
+    row1.className = "cm-diagnostic-controls";
+    const label1 = document.createElement("span");
+    label1.className = "cm-diagnostic-label";
+    label1.textContent = "unix_millis:";
+    const field1 = document.createElement("div");
+    field1.className = "cm-timestamp-field";
+    const unixMillisInput = document.createElement("input");
+    unixMillisInput.type = "text";
+    unixMillisInput.className = "cm-diagnostic-input";
+    unixMillisInput.value = unixMillis !== undefined ? String(unixMillis) : "";
+    const error1 = document.createElement("div");
+    error1.className = "cm-diagnostic-error-message";
+    error1.style.display = "none";
+    field1.appendChild(unixMillisInput);
+    field1.appendChild(error1);
+    row1.appendChild(label1);
+    row1.appendChild(field1);
+    // Row 2: ISO 8601 date string input
+    const row2 = document.createElement("div");
+    row2.className = "cm-diagnostic-controls";
+    const label2 = document.createElement("span");
+    label2.className = "cm-diagnostic-label";
+    label2.textContent = "ISO 8601:";
+    const field2 = document.createElement("div");
+    field2.className = "cm-timestamp-field";
+    const isoInput = document.createElement("input");
+    isoInput.type = "text";
+    isoInput.className = "cm-diagnostic-input";
+    if (unixMillis !== undefined) {
+        isoInput.value = new Date(unixMillis).toISOString();
+    }
+    const error2 = document.createElement("div");
+    error2.className = "cm-diagnostic-error-message";
+    error2.style.display = "none";
+    field2.appendChild(isoInput);
+    field2.appendChild(error2);
+    row2.appendChild(label2);
+    row2.appendChild(field2);
+    // Row 3: Now button
+    const row3 = document.createElement("div");
+    row3.className = "cm-diagnostic-controls";
+    const nowButton = document.createElement("button");
+    nowButton.className = "cm-diagnostic-button";
+    nowButton.textContent = "Now";
+    row3.appendChild(nowButton);
+    // Helper function to update the editor
+    const updateEditor = (millis, formatted) => {
+        const value = typeHint.valueContext.value;
+        // Check if both keys exist in the object
+        if (value.kind === "object") {
+            const unixMillisKv = value.keyValues["unix_millis"];
+            const formattedKv = value.keyValues["formatted"];
+            if (unixMillisKv && formattedKv) {
+                // Update both values individually
+                view.dispatch({
+                    changes: [
+                        {
+                            from: unixMillisKv.value.segment.start,
+                            to: unixMillisKv.value.segment.end,
+                            insert: String(millis),
+                        },
+                        {
+                            from: formattedKv.value.segment.start,
+                            to: formattedKv.value.segment.end,
+                            insert: JSON.stringify(formatted),
+                        },
+                    ],
+                });
+                return;
+            }
+        }
+        // Default behavior: replace the whole object
+        const newJsonString = `{"unix_millis": ${millis}, "formatted": "${formatted}"}`;
+        const segment = typeHint.valueContext.value.segment;
+        view.dispatch({
+            changes: {
+                from: segment.start,
+                to: segment.end,
+                insert: newJsonString,
+            },
+        });
+        ensureJsonState(view, view.schema);
+    };
+    // Enter key handler for unix_millis input
+    unixMillisInput.addEventListener("keydown", (e) => {
+        if (e.key === "Enter") {
+            e.preventDefault();
+            const value = unixMillisInput.value.trim();
+            const millis = Number(value);
+            // Validate
+            if (value === "" || isNaN(millis) || !Number.isInteger(millis)) {
+                error1.textContent = "Must be an integer";
+                error1.style.display = "block";
+                return;
+            }
+            if (millis < -8640000000000000 || millis > 8640000000000000) {
+                error1.textContent = "Timestamp out of range";
+                error1.style.display = "block";
+                return;
+            }
+            error1.style.display = "none";
+            error2.style.display = "none";
+            // Update ISO field and editor
+            const formatted = new Date(millis).toISOString();
+            isoInput.value = formatted;
+            updateEditor(millis, formatted);
+        }
+    });
+    // Enter key handler for ISO 8601 input
+    isoInput.addEventListener("keydown", (e) => {
+        if (e.key === "Enter") {
+            e.preventDefault();
+            const value = isoInput.value.trim();
+            const millis = Date.parse(value);
+            // Validate
+            if (isNaN(millis)) {
+                error2.textContent = "Invalid ISO 8601 date string";
+                error2.style.display = "block";
+                return;
+            }
+            error1.style.display = "none";
+            error2.style.display = "none";
+            // Update unix_millis field and editor
+            const formatted = new Date(millis).toISOString();
+            unixMillisInput.value = String(millis);
+            updateEditor(millis, formatted);
+        }
+    });
+    // Now button handler
+    nowButton.addEventListener("click", () => {
+        const now = Date.now();
+        const formatted = new Date(now).toISOString();
+        unixMillisInput.value = String(now);
+        isoInput.value = formatted;
+        error1.style.display = "none";
+        error2.style.display = "none";
+        updateEditor(now, formatted);
+    });
+    const controlsRow = document.createElement("div");
+    controlsRow.appendChild(row1);
+    controlsRow.appendChild(row2);
+    controlsRow.appendChild(row3);
+    return [headerRow, controlsRow];
+}
+function hintToDiagnostic(typeHint, editable) {
+    const { message } = typeHint;
+    return {
+        from: typeHint.segment.start,
+        to: typeHint.segment.end,
+        message: "",
+        severity: "info",
+        renderMessage: (view) => {
+            const wrapper = document.createElement("div");
+            wrapper.className = "cm-diagnostic-wrapper";
+            let rows;
+            if ((message === "string" || message === "string?") &&
+                typeHint.valueContext &&
+                typeHint.valueContext.value.kind === "literal" &&
+                typeHint.valueContext.value.type === "string") {
+                // Render a string editing control for string hints.
+                rows = getStringControlRows(view, typeHint, typeHint.valueContext.value, editable);
+            }
+            else if ((message === "timestamp" || message === "timestamp?") &&
+                typeHint.valueContext &&
+                typeHint.valueContext.value.kind === "object" &&
+                editable === "editable") {
+                // Render a timestamp editing control for timestamp hints.
+                rows = getTimestampControlRows(view, typeHint);
+            }
+            else {
+                // Display the message for non-string types
+                const pieces = typeof message === "string" ? [message] : message;
+                rows = pieces.map((piece) => {
+                    const row = document.createElement("div");
+                    row.textContent = piece;
+                    return row;
+                });
+            }
+            for (const row of rows) {
+                row.classList.add("diagnostic-row");
+                wrapper.appendChild(row);
+            }
+            return wrapper;
+        },
+        markClass: "",
+    };
+}
+//# sourceMappingURL=json_linter.js.map

package/dist/codemirror/json_linter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json_linter.js","sourceRoot":"","sources":["../../src/codemirror/json_linter.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE/D,MAAM,UAAU,UAAU,CACxB,QAAkC;IAElC,SAAS,QAAQ,CAAC,IAAgB;QAChC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;QAC1D,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC;QAC1C,IAAI,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAC9B,OAAO,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,CAAC,SAAS,CAAC,gBAAgB,EAAE,CAAC;YAChC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAAC,gBAAgB,CAAC;QACrD,OAAO,MAAM;aACV,GAAG,CAAC,iBAAiB,CAAC;aACtB,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAgB;IACzC,OAAO;QACL,IAAI,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK;QACzB,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG;QACrB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,QAAQ,EAAE,OAAO;QACjB,aAAa,EAAE,GAAS,EAAE;YACxB,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,CAAC,SAAS,GAAG,uBAAuB,CAAC;YAC5C,OAAO,CAAC,WAAW,GAAG,KAAK,CAAC,OAAO,CAAC;YACpC,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAgB,EAChB,QAAkB,EAClB,KAAkB,EAClB,QAAkC;IAElC,MAAM,SAAS,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAChD,SAAS,CAAC,WAAW,GAAG,QAAQ,CAAC,OAAiB,CAAC;IAEnD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAW,CAAC;IAEnD,MAAM,WAAW,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAClD,WAAW,CAAC,SAAS,GAAG,wBAAwB,CAAC;IAEjD,MAAM,KAAK,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7C,2CAA2C;IAC3C,KAAK,CAAC,WAAW,GAAG,QAAQ,CAAC;IAE7B,MAAM,QAAQ,GAAG,QAAQ,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC;IACpD,QAAQ,CAAC,SAAS,GAAG,wBAAwB,CAAC;IAC9C,QAAQ,CAAC,KAAK,GAAG,WAAW,CAAC;IAC7B,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;IAClB,MAAM,UAAU,GAAG,QAAQ,KAAK,WAAW,CAAC;IAC5C,QAAQ,CAAC,QAAQ,GAAG,UAAU,CAAC;IAE/B,QAAQ,CAAC,gBAAgB,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE;QACzC,IAAI,CAAC,CAAC,GAAG,KAAK,OAAO,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,UAAU,EAAE,CAAC;YACpD,CAAC,CAAC,cAAc,EAAE,CAAC;YACnB,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC;YAChC,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YAE/C,IAAI,CAAC,QAAQ,CAAC;gBACZ,OAAO,EAAE;oBACP,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK;oBAC5B,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG;oBACxB,MAAM,EAAE,aAAa;iBACtB;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,WAAW,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;IAC/B,WAAW,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;IAElC,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,uBAAuB,CAC9B,IAAgB,EAChB,QAAkB;IAElB,MAAM,SAAS,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAChD,SAAS,CAAC,WAAW,GAAG,QAAQ,CAAC,OAAiB,CAAC;IAEnD,IAAI,UAA8B,CAAC;IACnC,CAAC;QACC,MAAM,KAAK,GAAG,QAAQ,CAAC,YAAa,CAAC,KAAK,CAAC;QAC3C,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;YACpD,IACE,YAAY;gBACZ,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gBACrC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EACpC,CAAC;gBACD,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAW,CAAC;gBAC/D,IAAI,UAAU,GAAG,CAAC,gBAAgB,IAAI,gBAAgB,GAAG,UAAU,EAAE,CAAC;oBACpE,UAAU,GAAG,SAAS,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,2BAA2B;IAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,SAAS,GAAG,wBAAwB,CAAC;IAE1C,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,CAAC,SAAS,GAAG,qBAAqB,CAAC;IACzC,MAAM,CAAC,WAAW,GAAG,cAAc,CAAC;IAEpC,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,CAAC,SAAS,GAAG,oBAAoB,CAAC;IAExC,MAAM,eAAe,GAAG,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IACxD,eAAe,CAAC,IAAI,GAAG,MAAM,CAAC;IAC9B,eAAe,CAAC,SAAS,GAAG,qBAAqB,CAAC;IAClD,eAAe,CAAC,KAAK,GAAG,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAE3E,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,CAAC,SAAS,GAAG,6BAA6B,CAAC;IACjD,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC;IAE9B,MAAM,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC;IACpC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3B,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAEzB,oCAAoC;IACpC,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,SAAS,GAAG,wBAAwB,CAAC;IAE1C,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,CAAC,SAAS,GAAG,qBAAqB,CAAC;IACzC,MAAM,CAAC,WAAW,GAAG,WAAW,CAAC;IAEjC,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,CAAC,SAAS,GAAG,oBAAoB,CAAC;IAExC,MAAM,QAAQ,GAAG,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IACjD,QAAQ,CAAC,IAAI,GAAG,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,GAAG,qBAAqB,CAAC;IAC3C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,QAAQ,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;IACtD,CAAC;IAED,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC7C,MAAM,CAAC,SAAS,GAAG,6BAA6B,CAAC;IACjD,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC;IAE9B,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;IAC7B,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAC3B,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACzB,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IAEzB,oBAAoB;IACpB,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,SAAS,GAAG,wBAAwB,CAAC;IAE1C,MAAM,SAAS,GAAG,QAAQ,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;IACnD,SAAS,CAAC,SAAS,GAAG,sBAAsB,CAAC;IAC7C,SAAS,CAAC,WAAW,GAAG,KAAK,CAAC;IAE9B,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IAE5B,uCAAuC;IACvC,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,SAAiB,EAAQ,EAAE;QAC/D,MAAM,KAAK,GAAG,QAAQ,CAAC,YAAa,CAAC,KAAK,CAAC;QAE3C,yCAAyC;QACzC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;YACpD,MAAM,WAAW,GAAG,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;YAEjD,IAAI,YAAY,IAAI,WAAW,EAAE,CAAC;gBAChC,kCAAkC;gBAClC,IAAI,CAAC,QAAQ,CAAC;oBACZ,OAAO,EAAE;wBACP;4BACE,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK;4BACtC,EAAE,EAAE,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG;4BAClC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC;yBACvB;wBACD;4BACE,IAAI,EAAE,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK;4BACrC,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG;4BACjC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC;yBAClC;qBACF;iBACF,CAAC,CAAC;gBAEH,OAAO;YACT,CAAC;QACH,CAAC;QAED,6CAA6C;QAC7C,MAAM,aAAa,GAAG,mBAAmB,MAAM,mBAAmB,SAAS,IAAI,CAAC;QAEhF,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAa,CAAC,KAAK,CAAC,OAAO,CAAC;QACrD,IAAI,CAAC,QAAQ,CAAC;YACZ,OAAO,EAAE;gBACP,IAAI,EAAE,OAAO,CAAC,KAAK;gBACnB,EAAE,EAAE,OAAO,CAAC,GAAG;gBACf,MAAM,EAAE,aAAa;aACtB;SACF,CAAC,CAAC;QAEH,eAAe,CAAC,IAAI,EAAG,IAAY,CAAC,MAAM,CAAC,CAAC;IAC9C,CAAC,CAAC;IAEF,0CAA0C;IAC1C,eAAe,CAAC,gBAAgB,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE;QAChD,IAAI,CAAC,CAAC,GAAG,KAAK,OAAO,EAAE,CAAC;YACtB,CAAC,CAAC,cAAc,EAAE,CAAC;YACnB,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAE7B,WAAW;YACX,IAAI,KAAK,KAAK,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/D,MAAM,CAAC,WAAW,GAAG,oBAAoB,CAAC;gBAC1C,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;gBAC/B,OAAO;YACT,CAAC;YAED,IAAI,MAAM,GAAG,CAAC,gBAAgB,IAAI,MAAM,GAAG,gBAAgB,EAAE,CAAC;gBAC5D,MAAM,CAAC,WAAW,GAAG,wBAAwB,CAAC;gBAC9C,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;gBAC/B,OAAO;YACT,CAAC;YAED,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC;YAC9B,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC;YAE9B,8BAA8B;YAC9B,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;YACjD,QAAQ,CAAC,KAAK,GAAG,SAAS,CAAC;YAC3B,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,uCAAuC;IACvC,QAAQ,CAAC,gBAAgB,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE;QACzC,IAAI,CAAC,CAAC,GAAG,KAAK,OAAO,EAAE,CAAC;YACtB,CAAC,CAAC,cAAc,EAAE,CAAC;YACnB,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAEjC,WAAW;YACX,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClB,MAAM,CAAC,WAAW,GAAG,8BAA8B,CAAC;gBACpD,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,OAAO,CAAC;gBAC/B,OAAO;YACT,CAAC;YAED,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC;YAC9B,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC;YAE9B,sCAAsC;YACtC,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;YACjD,eAAe,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YACvC,YAAY,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,qBAAqB;IACrB,SAAS,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,MAAM,SAAS,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAE9C,eAAe,CAAC,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACpC,QAAQ,CAAC,KAAK,GAAG,SAAS,CAAC;QAC3B,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC;QAE9B,YAAY,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,MAAM,WAAW,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;IAClD,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC9B,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAC9B,WAAW,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAE9B,OAAO,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,gBAAgB,CACvB,QAAc,EACd,QAAkC;IAElC,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;IAC7B,OAAO;QACL,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,KAAK;QAC5B,EAAE,EAAE,QAAQ,CAAC,OAAO,CAAC,GAAG;QACxB,OAAO,EAAE,EAAE;QACX,QAAQ,EAAE,MAAM;QAChB,aAAa,EAAE,CAAC,IAAI,EAAQ,EAAE;YAC5B,MAAM,OAAO,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,CAAC,SAAS,GAAG,uBAAuB,CAAC;YAE5C,IAAI,IAAsB,CAAC;YAC3B,IACE,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,SAAS,CAAC;gBAC/C,QAAQ,CAAC,YAAY;gBACrB,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;gBAC9C,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAC7C,CAAC;gBACD,oDAAoD;gBACpD,IAAI,GAAG,oBAAoB,CACzB,IAAI,EACJ,QAAQ,EACR,QAAQ,CAAC,YAAY,CAAC,KAAK,EAC3B,QAAQ,CACT,CAAC;YACJ,CAAC;iBAAM,IACL,CAAC,OAAO,KAAK,WAAW,IAAI,OAAO,KAAK,YAAY,CAAC;gBACrD,QAAQ,CAAC,YAAY;gBACrB,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAC7C,QAAQ,KAAK,UAAU,EACvB,CAAC;gBACD,0DAA0D;gBAC1D,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACjD,CAAC;iBAAM,CAAC;gBACN,2CAA2C;gBAC3C,MAAM,MAAM,GAAG,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;gBACjE,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;oBAC1B,MAAM,GAAG,GAAG,QAAQ,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;oBAC1C,GAAG,CAAC,WAAW,GAAG,KAAK,CAAC;oBACxB,OAAO,GAAG,CAAC;gBACb,CAAC,CAAC,CAAC;YACL,CAAC;YAED,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;gBACpC,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YAC3B,CAAC;YAED,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,SAAS,EAAE,EAAE;KACd,CAAC;AACJ,CAAC","sourcesContent":["import { Diagnostic } from \"@codemirror/lint\";\nimport { EditorView } from \"@codemirror/view\";\nimport { Hint, JsonError, JsonLiteral, TypeHint } from \"../json/types\";\nimport { ensureJsonState, jsonStateField } from \"./json_state\";\n\nexport function jsonLinter(\n  editable: \"editable\" | \"read-only\",\n): (view: EditorView) => Diagnostic[] {\n  function lintJson(view: EditorView): Diagnostic[] {\n    const jsonState = view.state.field(jsonStateField, false);\n    if (!jsonState) {\n      return [];\n    }\n\n    const parseResult = jsonState.parseResult;\n    if (parseResult.errors.length) {\n      return parseResult.errors.map(errorToDiagnostic);\n    }\n\n    if (!jsonState.validationResult) {\n      return [];\n    }\n\n    const { errors, hints } = jsonState.validationResult;\n    return errors\n      .map(errorToDiagnostic)\n      .concat(hints.map((hint) => hintToDiagnostic(hint, editable)));\n  }\n\n  return lintJson;\n}\n\nfunction errorToDiagnostic(error: JsonError): Diagnostic {\n  return {\n    from: error.segment.start,\n    to: error.segment.end,\n    message: error.message,\n    severity: \"error\",\n    renderMessage: (): Node => {\n      const wrapper = document.createElement(\"div\");\n      wrapper.className = \"cm-diagnostic-wrapper\";\n      wrapper.textContent = error.message;\n      return wrapper;\n    },\n  };\n}\n\nfunction getStringControlRows(\n  view: EditorView,\n  typeHint: TypeHint,\n  value: JsonLiteral,\n  editable: \"editable\" | \"read-only\",\n): HTMLDivElement[] {\n  const headerRow = document.createElement(\"div\");\n  headerRow.textContent = typeHint.message as string;\n\n  const jsonCode = value.jsonCode;\n  const parsedValue = JSON.parse(jsonCode) as string;\n\n  const controlsRow = document.createElement(\"div\");\n  controlsRow.className = \"cm-diagnostic-controls\";\n\n  const label = document.createElement(\"span\");\n  // label.className = \"cm-diagnostic-label\";\n  label.textContent = \"Value:\";\n\n  const textarea = document.createElement(\"textarea\");\n  textarea.className = \"cm-diagnostic-textarea\";\n  textarea.value = parsedValue;\n  textarea.rows = 1;\n  const isReadOnly = editable === \"read-only\";\n  textarea.readOnly = isReadOnly;\n\n  textarea.addEventListener(\"keydown\", (e) => {\n    if (e.key === \"Enter\" && !e.shiftKey && !isReadOnly) {\n      e.preventDefault();\n      const newValue = textarea.value;\n      const newJsonString = JSON.stringify(newValue);\n\n      view.dispatch({\n        changes: {\n          from: typeHint.segment.start,\n          to: typeHint.segment.end,\n          insert: newJsonString,\n        },\n      });\n    }\n  });\n\n  controlsRow.appendChild(label);\n  controlsRow.appendChild(textarea);\n\n  return [headerRow, controlsRow];\n}\n\nfunction getTimestampControlRows(\n  view: EditorView,\n  typeHint: TypeHint,\n): HTMLDivElement[] {\n  const headerRow = document.createElement(\"div\");\n  headerRow.textContent = typeHint.message as string;\n\n  let unixMillis: number | undefined;\n  {\n    const value = typeHint.valueContext!.value;\n    if (value.kind === \"object\") {\n      const unixMillisKv = value.keyValues[\"unix_millis\"];\n      if (\n        unixMillisKv &&\n        unixMillisKv.value.kind === \"literal\" &&\n        unixMillisKv.value.type === \"number\"\n      ) {\n        unixMillis = JSON.parse(unixMillisKv.value.jsonCode) as number;\n        if (unixMillis < -8640000000000000 || 8640000000000000 < unixMillis) {\n          unixMillis = undefined;\n        }\n      }\n    }\n  }\n\n  // Row 1: unix_millis input\n  const row1 = document.createElement(\"div\");\n  row1.className = \"cm-diagnostic-controls\";\n\n  const label1 = document.createElement(\"span\");\n  label1.className = \"cm-diagnostic-label\";\n  label1.textContent = \"unix_millis:\";\n\n  const field1 = document.createElement(\"div\");\n  field1.className = \"cm-timestamp-field\";\n\n  const unixMillisInput = document.createElement(\"input\");\n  unixMillisInput.type = \"text\";\n  unixMillisInput.className = \"cm-diagnostic-input\";\n  unixMillisInput.value = unixMillis !== undefined ? String(unixMillis) : \"\";\n\n  const error1 = document.createElement(\"div\");\n  error1.className = \"cm-diagnostic-error-message\";\n  error1.style.display = \"none\";\n\n  field1.appendChild(unixMillisInput);\n  field1.appendChild(error1);\n  row1.appendChild(label1);\n  row1.appendChild(field1);\n\n  // Row 2: ISO 8601 date string input\n  const row2 = document.createElement(\"div\");\n  row2.className = \"cm-diagnostic-controls\";\n\n  const label2 = document.createElement(\"span\");\n  label2.className = \"cm-diagnostic-label\";\n  label2.textContent = \"ISO 8601:\";\n\n  const field2 = document.createElement(\"div\");\n  field2.className = \"cm-timestamp-field\";\n\n  const isoInput = document.createElement(\"input\");\n  isoInput.type = \"text\";\n  isoInput.className = \"cm-diagnostic-input\";\n  if (unixMillis !== undefined) {\n    isoInput.value = new Date(unixMillis).toISOString();\n  }\n\n  const error2 = document.createElement(\"div\");\n  error2.className = \"cm-diagnostic-error-message\";\n  error2.style.display = \"none\";\n\n  field2.appendChild(isoInput);\n  field2.appendChild(error2);\n  row2.appendChild(label2);\n  row2.appendChild(field2);\n\n  // Row 3: Now button\n  const row3 = document.createElement(\"div\");\n  row3.className = \"cm-diagnostic-controls\";\n\n  const nowButton = document.createElement(\"button\");\n  nowButton.className = \"cm-diagnostic-button\";\n  nowButton.textContent = \"Now\";\n\n  row3.appendChild(nowButton);\n\n  // Helper function to update the editor\n  const updateEditor = (millis: number, formatted: string): void => {\n    const value = typeHint.valueContext!.value;\n\n    // Check if both keys exist in the object\n    if (value.kind === \"object\") {\n      const unixMillisKv = value.keyValues[\"unix_millis\"];\n      const formattedKv = value.keyValues[\"formatted\"];\n\n      if (unixMillisKv && formattedKv) {\n        // Update both values individually\n        view.dispatch({\n          changes: [\n            {\n              from: unixMillisKv.value.segment.start,\n              to: unixMillisKv.value.segment.end,\n              insert: String(millis),\n            },\n            {\n              from: formattedKv.value.segment.start,\n              to: formattedKv.value.segment.end,\n              insert: JSON.stringify(formatted),\n            },\n          ],\n        });\n\n        return;\n      }\n    }\n\n    // Default behavior: replace the whole object\n    const newJsonString = `{\"unix_millis\": ${millis}, \"formatted\": \"${formatted}\"}`;\n\n    const segment = typeHint.valueContext!.value.segment;\n    view.dispatch({\n      changes: {\n        from: segment.start,\n        to: segment.end,\n        insert: newJsonString,\n      },\n    });\n\n    ensureJsonState(view, (view as any).schema);\n  };\n\n  // Enter key handler for unix_millis input\n  unixMillisInput.addEventListener(\"keydown\", (e) => {\n    if (e.key === \"Enter\") {\n      e.preventDefault();\n      const value = unixMillisInput.value.trim();\n      const millis = Number(value);\n\n      // Validate\n      if (value === \"\" || isNaN(millis) || !Number.isInteger(millis)) {\n        error1.textContent = \"Must be an integer\";\n        error1.style.display = \"block\";\n        return;\n      }\n\n      if (millis < -8640000000000000 || millis > 8640000000000000) {\n        error1.textContent = \"Timestamp out of range\";\n        error1.style.display = \"block\";\n        return;\n      }\n\n      error1.style.display = \"none\";\n      error2.style.display = \"none\";\n\n      // Update ISO field and editor\n      const formatted = new Date(millis).toISOString();\n      isoInput.value = formatted;\n      updateEditor(millis, formatted);\n    }\n  });\n\n  // Enter key handler for ISO 8601 input\n  isoInput.addEventListener(\"keydown\", (e) => {\n    if (e.key === \"Enter\") {\n      e.preventDefault();\n      const value = isoInput.value.trim();\n      const millis = Date.parse(value);\n\n      // Validate\n      if (isNaN(millis)) {\n        error2.textContent = \"Invalid ISO 8601 date string\";\n        error2.style.display = \"block\";\n        return;\n      }\n\n      error1.style.display = \"none\";\n      error2.style.display = \"none\";\n\n      // Update unix_millis field and editor\n      const formatted = new Date(millis).toISOString();\n      unixMillisInput.value = String(millis);\n      updateEditor(millis, formatted);\n    }\n  });\n\n  // Now button handler\n  nowButton.addEventListener(\"click\", () => {\n    const now = Date.now();\n    const formatted = new Date(now).toISOString();\n\n    unixMillisInput.value = String(now);\n    isoInput.value = formatted;\n    error1.style.display = \"none\";\n    error2.style.display = \"none\";\n\n    updateEditor(now, formatted);\n  });\n\n  const controlsRow = document.createElement(\"div\");\n  controlsRow.appendChild(row1);\n  controlsRow.appendChild(row2);\n  controlsRow.appendChild(row3);\n\n  return [headerRow, controlsRow];\n}\n\nfunction hintToDiagnostic(\n  typeHint: Hint,\n  editable: \"editable\" | \"read-only\",\n): Diagnostic {\n  const { message } = typeHint;\n  return {\n    from: typeHint.segment.start,\n    to: typeHint.segment.end,\n    message: \"\",\n    severity: \"info\",\n    renderMessage: (view): Node => {\n      const wrapper = document.createElement(\"div\");\n      wrapper.className = \"cm-diagnostic-wrapper\";\n\n      let rows: HTMLDivElement[];\n      if (\n        (message === \"string\" || message === \"string?\") &&\n        typeHint.valueContext &&\n        typeHint.valueContext.value.kind === \"literal\" &&\n        typeHint.valueContext.value.type === \"string\"\n      ) {\n        // Render a string editing control for string hints.\n        rows = getStringControlRows(\n          view,\n          typeHint,\n          typeHint.valueContext.value,\n          editable,\n        );\n      } else if (\n        (message === \"timestamp\" || message === \"timestamp?\") &&\n        typeHint.valueContext &&\n        typeHint.valueContext.value.kind === \"object\" &&\n        editable === \"editable\"\n      ) {\n        // Render a timestamp editing control for timestamp hints.\n        rows = getTimestampControlRows(view, typeHint);\n      } else {\n        // Display the message for non-string types\n        const pieces = typeof message === \"string\" ? [message] : message;\n        rows = pieces.map((piece) => {\n          const row = document.createElement(\"div\");\n          row.textContent = piece;\n          return row;\n        });\n      }\n\n      for (const row of rows) {\n        row.classList.add(\"diagnostic-row\");\n        wrapper.appendChild(row);\n      }\n\n      return wrapper;\n    },\n    markClass: \"\",\n  };\n}\n"]}

package/dist/codemirror/json_state.d.ts

@@ -0,0 +1,16 @@
+import { Extension, StateField } from "@codemirror/state";
+import { EditorView } from "@codemirror/view";
+import type { JsonParseResult, TypeDefinition, ValidationResult } from "../json/types";
+export interface JsonState {
+    readonly parseResult: JsonParseResult;
+    readonly validationResult?: ValidationResult;
+    readonly source: string;
+}
+export declare const jsonStateField: StateField<JsonState | null>;
+/**
+ * Ensures the JSON state is up-to-date with the current document.
+ * If the state is stale or missing, triggers an immediate parse and returns the updated state.
+ */
+export declare function ensureJsonState(view: EditorView, schema: TypeDefinition): JsonState;
+export declare function debouncedJsonParser(schema: TypeDefinition): Extension[];
+//# sourceMappingURL=json_state.d.ts.map

package/dist/codemirror/json_state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json_state.d.ts","sourceRoot":"","sources":["../../src/codemirror/json_state.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EAET,UAAU,EAEX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,UAAU,EAA0B,MAAM,kBAAkB,CAAC;AAGtE,OAAO,KAAK,EACV,eAAe,EACf,cAAc,EACd,gBAAgB,EACjB,MAAM,eAAe,CAAC;AAEvB,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;IACtC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IAC7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAID,eAAO,MAAM,cAAc,8BAYzB,CAAC;AAEH;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,cAAc,GACrB,SAAS,CA0BX;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,cAAc,GAAG,SAAS,EAAE,CAiGvE"}

package/dist/codemirror/json_state.js

@@ -0,0 +1,124 @@
+import { StateEffect, StateField, Transaction, } from "@codemirror/state";
+import { ViewPlugin } from "@codemirror/view";
+import { parseJsonValue } from "../json/json_parser";
+import { validateSchema } from "../json/schema_validator";
+const updateJsonState = StateEffect.define();
+export const jsonStateField = StateField.define({
+    create() {
+        return null;
+    },
+    update(value, tr) {
+        for (const effect of tr.effects) {
+            if (effect.is(updateJsonState)) {
+                return effect.value;
+            }
+        }
+        return value;
+    },
+});
+/**
+ * Ensures the JSON state is up-to-date with the current document.
+ * If the state is stale or missing, triggers an immediate parse and returns the updated state.
+ */
+export function ensureJsonState(view, schema) {
+    const currentState = view.state.field(jsonStateField, false);
+    const source = view.state.doc.toString();
+    // If the source hasn't changed, return the current state
+    if (currentState && currentState.source === source) {
+        return currentState;
+    }
+    // Parse and validate immediately
+    const parseResult = parseJsonValue(source);
+    let validationResult;
+    if (parseResult.value) {
+        validationResult = validateSchema(parseResult.value, schema);
+    }
+    const newState = { parseResult, validationResult, source };
+    // Update the state if it's different
+    if (!currentState || currentState !== newState) {
+        view.dispatch({
+            effects: updateJsonState.of(newState),
+        });
+    }
+    return newState;
+}
+export function debouncedJsonParser(schema) {
+    return [
+        jsonStateField,
+        ViewPlugin.fromClass(class {
+            constructor(view) {
+                this.timeout = null;
+                this.view = view;
+                this.scheduleUpdate();
+            }
+            update(update) {
+                if (update.docChanged) {
+                    const isUndo = update.transactions.some((tr) => tr.annotation(Transaction.userEvent) === "undo" ||
+                        tr.annotation(Transaction.userEvent) === "redo");
+                    this.scheduleUpdate(isUndo ? "from-undo" : undefined);
+                }
+            }
+            scheduleUpdate(fromUndo) {
+                if (this.timeout !== null) {
+                    clearTimeout(this.timeout);
+                }
+                this.timeout = window.setTimeout(() => {
+                    this.parseJson(fromUndo);
+                    this.timeout = null;
+                }, 200);
+            }
+            parseJson(fromUndo) {
+                const source = this.view.state.doc.toString();
+                const parseResult = parseJsonValue(source);
+                let validationResult;
+                if (parseResult.value) {
+                    validationResult = validateSchema(parseResult.value, schema);
+                }
+                const cursorInsideEdit = () => {
+                    const cursorPos = this.view.state.selection.main.head;
+                    return parseResult.edits.some((edit) => edit.segment.start <= cursorPos &&
+                        cursorPos <= edit.segment.end);
+                };
+                // Apply edits if all these conditions are satisfied:
+                //   - no error
+                //   - the cursor is not inside any of the edited segments, to avoid
+                //       disrupting the user while they're typing
+                //   - the update is not triggered by an undo operation
+                if (!fromUndo &&
+                    parseResult.edits.length &&
+                    parseResult.errors.length <= 0 &&
+                    !cursorInsideEdit()) {
+                    const changes = parseResult.edits.map((edit) => ({
+                        from: edit.segment.start,
+                        to: edit.segment.end,
+                        insert: edit.replacement,
+                    }));
+                    this.view.dispatch({
+                        changes,
+                        effects: updateJsonState.of({
+                            parseResult,
+                            validationResult,
+                            source,
+                        }),
+                        scrollIntoView: true,
+                    });
+                }
+                else {
+                    this.view.dispatch({
+                        effects: updateJsonState.of({
+                            parseResult,
+                            validationResult,
+                            source,
+                        }),
+                    });
+                }
+            }
+            destroy() {
+                if (this.timeout !== null) {
+                    clearTimeout(this.timeout);
+                }
+            }
+        }),
+    ];
+}
+//# sourceMappingURL=json_state.js.map