@coldsmirk/abacus-core 0.5.0 → 0.7.0

package/dist/index.js

@@ -358,8 +358,9 @@ function isZenConsistentNumber(value) {
 	return context !== null && literal.digits === context.digits && literal.exponent === context.exponent;
 }
 const SUBJECT_PATTERN = /^[A-Z_$][\w$]*(?:\.[A-Z_$][\w$]*|\[\d+\])*$/i;
+const SUBJECT_IDENTIFIER_PATTERN = /[A-Z_$][\w$]*/gi;
 const SUBJECT_INDEX_PATTERN = /\[(?<index>\d+)\]/g;
-const ZEN_RESERVED_WORDS = new Set([
+const ZEN_ROOT_RESERVED_WORDS = new Set([
 	"and",
 	"or",
 	"not",
@@ -368,8 +369,11 @@ const ZEN_RESERVED_WORDS = new Set([
 	"false",
 	"null"
 ]);
+const ZEN_MEMBER_RESERVED_WORDS = new Set(["true", "false"]);
 function isIdentifierPath(subject) {
-	if (!SUBJECT_PATTERN.test(subject) || (subject.match(/[A-Z_$][\w$]*/gi) ?? []).some((segment) => ZEN_RESERVED_WORDS.has(segment))) return false;
+	if (!SUBJECT_PATTERN.test(subject)) return false;
+	const [root, ...members] = subject.match(SUBJECT_IDENTIFIER_PATTERN) ?? [];
+	if (root === void 0 || ZEN_ROOT_RESERVED_WORDS.has(root) || members.some((member) => ZEN_MEMBER_RESERVED_WORDS.has(member))) return false;
 	for (const match of subject.matchAll(SUBJECT_INDEX_PATTERN)) if (match.groups?.index === void 0 || !isZenUnsignedIntegerText(match.groups.index)) return false;
 	return true;
 }
@@ -394,14 +398,17 @@ function toZenLiteral(value) {
 function encodeZenString(value) {
 	const hasSingle = value.includes("'");
 	const hasDouble = value.includes("\"");
-	if (hasSingle && hasDouble) throw new ExpressionError("String contains both single and double quotes and has no ZEN literal representation");
-	return hasSingle ? `"${value}"` : `'${value}'`;
+	const hasBacktick = value.includes("`");
+	if (!hasSingle) return `'${value}'`;
+	if (!hasDouble) return `"${value}"`;
+	if (!hasBacktick) return `\`${value}\``;
+	throw new ExpressionError("String contains every ZEN raw-string delimiter and has no literal representation");
 }
 function toArrayLiteral(value) {
 	return isArray(value) ? toZenLiteral(value) : `[${toZenLiteral(value)}]`;
 }
 function zenIsEmpty(subject) {
-	return `(${subject} == null or (type(${subject}) == 'string' and len(trim(${subject})) == 0) or (type(${subject}) == 'array' and len(${subject}) == 0))`;
+	return `(${subject} == null or (type(${subject}) == 'string' and len(trim(${subject})) == 0) or (type(${subject}) == 'array' and len(${subject}) == 0) or (type(${subject}) == 'object' and len(keys(${subject})) == 0))`;
 }
 function compileFieldCondition(subject, operator, value) {
 	switch (operator) {
@@ -969,7 +976,7 @@ function tokenize(input) {
 			index += 1;
 			continue;
 		}
-		if (char === "'" || char === "\"") {
+		if (char === "'" || char === "\"" || char === "`") {
 			const end = input.indexOf(char, index + 1);
 			if (end === -1) return null;
 			tokens.push({
@@ -1152,33 +1159,45 @@ const zhCNMessages = {
 	expectedType: (expectedType, actualType) => `期望 \`${expectedType}\`，实际为 \`${actualType}\`。`
 };
 const localeRegistry = new Map([["en-US", enMessages], ["zh-CN", zhCNMessages]]);
+let activeBaseMessages = enMessages;
 let activeMessages = enMessages;
+const messageListeners = /* @__PURE__ */ new Set();
 function registerExpressionLocale(locale, messages) {
 	localeRegistry.set(locale, messages);
 }
 function configureExpressionMessages({ locale, messages }) {
-	const base = locale === void 0 ? activeMessages : localeRegistry.get(locale) ?? activeMessages;
-	activeMessages = messages === void 0 ? base : {
+	const base = locale === void 0 ? activeBaseMessages : localeRegistry.get(locale) ?? activeBaseMessages;
+	const nextMessages = messages === void 0 ? base : {
 		...base,
 		...messages
 	};
+	activeBaseMessages = base;
+	if (nextMessages === activeMessages) return;
+	activeMessages = nextMessages;
+	for (const listener of messageListeners) listener(activeMessages);
 }
 function getExpressionMessages() {
 	return activeMessages;
 }
+function subscribeExpressionMessages(listener) {
+	messageListeners.add(listener);
+	return () => {
+		messageListeners.delete(listener);
+	};
+}
 function parseOffset(text) {
 	const trimmed = text?.trim();
 	return trimmed ? Number(trimmed) : NaN;
 }
 function extractPosition(message) {
-	const segments = message.split(" at ");
-	const last = segments.length <= 1 ? void 0 : segments.at(-1);
-	if (last === void 0) return null;
-	const [left, right] = last.replace("(", "").replace(")", "").split(", ");
-	const from = parseOffset(left);
-	if (Number.isNaN(from)) return null;
-	const to = parseOffset(right);
-	return [from, Number.isNaN(to) ? from : to];
+	const positionPattern = / at (?:\(\s*(?<rangeFrom>\d+)\s*,\s*(?<rangeTo>\d+)\s*\)|(?<point>\d+))(?=\s*(?:;|$))/g;
+	let position = null;
+	for (const match of message.matchAll(positionPattern)) {
+		const from = parseOffset(match.groups?.rangeFrom ?? match.groups?.point);
+		const to = parseOffset(match.groups?.rangeTo);
+		position = [from, Number.isNaN(to) ? from : to];
+	}
+	return position;
 }
 function normalizeDiagnostic(raw, source) {
 	if (raw === null || raw === void 0) return null;
@@ -1298,4 +1317,293 @@ async function getTemplateDiagnostics(source) {
 	await loadEngine();
 	return getTemplateDiagnosticsSync(source);
 }
-export { CONDITION_OPERATORS, CONDITION_TREE_OPERATORS, ExpressionError, ExpressionNotReadyError, MAX_CONDITION_TREE_DEPTH, analyzeTemplate, analyzeTemplateSync, analyzeTypes, analyzeTypesSync, compileBranch, compileCondition, compileConditionTree, compileGroup, conditionOperatorArity, configureEngine, configureExpressionMessages, emptyConditionGroup, enMessages, ensureConditionNodeIds, evaluate, evaluateSync, evaluateUnary, evaluateUnarySync, getCompletionItems, getCompletionItemsSync, getDiagnostics, getDiagnosticsSync, getEngineError, getEngineSync, getExpressionMessages, getTemplateDiagnostics, getTemplateDiagnosticsSync, isEngineReady, isZenRepresentableNumber, liftConditionTree, loadEngine, newConditionNodeId, parseTemplateHoles, registerExpressionLocale, resetEngine, satisfiesType, satisfiesTypeSync, selectBranch, selectBranchWith, templateHoleAt, toZenLiteral, zhCNMessages };
+function fieldType(field) {
+	switch (field.type) {
+		case "string": return "String";
+		case "number": return "Number";
+		case "integer": return "Number";
+		case "boolean": return "Bool";
+		case "object": return { Object: fieldRecord(field.children) };
+		case "array": return { Array: field.items === null ? "Any" : fieldType(field.items) };
+		case "any": return "Any";
+	}
+}
+function fieldRecord(fields) {
+	return Object.fromEntries(fields.filter((field) => field.name.trim() !== "" || field.preserveBlankName === true).map((field) => [field.name, fieldType(field)]));
+}
+function schemaTreeToExpressionType(tree) {
+	return { Object: fieldRecord(tree.fields) };
+}
+function mergeSchemas(a, b) {
+	if (a.type === "object" && b.type === "object") {
+		const left = a.properties ?? {};
+		const right = b.properties ?? {};
+		const entries = [];
+		const keys = new Set([...Object.keys(left), ...Object.keys(right)]);
+		for (const key of keys) {
+			const hasLeft = Object.hasOwn(left, key);
+			const hasRight = Object.hasOwn(right, key);
+			entries.push([key, hasLeft && hasRight ? mergeSchemas(left[key], right[key]) : hasLeft ? left[key] : right[key]]);
+		}
+		const properties = Object.fromEntries(entries);
+		return Object.keys(properties).length > 0 ? {
+			type: "object",
+			properties
+		} : { type: "object" };
+	}
+	if (a.type === "array" && b.type === "array") return a.items !== void 0 && b.items !== void 0 ? {
+		type: "array",
+		items: mergeSchemas(a.items, b.items)
+	} : { type: "array" };
+	return JSON.stringify(a) === JSON.stringify(b) ? a : {};
+}
+function inferSchema(sample) {
+	if (sample === null) return {};
+	if (Array.isArray(sample)) {
+		if (sample.length === 0) return { type: "array" };
+		return {
+			type: "array",
+			items: sample.map((element) => inferSchema(element)).reduce((left, right) => mergeSchemas(left, right))
+		};
+	}
+	if (typeof sample === "string") return { type: "string" };
+	if (typeof sample === "number") return { type: "number" };
+	if (typeof sample === "boolean") return { type: "boolean" };
+	const properties = Object.fromEntries(Object.entries(sample).map(([key, value]) => [key, inferSchema(value)]));
+	return Object.keys(properties).length > 0 ? {
+		type: "object",
+		properties
+	} : { type: "object" };
+}
+const SCHEMA_DIALECT_2020_12 = "https://json-schema.org/draft/2020-12/schema";
+const fieldIdRealm = Math.random().toString(36).slice(2, 7);
+let fieldIdCounter = 0;
+function newSchemaTreeField(overrides = {}) {
+	fieldIdCounter += 1;
+	return {
+		id: `sf-${fieldIdRealm}-${fieldIdCounter}`,
+		name: "",
+		type: "string",
+		required: false,
+		description: "",
+		children: [],
+		items: null,
+		...overrides
+	};
+}
+const SCALAR_TYPES = new Set([
+	"string",
+	"number",
+	"integer",
+	"boolean"
+]);
+const ROOT_KEYS = new Set([
+	"$schema",
+	"type",
+	"properties",
+	"required",
+	"description"
+]);
+const SUBSCHEMA_KEYS = new Set([
+	"type",
+	"properties",
+	"required",
+	"items",
+	"description"
+]);
+var Unsupported = class extends Error {
+	issue;
+	constructor(issue) {
+		super(issue.code);
+		this.issue = issue;
+	}
+};
+function asPlainObject(value) {
+	return typeof value === "object" && value !== null && !Array.isArray(value) ? value : null;
+}
+function checkKeys(schema, allowed) {
+	for (const key of Object.keys(schema)) if (!allowed.has(key)) throw new Unsupported({
+		code: "unsupported-keyword",
+		keyword: key
+	});
+}
+function parseObjectFields(schema) {
+	const properties = schema.properties === void 0 ? null : asPlainObject(schema.properties);
+	if (schema.properties !== void 0 && properties === null) throw new Unsupported({ code: "invalid-properties" });
+	const fields = [];
+	const entries = Object.entries(properties ?? {});
+	for (const [name, subschema] of entries) fields.push({
+		...parseSubschema(subschema, name),
+		name,
+		...name.trim() === "" && { preserveBlankName: true }
+	});
+	if (schema.required !== void 0) {
+		if (!Array.isArray(schema.required)) throw new Unsupported({ code: "invalid-required" });
+		for (const entry of schema.required) {
+			if (typeof entry !== "string") throw new Unsupported({ code: "invalid-required" });
+			const field = fields.find((candidate) => candidate.name === entry);
+			if (field === void 0) throw new Unsupported({
+				code: "unknown-required-field",
+				field: entry
+			});
+			field.required = true;
+		}
+	}
+	return fields;
+}
+function parseDescription(schema) {
+	if (schema.description === void 0) return "";
+	if (typeof schema.description !== "string") throw new Unsupported({ code: "invalid-description" });
+	return schema.description;
+}
+function ensureAbsent(schema, key, holder) {
+	if (schema[key] !== void 0) throw new Unsupported({
+		code: "misplaced-keyword",
+		keyword: key,
+		holder
+	});
+}
+function parseSubschema(value, name) {
+	const schema = asPlainObject(value);
+	if (schema === null) throw new Unsupported({
+		code: "invalid-field-definition",
+		field: name
+	});
+	checkKeys(schema, SUBSCHEMA_KEYS);
+	const { type } = schema;
+	if (type !== void 0 && typeof type !== "string") throw new Unsupported({
+		code: "invalid-field-type",
+		field: name
+	});
+	const description = parseDescription(schema);
+	if (type === "object" || type === void 0 && (schema.properties !== void 0 || schema.required !== void 0)) {
+		ensureAbsent(schema, "items", "array");
+		return newSchemaTreeField({
+			type: "object",
+			description,
+			children: parseObjectFields(schema),
+			explicitType: type === "object"
+		});
+	}
+	if (type === "array" || type === void 0 && schema.items !== void 0) {
+		ensureAbsent(schema, "properties", "object");
+		ensureAbsent(schema, "required", "object");
+		return newSchemaTreeField({
+			type: "array",
+			description,
+			items: schema.items === void 0 ? null : parseSubschema(schema.items, name),
+			explicitType: type === "array"
+		});
+	}
+	if (type === void 0) {
+		ensureAbsent(schema, "items", "array");
+		return newSchemaTreeField({
+			type: "any",
+			description
+		});
+	}
+	if (!SCALAR_TYPES.has(type)) throw new Unsupported({
+		code: "unsupported-field-type",
+		field: name,
+		type
+	});
+	ensureAbsent(schema, "properties", "object");
+	ensureAbsent(schema, "required", "object");
+	ensureAbsent(schema, "items", "array");
+	return newSchemaTreeField({
+		type,
+		description
+	});
+}
+function parseSchemaTree(text) {
+	if (text.trim() === "") return {
+		ok: true,
+		tree: {
+			fields: [],
+			dialect: false,
+			description: ""
+		}
+	};
+	let parsed;
+	try {
+		parsed = JSON.parse(text);
+	} catch {
+		return {
+			ok: false,
+			issue: { code: "invalid-json" }
+		};
+	}
+	try {
+		const root = asPlainObject(parsed);
+		if (root === null) throw new Unsupported({ code: "root-not-object" });
+		checkKeys(root, ROOT_KEYS);
+		const dialect = root.$schema !== void 0;
+		if (dialect && root.$schema !== "https://json-schema.org/draft/2020-12/schema") throw new Unsupported({ code: "unsupported-dialect" });
+		if (root.type !== void 0 && root.type !== "object") throw new Unsupported({ code: "root-not-object" });
+		return {
+			ok: true,
+			tree: {
+				fields: parseObjectFields(root),
+				dialect,
+				description: parseDescription(root),
+				explicitType: root.type === "object"
+			}
+		};
+	} catch (error) {
+		if (error instanceof Unsupported) return {
+			ok: false,
+			issue: error.issue
+		};
+		throw error;
+	}
+}
+function serializeObjectBody(fields) {
+	const named = fields.filter((field) => field.name.trim() !== "" || field.preserveBlankName === true);
+	const finalByName = /* @__PURE__ */ new Map();
+	const finalFields = [];
+	const body = {};
+	for (const field of named) finalByName.set(field.name, field);
+	finalByName.forEach((field) => {
+		finalFields.push(field);
+	});
+	if (finalFields.length > 0) body.properties = Object.fromEntries(finalFields.map((field) => [field.name, serializeField(field)]));
+	const required = finalFields.filter((field) => field.required).map((field) => field.name);
+	if (required.length > 0) body.required = required;
+	return body;
+}
+function serializeField(field) {
+	const description = field.description === "" ? {} : { description: field.description };
+	switch (field.type) {
+		case "any": return { ...description };
+		case "object": return {
+			...field.explicitType !== false && { type: "object" },
+			...description,
+			...serializeObjectBody(field.children)
+		};
+		case "array": {
+			const type = field.explicitType === false ? {} : { type: "array" };
+			return field.items === null || field.items.type === "any" && field.items.description === "" ? {
+				...type,
+				...description
+			} : {
+				...type,
+				...description,
+				items: serializeField(field.items)
+			};
+		}
+		default: return {
+			type: field.type,
+			...description
+		};
+	}
+}
+function serializeSchemaTree(tree) {
+	const root = {
+		...tree.dialect && { $schema: "https://json-schema.org/draft/2020-12/schema" },
+		...tree.explicitType !== false && { type: "object" },
+		...tree.description !== "" && { description: tree.description },
+		...serializeObjectBody(tree.fields)
+	};
+	return `${JSON.stringify(root, null, 2)}\n`;
+}
+export { CONDITION_OPERATORS, CONDITION_TREE_OPERATORS, ExpressionError, ExpressionNotReadyError, MAX_CONDITION_TREE_DEPTH, SCHEMA_DIALECT_2020_12, analyzeTemplate, analyzeTemplateSync, analyzeTypes, analyzeTypesSync, compileBranch, compileCondition, compileConditionTree, compileGroup, conditionOperatorArity, configureEngine, configureExpressionMessages, emptyConditionGroup, enMessages, ensureConditionNodeIds, evaluate, evaluateSync, evaluateUnary, evaluateUnarySync, getCompletionItems, getCompletionItemsSync, getDiagnostics, getDiagnosticsSync, getEngineError, getEngineSync, getExpressionMessages, getTemplateDiagnostics, getTemplateDiagnosticsSync, inferSchema, isEngineReady, isZenRepresentableNumber, liftConditionTree, loadEngine, newConditionNodeId, newSchemaTreeField, parseSchemaTree, parseTemplateHoles, registerExpressionLocale, resetEngine, satisfiesType, satisfiesTypeSync, schemaTreeToExpressionType, selectBranch, selectBranchWith, serializeSchemaTree, subscribeExpressionMessages, templateHoleAt, toZenLiteral, zhCNMessages };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@coldsmirk/abacus-core",
-  "version": "0.5.0",
+  "version": "0.7.0",
   "description": "Framework-agnostic ZEN expression engine: compile, evaluate, and type-analyze expressions over the GoRules ZEN WASM engine.",
   "keywords": [
     "zen",