skir-codemirror-plugin 0.9.0

package/dist/json/schema_validator.js

@@ -0,0 +1,525 @@
+import { primitiveSerializer } from "skir-client";
+import { toJson } from "./to_json";
+export function validateSchema(value, schema) {
+    const idToRecordDef = {};
+    for (const record of schema.records) {
+        idToRecordDef[record.id] = record;
+    }
+    const validator = new SchemaValidator(idToRecordDef);
+    const root = { kind: "root" };
+    validator.validate(value, root, schema.type);
+    const pathToTypeHint = new Map();
+    for (const hint of validator.hints) {
+        const { valueContext } = hint;
+        if (valueContext) {
+            pathToTypeHint.set(valueContext.path, hint);
+        }
+    }
+    return {
+        errors: validator.errors,
+        hints: validator.hints,
+        rootTypeHint: validator.rootTypeHint,
+        pathToTypeHint: pathToTypeHint,
+    };
+}
+class SchemaValidator {
+    constructor(idToRecordDef) {
+        this.idToRecordDef = idToRecordDef;
+        this.errors = [];
+        this.hints = [];
+        this.typeHintStack = [];
+    }
+    validate(value, path, schema, optionalSchema) {
+        const { idToRecordDef, typeHintStack } = this;
+        value.expectedType = schema;
+        // For every call to pushTypeHint() there emust be one call to typeHintStack.pop()
+        const pushTypeHint = () => {
+            const typeDesc = getTypeDesc(optionalSchema ?? schema);
+            const typeDoc = getTypeDoc(schema, idToRecordDef);
+            const message = [typeDesc];
+            if (typeDoc) {
+                message.push(typeDoc);
+            }
+            if (value.kind === "array") {
+                const { length } = value.values;
+                if (length) {
+                    message.push(`Length: ${length}`);
+                }
+            }
+            const hint = {
+                segment: value.firstToken,
+                message: message.length === 1 ? message[0] : message,
+                valueContext: { value, path },
+                childHints: [],
+            };
+            if (typeHintStack.length) {
+                const topOfStack = typeHintStack[typeHintStack.length - 1];
+                topOfStack.childHints.push(hint);
+            }
+            else {
+                this.rootTypeHint = hint;
+            }
+            this.hints.push(hint);
+            typeHintStack.push(hint);
+        };
+        switch (schema.kind) {
+            case "array": {
+                if (value.kind === "array") {
+                    pushTypeHint();
+                    for (const [index, item] of value.values.entries()) {
+                        const { key_extractor: keyExtractor, item: itemSchema } = schema.value;
+                        const itemKey = extractItemKey(item, keyExtractor);
+                        const itemPath = {
+                            kind: "array-item",
+                            index: index,
+                            key: itemKey,
+                            arrayPath: path,
+                        };
+                        this.validate(item, itemPath, itemSchema);
+                    }
+                    typeHintStack.pop();
+                }
+                else {
+                    this.errors.push({
+                        kind: "error",
+                        segment: value.segment,
+                        message: "Expected: array",
+                    });
+                }
+                break;
+            }
+            case "optional": {
+                if (value.kind === "literal" && value.jsonCode === "null") {
+                    pushTypeHint();
+                    typeHintStack.pop();
+                }
+                else {
+                    this.validate(value, path, schema.value, schema);
+                }
+                break;
+            }
+            case "primitive": {
+                const primitiveType = schema.value;
+                if (primitiveType === "timestamp") {
+                    if (this.validateTimestamp(value)) {
+                        pushTypeHint();
+                        typeHintStack.pop();
+                    }
+                }
+                else if (hasPrimitiveType(value, primitiveType)) {
+                    pushTypeHint();
+                    typeHintStack.pop();
+                }
+                else {
+                    this.errors.push({
+                        kind: "error",
+                        segment: value.firstToken,
+                        message: `Expected: ${primitiveType}`,
+                    });
+                }
+                break;
+            }
+            case "record": {
+                const recordDef = idToRecordDef[schema.value];
+                if (recordDef.kind === "struct") {
+                    const nameToFieldDef = {};
+                    recordDef.fields.forEach((field) => {
+                        nameToFieldDef[field.name] = field;
+                    });
+                    if (value.kind === "object") {
+                        pushTypeHint();
+                        for (const keyValue of Object.values(value.keyValues)) {
+                            const { key, value } = keyValue;
+                            const fieldDef = nameToFieldDef[key];
+                            if (fieldDef) {
+                                if (fieldDef.doc) {
+                                    this.hints.push({
+                                        segment: keyValue.keySegment,
+                                        message: fieldDef.doc,
+                                    });
+                                }
+                                const valuePath = {
+                                    kind: "field-value",
+                                    fieldName: key,
+                                    structPath: path,
+                                };
+                                this.validate(value, valuePath, fieldDef.type);
+                            }
+                            else {
+                                this.errors.push({
+                                    kind: "error",
+                                    segment: keyValue.keySegment,
+                                    message: "Unknown field",
+                                });
+                            }
+                        }
+                        typeHintStack.pop();
+                    }
+                    else {
+                        this.errors.push({
+                            kind: "error",
+                            segment: value.firstToken,
+                            message: "Expected: object",
+                        });
+                    }
+                }
+                else {
+                    // Enum
+                    const nameToVariantDef = {};
+                    recordDef.variants.forEach((variant) => {
+                        nameToVariantDef[variant.name] = variant;
+                    });
+                    if (value.kind === "object") {
+                        pushTypeHint();
+                        this.validateEnumObject(value, path, nameToVariantDef);
+                        typeHintStack.pop();
+                    }
+                    else if (value.kind === "literal" && value.type === "string") {
+                        const name = JSON.parse(value.jsonCode);
+                        const fieldDef = nameToVariantDef[name];
+                        if (name === "UNKNOWN" || fieldDef) {
+                            pushTypeHint();
+                            typeHintStack.pop();
+                        }
+                        else {
+                            this.errors.push({
+                                kind: "error",
+                                segment: value.segment,
+                                message: "Unknown variant",
+                            });
+                        }
+                    }
+                    else {
+                        this.errors.push({
+                            kind: "error",
+                            segment: value.firstToken,
+                            message: "Expected: object or string",
+                        });
+                    }
+                }
+                break;
+            }
+            default: {
+                const _ = schema;
+                throw new Error(_);
+            }
+        }
+    }
+    validateEnumObject(object, enumPath, nameToVariantDef) {
+        const kindKv = object.keyValues["kind"];
+        if (!kindKv) {
+            this.errors.push({
+                kind: "error",
+                segment: object.segment,
+                message: "Missing: 'kind'",
+            });
+            return;
+        }
+        if (kindKv.value.kind !== "literal" || kindKv.value.type !== "string") {
+            this.errors.push({
+                kind: "error",
+                segment: kindKv.value.firstToken,
+                message: "Expected: string",
+            });
+            return;
+        }
+        const kind = JSON.parse(kindKv.value.jsonCode);
+        if (kind !== kind.toLowerCase()) {
+            this.errors.push({
+                kind: "error",
+                segment: kindKv.value.segment,
+                message: "Expected: lowercase variant name",
+            });
+            return;
+        }
+        const variantDef = nameToVariantDef[kind];
+        if (!variantDef) {
+            this.errors.push({
+                kind: "error",
+                segment: kindKv.value.segment,
+                message: "Unknown variant",
+            });
+            return;
+        }
+        const valueKv = object.keyValues["value"];
+        if (!valueKv) {
+            this.errors.push({
+                kind: "error",
+                segment: object.segment,
+                message: "Missing: 'value'",
+            });
+            return;
+        }
+        for (const key of object.allKeys) {
+            if (key.key !== "kind" && key.key !== "value") {
+                this.errors.push({
+                    kind: "error",
+                    segment: key.keySegment,
+                    message: "Unexpected entry",
+                });
+            }
+        }
+        const path = {
+            kind: "variant-value",
+            variantName: variantDef.name,
+            enumPath: enumPath,
+        };
+        this.validate(valueKv.value, path, variantDef.type);
+    }
+    validateTimestamp(value) {
+        if (value.kind !== "object") {
+            this.errors.push({
+                kind: "error",
+                segment: value.firstToken,
+                message: "Expected: timestamp",
+            });
+            return false;
+        }
+        const unixMillisKv = value.keyValues["unix_millis"];
+        if (!unixMillisKv) {
+            this.errors.push({
+                kind: "error",
+                segment: value.firstToken,
+                message: "Missing: 'unix_millis'",
+            });
+            return true;
+        }
+        if (unixMillisKv.value.kind !== "literal" ||
+            unixMillisKv.value.type !== "number") {
+            this.errors.push({
+                kind: "error",
+                segment: unixMillisKv.value.firstToken,
+                message: "Expected: number",
+            });
+            return true;
+        }
+        const unixMillis = toJson(unixMillisKv.value);
+        if (unixMillis < -8640000000000000 || 8640000000000000 < unixMillis) {
+            this.errors.push({
+                kind: "error",
+                segment: unixMillisKv.value.firstToken,
+                message: "Timestamp out of range",
+            });
+            return true;
+        }
+        // At this point: the timestamp is technically valid.
+        const formatted = value.keyValues["formatted"];
+        if (!formatted) {
+            return true;
+        }
+        if (formatted.value.kind !== "literal" ||
+            formatted.value.type !== "string") {
+            this.errors.push({
+                kind: "error",
+                segment: formatted.value.firstToken,
+                message: "Expected: string",
+            });
+            return true;
+        }
+        const formattedStr = toJson(formatted.value);
+        if (formattedStr === "n/a") {
+            return true;
+        }
+        const parsedMillis = Date.parse(formattedStr);
+        if (Number.isNaN(parsedMillis)) {
+            this.errors.push({
+                kind: "error",
+                segment: formatted.value.firstToken,
+                message: "Invalid ISO 8601 date string",
+            });
+            return true;
+        }
+        if (parsedMillis !== unixMillis) {
+            this.errors.push({
+                kind: "error",
+                segment: formatted.value.firstToken,
+                message: "Does not match 'unix_millis'",
+            });
+        }
+        for (const key of value.allKeys) {
+            if (key.key !== "unix_millis" && key.key !== "formatted") {
+                this.errors.push({
+                    kind: "error",
+                    segment: key.keySegment,
+                    message: "Unexpected entry",
+                });
+            }
+        }
+        return true;
+    }
+}
+function extractItemKey(item, keyExtractor) {
+    if (keyExtractor === undefined) {
+        return null;
+    }
+    const pieces = keyExtractor.split(".");
+    let value = item;
+    for (const piece of pieces) {
+        if (value.kind !== "object") {
+            // Error
+            return null;
+        }
+        const kv = value.keyValues[piece];
+        if (!kv) {
+            // Error
+            return null;
+        }
+        value = kv.value;
+    }
+    switch (value.kind) {
+        case "literal": {
+            switch (value.type) {
+                case "string":
+                case "number":
+                case "boolean":
+                    return value.jsonCode;
+            }
+            // Error
+            return null;
+        }
+        case "object": {
+            const kv = value.keyValues["unix_millis"];
+            if (kv && kv.value.kind === "literal" && kv.value.type === "number") {
+                return kv.value.jsonCode;
+            }
+            else {
+                // Error
+                return null;
+            }
+        }
+        case "array": {
+            // Error
+            return null;
+        }
+    }
+}
+function hasPrimitiveType(value, expectedType) {
+    switch (expectedType) {
+        case "bool":
+            return value.kind === "literal" && value.type === "boolean";
+        case "int32": {
+            return isInteger(value, -2147483648n, 2147483647n);
+        }
+        case "int64": {
+            return isInteger(value, -9223372036854775808n, 9223372036854775807n);
+        }
+        case "hash64": {
+            return isInteger(value, 0n, 18446744073709551615n);
+        }
+        case "float32":
+        case "float64": {
+            return isFloat(value);
+        }
+        case "string": {
+            return value.kind === "literal" && value.type === "string";
+        }
+        case "bytes": {
+            if (value.kind !== "literal") {
+                return false;
+            }
+            try {
+                primitiveSerializer("bytes").fromJsonCode(value.jsonCode);
+                return true;
+            }
+            catch {
+                return false;
+            }
+        }
+        case "timestamp": {
+            // Case handled separately in validate()
+            throw new Error();
+        }
+    }
+}
+function isInteger(value, min, max) {
+    if (value.kind !== "literal") {
+        return false;
+    }
+    let decimalRep;
+    if (value.type === "string") {
+        decimalRep = JSON.parse(value.jsonCode);
+    }
+    else if (value.type === "number") {
+        decimalRep = value.jsonCode;
+    }
+    else {
+        return false;
+    }
+    let int;
+    try {
+        int = BigInt(decimalRep);
+    }
+    catch {
+        return false;
+    }
+    return min <= int && int <= max;
+}
+function isFloat(value) {
+    if (value.kind !== "literal") {
+        return false;
+    }
+    if (value.type === "number") {
+        return true;
+    }
+    else if (value.type === "string") {
+        try {
+            primitiveSerializer("float64").fromJsonCode(value.jsonCode);
+            return true;
+        }
+        catch {
+            return false;
+        }
+    }
+    else {
+        return false;
+    }
+}
+function getTypeDesc(type) {
+    function getTypePart(type) {
+        switch (type.kind) {
+            case "primitive":
+                return type.value;
+            case "array":
+                return `[${getTypePart(type.value.item)}]`;
+            case "optional":
+                return `${getTypePart(type.value)}?`;
+            case "record": {
+                const recordId = type.value;
+                return recordId.split(":")[1];
+            }
+        }
+    }
+    function getModulePart(type) {
+        switch (type.kind) {
+            case "primitive":
+                return null;
+            case "array":
+                return getModulePart(type.value.item);
+            case "optional":
+                return getModulePart(type.value);
+            case "record": {
+                const recordId = type.value;
+                return recordId.split(":")[0];
+            }
+        }
+    }
+    const typePart = getTypePart(type);
+    const modulePart = getModulePart(type);
+    return modulePart ? `${typePart} (${modulePart})` : typePart;
+}
+function getTypeDoc(type, idToRecordDef) {
+    switch (type.kind) {
+        case "primitive":
+            return undefined;
+        case "array":
+            return getTypeDoc(type.value.item, idToRecordDef);
+        case "optional":
+            return getTypeDoc(type.value, idToRecordDef);
+        case "record": {
+            const recordId = type.value;
+            const recordDef = idToRecordDef[recordId];
+            return recordDef.doc;
+        }
+    }
+}
+//# sourceMappingURL=schema_validator.js.map

package/dist/json/schema_validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema_validator.js","sourceRoot":"","sources":["../../src/json/schema_validator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAkBnC,MAAM,UAAU,cAAc,CAC5B,KAAgB,EAChB,MAAsB;IAEtB,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,MAAM,SAAS,GAAG,IAAI,eAAe,CAAC,aAAa,CAAC,CAAC;IACrD,MAAM,IAAI,GAAS,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACpC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;IACjD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACnC,MAAM,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;QAC9B,IAAI,YAAY,EAAE,CAAC;YACjB,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IACD,OAAO;QACL,MAAM,EAAE,SAAS,CAAC,MAAM;QACxB,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,YAAY,EAAE,SAAS,CAAC,YAAY;QACpC,cAAc,EAAE,cAAc;KAC/B,CAAC;AACJ,CAAC;AAED,MAAM,eAAe;IACnB,YAAqB,aAAiD;QAAjD,kBAAa,GAAb,aAAa,CAAoC;QAC7D,WAAM,GAAgB,EAAE,CAAC;QACzB,UAAK,GAAW,EAAE,CAAC;QACX,kBAAa,GAAsB,EAAE,CAAC;IAHkB,CAAC;IAM1E,QAAQ,CACN,KAAgB,EAChB,IAAU,EACV,MAAqB,EACrB,cAA8B;QAE9B,MAAM,EAAE,aAAa,EAAE,aAAa,EAAE,GAAG,IAAI,CAAC;QAC9C,KAAK,CAAC,YAAY,GAAG,MAAM,CAAC;QAC5B,kFAAkF;QAClF,MAAM,YAAY,GAAG,GAAS,EAAE;YAC9B,MAAM,QAAQ,GAAG,WAAW,CAAC,cAAc,IAAI,MAAM,CAAC,CAAC;YACvD,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;YAClD,MAAM,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC3B,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC3B,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;gBAChC,IAAI,MAAM,EAAE,CAAC;oBACX,OAAO,CAAC,IAAI,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC;gBACpC,CAAC;YACH,CAAC;YACD,MAAM,IAAI,GAAoB;gBAC5B,OAAO,EAAE,KAAK,CAAC,UAAU;gBACzB,OAAO,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO;gBACpD,YAAY,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;gBAC7B,UAAU,EAAE,EAAE;aACf,CAAC;YACF,IAAI,aAAa,CAAC,MAAM,EAAE,CAAC;gBACzB,MAAM,UAAU,GAAG,aAAa,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC3D,UAAU,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC;YAC3B,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC,CAAC;QACF,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC3B,YAAY,EAAE,CAAC;oBACf,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;wBACnD,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,GACrD,MAAM,CAAC,KAAK,CAAC;wBACf,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;wBACnD,MAAM,QAAQ,GAAS;4BACrB,IAAI,EAAE,YAAY;4BAClB,KAAK,EAAE,KAAK;4BACZ,GAAG,EAAE,OAAO;4BACZ,SAAS,EAAE,IAAI;yBAChB,CAAC;wBACF,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;oBAC5C,CAAC;oBACD,aAAa,CAAC,GAAG,EAAE,CAAC;gBACtB,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;wBACf,IAAI,EAAE,OAAO;wBACb,OAAO,EAAE,KAAK,CAAC,OAAO;wBACtB,OAAO,EAAE,iBAAiB;qBAC3B,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;oBAC1D,YAAY,EAAE,CAAC;oBACf,aAAa,CAAC,GAAG,EAAE,CAAC;gBACtB,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACnD,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,aAAa,GAAG,MAAM,CAAC,KAAK,CAAC;gBACnC,IAAI,aAAa,KAAK,WAAW,EAAE,CAAC;oBAClC,IAAI,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;wBAClC,YAAY,EAAE,CAAC;wBACf,aAAa,CAAC,GAAG,EAAE,CAAC;oBACtB,CAAC;gBACH,CAAC;qBAAM,IAAI,gBAAgB,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;oBAClD,YAAY,EAAE,CAAC;oBACf,aAAa,CAAC,GAAG,EAAE,CAAC;gBACtB,CAAC;qBAAM,CAAC;oBACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;wBACf,IAAI,EAAE,OAAO;wBACb,OAAO,EAAE,KAAK,CAAC,UAAU;wBACzB,OAAO,EAAE,aAAa,aAAa,EAAE;qBACtC,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,SAAS,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC9C,IAAI,SAAS,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;oBAChC,MAAM,cAAc,GAAwC,EAAE,CAAC;oBAC/D,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;wBACjC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;oBACrC,CAAC,CAAC,CAAC;oBACH,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC5B,YAAY,EAAE,CAAC;wBACf,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;4BACtD,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,QAAQ,CAAC;4BAChC,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;4BACrC,IAAI,QAAQ,EAAE,CAAC;gCACb,IAAI,QAAQ,CAAC,GAAG,EAAE,CAAC;oCACjB,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;wCACd,OAAO,EAAE,QAAQ,CAAC,UAAU;wCAC5B,OAAO,EAAE,QAAQ,CAAC,GAAG;qCACtB,CAAC,CAAC;gCACL,CAAC;gCACD,MAAM,SAAS,GAAS;oCACtB,IAAI,EAAE,aAAa;oCACnB,SAAS,EAAE,GAAG;oCACd,UAAU,EAAE,IAAI;iCACjB,CAAC;gCACF,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC,IAAK,CAAC,CAAC;4BAClD,CAAC;iCAAM,CAAC;gCACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;oCACf,IAAI,EAAE,OAAO;oCACb,OAAO,EAAE,QAAQ,CAAC,UAAU;oCAC5B,OAAO,EAAE,eAAe;iCACzB,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;wBACD,aAAa,CAAC,GAAG,EAAE,CAAC;oBACtB,CAAC;yBAAM,CAAC;wBACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;4BACf,IAAI,EAAE,OAAO;4BACb,OAAO,EAAE,KAAK,CAAC,UAAU;4BACzB,OAAO,EAAE,kBAAkB;yBAC5B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,OAAO;oBACP,MAAM,gBAAgB,GAA0C,EAAE,CAAC;oBACnE,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;wBACrC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC;oBAC3C,CAAC,CAAC,CAAC;oBACH,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC5B,YAAY,EAAE,CAAC;wBACf,IAAI,CAAC,kBAAkB,CAAC,KAAK,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;wBACvD,aAAa,CAAC,GAAG,EAAE,CAAC;oBACtB,CAAC;yBAAM,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;wBAC/D,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;wBACxC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;wBACxC,IAAI,IAAI,KAAK,SAAS,IAAI,QAAQ,EAAE,CAAC;4BACnC,YAAY,EAAE,CAAC;4BACf,aAAa,CAAC,GAAG,EAAE,CAAC;wBACtB,CAAC;6BAAM,CAAC;4BACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gCACf,IAAI,EAAE,OAAO;gCACb,OAAO,EAAE,KAAK,CAAC,OAAO;gCACtB,OAAO,EAAE,iBAAiB;6BAC3B,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;4BACf,IAAI,EAAE,OAAO;4BACb,OAAO,EAAE,KAAK,CAAC,UAAU;4BACzB,OAAO,EAAE,4BAA4B;yBACtC,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,MAAM;YACR,CAAC;YACD,OAAO,CAAC,CAAC,CAAC;gBACR,MAAM,CAAC,GAAU,MAAM,CAAC;gBACxB,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;IACH,CAAC;IAED,kBAAkB,CAChB,MAAkB,EAClB,QAAc,EACd,gBAAuD;QAEvD,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,OAAO,EAAE,iBAAiB;aAC3B,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,UAAU;gBAChC,OAAO,EAAE,kBAAkB;aAC5B,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAW,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACvD,IAAI,IAAI,KAAK,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO;gBAC7B,OAAO,EAAE,kCAAkC;aAC5C,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,MAAM,UAAU,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,OAAO;gBAC7B,OAAO,EAAE,iBAAiB;aAC3B,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC1C,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,OAAO,EAAE,kBAAkB;aAC5B,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAI,GAAG,CAAC,GAAG,KAAK,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,OAAO,EAAE,CAAC;gBAC9C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,GAAG,CAAC,UAAU;oBACvB,OAAO,EAAE,kBAAkB;iBAC5B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,MAAM,IAAI,GAAS;YACjB,IAAI,EAAE,eAAe;YACrB,WAAW,EAAE,UAAU,CAAC,IAAI;YAC5B,QAAQ,EAAE,QAAQ;SACnB,CAAC;QACF,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,CAAC,IAAK,CAAC,CAAC;IACvD,CAAC;IAEO,iBAAiB,CAAC,KAAgB;QACxC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,KAAK,CAAC,UAAU;gBACzB,OAAO,EAAE,qBAAqB;aAC/B,CAAC,CAAC;YACH,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,YAAY,GAAG,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACpD,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,KAAK,CAAC,UAAU;gBACzB,OAAO,EAAE,wBAAwB;aAClC,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IACE,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YACrC,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EACpC,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,UAAU;gBACtC,OAAO,EAAE,kBAAkB;aAC5B,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,CAAW,CAAC;QACxD,IAAI,UAAU,GAAG,CAAC,gBAAgB,IAAI,gBAAgB,GAAG,UAAU,EAAE,CAAC;YACpE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,UAAU;gBACtC,OAAO,EAAE,wBAAwB;aAClC,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;QACD,qDAAqD;QACrD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC/C,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IACE,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAClC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EACjC,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,UAAU;gBACnC,OAAO,EAAE,kBAAkB;aAC5B,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAW,CAAC;QACvD,IAAI,YAAY,KAAK,KAAK,EAAE,CAAC;YAC3B,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC9C,IAAI,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,UAAU;gBACnC,OAAO,EAAE,8BAA8B;aACxC,CAAC,CAAC;YACH,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;YAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,UAAU;gBACnC,OAAO,EAAE,8BAA8B;aACxC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,IAAI,GAAG,CAAC,GAAG,KAAK,aAAa,IAAI,GAAG,CAAC,GAAG,KAAK,WAAW,EAAE,CAAC;gBACzD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,GAAG,CAAC,UAAU;oBACvB,OAAO,EAAE,kBAAkB;iBAC5B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED,SAAS,cAAc,CACrB,IAAe,EACf,YAAgC;IAEhC,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,QAAQ;YACR,OAAO,IAAI,CAAC;QACd,CAAC;QACD,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,QAAQ;YACR,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IACnB,CAAC;IACD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;gBACnB,KAAK,QAAQ,CAAC;gBACd,KAAK,QAAQ,CAAC;gBACd,KAAK,SAAS;oBACZ,OAAO,KAAK,CAAC,QAAQ,CAAC;YAC1B,CAAC;YACD,QAAQ;YACR,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,EAAE,GAAG,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;YAC1C,IAAI,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACpE,OAAO,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC3B,CAAC;iBAAM,CAAC;gBACN,QAAQ;gBACR,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,QAAQ;YACR,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAgB,EAChB,YAA2B;IAE3B,QAAQ,YAAY,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC;QAC9D,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO,SAAS,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;QACrD,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO,SAAS,CAAC,KAAK,EAAE,CAAC,oBAAoB,EAAE,oBAAoB,CAAC,CAAC;QACvE,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,SAAS,CAAC,KAAK,EAAE,EAAE,EAAE,qBAAqB,CAAC,CAAC;QACrD,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;QAC7D,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7B,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,CAAC;gBACH,mBAAmB,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC1D,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,wCAAwC;YACxC,MAAM,IAAI,KAAK,EAAE,CAAC;QACpB,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAgB,EAAE,GAAW,EAAE,GAAW;IAC3D,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,UAAkB,CAAC;IACvB,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC1C,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnC,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC;IAC9B,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,CAAC;AAClC,CAAC;AAED,SAAS,OAAO,CAAC,KAAgB;IAC/B,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,CAAC;YACH,mBAAmB,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC5D,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,IAAmB;IACtC,SAAS,WAAW,CAAC,IAAmB;QACtC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC,KAAK,CAAC;YACpB,KAAK,OAAO;gBACV,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC;YAC7C,KAAK,UAAU;gBACb,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YACvC,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;gBAC5B,OAAO,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC;IACD,SAAS,aAAa,CAAC,IAAmB;QACxC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,WAAW;gBACd,OAAO,IAAI,CAAC;YACd,KAAK,OAAO;gBACV,OAAO,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACxC,KAAK,UAAU;gBACb,OAAO,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACnC,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;gBAC5B,OAAO,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IACnC,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,UAAU,CAAC,CAAC,CAAC,GAAG,QAAQ,KAAK,UAAU,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC;AAC/D,CAAC;AAED,SAAS,UAAU,CACjB,IAAmB,EACnB,aAA2D;IAE3D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,WAAW;YACd,OAAO,SAAS,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;QACpD,KAAK,UAAU;YACb,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAC/C,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC;YAC5B,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,CAAE,CAAC;YAC3C,OAAO,SAAS,CAAC,GAAG,CAAC;QACvB,CAAC;IACH,CAAC;AACH,CAAC","sourcesContent":["import { primitiveSerializer } from \"skir-client\";\nimport { toJson } from \"./to_json\";\nimport type {\n  FieldDefinition,\n  Hint,\n  JsonError,\n  JsonObject,\n  JsonValue,\n  MutableTypeHint,\n  Path,\n  PrimitiveType,\n  RecordDefinition,\n  TypeDefinition,\n  TypeHint,\n  TypeSignature,\n  ValidationResult,\n  VariantDefinition,\n} from \"./types\";\n\nexport function validateSchema(\n  value: JsonValue,\n  schema: TypeDefinition,\n): ValidationResult {\n  const idToRecordDef: { [id: string]: RecordDefinition } = {};\n  for (const record of schema.records) {\n    idToRecordDef[record.id] = record;\n  }\n\n  const validator = new SchemaValidator(idToRecordDef);\n  const root: Path = { kind: \"root\" };\n  validator.validate(value, root, schema.type);\n  const pathToTypeHint = new Map<Path, TypeHint>();\n  for (const hint of validator.hints) {\n    const { valueContext } = hint;\n    if (valueContext) {\n      pathToTypeHint.set(valueContext.path, hint);\n    }\n  }\n  return {\n    errors: validator.errors,\n    hints: validator.hints,\n    rootTypeHint: validator.rootTypeHint,\n    pathToTypeHint: pathToTypeHint,\n  };\n}\n\nclass SchemaValidator {\n  constructor(readonly idToRecordDef: { [id: string]: RecordDefinition }) {}\n  readonly errors: JsonError[] = [];\n  readonly hints: Hint[] = [];\n  private readonly typeHintStack: MutableTypeHint[] = [];\n  rootTypeHint: TypeHint | undefined;\n\n  validate(\n    value: JsonValue,\n    path: Path,\n    schema: TypeSignature,\n    optionalSchema?: TypeSignature,\n  ): void {\n    const { idToRecordDef, typeHintStack } = this;\n    value.expectedType = schema;\n    // For every call to pushTypeHint() there emust be one call to typeHintStack.pop()\n    const pushTypeHint = (): void => {\n      const typeDesc = getTypeDesc(optionalSchema ?? schema);\n      const typeDoc = getTypeDoc(schema, idToRecordDef);\n      const message = [typeDesc];\n      if (typeDoc) {\n        message.push(typeDoc);\n      }\n      if (value.kind === \"array\") {\n        const { length } = value.values;\n        if (length) {\n          message.push(`Length: ${length}`);\n        }\n      }\n      const hint: MutableTypeHint = {\n        segment: value.firstToken,\n        message: message.length === 1 ? message[0] : message,\n        valueContext: { value, path },\n        childHints: [],\n      };\n      if (typeHintStack.length) {\n        const topOfStack = typeHintStack[typeHintStack.length - 1];\n        topOfStack.childHints.push(hint);\n      } else {\n        this.rootTypeHint = hint;\n      }\n      this.hints.push(hint);\n      typeHintStack.push(hint);\n    };\n    switch (schema.kind) {\n      case \"array\": {\n        if (value.kind === \"array\") {\n          pushTypeHint();\n          for (const [index, item] of value.values.entries()) {\n            const { key_extractor: keyExtractor, item: itemSchema } =\n              schema.value;\n            const itemKey = extractItemKey(item, keyExtractor);\n            const itemPath: Path = {\n              kind: \"array-item\",\n              index: index,\n              key: itemKey,\n              arrayPath: path,\n            };\n            this.validate(item, itemPath, itemSchema);\n          }\n          typeHintStack.pop();\n        } else {\n          this.errors.push({\n            kind: \"error\",\n            segment: value.segment,\n            message: \"Expected: array\",\n          });\n        }\n        break;\n      }\n      case \"optional\": {\n        if (value.kind === \"literal\" && value.jsonCode === \"null\") {\n          pushTypeHint();\n          typeHintStack.pop();\n        } else {\n          this.validate(value, path, schema.value, schema);\n        }\n        break;\n      }\n      case \"primitive\": {\n        const primitiveType = schema.value;\n        if (primitiveType === \"timestamp\") {\n          if (this.validateTimestamp(value)) {\n            pushTypeHint();\n            typeHintStack.pop();\n          }\n        } else if (hasPrimitiveType(value, primitiveType)) {\n          pushTypeHint();\n          typeHintStack.pop();\n        } else {\n          this.errors.push({\n            kind: \"error\",\n            segment: value.firstToken,\n            message: `Expected: ${primitiveType}`,\n          });\n        }\n        break;\n      }\n      case \"record\": {\n        const recordDef = idToRecordDef[schema.value];\n        if (recordDef.kind === \"struct\") {\n          const nameToFieldDef: { [name: string]: FieldDefinition } = {};\n          recordDef.fields.forEach((field) => {\n            nameToFieldDef[field.name] = field;\n          });\n          if (value.kind === \"object\") {\n            pushTypeHint();\n            for (const keyValue of Object.values(value.keyValues)) {\n              const { key, value } = keyValue;\n              const fieldDef = nameToFieldDef[key];\n              if (fieldDef) {\n                if (fieldDef.doc) {\n                  this.hints.push({\n                    segment: keyValue.keySegment,\n                    message: fieldDef.doc,\n                  });\n                }\n                const valuePath: Path = {\n                  kind: \"field-value\",\n                  fieldName: key,\n                  structPath: path,\n                };\n                this.validate(value, valuePath, fieldDef.type!);\n              } else {\n                this.errors.push({\n                  kind: \"error\",\n                  segment: keyValue.keySegment,\n                  message: \"Unknown field\",\n                });\n              }\n            }\n            typeHintStack.pop();\n          } else {\n            this.errors.push({\n              kind: \"error\",\n              segment: value.firstToken,\n              message: \"Expected: object\",\n            });\n          }\n        } else {\n          // Enum\n          const nameToVariantDef: { [name: string]: VariantDefinition } = {};\n          recordDef.variants.forEach((variant) => {\n            nameToVariantDef[variant.name] = variant;\n          });\n          if (value.kind === \"object\") {\n            pushTypeHint();\n            this.validateEnumObject(value, path, nameToVariantDef);\n            typeHintStack.pop();\n          } else if (value.kind === \"literal\" && value.type === \"string\") {\n            const name = JSON.parse(value.jsonCode);\n            const fieldDef = nameToVariantDef[name];\n            if (name === \"UNKNOWN\" || fieldDef) {\n              pushTypeHint();\n              typeHintStack.pop();\n            } else {\n              this.errors.push({\n                kind: \"error\",\n                segment: value.segment,\n                message: \"Unknown variant\",\n              });\n            }\n          } else {\n            this.errors.push({\n              kind: \"error\",\n              segment: value.firstToken,\n              message: \"Expected: object or string\",\n            });\n          }\n        }\n        break;\n      }\n      default: {\n        const _: never = schema;\n        throw new Error(_);\n      }\n    }\n  }\n\n  validateEnumObject(\n    object: JsonObject,\n    enumPath: Path,\n    nameToVariantDef: { [name: string]: VariantDefinition },\n  ): void {\n    const kindKv = object.keyValues[\"kind\"];\n    if (!kindKv) {\n      this.errors.push({\n        kind: \"error\",\n        segment: object.segment,\n        message: \"Missing: 'kind'\",\n      });\n      return;\n    }\n    if (kindKv.value.kind !== \"literal\" || kindKv.value.type !== \"string\") {\n      this.errors.push({\n        kind: \"error\",\n        segment: kindKv.value.firstToken,\n        message: \"Expected: string\",\n      });\n      return;\n    }\n    const kind: string = JSON.parse(kindKv.value.jsonCode);\n    if (kind !== kind.toLowerCase()) {\n      this.errors.push({\n        kind: \"error\",\n        segment: kindKv.value.segment,\n        message: \"Expected: lowercase variant name\",\n      });\n      return;\n    }\n    const variantDef = nameToVariantDef[kind];\n    if (!variantDef) {\n      this.errors.push({\n        kind: \"error\",\n        segment: kindKv.value.segment,\n        message: \"Unknown variant\",\n      });\n      return;\n    }\n    const valueKv = object.keyValues[\"value\"];\n    if (!valueKv) {\n      this.errors.push({\n        kind: \"error\",\n        segment: object.segment,\n        message: \"Missing: 'value'\",\n      });\n      return;\n    }\n    for (const key of object.allKeys) {\n      if (key.key !== \"kind\" && key.key !== \"value\") {\n        this.errors.push({\n          kind: \"error\",\n          segment: key.keySegment,\n          message: \"Unexpected entry\",\n        });\n      }\n    }\n    const path: Path = {\n      kind: \"variant-value\",\n      variantName: variantDef.name,\n      enumPath: enumPath,\n    };\n    this.validate(valueKv.value, path, variantDef.type!);\n  }\n\n  private validateTimestamp(value: JsonValue): boolean {\n    if (value.kind !== \"object\") {\n      this.errors.push({\n        kind: \"error\",\n        segment: value.firstToken,\n        message: \"Expected: timestamp\",\n      });\n      return false;\n    }\n    const unixMillisKv = value.keyValues[\"unix_millis\"];\n    if (!unixMillisKv) {\n      this.errors.push({\n        kind: \"error\",\n        segment: value.firstToken,\n        message: \"Missing: 'unix_millis'\",\n      });\n      return true;\n    }\n    if (\n      unixMillisKv.value.kind !== \"literal\" ||\n      unixMillisKv.value.type !== \"number\"\n    ) {\n      this.errors.push({\n        kind: \"error\",\n        segment: unixMillisKv.value.firstToken,\n        message: \"Expected: number\",\n      });\n      return true;\n    }\n    const unixMillis = toJson(unixMillisKv.value) as number;\n    if (unixMillis < -8640000000000000 || 8640000000000000 < unixMillis) {\n      this.errors.push({\n        kind: \"error\",\n        segment: unixMillisKv.value.firstToken,\n        message: \"Timestamp out of range\",\n      });\n      return true;\n    }\n    // At this point: the timestamp is technically valid.\n    const formatted = value.keyValues[\"formatted\"];\n    if (!formatted) {\n      return true;\n    }\n    if (\n      formatted.value.kind !== \"literal\" ||\n      formatted.value.type !== \"string\"\n    ) {\n      this.errors.push({\n        kind: \"error\",\n        segment: formatted.value.firstToken,\n        message: \"Expected: string\",\n      });\n      return true;\n    }\n    const formattedStr = toJson(formatted.value) as string;\n    if (formattedStr === \"n/a\") {\n      return true;\n    }\n    const parsedMillis = Date.parse(formattedStr);\n    if (Number.isNaN(parsedMillis)) {\n      this.errors.push({\n        kind: \"error\",\n        segment: formatted.value.firstToken,\n        message: \"Invalid ISO 8601 date string\",\n      });\n      return true;\n    }\n    if (parsedMillis !== unixMillis) {\n      this.errors.push({\n        kind: \"error\",\n        segment: formatted.value.firstToken,\n        message: \"Does not match 'unix_millis'\",\n      });\n    }\n    for (const key of value.allKeys) {\n      if (key.key !== \"unix_millis\" && key.key !== \"formatted\") {\n        this.errors.push({\n          kind: \"error\",\n          segment: key.keySegment,\n          message: \"Unexpected entry\",\n        });\n      }\n    }\n    return true;\n  }\n}\n\nfunction extractItemKey(\n  item: JsonValue,\n  keyExtractor: string | undefined,\n): string | null {\n  if (keyExtractor === undefined) {\n    return null;\n  }\n  const pieces = keyExtractor.split(\".\");\n  let value = item;\n  for (const piece of pieces) {\n    if (value.kind !== \"object\") {\n      // Error\n      return null;\n    }\n    const kv = value.keyValues[piece];\n    if (!kv) {\n      // Error\n      return null;\n    }\n    value = kv.value;\n  }\n  switch (value.kind) {\n    case \"literal\": {\n      switch (value.type) {\n        case \"string\":\n        case \"number\":\n        case \"boolean\":\n          return value.jsonCode;\n      }\n      // Error\n      return null;\n    }\n    case \"object\": {\n      const kv = value.keyValues[\"unix_millis\"];\n      if (kv && kv.value.kind === \"literal\" && kv.value.type === \"number\") {\n        return kv.value.jsonCode;\n      } else {\n        // Error\n        return null;\n      }\n    }\n    case \"array\": {\n      // Error\n      return null;\n    }\n  }\n}\n\nfunction hasPrimitiveType(\n  value: JsonValue,\n  expectedType: PrimitiveType,\n): boolean {\n  switch (expectedType) {\n    case \"bool\":\n      return value.kind === \"literal\" && value.type === \"boolean\";\n    case \"int32\": {\n      return isInteger(value, -2147483648n, 2147483647n);\n    }\n    case \"int64\": {\n      return isInteger(value, -9223372036854775808n, 9223372036854775807n);\n    }\n    case \"hash64\": {\n      return isInteger(value, 0n, 18446744073709551615n);\n    }\n    case \"float32\":\n    case \"float64\": {\n      return isFloat(value);\n    }\n    case \"string\": {\n      return value.kind === \"literal\" && value.type === \"string\";\n    }\n    case \"bytes\": {\n      if (value.kind !== \"literal\") {\n        return false;\n      }\n      try {\n        primitiveSerializer(\"bytes\").fromJsonCode(value.jsonCode);\n        return true;\n      } catch {\n        return false;\n      }\n    }\n    case \"timestamp\": {\n      // Case handled separately in validate()\n      throw new Error();\n    }\n  }\n}\n\nfunction isInteger(value: JsonValue, min: bigint, max: bigint): boolean {\n  if (value.kind !== \"literal\") {\n    return false;\n  }\n  let decimalRep: string;\n  if (value.type === \"string\") {\n    decimalRep = JSON.parse(value.jsonCode);\n  } else if (value.type === \"number\") {\n    decimalRep = value.jsonCode;\n  } else {\n    return false;\n  }\n  let int: bigint;\n  try {\n    int = BigInt(decimalRep);\n  } catch {\n    return false;\n  }\n  return min <= int && int <= max;\n}\n\nfunction isFloat(value: JsonValue): boolean {\n  if (value.kind !== \"literal\") {\n    return false;\n  }\n  if (value.type === \"number\") {\n    return true;\n  } else if (value.type === \"string\") {\n    try {\n      primitiveSerializer(\"float64\").fromJsonCode(value.jsonCode);\n      return true;\n    } catch {\n      return false;\n    }\n  } else {\n    return false;\n  }\n}\n\nfunction getTypeDesc(type: TypeSignature): string {\n  function getTypePart(type: TypeSignature): string {\n    switch (type.kind) {\n      case \"primitive\":\n        return type.value;\n      case \"array\":\n        return `[${getTypePart(type.value.item)}]`;\n      case \"optional\":\n        return `${getTypePart(type.value)}?`;\n      case \"record\": {\n        const recordId = type.value;\n        return recordId.split(\":\")[1];\n      }\n    }\n  }\n  function getModulePart(type: TypeSignature): string | null {\n    switch (type.kind) {\n      case \"primitive\":\n        return null;\n      case \"array\":\n        return getModulePart(type.value.item);\n      case \"optional\":\n        return getModulePart(type.value);\n      case \"record\": {\n        const recordId = type.value;\n        return recordId.split(\":\")[0];\n      }\n    }\n  }\n  const typePart = getTypePart(type);\n  const modulePart = getModulePart(type);\n  return modulePart ? `${typePart} (${modulePart})` : typePart;\n}\n\nfunction getTypeDoc(\n  type: TypeSignature,\n  idToRecordDef: Readonly<{ [id: string]: RecordDefinition }>,\n): string | undefined {\n  switch (type.kind) {\n    case \"primitive\":\n      return undefined;\n    case \"array\":\n      return getTypeDoc(type.value.item, idToRecordDef);\n    case \"optional\":\n      return getTypeDoc(type.value, idToRecordDef);\n    case \"record\": {\n      const recordId = type.value;\n      const recordDef = idToRecordDef[recordId]!;\n      return recordDef.doc;\n    }\n  }\n}\n"]}

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

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

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

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