@ifc-lite/ids-authoring 0.0.0-stage → 0.2.2

package/dist/lint/rules/values.js

@@ -0,0 +1,237 @@
+/* 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 { getField } from '../../document/fields.js';
+import { rankCandidates } from '../../gate/rank.js';
+import { quickFix } from '../fix.js';
+import { allFacets, at } from '../walk.js';
+import { gated, single, tables } from './util.js';
+import { baseOf, FLOAT_XSD, mapLiterals, NUMERIC_XSD, siteLiterals, valueSites } from './value-sites.js';
+export function rawSet(facetId, field, constraint) {
+    return { kind: 'value.set', payload: { facetId, field, value: { kind: 'raw', constraint } } };
+}
+export const VAL_001 = {
+    code: 'IDSL-VAL-001',
+    area: 'VAL',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'error',
+    title: 'Value not in the standard enumeration',
+    rationale: "The standard property is an enumerated property and the required value is not one of its enumeration values. Enumeration values are compared case-sensitively, so conforming models can never carry it.",
+    fix: 'Use the enumeration value with the same spelling in another case, or the closest one.',
+    example: '<propertySet><simpleValue>Pset_DoorCommon</simpleValue></propertySet><baseName><simpleValue>Status</simpleValue></baseName><value><simpleValue>New</simpleValue></value>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const site of valueSites(ctx, spec)) {
+            const f = site.view.facet;
+            if (f.type !== 'property' || site.field !== 'property.value')
+                continue;
+            const psetName = single(f.propertySet);
+            const name = single(f.baseName);
+            if (!psetName || !name)
+                continue;
+            const values = siteLiterals(site.constraint);
+            for (const v of spec.versions) {
+                const prop = tables(ctx, v).psets.get(psetName)?.properties.find((p) => p.name === name);
+                const allowed = prop?.kind === 'enumeration' ? prop.enumeration ?? [] : [];
+                const bad = allowed.length ? values.filter((x) => !allowed.includes(x)) : [];
+                if (!bad.length)
+                    continue;
+                const fixes = bad.flatMap((x) => {
+                    const folded = allowed.find((a) => a.toLowerCase() === x.trim().toLowerCase());
+                    const picks = folded ? [folded] : rankCandidates(x, allowed, { minScore: 0.4, limit: 2 }).map((c) => c.value);
+                    return picks.map((p) => quickFix(`Use ${p}`, this.code, site.view.facetId, `${x}|${p}`, [rawSet(site.view.facetId, site.field, mapLiterals(site.constraint, (y) => (y === x ? p : y)))]));
+                });
+                out.push({ ...at(site.view, site.field), message: `${bad.map((x) => `"${x}"`).join(', ')} is not a value of ${psetName}.${name} (${v})`, fixes: gated(doc, ctx, fixes) });
+                break;
+            }
+        }
+        return out;
+    },
+};
+/** The XSD base an IDS checker infers for a restriction (mirrors the audit). */
+function inferredBase(c) {
+    if (c.type === 'simpleValue')
+        return undefined;
+    if (c.base)
+        return c.base;
+    if (c.type !== 'bounds')
+        return 'xs:string';
+    return c.length !== undefined || c.minLength !== undefined || c.maxLength !== undefined ? 'xs:string' : 'xs:double';
+}
+function compatible(inferred, backing) {
+    return inferred === backing || (FLOAT_XSD.has(inferred) && FLOAT_XSD.has(backing));
+}
+export const VAL_002 = {
+    code: 'IDSL-VAL-002',
+    area: 'VAL',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Restriction base incompatible with the data type',
+    rationale: "The restriction's base type (declared, or inferred: xs:string for patterns and enumerations, xs:double for numeric bounds) does not match the XSD type behind the property's dataType, for example numeric bounds on an IFCLABEL or a pattern on an IFCBOOLEAN. Values are cast to the data type before comparison, so the restriction cannot behave as written. The audit reports the same mismatch (E_RESTRICTION_BASE_MISMATCH).",
+    fix: "Declare the data type's base on the restriction (offered only when every literal is valid under it).",
+    example: '<property dataType="IFCLABEL">…<value><xs:restriction base="xs:double"><xs:minInclusive value="1"/></xs:restriction></value></property>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const site of valueSites(ctx, spec)) {
+            if (site.field !== 'property.value' || !site.explicit || site.xsd.length !== 1)
+                continue;
+            const inferred = inferredBase(site.constraint);
+            const [backing] = site.xsd;
+            if (!inferred || compatible(inferred, backing) || site.constraint.type === 'simpleValue')
+                continue;
+            const fix = quickFix(`Use base ${backing}`, this.code, site.view.facetId, backing, [rawSet(site.view.facetId, site.field, { ...site.constraint, base: backing })]);
+            out.push({ ...at(site.view, site.field), message: `restriction base ${inferred} does not fit ${site.dataType} (${backing})`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+const LIST_SEPARATOR = /\s*[,;|]\s*/;
+const CODE_PAIR = /^[A-Za-z]+\d+(\s*\/\s*[A-Za-z]+\d+)+$/;
+/** The items of a value that looks like a list, or undefined. */
+export function listItems(value) {
+    const raw = value.trim();
+    const bracketed = /^\[.*\]$/.test(raw) || /^\(.*\)$/.test(raw);
+    const body = bracketed ? raw.slice(1, -1) : raw;
+    if (CODE_PAIR.test(body))
+        return body.split('/').map((s) => s.trim());
+    const items = body.split(LIST_SEPARATOR);
+    if (items.length < 2 || items.some((i) => i === '' || !/[A-Za-z]/.test(i) || /\s/.test(i)))
+        return undefined;
+    const codeLike = items.every((i) => /\d/.test(i));
+    return bracketed || codeLike || items.length >= 3 ? items : undefined;
+}
+export const VAL_003 = {
+    code: 'IDSL-VAL-003',
+    area: 'VAL',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Simple value that looks like a list',
+    rationale: 'A simple value is compared as one exact string. "EI60, EI90", "[EI60, EI90]" or "EI60/EI90" therefore only matches elements carrying that whole text, never EI60 or EI90 alone. Alternatives are written as an enumeration.',
+    fix: 'Convert to an enumeration of the items.',
+    example: '<value><simpleValue>EI60, EI90</simpleValue></value>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const site of valueSites(ctx, spec)) {
+            if (site.constraint.type !== 'simpleValue' || site.xsd.some((x) => NUMERIC_XSD.has(x)))
+                continue;
+            const items = listItems(site.constraint.value);
+            if (!items)
+                continue;
+            const fix = quickFix('Convert to an enumeration', this.code, site.view.facetId, site.field, [
+                rawSet(site.view.facetId, site.field, { type: 'enumeration', values: items, base: 'xs:string' }),
+            ]);
+            out.push({ ...at(site.view, site.field), message: `"${site.constraint.value}" looks like a list of ${items.length} values but is matched as one string`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+const COMPARISON = /^\s*(>=|<=|=>|=<|≥|≤|>|<)\s*([+-]?\d+(?:[.,]\d+)?)\s*([A-Za-z²³]*)\s*$/;
+export function parseComparison(value) {
+    const m = COMPARISON.exec(value);
+    if (!m)
+        return undefined;
+    const op = { '>=': '>=', '=>': '>=', '≥': '>=', '<=': '<=', '=<': '<=', '≤': '<=', '>': '>', '<': '<' }[m[1]];
+    return { op, value: Number(m[2].replace(',', '.')), ...(m[3] ? { unit: m[3] } : {}) };
+}
+export const VAL_004 = {
+    code: 'IDSL-VAL-004',
+    area: 'VAL',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Simple value that looks like a comparison',
+    rationale: 'A simple value such as ">25" or "≥ 0.9" is compared as literal text, so it only matches an element whose value is that text. Numeric limits are written as bounds (minInclusive, maxExclusive, …).',
+    fix: 'Convert to bounds (with the unit converted to SI when one is given).',
+    example: '<value><simpleValue>&gt;= 30</simpleValue></value>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const site of valueSites(ctx, spec)) {
+            if (site.constraint.type !== 'simpleValue')
+                continue;
+            const cmp = parseComparison(site.constraint.value);
+            if (!cmp)
+                continue;
+            const lower = cmp.op.startsWith('>');
+            const range = {
+                kind: 'range',
+                ...(lower ? { min: cmp.value, minInclusive: cmp.op === '>=' } : { max: cmp.value, maxInclusive: cmp.op === '<=' }),
+                ...(cmp.unit ? { unit: cmp.unit } : {}),
+            };
+            const fix = quickFix('Convert to bounds', this.code, site.view.facetId, site.field, [{ kind: 'value.set', payload: { facetId: site.view.facetId, field: site.field, value: range } }]);
+            out.push({ ...at(site.view, site.field), message: `"${site.constraint.value}" is matched as text, not as a numeric comparison`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+const BOOLEAN_FORMS = {
+    true: 'true', yes: 'true', y: 'true', ja: 'true', j: 'true', wahr: 'true', oui: 'true', vrai: 'true', si: 'true',
+    false: 'false', no: 'false', n: 'false', nein: 'false', falsch: 'false', non: 'false', faux: 'false',
+};
+export const VAL_005 = {
+    code: 'IDSL-VAL-005',
+    area: 'VAL',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Boolean literal in a form IDS does not accept',
+    rationale: 'IDS compares boolean values in their XSD lexical form, lower-case "true" and "false". "TRUE", "True", "yes" or "ja" never match (buildingSMART corpus: attribute/ and property/invalid-booleans_must_be_specified_as_lowercase_strings).',
+    fix: 'Normalise to "true" / "false".',
+    assumptions: [
+        {
+            id: 'A-04',
+            verified: 'buildingSMART corpus: pass-booleans_must_be_specified_as_lowercase_strings (attribute 3_3, property 2_3) accept "false"; fail-…_1_3 shows "true" is a comparable literal; invalid-…_2_3 / _3_3 mark "FALSE" as not conforming. The numeric forms 1/0 are not covered by the corpus and are not flagged.',
+        },
+    ],
+    example: '<property dataType="IFCBOOLEAN">…<value><simpleValue>TRUE</simpleValue></value></property>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const site of valueSites(ctx, spec)) {
+            const isBoolean = (site.xsd.length === 1 && site.xsd[0] === 'xs:boolean') || baseOf(site.constraint) === 'xs:boolean';
+            if (!isBoolean)
+                continue;
+            const bad = siteLiterals(site.constraint).filter((v) => v !== 'true' && v !== 'false' && BOOLEAN_FORMS[v.trim().toLowerCase()]);
+            if (!bad.length)
+                continue;
+            const fixed = mapLiterals(site.constraint, (v) => (bad.includes(v) ? BOOLEAN_FORMS[v.trim().toLowerCase()] : v));
+            const fix = quickFix('Normalise to true / false', this.code, site.view.facetId, site.field, [rawSet(site.view.facetId, site.field, fixed)]);
+            out.push({ ...at(site.view, site.field), message: `${bad.map((v) => `"${v}"`).join(', ')} is not a boolean literal IDS accepts (use "true" or "false")`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+const ODD_SPACE = /[  -​  　]/;
+function cleanLiteral(v) {
+    return v.replace(/[​]/g, '').replace(/[  -   　]/g, ' ').trim();
+}
+export const VAL_006 = {
+    code: 'IDSL-VAL-006',
+    area: 'VAL',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'info',
+    title: 'Leading or trailing whitespace, or invisible characters',
+    rationale: 'String comparison in IDS is exact. A value with a leading or trailing space, a non-breaking space or a zero-width character (typical of copy-paste from documents and spreadsheets) does not match the visually identical value in a model.',
+    fix: 'Trim the value and replace invisible characters.',
+    example: '<simpleValue>EI60 </simpleValue>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const view of allFacets(spec)) {
+            for (const field of ['entity.name', 'entity.predefinedType', 'attribute.name', 'attribute.value', 'property.propertySet', 'property.baseName', 'property.value', 'classification.system', 'classification.value', 'material.value', 'partOf.entity.name', 'partOf.entity.predefinedType']) {
+                const c = getField(view.facet, field);
+                if (!c)
+                    continue;
+                const bad = siteLiterals(c).filter((v) => v !== v.trim() || ODD_SPACE.test(v));
+                if (!bad.length)
+                    continue;
+                const fixed = mapLiterals(c, cleanLiteral);
+                const fix = siteLiterals(fixed).some((v) => v === '') ? undefined : quickFix('Trim', this.code, view.facetId, field, [rawSet(view.facetId, field, fixed)]);
+                out.push({ ...at(view, field), message: `${bad.map((v) => JSON.stringify(v)).join(', ')} has surrounding whitespace or invisible characters`, fixes: gated(doc, ctx, [fix]) });
+            }
+        }
+        return out;
+    },
+};
+//# sourceMappingURL=values.js.map

package/dist/lint/rules/values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../../../src/lint/rules/values.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAM/D,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEpD,OAAO,EAAE,QAAQ,EAAe,MAAM,WAAW,CAAC;AAElD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEzG,MAAM,UAAU,MAAM,CAAC,OAAa,EAAE,KAAqB,EAAE,UAAyB;IACpF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;AAChG,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAa;IAC/B,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,OAAO;IACxB,KAAK,EAAE,uCAAuC;IAC9C,SAAS,EACP,yMAAyM;IAC3M,GAAG,EAAE,uFAAuF;IAC5F,OAAO,EAAE,0KAA0K;IACnL,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;YAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,KAAK,gBAAgB;gBAAE,SAAS;YACvE,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAChC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI;gBAAE,SAAS;YACjC,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC7C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;gBACzF,MAAM,OAAO,GAAG,IAAI,EAAE,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3E,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7E,IAAI,CAAC,GAAG,CAAC,MAAM;oBAAE,SAAS;gBAC1B,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;oBAC/E,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;oBAC9G,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC5L,CAAC,CAAC,CAAC;gBACH,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sBAAsB,QAAQ,IAAI,IAAI,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC1K,MAAM;YACR,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,gFAAgF;AAChF,SAAS,YAAY,CAAC,CAAgB;IACpC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;QAAE,OAAO,SAAS,CAAC;IAC/C,IAAI,CAAC,CAAC,IAAI;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC;IAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,WAAW,CAAC;IAC5C,OAAO,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC;AACtH,CAAC;AAED,SAAS,UAAU,CAAC,QAAgB,EAAE,OAAe;IACnD,OAAO,QAAQ,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAa;IAC/B,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,kDAAkD;IACzD,SAAS,EACP,qaAAqa;IACva,GAAG,EAAE,sGAAsG;IAC3G,OAAO,EAAE,yIAAyI;IAClJ,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,IAAI,CAAC,KAAK,KAAK,gBAAgB,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACzF,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC/C,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC;YAC3B,IAAI,CAAC,QAAQ,IAAI,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;gBAAE,SAAS;YACnG,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAY,OAAO,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;YACnK,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,oBAAoB,QAAQ,iBAAiB,IAAI,CAAC,QAAQ,KAAK,OAAO,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAChK,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,cAAc,GAAG,aAAa,CAAC;AACrC,MAAM,SAAS,GAAG,uCAAuC,CAAC;AAE1D,iEAAiE;AACjE,MAAM,UAAU,SAAS,CAAC,KAAa;IACrC,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IACzB,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/D,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAChD,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACtE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACzC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7G,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,OAAO,SAAS,IAAI,QAAQ,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACxE,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAa;IAC/B,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,qCAAqC;IAC5C,SAAS,EACP,6NAA6N;IAC/N,GAAG,EAAE,yCAAyC;IAC9C,OAAO,EAAE,sDAAsD;IAC/D,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;YACjG,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAC/C,IAAI,CAAC,KAAK;gBAAE,SAAS;YACrB,MAAM,GAAG,GAAG,QAAQ,CAAC,2BAA2B,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE;gBAC1F,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;aACjG,CAAC,CAAC;YACH,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,0BAA0B,KAAK,CAAC,MAAM,sCAAsC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5L,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,UAAU,GAAG,wEAAwE,CAAC;AAQ5F,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACzB,MAAM,EAAE,GAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAY,CAAC,CAAC,CAAC,CAAC,CAAQ,CAAC,CAAC;IAChI,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACxF,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAa;IAC/B,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,2CAA2C;IAClD,SAAS,EAAE,oMAAoM;IAC/M,GAAG,EAAE,sEAAsE;IAC3E,OAAO,EAAE,oDAAoD;IAC7D,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;gBAAE,SAAS;YACrD,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACnD,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACrC,MAAM,KAAK,GAAG;gBACZ,IAAI,EAAE,OAAgB;gBACtB,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;gBAClH,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxC,CAAC;YACF,MAAM,GAAG,GAAG,QAAQ,CAAC,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;YACvL,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,mDAAmD,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACnK,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,aAAa,GAA+C;IAChE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM;IAChH,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO;CACrG,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAa;IAC/B,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,+CAA+C;IACtD,SAAS,EACP,0OAA0O;IAC5O,GAAG,EAAE,gCAAgC;IACrC,WAAW,EAAE;QACX;YACE,EAAE,EAAE,MAAM;YACV,QAAQ,EACN,ySAAyS;SAC5S;KACF;IACD,OAAO,EAAE,4FAA4F;IACrG,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,SAAS,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,YAAY,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,YAAY,CAAC;YACtH,IAAI,CAAC,SAAS;gBAAE,SAAS;YACzB,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,OAAO,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;YAChI,IAAI,CAAC,GAAG,CAAC,MAAM;gBAAE,SAAS;YAC1B,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACjH,MAAM,GAAG,GAAG,QAAQ,CAAC,2BAA2B,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YAC5I,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,+DAA+D,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5L,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,SAAS,GAAG,YAAY,CAAC;AAE/B,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAClE,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAa;IAC/B,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,MAAM;IACvB,KAAK,EAAE,yDAAyD;IAChE,SAAS,EACP,6OAA6O;IAC/O,GAAG,EAAE,kDAAkD;IACvD,OAAO,EAAE,kCAAkC;IAC3C,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,KAAK,MAAM,KAAK,IAAI,CAAC,aAAa,EAAE,uBAAuB,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,8BAA8B,CAAU,EAAE,CAAC;gBACnS,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;gBACtC,IAAI,CAAC,CAAC;oBAAE,SAAS;gBACjB,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC/E,IAAI,CAAC,GAAG,CAAC,MAAM;oBAAE,SAAS;gBAC1B,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;gBAC3C,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC3J,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qDAAqD,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;YACjL,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC"}

package/dist/lint/rules/xsd-regex.d.ts

@@ -0,0 +1,34 @@
+/**
+ * A small XSD-regex tokenizer and plain-language explainer.
+ *
+ * XSD patterns (XML Schema Part 2, Appendix F) differ from the regex
+ * dialects authors know: every pattern is implicitly anchored, `^` and `$`
+ * are ordinary characters, there are no lookarounds, backreferences, lazy
+ * quantifiers or `(?…)` groups, and `\d`, `\w` are Unicode classes. The
+ * tokenizer is linear and never compiles the pattern, so it is safe on any
+ * input; matching itself goes through `@ifc-lite/ids`' translator and the
+ * ReDoS guard.
+ */
+export type XsdTokenKind = 'char' | 'escape' | 'classEscape' | 'property' | 'invalidEscape' | 'class' | 'any' | 'open' | 'openSpecial' | 'close' | 'alt' | 'quantifier' | 'lazy' | 'caret' | 'dollar';
+export interface XsdToken {
+    kind: XsdTokenKind;
+    text: string;
+    /** Offset in the pattern. */
+    start: number;
+}
+export declare function tokenizeXsdPattern(p: string): XsdToken[];
+export interface PatternExplanation {
+    /** The whole value must match: XSD patterns are implicitly anchored. */
+    anchored: true;
+    parts: {
+        text: string;
+        meaning: string;
+    }[];
+    /** Constructs that are not XSD regex. */
+    unsupported: string[];
+}
+/** Explain an XSD pattern token by token, in plain language. */
+export declare function explainXsdPattern(pattern: string): PatternExplanation;
+/** The literal string a pattern stands for, when it has no metacharacters. */
+export declare function literalOf(pattern: string): string | undefined;
+//# sourceMappingURL=xsd-regex.d.ts.map

package/dist/lint/rules/xsd-regex.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"xsd-regex.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/xsd-regex.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;GAUG;AAEH,MAAM,MAAM,YAAY,GACpB,MAAM,GACN,QAAQ,GACR,aAAa,GACb,UAAU,GACV,eAAe,GACf,OAAO,GACP,KAAK,GACL,MAAM,GACN,aAAa,GACb,OAAO,GACP,KAAK,GACL,YAAY,GACZ,MAAM,GACN,OAAO,GACP,QAAQ,CAAC;AAEb,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,YAAY,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,6BAA6B;IAC7B,KAAK,EAAE,MAAM,CAAC;CACf;AAqCD,wBAAgB,kBAAkB,CAAC,CAAC,EAAE,MAAM,GAAG,QAAQ,EAAE,CA6BxD;AAkDD,MAAM,WAAW,kBAAkB;IACjC,wEAAwE;IACxE,QAAQ,EAAE,IAAI,CAAC;IACf,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC3C,yCAAyC;IACzC,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB;AAED,gEAAgE;AAChE,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,kBAAkB,CAOrE;AAED,8EAA8E;AAC9E,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAQ7D"}

package/dist/lint/rules/xsd-regex.js

@@ -0,0 +1,149 @@
+/* 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/. */
+const SINGLE_ESCAPES = new Set(['n', 'r', 't', '\\', '|', '.', '-', '^', '?', '*', '+', '{', '}', '(', ')', '[', ']']);
+const CLASS_ESCAPES = new Set(['d', 'D', 's', 'S', 'w', 'W', 'i', 'I', 'c', 'C']);
+function escapeAt(p, i) {
+    const c = p[i + 1];
+    if (c === undefined)
+        return { kind: 'invalidEscape', text: '\\' };
+    if ((c === 'p' || c === 'P') && p[i + 2] === '{') {
+        const end = p.indexOf('}', i + 3);
+        if (end > 0)
+            return { kind: 'property', text: p.slice(i, end + 1) };
+    }
+    if (SINGLE_ESCAPES.has(c))
+        return { kind: 'escape', text: `\\${c}` };
+    if (CLASS_ESCAPES.has(c))
+        return { kind: 'classEscape', text: `\\${c}` };
+    return { kind: 'invalidEscape', text: `\\${c}` };
+}
+/** End offset (exclusive) of the character class starting at `i` (`[`). */
+function classEnd(p, i) {
+    let depth = 0;
+    for (let j = i; j < p.length; j++) {
+        const c = p[j];
+        if (c === '\\') {
+            j++;
+            continue;
+        }
+        if (c === '[')
+            depth++;
+        else if (c === ']') {
+            depth--;
+            if (depth === 0)
+                return j + 1;
+        }
+    }
+    return p.length;
+}
+const QUANT = /^(\*|\+|\?|\{\d+(,\d*)?\})/;
+export function tokenizeXsdPattern(p) {
+    const out = [];
+    let i = 0;
+    while (i < p.length) {
+        const c = p[i];
+        let tok;
+        if (c === '\\')
+            tok = escapeAt(p, i);
+        else if (c === '[')
+            tok = { kind: 'class', text: p.slice(i, classEnd(p, i)) };
+        else if (c === '(' && p[i + 1] === '?')
+            tok = { kind: 'openSpecial', text: p.slice(i, i + (p[i + 2] === '<' && (p[i + 3] === '=' || p[i + 3] === '!') ? 4 : 3)) };
+        else if (c === '(')
+            tok = { kind: 'open', text: '(' };
+        else if (c === ')')
+            tok = { kind: 'close', text: ')' };
+        else if (c === '|')
+            tok = { kind: 'alt', text: '|' };
+        else if (c === '.')
+            tok = { kind: 'any', text: '.' };
+        else if (c === '^')
+            tok = { kind: 'caret', text: '^' };
+        else if (c === '$')
+            tok = { kind: 'dollar', text: '$' };
+        else {
+            const q = QUANT.exec(p.slice(i));
+            if (q) {
+                const prev = out[out.length - 1];
+                const lazy = prev?.kind === 'quantifier';
+                tok = { kind: lazy && (q[0] === '?' || q[0] === '+') ? 'lazy' : 'quantifier', text: q[0] };
+            }
+            else {
+                tok = { kind: 'char', text: c };
+            }
+        }
+        out.push({ ...tok, start: i });
+        i += tok.text.length;
+    }
+    return out;
+}
+const CLASS_MEANING = {
+    '\\d': 'any Unicode decimal digit (not only 0-9)',
+    '\\D': 'any character that is not a digit',
+    '\\s': 'a space, tab, carriage return or line feed',
+    '\\S': 'any character that is not whitespace',
+    '\\w': 'any letter or digit in any script (no underscore, unlike most regex dialects)',
+    '\\W': 'any character that is not a letter or digit',
+    '\\i': 'a character that may start an XML name (letter, _ or :)',
+    '\\I': 'a character that may not start an XML name',
+    '\\c': 'a character allowed in an XML name',
+    '\\C': 'a character not allowed in an XML name',
+};
+function explainToken(t) {
+    switch (t.kind) {
+        case 'char':
+            return `the character "${t.text}"`;
+        case 'escape':
+            return t.text === '\\n' ? 'a line feed' : t.text === '\\r' ? 'a carriage return' : t.text === '\\t' ? 'a tab' : `the character "${t.text.slice(1)}"`;
+        case 'classEscape':
+            return CLASS_MEANING[t.text] ?? t.text;
+        case 'property':
+            return `a character in the Unicode category or block ${t.text.slice(3, -1)}${t.text[1] === 'P' ? ' (negated)' : ''}`;
+        case 'invalidEscape':
+            return `${t.text} is not an XSD escape (not supported)`;
+        case 'class':
+            return t.text.startsWith('[^') ? `any one character except those in ${t.text}` : `any one character in ${t.text}`;
+        case 'any':
+            return 'any single character except a line break';
+        case 'open':
+            return 'start of a group';
+        case 'openSpecial':
+            return `${t.text} (lookaround, non-capturing or named group) is not supported in XSD`;
+        case 'close':
+            return 'end of the group';
+        case 'alt':
+            return 'or';
+        case 'quantifier':
+            return t.text === '*' ? 'repeated zero or more times' : t.text === '+' ? 'repeated one or more times' : t.text === '?' ? 'optional' : `repeated ${t.text.slice(1, -1).replace(',', ' to ').replace(/ to $/, ' or more')} times`;
+        case 'lazy':
+            return `${t.text} after a quantifier (lazy / possessive) is not supported in XSD`;
+        case 'caret':
+            return 'the literal character "^" (XSD patterns are always anchored; ^ is not an anchor)';
+        case 'dollar':
+            return 'the literal character "$" (XSD patterns are always anchored; $ is not an anchor)';
+    }
+}
+/** Explain an XSD pattern token by token, in plain language. */
+export function explainXsdPattern(pattern) {
+    const tokens = tokenizeXsdPattern(pattern);
+    return {
+        anchored: true,
+        parts: tokens.map((t) => ({ text: t.text, meaning: explainToken(t) })),
+        unsupported: tokens.filter((t) => t.kind === 'invalidEscape' || t.kind === 'openSpecial' || t.kind === 'lazy').map((t) => t.text),
+    };
+}
+/** The literal string a pattern stands for, when it has no metacharacters. */
+export function literalOf(pattern) {
+    let out = '';
+    for (const t of tokenizeXsdPattern(pattern)) {
+        if (t.kind === 'char')
+            out += t.text;
+        else if (t.kind === 'escape' && !['\\n', '\\r', '\\t'].includes(t.text))
+            out += t.text.slice(1);
+        else
+            return undefined;
+    }
+    return out;
+}
+//# sourceMappingURL=xsd-regex.js.map

package/dist/lint/rules/xsd-regex.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"xsd-regex.js","sourceRoot":"","sources":["../../../src/lint/rules/xsd-regex.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAsC/D,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACvH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAElF,SAAS,QAAQ,CAAC,CAAS,EAAE,CAAS;IACpC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACnB,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAClE,IAAI,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;QACjD,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAClC,IAAI,GAAG,GAAG,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;IACtE,CAAC;IACD,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;IACrE,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;IACzE,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;AACnD,CAAC;AAED,2EAA2E;AAC3E,SAAS,QAAQ,CAAC,CAAS,EAAE,CAAS;IACpC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACf,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,CAAC,EAAE,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aAClB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACnB,KAAK,EAAE,CAAC;YACR,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,MAAM,CAAC;AAClB,CAAC;AAED,MAAM,KAAK,GAAG,4BAA4B,CAAC;AAE3C,MAAM,UAAU,kBAAkB,CAAC,CAAS;IAC1C,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACf,IAAI,GAAyC,CAAC;QAC9C,IAAI,CAAC,KAAK,IAAI;YAAE,GAAG,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;aAChC,IAAI,CAAC,KAAK,GAAG;YAAE,GAAG,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACzE,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG;YAAE,GAAG,GAAG,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;aAC7J,IAAI,CAAC,KAAK,GAAG;YAAE,GAAG,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;aACjD,IAAI,CAAC,KAAK,GAAG;YAAE,GAAG,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;aAClD,IAAI,CAAC,KAAK,GAAG;YAAE,GAAG,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;aAChD,IAAI,CAAC,KAAK,GAAG;YAAE,GAAG,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;aAChD,IAAI,CAAC,KAAK,GAAG;YAAE,GAAG,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;aAClD,IAAI,CAAC,KAAK,GAAG;YAAE,GAAG,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;aACnD,CAAC;YACJ,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,IAAI,CAAC,EAAE,CAAC;gBACN,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBACjC,MAAM,IAAI,GAAG,IAAI,EAAE,IAAI,KAAK,YAAY,CAAC;gBACzC,GAAG,GAAG,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7F,CAAC;iBAAM,CAAC;gBACN,GAAG,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YAClC,CAAC;QACH,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;IACvB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,aAAa,GAAqC;IACtD,KAAK,EAAE,0CAA0C;IACjD,KAAK,EAAE,mCAAmC;IAC1C,KAAK,EAAE,4CAA4C;IACnD,KAAK,EAAE,sCAAsC;IAC7C,KAAK,EAAE,+EAA+E;IACtF,KAAK,EAAE,6CAA6C;IACpD,KAAK,EAAE,yDAAyD;IAChE,KAAK,EAAE,4CAA4C;IACnD,KAAK,EAAE,oCAAoC;IAC3C,KAAK,EAAE,wCAAwC;CAChD,CAAC;AAEF,SAAS,YAAY,CAAC,CAAW;IAC/B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,kBAAkB,CAAC,CAAC,IAAI,GAAG,CAAC;QACrC,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;QACvJ,KAAK,aAAa;YAChB,OAAO,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;QACzC,KAAK,UAAU;YACb,OAAO,gDAAgD,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACvH,KAAK,eAAe;YAClB,OAAO,GAAG,CAAC,CAAC,IAAI,uCAAuC,CAAC;QAC1D,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,IAAI,EAAE,CAAC;QACpH,KAAK,KAAK;YACR,OAAO,0CAA0C,CAAC;QACpD,KAAK,MAAM;YACT,OAAO,kBAAkB,CAAC;QAC5B,KAAK,aAAa;YAChB,OAAO,GAAG,CAAC,CAAC,IAAI,qEAAqE,CAAC;QACxF,KAAK,OAAO;YACV,OAAO,kBAAkB,CAAC;QAC5B,KAAK,KAAK;YACR,OAAO,IAAI,CAAC;QACd,KAAK,YAAY;YACf,OAAO,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,6BAA6B,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,UAAU,CAAC,QAAQ,CAAC;QAClO,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,CAAC,IAAI,iEAAiE,CAAC;QACpF,KAAK,OAAO;YACV,OAAO,kFAAkF,CAAC;QAC5F,KAAK,QAAQ;YACX,OAAO,kFAAkF,CAAC;IAC9F,CAAC;AACH,CAAC;AAUD,gEAAgE;AAChE,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC3C,OAAO;QACL,QAAQ,EAAE,IAAI;QACd,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtE,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KAClI,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,SAAS,CAAC,OAAe;IACvC,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,kBAAkB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5C,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC;aAChC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;;YAC3F,OAAO,SAAS,CAAC;IACxB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/lint/solver/sample.d.ts

@@ -0,0 +1,3 @@
+/** Up to 32 candidate members of `pattern` (not all are guaranteed members). */
+export declare function samplePattern(pattern: string): string[];
+//# sourceMappingURL=sample.d.ts.map

package/dist/lint/solver/sample.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sample.d.ts","sourceRoot":"","sources":["../../../src/lint/solver/sample.ts"],"names":[],"mappings":"AA8HA,gFAAgF;AAChF,wBAAgB,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAGvD"}

package/dist/lint/solver/sample.js

@@ -0,0 +1,134 @@
+/* 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/. */
+/**
+ * Sample strings from an XSD pattern.
+ *
+ * Used only to PROVE that two constraints overlap (a sample that matches
+ * both is a witness). A sample that is not a real member of its own
+ * pattern is discarded by the caller, so an imprecise generator can only
+ * lose witnesses, never invent one. Output is capped, and group nesting is
+ * bounded by `MAX_DEPTH`.
+ */
+import { tokenizeXsdPattern } from '../rules/xsd-regex.js';
+const MAX_SAMPLES = 32;
+const MAX_DEPTH = 16;
+const CLASS_SAMPLES = {
+    '\\d': ['0', '7'],
+    '\\D': ['a', '-'],
+    '\\s': [' '],
+    '\\S': ['a', '0'],
+    '\\w': ['a', 'Z', '5'],
+    '\\W': ['-', ' '],
+    '\\i': ['a', '_'],
+    '\\I': ['0', '-'],
+    '\\c': ['a', '0'],
+    '\\C': [' ', '/'],
+};
+const PROBE_CHARS = ['a', 'A', 'z', '0', '5', '9', '_', '-', ' ', '.', '/'];
+/** Candidate characters for a bracket expression (verified later by the caller). */
+function classSamples(text) {
+    const body = text.slice(1, -1);
+    if (body.startsWith('^'))
+        return PROBE_CHARS;
+    const out = [];
+    for (let i = 0; i < body.length && out.length < 4; i++) {
+        const c = body[i];
+        if (c === '\\') {
+            const esc = `\\${body[i + 1] ?? ''}`;
+            out.push(...(CLASS_SAMPLES[esc] ?? [body[i + 1] ?? '']).slice(0, 1));
+            i++;
+        }
+        else if (c !== '-' && c !== '[') {
+            out.push(c);
+        }
+    }
+    return out.length ? out : PROBE_CHARS;
+}
+function cross(a, b) {
+    const out = [];
+    for (const x of a)
+        for (const y of b)
+            if (out.length < MAX_SAMPLES)
+                out.push(x + y);
+    return out;
+}
+function repeat(atom, q) {
+    let counts;
+    if (q === '*')
+        counts = [0, 1, 2];
+    else if (q === '+')
+        counts = [1, 2];
+    else if (q === '?')
+        counts = [0, 1];
+    else {
+        const [lo, hi] = q.slice(1, -1).split(',');
+        const n = Number(lo);
+        counts = hi === undefined ? [n] : hi === '' ? [n, n + 1] : [n, Math.min(Number(hi), n + 1)];
+    }
+    const out = [];
+    for (const n of counts) {
+        let acc = [''];
+        for (let i = 0; i < n && i < 8; i++)
+            acc = cross(acc, atom.slice(0, 3));
+        out.push(...acc);
+    }
+    return out.slice(0, MAX_SAMPLES);
+}
+function parseAlternation(c, depth) {
+    const out = [];
+    out.push(...parseSequence(c, depth));
+    while (c.tokens[c.i]?.kind === 'alt') {
+        c.i++;
+        out.push(...parseSequence(c, depth));
+    }
+    return out.slice(0, MAX_SAMPLES);
+}
+function parseSequence(c, depth) {
+    let acc = [''];
+    while (c.i < c.tokens.length) {
+        const t = c.tokens[c.i];
+        if (t.kind === 'alt' || t.kind === 'close')
+            break;
+        c.i++;
+        let atom;
+        if (t.kind === 'open' || t.kind === 'openSpecial') {
+            atom = depth >= MAX_DEPTH ? [] : parseAlternation(c, depth + 1);
+            if (c.tokens[c.i]?.kind === 'close')
+                c.i++;
+        }
+        else if (t.kind === 'char' || t.kind === 'caret' || t.kind === 'dollar') {
+            atom = [t.text];
+        }
+        else if (t.kind === 'escape') {
+            atom = [t.text === '\\n' ? '\n' : t.text === '\\r' ? '\r' : t.text === '\\t' ? '\t' : t.text.slice(1)];
+        }
+        else if (t.kind === 'classEscape') {
+            atom = CLASS_SAMPLES[t.text] ?? ['a'];
+        }
+        else if (t.kind === 'class') {
+            atom = classSamples(t.text);
+        }
+        else if (t.kind === 'any') {
+            atom = ['a', '0'];
+        }
+        else {
+            atom = PROBE_CHARS.slice(0, 3);
+        }
+        const q = c.tokens[c.i];
+        if (q?.kind === 'quantifier') {
+            c.i++;
+            if (c.tokens[c.i]?.kind === 'lazy')
+                c.i++;
+            atom = repeat(atom, q.text);
+        }
+        acc = cross(acc, atom);
+    }
+    return acc;
+}
+/** Up to 32 candidate members of `pattern` (not all are guaranteed members). */
+export function samplePattern(pattern) {
+    const cursor = { tokens: tokenizeXsdPattern(pattern), i: 0 };
+    return [...new Set(parseAlternation(cursor, 0))];
+}
+//# sourceMappingURL=sample.js.map

package/dist/lint/solver/sample.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sample.js","sourceRoot":"","sources":["../../../src/lint/solver/sample.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;GAQG;AAEH,OAAO,EAAE,kBAAkB,EAAiB,MAAM,uBAAuB,CAAC;AAE1E,MAAM,WAAW,GAAG,EAAE,CAAC;AACvB,MAAM,SAAS,GAAG,EAAE,CAAC;AAErB,MAAM,aAAa,GAAuC;IACxD,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;IACjB,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;IACjB,KAAK,EAAE,CAAC,GAAG,CAAC;IACZ,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;IACjB,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;IACtB,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;IACjB,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;IACjB,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;IACjB,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;IACjB,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;CAClB,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE5E,oFAAoF;AACpF,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/B,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,WAAW,CAAC;IAC7C,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACvD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,MAAM,GAAG,GAAG,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACrE,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAClC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;AACxC,CAAC;AAED,SAAS,KAAK,CAAC,CAAW,EAAE,CAAW;IACrC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,CAAC;QAAE,KAAK,MAAM,CAAC,IAAI,CAAC;YAAE,IAAI,GAAG,CAAC,MAAM,GAAG,WAAW;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpF,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,MAAM,CAAC,IAAc,EAAE,CAAS;IACvC,IAAI,MAAgB,CAAC;IACrB,IAAI,CAAC,KAAK,GAAG;QAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;SAC7B,IAAI,CAAC,KAAK,GAAG;QAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SAC/B,IAAI,CAAC,KAAK,GAAG;QAAE,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SAC/B,CAAC;QACJ,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;QACrB,MAAM,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxE,GAAG,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;AACnC,CAAC;AAOD,SAAS,gBAAgB,CAAC,CAAS,EAAE,KAAa;IAChD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,GAAG,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACrC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;QACrC,CAAC,CAAC,CAAC,EAAE,CAAC;QACN,GAAG,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,aAAa,CAAC,CAAS,EAAE,KAAa;IAC7C,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IACf,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM;QAClD,CAAC,CAAC,CAAC,EAAE,CAAC;QACN,IAAI,IAAc,CAAC;QACnB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAClD,IAAI,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAChE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO;gBAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC1E,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClB,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/B,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACzG,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACpC,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxC,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC9B,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC5B,IAAI,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,CAAC,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;YAC7B,CAAC,CAAC,CAAC,EAAE,CAAC;YACN,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM;gBAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1C,IAAI,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,aAAa,CAAC,OAAe;IAC3C,MAAM,MAAM,GAAW,EAAE,MAAM,EAAE,kBAAkB,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACrE,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC"}