@ifc-lite/rules 0.2.0

package/dist/filter/subject-read-options.js

@@ -0,0 +1,8 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/** Whether `rule` has to be matched through the subject reader. */
+export function readsThroughSubject(rule) {
+    return rule.valueUnit !== undefined || rule.inherit !== undefined;
+}
+//# sourceMappingURL=subject-read-options.js.map

package/dist/filter/subject-read-options.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"subject-read-options.js","sourceRoot":"","sources":["../../src/filter/subject-read-options.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAkC/D,mEAAmE;AACnE,MAAM,UAAU,mBAAmB,CAAC,IAAwB;IAC1D,OAAO,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC;AACpE,CAAC"}

package/dist/ids/ids-facet-to-rules.d.ts

@@ -0,0 +1,20 @@
+/**
+ * One IDS facet → the `FilterRule`s that check exactly the same thing, or
+ * the reason it has none (#5225). Used by `ids-to-rule-set.ts` for the
+ * facets of both applicability and (required) requirements.
+ */
+import type { IDSFacet } from '@ifc-lite/ids';
+import type { FilterRule } from '../filter/filter-rules.js';
+export type FacetRules = {
+    ok: true;
+    rules: FilterRule[];
+    dropped?: string[];
+} | {
+    ok: false;
+    reason: string;
+};
+type Role = 'applicability' | 'requirement';
+/** Map one facet. `role` matters only for the entity facet and GlobalId. */
+export declare function facetToRules(facet: IDSFacet, role: Role): FacetRules;
+export {};
+//# sourceMappingURL=ids-facet-to-rules.d.ts.map

package/dist/ids/ids-facet-to-rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids-facet-to-rules.d.ts","sourceRoot":"","sources":["../../src/ids/ids-facet-to-rules.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AAEH,OAAO,KAAK,EAAiB,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE7D,OAAO,KAAK,EAAE,UAAU,EAAuB,MAAM,2BAA2B,CAAC;AAIjF,MAAM,MAAM,UAAU,GAClB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,UAAU,EAAE,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,GACrD;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AASlC,KAAK,IAAI,GAAG,eAAe,GAAG,aAAa,CAAC;AA8K5C,4EAA4E;AAC5E,wBAAgB,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU,CA4BpE"}

package/dist/ids/ids-facet-to-rules.js

@@ -0,0 +1,230 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+import { normalizeIfcTypeName } from '@ifc-lite/parser';
+import { Rule } from '../filter/filter-rules.js';
+import { idsPatternToJsRegex } from './ids-regex.js';
+/**
+ * IDS states measure values in SI units, so every imported numeric property
+ * and quantity check compares in SI (`valueUnit: 'si'`): the engine converts
+ * each value with its own unit before comparing (#5225 decision).
+ */
+const SI = { valueUnit: 'si' };
+/** JS-escape `text` so it matches only itself inside a regex. */
+function escapeJs(text) {
+    return text.replace(/[\\^$.*+?()[\]{}|/-]/g, '\\$&');
+}
+function describe(c) {
+    return c.type === 'simpleValue' ? `"${c.value}"` : `a ${c.type} restriction`;
+}
+/** Anything a single-family constraint does not cover blocks the facet. */
+function compound(c) {
+    return c.type !== 'simpleValue' && !!c.and && c.and.length > 0;
+}
+function textOperand(c) {
+    if (compound(c))
+        return 'a restriction combining several facets has no rule equivalent';
+    switch (c.type) {
+        case 'simpleValue':
+            return { op: 'eq', value: c.value };
+        case 'pattern': {
+            const converted = idsPatternToJsRegex(c.pattern);
+            return converted.ok ? { op: 'matches', value: converted.pattern } : `pattern "${c.pattern}": ${converted.reason}`;
+        }
+        case 'enumeration': {
+            if (c.values.length === 0)
+                return 'an empty enumeration matches nothing';
+            if (c.base && c.base !== 'xs:string') {
+                return `an enumeration of ${c.base} values compares numbers, which a text rule cannot`;
+            }
+            if (c.values.length === 1)
+                return { op: 'eq', value: c.values[0] };
+            return { op: 'matches', value: `/^(?:${c.values.map(escapeJs).join('|')})$/u` };
+        }
+        case 'bounds':
+            return 'a numeric bound on a name has no rule equivalent';
+    }
+}
+/** Numeric bounds → `gt`/`gte`/`lt`/`lte` pairs, or why not. */
+function numericOps(c) {
+    if (c.type !== 'bounds')
+        return 'not a numeric bound';
+    if (compound(c))
+        return 'a restriction combining several facets has no rule equivalent';
+    const lengthLike = [c.length, c.minLength, c.maxLength, c.totalDigits, c.fractionDigits];
+    if (lengthLike.some((v) => v !== undefined))
+        return 'length and digit restrictions have no rule equivalent';
+    const bounds = [c.minInclusive, c.minExclusive, c.maxInclusive, c.maxExclusive];
+    if (bounds.some((v) => v !== undefined && !Number.isFinite(v)))
+        return 'a bound that is not a finite number';
+    const ops = [];
+    if (c.minInclusive !== undefined)
+        ops.push({ op: 'gte', value: c.minInclusive });
+    if (c.minExclusive !== undefined)
+        ops.push({ op: 'gt', value: c.minExclusive });
+    if (c.maxInclusive !== undefined)
+        ops.push({ op: 'lte', value: c.maxInclusive });
+    if (c.maxExclusive !== undefined)
+        ops.push({ op: 'lt', value: c.maxExclusive });
+    return ops.length > 0 ? ops : 'an empty bound';
+}
+/** Set/property NAME: literal text, or a regex literal (read by `nameMatches`). */
+function nameOperand(c, what) {
+    if (c.type === 'simpleValue')
+        return { name: c.value, kind: 'literal' };
+    if (c.type === 'pattern') {
+        const operand = textOperand(c);
+        return typeof operand === 'string' ? `${what}: ${operand}` : { name: operand.value };
+    }
+    return `${what} given as ${describe(c)} has no rule equivalent`;
+}
+/** Values for an `in` rule (`ifcType`, `predefinedType`, `globalId`). */
+function setValues(c, what) {
+    if (compound(c))
+        return `${what}: a restriction combining several facets has no rule equivalent`;
+    if (c.type === 'simpleValue')
+        return [c.value];
+    if (c.type === 'enumeration' && c.values.length > 0) {
+        if (c.base && c.base !== 'xs:string')
+            return `${what}: an enumeration of ${c.base} values has no rule equivalent`;
+        return [...c.values];
+    }
+    return `${what} given as ${describe(c)} has no rule equivalent`;
+}
+function entityRules(facet, role) {
+    if (role === 'requirement') {
+        return { ok: false, reason: 'an entity facet in the requirements is exact-class, which a rule requirement cannot express' };
+    }
+    const names = setValues(facet.name, 'entity name');
+    if (typeof names === 'string')
+        return { ok: false, reason: names };
+    const rules = [{ kind: 'ifcType', op: 'in', values: names.map(normalizeIfcTypeName), exactClass: true }];
+    if (facet.predefinedType) {
+        const types = setValues(facet.predefinedType, 'predefinedType');
+        if (typeof types === 'string')
+            return { ok: false, reason: types };
+        rules.push(Rule.predefinedType(types, 'in'));
+    }
+    return { ok: true, rules };
+}
+function attributeRules(facet, role) {
+    if (facet.name.type !== 'simpleValue') {
+        return { ok: false, reason: `an attribute name given as ${describe(facet.name)} has no rule equivalent` };
+    }
+    const name = facet.name.value;
+    if (name === 'GlobalId' || name === 'PredefinedType') {
+        if (name === 'GlobalId' && role === 'requirement') {
+            return { ok: false, reason: 'a GlobalId requirement has no rule equivalent (GlobalId only selects elements)' };
+        }
+        if (!facet.value)
+            return { ok: false, reason: `a presence check on ${name} has no rule equivalent` };
+        const values = setValues(facet.value, name);
+        if (typeof values === 'string')
+            return { ok: false, reason: values };
+        return { ok: true, rules: [name === 'GlobalId' ? Rule.globalId(values, 'in') : Rule.predefinedType(values, 'in')] };
+    }
+    if (!facet.value)
+        return { ok: true, rules: [Rule.attribute(name, 'isSet', '')] };
+    if (facet.value.type === 'bounds') {
+        const ops = numericOps(facet.value);
+        if (typeof ops === 'string')
+            return { ok: false, reason: `${name}: ${ops}` };
+        return { ok: true, rules: ops.map(({ op, value }) => Rule.attribute(name, op, String(value))) };
+    }
+    const operand = textOperand(facet.value);
+    if (typeof operand === 'string')
+        return { ok: false, reason: `${name}: ${operand}` };
+    return { ok: true, rules: [Rule.attribute(name, operand.op, operand.value)] };
+}
+function propertyRules(facet) {
+    const result = propertyRulesIgnoringDataType(facet);
+    if (!result.ok || !facet.dataType)
+        return result;
+    // Maintainer decision on #5225: a dataType is dropped, never a reason to
+    // refuse the facet; the rule vocabulary has no data-type check. Each
+    // dropped one is reported, so the loss is visible.
+    const dataType = facet.dataType.type === 'simpleValue' ? facet.dataType.value : describe(facet.dataType);
+    const set = facet.propertySet.type === 'simpleValue' ? facet.propertySet.value : describe(facet.propertySet);
+    const base = facet.baseName.type === 'simpleValue' ? facet.baseName.value : describe(facet.baseName);
+    return { ...result, dropped: [`${set}.${base}: data type ${dataType} not checked`] };
+}
+function propertyRulesIgnoringDataType(facet) {
+    const set = nameOperand(facet.propertySet, 'propertySet');
+    if (typeof set === 'string')
+        return { ok: false, reason: set };
+    const base = nameOperand(facet.baseName, 'baseName');
+    if (typeof base === 'string')
+        return { ok: false, reason: base };
+    const kinds = {
+        ...(set.kind ? { setNameKind: set.kind } : {}),
+        ...(base.kind ? { propertyNameKind: base.kind } : {}),
+    };
+    const label = `${set.name}.${base.name}`;
+    // `Qto_` is IFC's reserved prefix for quantity sets, which the rule
+    // engine reads through the `quantity` subject, not `property`.
+    if (set.kind === 'literal' && set.name.startsWith('Qto_')) {
+        const qtyKinds = { setNameKind: set.kind, ...(base.kind ? { quantityNameKind: base.kind } : {}) };
+        if (!facet.value)
+            return { ok: false, reason: `${label}: a quantity presence check has no rule equivalent` };
+        if (facet.value.type === 'simpleValue') {
+            const text = facet.value.value.trim();
+            const n = Number(text);
+            if (text === '' || !Number.isFinite(n))
+                return { ok: false, reason: `${label}: "${facet.value.value}" is not a number` };
+            return { ok: true, rules: [{ ...Rule.quantity(set.name, base.name, 'eq', n, qtyKinds), ...SI }] };
+        }
+        const ops = numericOps(facet.value);
+        if (typeof ops === 'string')
+            return { ok: false, reason: `${label}: ${ops}` };
+        return { ok: true, rules: ops.map(({ op, value }) => ({ ...Rule.quantity(set.name, base.name, op, value, qtyKinds), ...SI })) };
+    }
+    if (!facet.value)
+        return { ok: true, rules: [Rule.property(set.name, base.name, 'isSet', '', kinds)] };
+    if (facet.value.type === 'bounds') {
+        const ops = numericOps(facet.value);
+        if (typeof ops === 'string')
+            return { ok: false, reason: `${label}: ${ops}` };
+        return { ok: true, rules: ops.map(({ op, value }) => ({ ...Rule.property(set.name, base.name, op, String(value), kinds), ...SI })) };
+    }
+    const operand = textOperand(facet.value);
+    if (typeof operand === 'string')
+        return { ok: false, reason: `${label}: ${operand}` };
+    // A numeric simple value compares numerically, so in SI like a bound;
+    // on a label property the value has no unit and SI changes nothing.
+    const numeric = operand.op === 'eq' && operand.value.trim() !== '' && Number.isFinite(Number(operand.value));
+    const rule = Rule.property(set.name, base.name, operand.op, operand.value, kinds);
+    return { ok: true, rules: [numeric ? { ...rule, ...SI } : rule] };
+}
+/** Map one facet. `role` matters only for the entity facet and GlobalId. */
+export function facetToRules(facet, role) {
+    switch (facet.type) {
+        case 'entity':
+            return entityRules(facet, role);
+        case 'attribute':
+            return attributeRules(facet, role);
+        case 'property':
+            return propertyRules(facet);
+        case 'classification': {
+            if (facet.value) {
+                return { ok: false, reason: 'a classification code check matches the code only; the rule matches a code OR a name' };
+            }
+            if (facet.system && facet.system.type !== 'simpleValue') {
+                return { ok: false, reason: `a classification system given as ${describe(facet.system)} has no rule equivalent` };
+            }
+            return { ok: true, rules: [Rule.classification(facet.system?.value ?? '', 'isSet', '')] };
+        }
+        case 'material': {
+            // No material presence operator exists; any non-empty material name
+            // is the same check (and `ruleSetToIds` exports it back as presence).
+            if (!facet.value)
+                return { ok: true, rules: [Rule.material('matches', '.', 'regex')] };
+            const operand = textOperand(facet.value);
+            if (typeof operand === 'string')
+                return { ok: false, reason: `material: ${operand}` };
+            return { ok: true, rules: [Rule.material(operand.op, operand.value)] };
+        }
+        case 'partOf':
+            return { ok: false, reason: 'a partOf facet (containment, aggregation, …) has no rule equivalent' };
+    }
+}
+//# sourceMappingURL=ids-facet-to-rules.js.map

package/dist/ids/ids-facet-to-rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids-facet-to-rules.js","sourceRoot":"","sources":["../../src/ids/ids-facet-to-rules.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAS/D,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAExD,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAMrD;;;;GAIG;AACH,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,IAAI,EAAW,CAAC;AASxC,iEAAiE;AACjE,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,uBAAuB,EAAE,MAAM,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,QAAQ,CAAC,CAAgB;IAChC,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,cAAc,CAAC;AAC/E,CAAC;AAED,2EAA2E;AAC3E,SAAS,QAAQ,CAAC,CAAgB;IAChC,OAAO,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,WAAW,CAAC,CAAgB;IACnC,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,+DAA+D,CAAC;IACxF,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,aAAa;YAChB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;QACtC,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,SAAS,GAAG,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YACjD,OAAO,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,MAAM,SAAS,CAAC,MAAM,EAAE,CAAC;QACpH,CAAC;QACD,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,sCAAsC,CAAC;YACzE,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACrC,OAAO,qBAAqB,CAAC,CAAC,IAAI,oDAAoD,CAAC;YACzF,CAAC;YACD,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACnE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC;QAClF,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,kDAAkD,CAAC;IAC9D,CAAC;AACH,CAAC;AAED,gEAAgE;AAChE,SAAS,UAAU,CAAC,CAAgB;IAClC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,qBAAqB,CAAC;IACtD,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,+DAA+D,CAAC;IACxF,MAAM,UAAU,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC;IACzF,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;QAAE,OAAO,uDAAuD,CAAC;IAC5G,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC;IAChF,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,qCAAqC,CAAC;IAC7G,MAAM,GAAG,GAA4C,EAAE,CAAC;IACxD,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;IACjF,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;IAChF,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;IACjF,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;QAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC;IAChF,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC;AACjD,CAAC;AAED,mFAAmF;AACnF,SAAS,WAAW,CAAC,CAAgB,EAAE,IAAY;IACjD,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACxE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAC/B,OAAO,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;IACvF,CAAC;IACD,OAAO,GAAG,IAAI,aAAa,QAAQ,CAAC,CAAC,CAAC,yBAAyB,CAAC;AAClE,CAAC;AAED,yEAAyE;AACzE,SAAS,SAAS,CAAC,CAAgB,EAAE,IAAY;IAC/C,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,IAAI,iEAAiE,CAAC;IACjG,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,GAAG,IAAI,uBAAuB,CAAC,CAAC,IAAI,gCAAgC,CAAC;QAClH,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;IACvB,CAAC;IACD,OAAO,GAAG,IAAI,aAAa,QAAQ,CAAC,CAAC,CAAC,yBAAyB,CAAC;AAClE,CAAC;AAED,SAAS,WAAW,CAAC,KAA4C,EAAE,IAAU;IAC3E,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,6FAA6F,EAAE,CAAC;IAC9H,CAAC;IACD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;IACnD,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACnE,MAAM,KAAK,GAAiB,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IACvH,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAC;QAChE,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACnE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,cAAc,CAAC,KAA+C,EAAE,IAAU;IACjF,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACtC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,8BAA8B,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,yBAAyB,EAAE,CAAC;IAC5G,CAAC;IACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC;IAC9B,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACrD,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,aAAa,EAAE,CAAC;YAClD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,gFAAgF,EAAE,CAAC;QACjH,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,KAAK;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,uBAAuB,IAAI,yBAAyB,EAAE,CAAC;QACrG,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QACrE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC;IACtH,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;IAClF,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;QAC7E,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAClG,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,KAAK,OAAO,EAAE,EAAE,CAAC;IACrF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;AAChF,CAAC;AAED,SAAS,aAAa,CAAC,KAA8C;IACnE,MAAM,MAAM,GAAG,6BAA6B,CAAC,KAAK,CAAC,CAAC;IACpD,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ;QAAE,OAAO,MAAM,CAAC;IACjD,yEAAyE;IACzE,qEAAqE;IACrE,mDAAmD;IACnD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACzG,MAAM,GAAG,GAAG,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC7G,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACrG,OAAO,EAAE,GAAG,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,GAAG,IAAI,IAAI,eAAe,QAAQ,cAAc,CAAC,EAAE,CAAC;AACvF,CAAC;AAED,SAAS,6BAA6B,CAAC,KAA8C;IACnF,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAC1D,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC/D,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACrD,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACjE,MAAM,KAAK,GAAG;QACZ,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9C,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACtD,CAAC;IACF,MAAM,KAAK,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;IAEzC,oEAAoE;IACpE,+DAA+D;IAC/D,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1D,MAAM,QAAQ,GAAG,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAClG,IAAI,CAAC,KAAK,CAAC,KAAK;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,oDAAoD,EAAE,CAAC;QAC7G,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YACtC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACvB,IAAI,IAAI,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,MAAM,KAAK,CAAC,KAAK,CAAC,KAAK,mBAAmB,EAAE,CAAC;YACzH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC;QACpG,CAAC;QACD,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,KAAK,GAAG,EAAE,EAAE,CAAC;QAC9E,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;IAClI,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;IACvG,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,KAAK,GAAG,EAAE,EAAE,CAAC;QAC9E,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;IACvI,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACzC,IAAI,OAAO,OAAO,KAAK,QAAQ;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,KAAK,OAAO,EAAE,EAAE,CAAC;IACtF,sEAAsE;IACtE,oEAAoE;IACpE,MAAM,OAAO,GAAG,OAAO,CAAC,EAAE,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7G,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAClF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;AACpE,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,YAAY,CAAC,KAAe,EAAE,IAAU;IACtD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAClC,KAAK,WAAW;YACd,OAAO,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACrC,KAAK,UAAU;YACb,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;QAC9B,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAChB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,sFAAsF,EAAE,CAAC;YACvH,CAAC;YACD,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBACxD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,oCAAoC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,yBAAyB,EAAE,CAAC;YACpH,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;QAC5F,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,oEAAoE;YACpE,sEAAsE;YACtE,IAAI,CAAC,KAAK,CAAC,KAAK;gBAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;YACvF,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACzC,IAAI,OAAO,OAAO,KAAK,QAAQ;gBAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,OAAO,EAAE,EAAE,CAAC;YACtF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QACzE,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,qEAAqE,EAAE,CAAC;IACxG,CAAC;AACH,CAAC"}

package/dist/ids/ids-regex.d.ts

@@ -0,0 +1,44 @@
+export type RegexConversion = {
+    ok: true;
+    pattern: string;
+} | {
+    ok: false;
+    reason: string;
+};
+/** `text` as an XSD regex matching exactly that text. */
+export declare function escapeXsdLiteral(text: string): string;
+/** A JS regex as the engine reads it: the source plus its flags. */
+export interface JsRegex {
+    source: string;
+    flags: string;
+}
+/**
+ * The regex a `matches` operand stands for, following `regexOpMatches`:
+ * `valueKind: 'regex'` means the whole string is the source; no kind means
+ * a `/body/flags` literal is a pattern and anything else is a bare source.
+ */
+export declare function jsRegexOf(value: string, valueKind: 'regex' | 'literal' | undefined): JsRegex;
+/**
+ * Whether `regex` can read a character outside the Basic Multilingual Plane
+ * (an emoji, rare CJK) differently from its IDS pattern. Without the `u`
+ * flag JavaScript sees such a character as two UTF-16 code units, so `.`,
+ * a negated class `[^…]` or `\D` can match half of it, while an XSD pattern
+ * always works on whole characters. Every other construct the translation
+ * accepts means the same in both dialects.
+ */
+export declare function hasAstralCaveat(regex: JsRegex): boolean;
+/**
+ * Translate the engine's unanchored JS regex into an IDS pattern that
+ * accepts exactly the same values. `^…$` anchors (or the `^(?:…)$` wrapper
+ * `idsPatternToJsRegex` produces) become the XSD pattern's implicit whole-
+ * value match; an unanchored side becomes `.*`.
+ */
+export declare function jsRegexToIdsPattern(regex: JsRegex): RegexConversion;
+/**
+ * Translate an IDS pattern into the rule operand that accepts the same
+ * values: a `/^(?:…)$/u` literal (the `u` flag because XSD's `\d`, `\i`,
+ * `\c` and `\w` translate to Unicode property escapes). XSD's `^` and `$`
+ * are ordinary characters, so they are escaped first.
+ */
+export declare function idsPatternToJsRegex(xsd: string): RegexConversion;
+//# sourceMappingURL=ids-regex.d.ts.map

package/dist/ids/ids-regex.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ids-regex.d.ts","sourceRoot":"","sources":["../../src/ids/ids-regex.ts"],"names":[],"mappings":"AAkBA,MAAM,MAAM,eAAe,GACvB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAKlC,yDAAyD;AACzD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAIrD;AAED,oEAAoE;AACpE,MAAM,WAAW,OAAO;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,CAM5F;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAmBvD;AA2HD;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,CAoCnE;AAED;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,CAyBhE"}