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

package/dist/lint/rules/card.d.ts

@@ -0,0 +1,10 @@
+/** Cardinality rules IDSL-CARD-001 … 004. */
+import type { IDSSpecification } from '@ifc-lite/ids';
+import type { SpecRule } from '../types.js';
+export declare function isProhibitedSpec(spec: IDSSpecification): boolean;
+export declare function isRequiredSpec(spec: IDSSpecification): boolean;
+export declare const CARD_001: SpecRule;
+export declare const CARD_002: SpecRule;
+export declare const CARD_003: SpecRule;
+export declare const CARD_004: SpecRule;
+//# sourceMappingURL=card.d.ts.map

package/dist/lint/rules/card.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"card.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/card.ts"],"names":[],"mappings":"AAIA,6CAA6C;AAE7C,OAAO,KAAK,EAAY,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAGhE,OAAO,KAAK,EAAW,QAAQ,EAAE,MAAM,aAAa,CAAC;AAIrD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAEhE;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAE9D;AAkBD,eAAO,MAAM,QAAQ,EAAE,QAuBtB,CAAC;AAiBF,eAAO,MAAM,QAAQ,EAAE,QAqBtB,CAAC;AAEF,eAAO,MAAM,QAAQ,EAAE,QAiBtB,CAAC;AAgBF,eAAO,MAAM,QAAQ,EAAE,QAkBtB,CAAC"}

package/dist/lint/rules/card.js

@@ -0,0 +1,140 @@
+/* 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 { quickFix } from '../fix.js';
+import { where } from '../walk.js';
+import { gated } from './util.js';
+export function isProhibitedSpec(spec) {
+    return spec.maxOccurs === 0;
+}
+export function isRequiredSpec(spec) {
+    return (spec.minOccurs ?? 0) >= 1 && spec.maxOccurs !== 0;
+}
+/** The value-like fields of a facet that a prohibited requirement would qualify. */
+function qualifiers(facet) {
+    switch (facet.type) {
+        case 'property':
+            return [...(facet.value ? ['property.value'] : []), ...(facet.dataType ? ['property.dataType'] : [])];
+        case 'attribute':
+            return facet.value ? ['attribute.value'] : [];
+        case 'classification':
+            return facet.value ? ['classification.value'] : [];
+        case 'material':
+            return facet.value ? ['material.value'] : [];
+        default:
+            return [];
+    }
+}
+export const CARD_001 = {
+    code: 'IDSL-CARD-001',
+    area: 'CARD',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Prohibited requirement with a value or data type',
+    rationale: 'A prohibited facet with a value can be read two ways: "must not have this property at all" or "must not have it with this value". Tools disagree (IDS issues #206 and #420), so the same file passes in one checker and fails in another. Without a value the meaning is unambiguous.',
+    fix: 'Drop the value and data type, so the requirement reads "must not have it at all". The other reading cannot be expressed unambiguously in IDS 1.0.',
+    references: ['https://github.com/buildingSMART/IDS/issues/206', 'https://github.com/buildingSMART/IDS/issues/420'],
+    example: '<property cardinality="prohibited">…<value><simpleValue>EI30</simpleValue></value></property>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const r of spec.requirements) {
+            if (r.requirement?.optionality !== 'prohibited')
+                continue;
+            const fields = qualifiers(r.facet);
+            if (!fields.length)
+                continue;
+            const fix = quickFix('Prohibit it entirely (drop the value)', this.code, r.facetId, 'drop', fields.map((field) => ({ kind: 'facet.setField', payload: { facetId: r.facetId, field, value: null } })));
+            out.push({ nodeId: r.facetId, message: `${where(r)} is prohibited with a ${fields.map((f) => f.slice(f.indexOf('.') + 1)).join(' and ')}: "must not have it" or "must not have this value"?`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+/** An optional requirement checks something only through a value, dataType or system. */
+function checksNothingWhenOptional(facet) {
+    switch (facet.type) {
+        case 'property':
+            return !facet.value && !facet.dataType;
+        case 'attribute':
+        case 'material':
+            return !facet.value;
+        case 'classification':
+            return !facet.value && !facet.system;
+        default:
+            return false;
+    }
+}
+export const CARD_002 = {
+    code: 'IDSL-CARD-002',
+    area: 'CARD',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'info',
+    title: 'Optional requirement that checks nothing',
+    rationale: 'An optional requirement means "if present, it must comply". Without a value (or data type, or classification system) there is nothing to comply with, so it can never fail.',
+    fix: 'Make it required, or remove it.',
+    example: '<property cardinality="optional"><propertySet>…</propertySet><baseName>…</baseName></property>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const r of spec.requirements) {
+            if (r.requirement?.optionality !== 'optional' || !checksNothingWhenOptional(r.facet))
+                continue;
+            const required = quickFix('Make it required', this.code, r.facetId, 'required', [{ kind: 'requirement.setOptionality', payload: { facetId: r.facetId, optionality: 'required' } }]);
+            const remove = quickFix('Remove it', this.code, r.facetId, 'remove', [{ kind: 'facet.remove', payload: { facetId: r.facetId } }]);
+            out.push({ nodeId: r.facetId, message: `${where(r)} is optional and has no value, so it can never fail`, fixes: gated(doc, ctx, [required, remove]) });
+        }
+        return out;
+    },
+};
+export const CARD_003 = {
+    code: 'IDSL-CARD-003',
+    area: 'CARD',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Prohibited specification with requirements',
+    rationale: 'A prohibited specification (maxOccurs 0) says "no element may match the applicability". Its requirements are never evaluated, so they suggest a check that does not happen. buildingSMART marks this combination as invalid (corpus case ids/invalid-prohibited_specifications_invalid_if_requirements_are_specified).',
+    fix: 'Remove the requirements, or make the specification required.',
+    example: '<specification …><applicability minOccurs="0" maxOccurs="0">…</applicability><requirements>…</requirements></specification>',
+    check(spec, { ctx, doc }) {
+        if (!isProhibitedSpec(spec.spec) || !spec.requirements.length)
+            return [];
+        const remove = quickFix('Remove the requirements', this.code, spec.specId, 'remove', spec.requirements.map((r) => ({ kind: 'facet.remove', payload: { facetId: r.facetId } })));
+        const required = quickFix('Make the specification required', this.code, spec.specId, 'required', [{ kind: 'spec.setCardinality', payload: { specId: spec.specId, cardinality: 'required' } }]);
+        return [{ nodeId: spec.specId, message: `the specification is prohibited, so its ${spec.requirements.length} requirement(s) are never checked`, fixes: gated(doc, ctx, [remove, required]) }];
+    },
+};
+function hasValueSelection(facet) {
+    switch (facet.type) {
+        case 'property':
+        case 'attribute':
+        case 'classification':
+        case 'material':
+            return !!facet.value;
+        case 'partOf':
+            return true;
+        default:
+            return false;
+    }
+}
+export const CARD_004 = {
+    code: 'IDSL-CARD-004',
+    area: 'CARD',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'info',
+    title: 'Required specification with a narrow applicability',
+    rationale: 'A required specification fails any model with no applicable element. When the applicability is narrowed by a value (a property or attribute value, a classification, a material, a containment), a model that legitimately has no such element fails the whole specification. Optional is usually what is meant.',
+    fix: 'Make the specification optional.',
+    example: '<applicability minOccurs="1">…<property>…<value><simpleValue>EI60</simpleValue></value></property></applicability>',
+    check(spec, { ctx, doc }) {
+        if (!isRequiredSpec(spec.spec))
+            return [];
+        const narrow = spec.applicability.find((f) => hasValueSelection(f.facet));
+        if (!narrow)
+            return [];
+        const fix = quickFix('Make it optional', this.code, spec.specId, 'optional', [{ kind: 'spec.setCardinality', payload: { specId: spec.specId, cardinality: 'optional' } }]);
+        return [{ nodeId: spec.specId, message: `required specification narrowed by ${where(narrow)} (${narrow.facet.type}); models without such elements fail it`, fixes: gated(doc, ctx, [fix]) }];
+    },
+};
+//# sourceMappingURL=card.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"card.js","sourceRoot":"","sources":["../../../src/lint/rules/card.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAM/D,OAAO,EAAE,QAAQ,EAAe,MAAM,WAAW,CAAC;AAElD,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAElC,MAAM,UAAU,gBAAgB,CAAC,IAAsB;IACrD,OAAO,IAAI,CAAC,SAAS,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAsB;IACnD,OAAO,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,SAAS,KAAK,CAAC,CAAC;AAC5D,CAAC;AAED,oFAAoF;AACpF,SAAS,UAAU,CAAC,KAAe;IACjC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,UAAU;YACb,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,gBAAgB,CAAW,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAE,CAAC,mBAAmB,CAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9H,KAAK,WAAW;YACd,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAChD,KAAK,gBAAgB;YACnB,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,KAAK,UAAU;YACb,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C;YACE,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,kDAAkD;IACzD,SAAS,EACP,uRAAuR;IACzR,GAAG,EAAE,mJAAmJ;IACxJ,UAAU,EAAE,CAAC,iDAAiD,EAAE,iDAAiD,CAAC;IAClH,OAAO,EAAE,+FAA+F;IACxG,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,WAAW,EAAE,WAAW,KAAK,YAAY;gBAAE,SAAS;YAC1D,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACnC,IAAI,CAAC,MAAM,CAAC,MAAM;gBAAE,SAAS;YAC7B,MAAM,GAAG,GAAG,QAAQ,CAAC,uCAAuC,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YAC9M,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,yBAAyB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,qDAAqD,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACjO,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,yFAAyF;AACzF,SAAS,yBAAyB,CAAC,KAAe;IAChD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,UAAU;YACb,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC;QACzC,KAAK,WAAW,CAAC;QACjB,KAAK,UAAU;YACb,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QACtB,KAAK,gBAAgB;YACnB,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;QACvC;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,MAAM;IACvB,KAAK,EAAE,0CAA0C;IACjD,SAAS,EACP,6KAA6K;IAC/K,GAAG,EAAE,iCAAiC;IACtC,OAAO,EAAE,gGAAgG;IACzG,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAClC,IAAI,CAAC,CAAC,WAAW,EAAE,WAAW,KAAK,UAAU,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC/F,MAAM,QAAQ,GAAG,QAAQ,CAAC,kBAAkB,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,4BAA4B,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC;YACpL,MAAM,MAAM,GAAG,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;YAClI,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,qDAAqD,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;QACzJ,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,SAAS;IAC1B,KAAK,EAAE,4CAA4C;IACnD,SAAS,EACP,wTAAwT;IAC1T,GAAG,EAAE,8DAA8D;IACnE,OAAO,EAAE,6HAA6H;IACtI,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QACzE,MAAM,MAAM,GAAG,QAAQ,CAAC,yBAAyB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAU,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACxL,MAAM,QAAQ,GAAG,QAAQ,CAAC,iCAAiC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/L,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,2CAA2C,IAAI,CAAC,YAAY,CAAC,MAAM,mCAAmC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;IAChM,CAAC;CACF,CAAC;AAEF,SAAS,iBAAiB,CAAC,KAAe;IACxC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,UAAU,CAAC;QAChB,KAAK,WAAW,CAAC;QACjB,KAAK,gBAAgB,CAAC;QACtB,KAAK,UAAU;YACb,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;QACvB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,MAAM;IACvB,KAAK,EAAE,oDAAoD;IAC3D,SAAS,EACP,kTAAkT;IACpT,GAAG,EAAE,kCAAkC;IACvC,OAAO,EAAE,oHAAoH;IAC7H,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1E,IAAI,CAAC,MAAM;YAAE,OAAO,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,QAAQ,CAAC,kBAAkB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3K,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,sCAAsC,KAAK,CAAC,MAAM,CAAC,KAAK,MAAM,CAAC,KAAK,CAAC,IAAI,yCAAyC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IAC/L,CAAC;CACF,CAAC"}

package/dist/lint/rules/doc-ver-part.d.ts

@@ -0,0 +1,7 @@
+import type { DocumentRule, SpecRule } from '../types.js';
+/** An unambiguous date in another notation, as xs:date. */
+export declare function toXsDate(raw: string): string | undefined;
+export declare const DOC_001: DocumentRule;
+export declare const VER_001: SpecRule;
+export declare const PART_001: SpecRule;
+//# sourceMappingURL=doc-ver-part.d.ts.map

package/dist/lint/rules/doc-ver-part.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"doc-ver-part.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/doc-ver-part.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,YAAY,EAAW,QAAQ,EAAY,MAAM,aAAa,CAAC;AAQ7E,2DAA2D;AAC3D,wBAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAUxD;AAED,eAAO,MAAM,OAAO,EAAE,YAyBrB,CAAC;AA0BF,eAAO,MAAM,OAAO,EAAE,QA6BrB,CAAC;AAeF,eAAO,MAAM,QAAQ,EAAE,QA4BtB,CAAC"}

package/dist/lint/rules/doc-ver-part.js

@@ -0,0 +1,155 @@
+/* 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 { IFC2X3_MAPPED_ALIASES } from '@ifc-lite/ids';
+import { inheritanceChain } from '../../gate/context.js';
+import { isReservedPsetName } from '../../gate/grounding-pset.js';
+import { quickFix } from '../fix.js';
+import { allFacets, at, where } from '../walk.js';
+import { applicabilityEntityNames, entityNameSites, gated, isSubtypeOf, literals, single, tables } from './util.js';
+// IDS 1.0 XSD: author is `[^@]+@[^\.]+\..+`, date is xs:date.
+const AUTHOR = /^[^@]+@[^.]+\..+$/;
+const XS_DATE = /^-?\d{4,}-(0[1-9]|1[0-2])-(0[1-9]|[12]\d|3[01])(Z|[+-]\d{2}:\d{2})?$/;
+/** An unambiguous date in another notation, as xs:date. */
+export function toXsDate(raw) {
+    const v = raw.trim();
+    const pad = (n) => n.padStart(2, '0');
+    let m = /^(\d{4})[/.](\d{1,2})[/.](\d{1,2})$/.exec(v);
+    if (m)
+        return `${m[1]}-${pad(m[2])}-${pad(m[3])}`;
+    m = /^(\d{1,2})\.(\d{1,2})\.(\d{4})$/.exec(v); // day.month.year (European dotted form)
+    if (m)
+        return `${m[3]}-${pad(m[2])}-${pad(m[1])}`;
+    m = /^(\d{4}-\d{2}-\d{2})T[\d:.]+(Z|[+-]\d{2}:\d{2})?$/.exec(v);
+    if (m)
+        return m[1];
+    return undefined;
+}
+export const DOC_001 = {
+    code: 'IDSL-DOC-001',
+    area: 'DOC',
+    scope: 'document',
+    kind: 'static',
+    defaultSeverity: 'error',
+    title: 'Author is not an e-mail address, or date is not xs:date',
+    rationale: 'The IDS 1.0 schema requires info/author to be an e-mail address and info/date to be an xs:date (YYYY-MM-DD). Schema-validating tools reject the file otherwise.',
+    fix: 'Rewrite an unambiguous date as YYYY-MM-DD; remove an author that is not an e-mail address.',
+    example: '<info><author>Jane Doe</author><date>08.10.2026</date></info>',
+    check(_specs, { ctx, doc }) {
+        const info = doc.ids.info;
+        const out = [];
+        const node = doc.nodes.document;
+        if (info.author !== undefined && !AUTHOR.test(info.author)) {
+            const fix = quickFix('Remove the author', this.code, node, 'author', [{ kind: 'doc.setInfo', payload: { field: 'author', value: null } }]);
+            out.push({ nodeId: node, message: `author "${info.author}" is not an e-mail address`, fixes: gated(doc, ctx, [fix]) });
+        }
+        if (info.date !== undefined && !XS_DATE.test(info.date)) {
+            const fixed = toXsDate(info.date);
+            const fix = fixed ? quickFix(`Use ${fixed}`, this.code, node, 'date', [{ kind: 'doc.setInfo', payload: { field: 'date', value: fixed } }]) : undefined;
+            out.push({ nodeId: node, message: `date "${info.date}" is not an xs:date (YYYY-MM-DD)`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+/** Literal names used by a spec, with a resolver per version. */
+function namesIn(spec) {
+    const out = [];
+    for (const site of entityNameSites(spec)) {
+        for (const name of literals(site.constraint)) {
+            out.push({ label: name, ...at(site.view, site.field), resolves: (t, v) => t.entities.has(name.toUpperCase()) || (v === 'IFC2X3' && IFC2X3_MAPPED_ALIASES.has(name.toUpperCase())) });
+        }
+    }
+    for (const view of allFacets(spec)) {
+        const f = view.facet;
+        if (f.type === 'attribute') {
+            for (const name of literals(f.name))
+                out.push({ label: name, ...at(view, 'attribute.name'), resolves: (t) => t.attributeNames.has(name) || [...t.attributeNames].some((a) => a.toLowerCase() === name.toLowerCase()) });
+        }
+        if (f.type === 'property') {
+            const pset = single(f.propertySet);
+            if (!pset || !isReservedPsetName(pset))
+                continue;
+            out.push({ label: pset, ...at(view, 'property.propertySet'), resolves: (t) => t.psets.has(pset) || (pset.startsWith('Qto_') && !t.hasQuantitySets) });
+            const name = single(f.baseName);
+            if (name)
+                out.push({ label: `${pset}.${name}`, ...at(view, 'property.baseName'), resolves: (t) => !t.psets.has(pset) || !!t.psets.get(pset)?.properties.some((p) => p.name === name) });
+        }
+    }
+    return out;
+}
+export const VER_001 = {
+    code: 'IDSL-VER-001',
+    area: 'VER',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Name valid in only some IFC versions of the specification',
+    rationale: 'A specification that lists several IFC versions must use names (entities, attributes, standard sets and properties) that exist in each of them. A name missing from one version makes the specification fail or select nothing on models of that version. IFC4 class names that the IFC2X3 occurrence/type mapping table resolves (IfcAirTerminal, …) are accepted for IFC2X3.',
+    fix: 'Restrict the specification to the versions in which every name exists.',
+    example: '<specification ifcVersion="IFC2X3 IFC4"> … <entity><name><simpleValue>IFCBUILDINGSYSTEM</simpleValue></name></entity>',
+    check(spec, { ctx, doc }) {
+        if (spec.versions.length < 2)
+            return [];
+        const out = [];
+        const good = new Set(spec.versions);
+        for (const n of namesIn(spec)) {
+            const missing = spec.versions.filter((v) => !n.resolves(tables(ctx, v), v));
+            if (!missing.length || missing.length === spec.versions.length)
+                continue; // in none: the audit's problem, not a version split
+            for (const v of missing)
+                good.delete(v);
+            out.push({ nodeId: n.nodeId, ...(n.field ? { field: n.field } : {}), message: `${n.label} does not exist in ${missing.join(', ')}` });
+        }
+        if (out.length && good.size) {
+            const keep = spec.versions.filter((v) => good.has(v));
+            const fix = quickFix(`Restrict to ${keep.join(', ')}`, this.code, spec.specId, keep.join(' '), [{ kind: 'spec.setIfcVersions', payload: { specId: spec.specId, versions: keep } }]);
+            const fixes = gated(doc, ctx, [fix]);
+            for (const f of out)
+                f.fixes = fixes;
+        }
+        return out;
+    },
+};
+const SPATIAL = 'IfcSpatialStructureElement';
+function allAre(spec, ctx, ancestor, exclude) {
+    const names = applicabilityEntityNames(spec);
+    return (names.length > 0 &&
+        spec.versions.every((v) => {
+            const t = tables(ctx, v);
+            return names.every((n) => inheritanceChain(t, n).length > 0 && isSubtypeOf(t, n, ancestor) && !(exclude && isSubtypeOf(t, n, exclude)));
+        }));
+}
+export const PART_001 = {
+    code: 'IDSL-PART-001',
+    area: 'PART',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'info',
+    title: 'Unlikely partOf relation for these entities',
+    rationale: 'The relation is allowed by the schema but unusual for these entities. Building elements are placed in a storey or space by spatial containment (IfcRelContainedInSpatialStructure), not aggregation; spatial elements (sites, buildings, storeys) are decomposed by aggregation (IfcRelAggregates), not containment. The audit already rejects combinations the schema forbids.',
+    fix: 'Use the usual relation.',
+    example: '<entity>IFCWALL</entity> + <partOf relation="IFCRELAGGREGATES"><entity>IFCBUILDINGSTOREY</entity></partOf>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const view of allFacets(spec)) {
+            const f = view.facet;
+            if (f.type !== 'partOf' || !f.entity)
+                continue;
+            const whole = single(f.entity.name);
+            if (!whole)
+                continue;
+            const wholeSpatial = spec.versions.every((v) => isSubtypeOf(tables(ctx, v), whole, SPATIAL));
+            let suggestion;
+            if ((f.relation === 'IfcRelAggregates' || f.relation === 'IfcRelNests') && wholeSpatial && allAre(spec, ctx, 'IfcElement'))
+                suggestion = 'IfcRelContainedInSpatialStructure';
+            if (f.relation === 'IfcRelContainedInSpatialStructure' && allAre(spec, ctx, SPATIAL))
+                suggestion = 'IfcRelAggregates';
+            if (!suggestion)
+                continue;
+            const body = { kind: 'facet.setRelation', payload: { facetId: view.facetId, relation: suggestion } };
+            out.push({ nodeId: view.facetId, message: `${where(view)}: ${f.relation} is unusual here; ${suggestion} is the usual relation`, fixes: gated(doc, ctx, [quickFix(`Use ${suggestion}`, this.code, view.facetId, suggestion, [body])]) });
+        }
+        return out;
+    },
+};
+//# sourceMappingURL=doc-ver-part.js.map

package/dist/lint/rules/doc-ver-part.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"doc-ver-part.js","sourceRoot":"","sources":["../../../src/lint/rules/doc-ver-part.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAK/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAsB,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAe,MAAM,WAAW,CAAC;AAElD,OAAO,EAAE,SAAS,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,wBAAwB,EAAE,eAAe,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAEpH,8DAA8D;AAC9D,MAAM,MAAM,GAAG,mBAAmB,CAAC;AACnC,MAAM,OAAO,GAAG,sEAAsE,CAAC;AAEvF,2DAA2D;AAC3D,MAAM,UAAU,QAAQ,CAAC,GAAW;IAClC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC9C,IAAI,CAAC,GAAG,qCAAqC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClD,CAAC,GAAG,iCAAiC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,wCAAwC;IACvF,IAAI,CAAC;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAClD,CAAC,GAAG,mDAAmD,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACnB,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAiB;IACnC,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,KAAK;IACX,KAAK,EAAE,UAAU;IACjB,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,OAAO;IACxB,KAAK,EAAE,yDAAyD;IAChE,SAAS,EAAE,iKAAiK;IAC5K,GAAG,EAAE,4FAA4F;IACjG,OAAO,EAAE,+DAA+D;IACxE,KAAK,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACxB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;QAC1B,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC;QAChC,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3D,MAAM,GAAG,GAAG,QAAQ,CAAC,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;YAC3I,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,IAAI,CAAC,MAAM,4BAA4B,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACzH,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,KAAK,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACvJ,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,IAAI,CAAC,IAAI,kCAAkC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3H,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,iEAAiE;AACjE,SAAS,OAAO,CAAC,IAAc;IAC7B,MAAM,GAAG,GAA+B,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7C,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,QAAQ,IAAI,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACvL,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QACrB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC3B,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1N,CAAC;QACD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACnC,IAAI,CAAC,IAAI,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC;gBAAE,SAAS;YACjD,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,sBAAsB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;YACtJ,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAChC,IAAI,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,mBAAmB,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1L,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,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,2DAA2D;IAClE,SAAS,EACP,gXAAgX;IAClX,GAAG,EAAE,wEAAwE;IAC7E,OAAO,EAAE,uHAAuH;IAChI,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,CAAC;QACxC,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC5E,IAAI,CAAC,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM;gBAAE,SAAS,CAAC,oDAAoD;YAC9H,KAAK,MAAM,CAAC,IAAI,OAAO;gBAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACxC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,KAAK,sBAAsB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACxI,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACtD,MAAM,GAAG,GAAG,QAAQ,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,qBAAqB,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;YACpL,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACrC,KAAK,MAAM,CAAC,IAAI,GAAG;gBAAE,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC;QACvC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,OAAO,GAAG,4BAA4B,CAAC;AAE7C,SAAS,MAAM,CAAC,IAAc,EAAE,GAA4C,EAAE,QAAgB,EAAE,OAAgB;IAC9G,MAAM,KAAK,GAAG,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO,CACL,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE;YACxB,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACzB,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,IAAI,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QAC1I,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,QAAQ,GAAa;IAChC,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,MAAM;IACb,IAAI,EAAE,QAAQ;IACd,eAAe,EAAE,MAAM;IACvB,KAAK,EAAE,6CAA6C;IACpD,SAAS,EACP,iXAAiX;IACnX,GAAG,EAAE,yBAAyB;IAC9B,OAAO,EAAE,4GAA4G;IACrH,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,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YACrB,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,MAAM;gBAAE,SAAS;YAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACpC,IAAI,CAAC,KAAK;gBAAE,SAAS;YACrB,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;YAC7F,IAAI,UAAsC,CAAC;YAC3C,IAAI,CAAC,CAAC,CAAC,QAAQ,KAAK,kBAAkB,IAAI,CAAC,CAAC,QAAQ,KAAK,aAAa,CAAC,IAAI,YAAY,IAAI,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,YAAY,CAAC;gBAAE,UAAU,GAAG,mCAAmC,CAAC;YAC7K,IAAI,CAAC,CAAC,QAAQ,KAAK,mCAAmC,IAAI,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC;gBAAE,UAAU,GAAG,kBAAkB,CAAC;YACtH,IAAI,CAAC,UAAU;gBAAE,SAAS;YAC1B,MAAM,IAAI,GAAW,EAAE,IAAI,EAAE,mBAAmB,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,CAAC;YAC7G,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,qBAAqB,UAAU,wBAAwB,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,OAAO,UAAU,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1O,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC"}

package/dist/lint/rules/entity.d.ts

@@ -0,0 +1,12 @@
+/** Entity rules IDSL-ENT-001 … 005. */
+import type { FacetFieldName } from '../../document/fields.js';
+import type { Uuid } from '../../uuid.js';
+import { type OpBody } from '../fix.js';
+import type { SpecRule } from '../types.js';
+export declare function setValues(facetId: Uuid, field: FacetFieldName, values: readonly string[]): OpBody;
+export declare const ENT_001: SpecRule;
+export declare const ENT_002: SpecRule;
+export declare const ENT_003: SpecRule;
+export declare const ENT_004: SpecRule;
+export declare const ENT_005: SpecRule;
+//# sourceMappingURL=entity.d.ts.map

package/dist/lint/rules/entity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/entity.ts"],"names":[],"mappings":"AAIA,uCAAuC;AAEvC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE/D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAC1C,OAAO,EAAY,KAAK,MAAM,EAAE,MAAM,WAAW,CAAC;AAClD,OAAO,KAAK,EAAW,QAAQ,EAAE,MAAM,aAAa,CAAC;AAcrD,wBAAgB,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAGjG;AAKD,eAAO,MAAM,OAAO,EAAE,QA0CrB,CAAC;AAKF,eAAO,MAAM,OAAO,EAAE,QAqCrB,CAAC;AAEF,eAAO,MAAM,OAAO,EAAE,QAoCrB,CAAC;AAIF,eAAO,MAAM,OAAO,EAAE,QAiCrB,CAAC;AAkBF,eAAO,MAAM,OAAO,EAAE,QAwBrB,CAAC"}

package/dist/lint/rules/entity.js

@@ -0,0 +1,215 @@
+/* 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 { quickFix } from '../fix.js';
+import { at } from '../walk.js';
+import { canonicalEntity, concreteDescendants, entityNameSites, gated, isSubtypeOf, listSome, literals, replaceLiteral, tables, } from './util.js';
+export function setValues(facetId, field, values) {
+    const value = values.length === 1 ? { kind: 'equals', value: values[0] } : { kind: 'oneOf', values: [...values] };
+    return { kind: 'value.set', payload: { facetId, field, value } };
+}
+/** Above this many subtypes the expansion is not offered as a fix. */
+const MAX_EXPANSION = 120;
+export const ENT_001 = {
+    code: 'IDSL-ENT-001',
+    area: 'ENT',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'error',
+    title: 'Abstract entity in an entity facet',
+    rationale: 'IDS 1.0 entity facets match the exact class, never its subtypes. An abstract class such as IfcBuildingElement is never instantiated, so a facet naming it matches no element at all: an applicability selects nothing and a requirement always fails.',
+    fix: 'Replace the abstract class by an enumeration of its concrete subtypes (those concrete in every IFC version of the specification).',
+    assumptions: [
+        {
+            id: 'A-03',
+            verified: 'buildingSMART corpus case entity/invalid-subclasses_are_not_considered_as_matching (IFCWALL does not match an IFCWALLSTANDARDCASE instance) and the exact-match entity checker in @ifc-lite/ids (checkEntityFacet), which cites the IDS user manual: "There is no automatic inheritance in IDS entity facet interpretation".',
+        },
+    ],
+    references: ['https://github.com/buildingSMART/IDS/blob/development/Documentation/UserManual/entity-facet.md'],
+    example: '<entity><name><simpleValue>IFCBUILDINGELEMENT</simpleValue></name></entity>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const site of entityNameSites(spec)) {
+            for (const name of literals(site.constraint)) {
+                const abstractIn = spec.versions.filter((v) => tables(ctx, v).entities.get(name.toUpperCase())?.abstract);
+                if (!abstractIn.length)
+                    continue;
+                const subtypes = concreteDescendants(ctx, spec.versions, name);
+                const canonical = canonicalEntity(ctx, spec.versions, name) ?? name;
+                const fix = subtypes.length && subtypes.length <= MAX_EXPANSION
+                    ? quickFix(`Expand to ${subtypes.length} concrete subtypes`, this.code, site.view.facetId, `${site.field}|${name}`, [
+                        setValues(site.view.facetId, site.field, replaceLiteral(site.constraint, name, subtypes)),
+                    ])
+                    : undefined;
+                out.push({
+                    ...at(site.view, site.field),
+                    message: `${canonical} is abstract (${abstractIn.join(', ')}) and matches no element; IDS does not match subtypes${subtypes.length ? ` such as ${listSome(subtypes, 3)}` : ''}`,
+                    fixes: gated(doc, ctx, [fix]),
+                });
+            }
+        }
+        return out;
+    },
+};
+/** Removed in IFC4X3 with a direct replacement: the parent class. */
+const REPLACED_SUFFIX = /(StandardCase|ElementedCase)$/;
+export const ENT_002 = {
+    code: 'IDSL-ENT-002',
+    area: 'ENT',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'info',
+    title: 'Entity removed in IFC4X3',
+    rationale: 'The entity exists in the IFC versions this specification targets but was removed in IFC4X3 (for example IfcWallElementedCase or IfcBeamStandardCase, whose instances are plain IfcWall / IfcBeam in IFC4X3). Requirements written against it will not carry over when the specification is retargeted.',
+    fix: 'Also match the IFC4X3 replacement (the parent class), keeping the original name so older models still match.',
+    example: '<specification ifcVersion="IFC4"> … <entity><name><simpleValue>IFCBEAMSTANDARDCASE</simpleValue></name></entity>',
+    check(spec, { ctx, doc }) {
+        if (spec.versions.some((v) => v.startsWith('IFC4X3')))
+            return [];
+        const ifc4x3 = tables(ctx, 'IFC4X3');
+        const out = [];
+        for (const site of entityNameSites(spec)) {
+            for (const name of literals(site.constraint)) {
+                const canonical = canonicalEntity(ctx, spec.versions, name);
+                if (!canonical || ifc4x3.entities.has(name.toUpperCase()))
+                    continue;
+                const info = tables(ctx, spec.versions[0]).entities.get(name.toUpperCase());
+                const parent = REPLACED_SUFFIX.test(canonical) && info?.parent && ifc4x3.entities.has(info.parent.toUpperCase()) ? info.parent : undefined;
+                const fix = parent
+                    ? quickFix(`Also match ${parent}`, this.code, site.view.facetId, `${site.field}|${name}`, [
+                        setValues(site.view.facetId, site.field, replaceLiteral(site.constraint, name, [name, parent])),
+                    ])
+                    : undefined;
+                const already = parent && literals(site.constraint).some((v) => v.toUpperCase() === parent.toUpperCase());
+                if (already)
+                    continue;
+                out.push({
+                    ...at(site.view, site.field),
+                    message: `${canonical} does not exist in IFC4X3${parent ? `; IFC4X3 models use ${parent}` : ''}`,
+                    fixes: gated(doc, ctx, [fix]),
+                });
+            }
+        }
+        return out;
+    },
+};
+export const ENT_003 = {
+    code: 'IDSL-ENT-003',
+    area: 'ENT',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'info',
+    // Owner decision (#7144): fires on every IfcWall/IfcSlab in an IFC4 spec.
+    optIn: true,
+    title: 'Entity has subtypes the author may also mean',
+    rationale: 'An applicability entity matches only that exact class. Concrete subtypes (IfcWallStandardCase and IfcWallElementedCase for IfcWall in IFC4, IfcSlabStandardCase for IfcSlab, …) are not selected unless listed. This is often intended, but frequently it is not.',
+    fix: 'Add the concrete subtypes to the entity enumeration.',
+    example: '<applicability><entity><name><simpleValue>IFCWALL</simpleValue></name></entity></applicability> (IFC4)',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const view of spec.applicability) {
+            if (view.facet.type !== 'entity')
+                continue;
+            const listed = literals(view.facet.name);
+            const listedUpper = new Set(listed.map((n) => n.toUpperCase()));
+            for (const name of listed) {
+                if (spec.versions.some((v) => tables(ctx, v).entities.get(name.toUpperCase())?.abstract !== false))
+                    continue;
+                const missing = concreteDescendants(ctx, spec.versions, name).filter((s) => !listedUpper.has(s.toUpperCase()));
+                if (!missing.length)
+                    continue;
+                const canonical = canonicalEntity(ctx, spec.versions, name) ?? name;
+                const fix = quickFix(`Add ${listSome(missing, 3)}`, this.code, view.facetId, name, [
+                    setValues(view.facetId, 'entity.name', replaceLiteral(view.facet.name, name, [name, ...missing])),
+                ]);
+                out.push({
+                    ...at(view, 'entity.name'),
+                    message: `${canonical} does not select its subtypes ${listSome(missing)}`,
+                    fixes: gated(doc, ctx, [fix]),
+                });
+            }
+        }
+        return out;
+    },
+};
+const NOT_FOR_TYPES = new Set(['IfcRelContainedInSpatialStructure', 'IfcRelVoidsElement', 'IfcRelFillsElement']);
+export const ENT_004 = {
+    code: 'IDSL-ENT-004',
+    area: 'ENT',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Type entity where an occurrence is meant',
+    rationale: 'The applicability selects a type object (an IfcTypeObject subtype such as IfcDoorType) but the specification also uses a spatial containment, voiding or filling relation. Type objects are never contained in a storey, voided or filled; only occurrences are. Note that occurrences inherit the properties of their type, so checking the occurrence also covers type-level properties.',
+    fix: 'Switch the applicability to the occurrence class.',
+    example: '<entity><name><simpleValue>IFCDOORTYPE</simpleValue></name></entity> + <partOf relation="IFCRELCONTAINEDINSPATIALSTRUCTURE">',
+    check(spec, { ctx, doc }) {
+        const relation = [...spec.applicability, ...spec.requirements].find((f) => f.facet.type === 'partOf' && NOT_FOR_TYPES.has(f.facet.relation));
+        if (!relation || relation.facet.type !== 'partOf')
+            return [];
+        const out = [];
+        for (const view of spec.applicability) {
+            if (view.facet.type !== 'entity')
+                continue;
+            for (const name of literals(view.facet.name)) {
+                if (!spec.versions.every((v) => isSubtypeOf(tables(ctx, v), name, 'IfcTypeObject')))
+                    continue;
+                const occurrence = occurrenceOf(spec.versions.map((v) => tables(ctx, v)), name);
+                const canonical = canonicalEntity(ctx, spec.versions, name) ?? name;
+                const fix = occurrence
+                    ? quickFix(`Use ${occurrence}`, this.code, view.facetId, name, [setValues(view.facetId, 'entity.name', replaceLiteral(view.facet.name, name, [occurrence]))])
+                    : undefined;
+                out.push({
+                    ...at(view, 'entity.name'),
+                    message: `${canonical} is a type object and cannot take part in ${relation.facet.relation}${occurrence ? `; did you mean ${occurrence}?` : ''}`,
+                    fixes: gated(doc, ctx, [fix]),
+                });
+            }
+        }
+        return out;
+    },
+};
+/** The occurrence class whose companion type is `typeName`, in every version. */
+function occurrenceOf(all, typeName) {
+    const upper = typeName.toUpperCase();
+    let found;
+    for (const t of all) {
+        let hit;
+        for (const e of t.entities.values()) {
+            if (e.typeEntity?.toUpperCase() === upper)
+                hit = e.name;
+        }
+        if (!hit && upper.endsWith('TYPE') && t.entities.has(upper.slice(0, -4)))
+            hit = t.entities.get(upper.slice(0, -4))?.name;
+        if (!hit || (found && found !== hit))
+            return undefined;
+        found = hit;
+    }
+    return found;
+}
+export const ENT_005 = {
+    code: 'IDSL-ENT-005',
+    area: 'ENT',
+    scope: 'spec',
+    kind: 'static',
+    defaultSeverity: 'warning',
+    title: 'Entity name not in upper case',
+    rationale: 'IDS 1.0 writes entity names in upper case (IFCWALL). Some checkers compare names case-insensitively and others reject mixed case (the buildingSMART corpus case entity/invalid-entities_must_be_specified_as_uppercase_strings), so a mixed-case name behaves differently across tools.',
+    fix: 'Rewrite the name in upper case.',
+    example: '<entity><name><simpleValue>IfcWall</simpleValue></name></entity>',
+    check(spec, { ctx, doc }) {
+        const out = [];
+        for (const site of entityNameSites(spec)) {
+            const values = literals(site.constraint);
+            const lower = values.filter((v) => v !== v.toUpperCase());
+            if (!lower.length)
+                continue;
+            const fix = quickFix('Use upper case', this.code, site.view.facetId, site.field, [
+                setValues(site.view.facetId, site.field, values.map((v) => v.toUpperCase())),
+            ]);
+            out.push({ ...at(site.view, site.field), message: `entity name ${lower.map((v) => `"${v}"`).join(', ')} is not upper case`, fixes: gated(doc, ctx, [fix]) });
+        }
+        return out;
+    },
+};
+//# sourceMappingURL=entity.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"entity.js","sourceRoot":"","sources":["../../../src/lint/rules/entity.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAO/D,OAAO,EAAE,QAAQ,EAAe,MAAM,WAAW,CAAC;AAElD,OAAO,EAAE,EAAE,EAAE,MAAM,YAAY,CAAC;AAChC,OAAO,EACL,eAAe,EACf,mBAAmB,EACnB,eAAe,EACf,KAAK,EACL,WAAW,EACX,QAAQ,EACR,QAAQ,EACR,cAAc,EACd,MAAM,GACP,MAAM,WAAW,CAAC;AAEnB,MAAM,UAAU,SAAS,CAAC,OAAa,EAAE,KAAqB,EAAE,MAAyB;IACvF,MAAM,KAAK,GAAe,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC;IAC9H,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;AACnE,CAAC;AAED,sEAAsE;AACtE,MAAM,aAAa,GAAG,GAAG,CAAC;AAE1B,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,oCAAoC;IAC3C,SAAS,EACP,uPAAuP;IACzP,GAAG,EAAE,mIAAmI;IACxI,WAAW,EAAE;QACX;YACE,EAAE,EAAE,MAAM;YACV,QAAQ,EACN,8TAA8T;SACjU;KACF;IACD,UAAU,EAAE,CAAC,gGAAgG,CAAC;IAC9G,OAAO,EAAE,6EAA6E;IACtF,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;gBAC1G,IAAI,CAAC,UAAU,CAAC,MAAM;oBAAE,SAAS;gBACjC,MAAM,QAAQ,GAAG,mBAAmB,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;gBAC/D,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC;gBACpE,MAAM,GAAG,GACP,QAAQ,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,IAAI,aAAa;oBACjD,CAAC,CAAC,QAAQ,CAAC,aAAa,QAAQ,CAAC,MAAM,oBAAoB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,EAAE,EAAE;wBAChH,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;qBAC1F,CAAC;oBACJ,CAAC,CAAC,SAAS,CAAC;gBAChB,GAAG,CAAC,IAAI,CAAC;oBACP,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;oBAC5B,OAAO,EAAE,GAAG,SAAS,iBAAiB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,wDAAwD,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC/K,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;iBAC9B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,qEAAqE;AACrE,MAAM,eAAe,GAAG,+BAA+B,CAAC;AAExD,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,0BAA0B;IACjC,SAAS,EACP,wSAAwS;IAC1S,GAAG,EAAE,8GAA8G;IACnH,OAAO,EAAE,kHAAkH;IAC3H,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAAE,OAAO,EAAE,CAAC;QACjE,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACrC,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC7C,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;gBAC5D,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;oBAAE,SAAS;gBACpE,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;gBAC5E,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,EAAE,MAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC3I,MAAM,GAAG,GAAG,MAAM;oBAChB,CAAC,CAAC,QAAQ,CAAC,cAAc,MAAM,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,EAAE,EAAE;wBACtF,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,cAAc,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;qBAChG,CAAC;oBACJ,CAAC,CAAC,SAAS,CAAC;gBACd,MAAM,OAAO,GAAG,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;gBAC1G,IAAI,OAAO;oBAAE,SAAS;gBACtB,GAAG,CAAC,IAAI,CAAC;oBACP,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;oBAC5B,OAAO,EAAE,GAAG,SAAS,4BAA4B,MAAM,CAAC,CAAC,CAAC,uBAAuB,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;oBAChG,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;iBAC9B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,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,MAAM;IACvB,0EAA0E;IAC1E,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,8CAA8C;IACrD,SAAS,EACP,mQAAmQ;IACrQ,GAAG,EAAE,sDAAsD;IAC3D,OAAO,EAAE,wGAAwG;IACjH,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;YAChE,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;gBAC1B,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,EAAE,QAAQ,KAAK,KAAK,CAAC;oBAAE,SAAS;gBAC7G,MAAM,OAAO,GAAG,mBAAmB,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;gBAC/G,IAAI,CAAC,OAAO,CAAC,MAAM;oBAAE,SAAS;gBAC9B,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC;gBACpE,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE;oBACjF,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;iBAClG,CAAC,CAAC;gBACH,GAAG,CAAC,IAAI,CAAC;oBACP,GAAG,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC;oBAC1B,OAAO,EAAE,GAAG,SAAS,iCAAiC,QAAQ,CAAC,OAAO,CAAC,EAAE;oBACzE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;iBAC9B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,mCAAmC,EAAE,oBAAoB,EAAE,oBAAoB,CAAC,CAAC,CAAC;AAEjH,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,0CAA0C;IACjD,SAAS,EACP,4XAA4X;IAC9X,GAAG,EAAE,mDAAmD;IACxD,OAAO,EAAE,8HAA8H;IACvI,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,aAAa,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC7I,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YAC3C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC7C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;oBAAE,SAAS;gBAC9F,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;gBAChF,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC;gBACpE,MAAM,GAAG,GAAG,UAAU;oBACpB,CAAC,CAAC,QAAQ,CAAC,OAAO,UAAU,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,aAAa,EAAE,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC7J,CAAC,CAAC,SAAS,CAAC;gBACd,GAAG,CAAC,IAAI,CAAC;oBACP,GAAG,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC;oBAC1B,OAAO,EAAE,GAAG,SAAS,6CAA6C,QAAQ,CAAC,KAAK,CAAC,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,kBAAkB,UAAU,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAC/I,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC;iBAC9B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC;AAEF,iFAAiF;AACjF,SAAS,YAAY,CAAC,GAAgC,EAAE,QAAgB;IACtE,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC;IACrC,IAAI,KAAyB,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,IAAI,GAAuB,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,KAAK,KAAK;gBAAE,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC;QAC1D,CAAC;QACD,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAAE,GAAG,GAAG,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;QACzH,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,IAAI,KAAK,KAAK,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QACvD,KAAK,GAAG,GAAG,CAAC;IACd,CAAC;IACD,OAAO,KAAK,CAAC;AACf,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,+BAA+B;IACtC,SAAS,EACP,yRAAyR;IAC3R,GAAG,EAAE,iCAAiC;IACtC,OAAO,EAAE,kEAAkE;IAC3E,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAc,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YAC1D,IAAI,CAAC,KAAK,CAAC,MAAM;gBAAE,SAAS;YAC5B,MAAM,GAAG,GAAG,QAAQ,CAAC,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE;gBAC/E,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;aAC7E,CAAC,CAAC;YACH,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,eAAe,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/J,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;CACF,CAAC"}

package/dist/lint/rules/index.d.ts

@@ -0,0 +1,4 @@
+/** The static lint catalogue, in documentation order. */
+import type { LintRule } from '../types.js';
+export declare const LINT_RULES: readonly LintRule[];
+//# sourceMappingURL=index.d.ts.map

package/dist/lint/rules/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/lint/rules/index.ts"],"names":[],"mappings":"AAIA,yDAAyD;AAEzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAa5C,eAAO,MAAM,UAAU,EAAE,SAAS,QAAQ,EA+CzC,CAAC"}