@blockml/framework 0.9.0 → 0.9.2

package/dist/validate/reference-kinds.d.ts

@@ -0,0 +1,50 @@
+import type { TypeExpression } from "@blockml/bom";
+import type { TypeRegistry } from "../registry/type-registry.js";
+export declare const TYPE_REFERENCE = "org.blockml.bml.type.TypeReference";
+export declare const TYPE_REFERENCE_ENTITY = "org.blockml.bml.type.TypeReferenceEntity";
+export declare const PACKAGE_REFERENCE = "org.blockml.bml.type.PackageReference";
+export declare const PACKAGE_REFERENCE_ENTITY = "org.blockml.bml.type.PackageReferenceEntity";
+export declare const INSTANCE_REFERENCE = "org.blockml.bml.type.InstanceReference";
+export declare const INSTANCE_REFERENCE_ENTITY = "org.blockml.bml.type.InstanceReferenceEntity";
+export declare const PROPERTY_REFERENCE = "org.blockml.bml.type.PropertyReference";
+export declare const PROPERTY_REFERENCE_ENTITY = "org.blockml.bml.type.PropertyReferenceEntity";
+export declare const AGGREGATION_REFERENCE = "org.blockml.bml.type.AggregationReference";
+export declare const AGGREGATION_REFERENCE_ENTITY = "org.blockml.bml.type.AggregationReferenceEntity";
+export declare const ASSOCIATION_REFERENCE = "org.blockml.bml.type.AssociationReference";
+export declare const ASSOCIATION_REFERENCE_ENTITY = "org.blockml.bml.type.AssociationReferenceEntity";
+export declare const CAPABILITY_REFERENCE = "org.blockml.bml.type.CapabilityReference";
+export declare const CAPABILITY_REFERENCE_ENTITY = "org.blockml.bml.type.CapabilityReferenceEntity";
+export declare const TYPE_IDENTIFIER = "org.blockml.bml.type.TypeIdentifier";
+export declare const TYPE_IDENTIFIER_ENTITY = "org.blockml.bml.type.TypeIdentifierEntity";
+export declare const PACKAGE_IDENTIFIER = "org.blockml.bml.type.PackageIdentifier";
+export declare const PACKAGE_IDENTIFIER_ENTITY = "org.blockml.bml.type.PackageIdentifierEntity";
+export declare const INSTANCE_IDENTIFIER = "org.blockml.bml.type.InstanceIdentifier";
+export declare const INSTANCE_IDENTIFIER_ENTITY = "org.blockml.bml.type.InstanceIdentifierEntity";
+export declare const MEMBER_IDENTIFIER = "org.blockml.bml.type.MemberIdentifier";
+export declare const MEMBER_IDENTIFIER_ENTITY = "org.blockml.bml.type.MemberIdentifierEntity";
+export declare const PROPERTY_IDENTIFIER = "org.blockml.bml.type.PropertyIdentifier";
+export declare const PROPERTY_IDENTIFIER_ENTITY = "org.blockml.bml.type.PropertyIdentifierEntity";
+export declare const AGGREGATION_IDENTIFIER = "org.blockml.bml.type.AggregationIdentifier";
+export declare const AGGREGATION_IDENTIFIER_ENTITY = "org.blockml.bml.type.AggregationIdentifierEntity";
+export declare const ASSOCIATION_IDENTIFIER = "org.blockml.bml.type.AssociationIdentifier";
+export declare const ASSOCIATION_IDENTIFIER_ENTITY = "org.blockml.bml.type.AssociationIdentifierEntity";
+export declare const CAPABILITY_IDENTIFIER = "org.blockml.bml.type.CapabilityIdentifier";
+export declare const CAPABILITY_IDENTIFIER_ENTITY = "org.blockml.bml.type.CapabilityIdentifierEntity";
+export type ReferenceKind = "type" | "package" | "instance" | "property" | "aggregation" | "association" | "capability";
+export type ClassifiedDeclaredType = {
+    role: "reference";
+    kind: ReferenceKind;
+    isEntity: boolean;
+    boundFqn?: string;
+} | {
+    role: "identifier";
+};
+export declare function unwrapNamed(expr: TypeExpression | undefined): {
+    fqn: string;
+    typeArguments?: TypeExpression[];
+} | undefined;
+export declare function namedTypeFqn(expr: TypeExpression | undefined, fallback?: string): string | undefined;
+export declare function firstTypeArgumentFqn(expr: TypeExpression | undefined): string | undefined;
+export declare function classifyDeclaredFqn(fqn: string, registry: TypeRegistry, boundFqn?: string): ClassifiedDeclaredType | undefined;
+export declare function classifyDeclaredType(expr: TypeExpression | undefined, registry: TypeRegistry, fallbackFqn?: string): ClassifiedDeclaredType | undefined;
+//# sourceMappingURL=reference-kinds.d.ts.map

package/dist/validate/reference-kinds.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-kinds.d.ts","sourceRoot":"","sources":["../../src/validate/reference-kinds.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAGjE,eAAO,MAAM,cAAc,uCAAuC,CAAC;AACnE,eAAO,MAAM,qBAAqB,6CAA6C,CAAC;AAChF,eAAO,MAAM,iBAAiB,0CAA0C,CAAC;AACzE,eAAO,MAAM,wBAAwB,gDAAgD,CAAC;AACtF,eAAO,MAAM,kBAAkB,2CAA2C,CAAC;AAC3E,eAAO,MAAM,yBAAyB,iDAAiD,CAAC;AACxF,eAAO,MAAM,kBAAkB,2CAA2C,CAAC;AAC3E,eAAO,MAAM,yBAAyB,iDAAiD,CAAC;AACxF,eAAO,MAAM,qBAAqB,8CAA8C,CAAC;AACjF,eAAO,MAAM,4BAA4B,oDAAoD,CAAC;AAC9F,eAAO,MAAM,qBAAqB,8CAA8C,CAAC;AACjF,eAAO,MAAM,4BAA4B,oDAAoD,CAAC;AAC9F,eAAO,MAAM,oBAAoB,6CAA6C,CAAC;AAC/E,eAAO,MAAM,2BAA2B,mDAAmD,CAAC;AAE5F,eAAO,MAAM,eAAe,wCAAwC,CAAC;AACrE,eAAO,MAAM,sBAAsB,8CAA8C,CAAC;AAClF,eAAO,MAAM,kBAAkB,2CAA2C,CAAC;AAC3E,eAAO,MAAM,yBAAyB,iDAAiD,CAAC;AACxF,eAAO,MAAM,mBAAmB,4CAA4C,CAAC;AAC7E,eAAO,MAAM,0BAA0B,kDAAkD,CAAC;AAC1F,eAAO,MAAM,iBAAiB,0CAA0C,CAAC;AACzE,eAAO,MAAM,wBAAwB,gDAAgD,CAAC;AACtF,eAAO,MAAM,mBAAmB,4CAA4C,CAAC;AAC7E,eAAO,MAAM,0BAA0B,kDAAkD,CAAC;AAC1F,eAAO,MAAM,sBAAsB,+CAA+C,CAAC;AACnF,eAAO,MAAM,6BAA6B,qDAAqD,CAAC;AAChG,eAAO,MAAM,sBAAsB,+CAA+C,CAAC;AACnF,eAAO,MAAM,6BAA6B,qDAAqD,CAAC;AAChG,eAAO,MAAM,qBAAqB,8CAA8C,CAAC;AACjF,eAAO,MAAM,4BAA4B,oDAAoD,CAAC;AAE9F,MAAM,MAAM,aAAa,GACrB,MAAM,GACN,SAAS,GACT,UAAU,GACV,UAAU,GACV,aAAa,GACb,aAAa,GACb,YAAY,CAAC;AAEjB,MAAM,MAAM,sBAAsB,GAC9B;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GAChF;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC;AAqC3B,wBAAgB,WAAW,CAAC,IAAI,EAAE,cAAc,GAAG,SAAS,GAAG;IAC7D,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,CAAC,EAAE,cAAc,EAAE,CAAC;CAClC,GAAG,SAAS,CAcZ;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,cAAc,GAAG,SAAS,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAEpG;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,cAAc,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAIzF;AAED,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,YAAY,EACtB,QAAQ,CAAC,EAAE,MAAM,GAChB,sBAAsB,GAAG,SAAS,CAqBpC;AAED,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,cAAc,GAAG,SAAS,EAChC,QAAQ,EAAE,YAAY,EACtB,WAAW,CAAC,EAAE,MAAM,GACnB,sBAAsB,GAAG,SAAS,CAMpC"}

package/dist/validate/reference-kinds.js

@@ -0,0 +1,111 @@
+import { satisfiesTypeBound } from "../resolve/satisfies-type-bound.js";
+export const TYPE_REFERENCE = "org.blockml.bml.type.TypeReference";
+export const TYPE_REFERENCE_ENTITY = "org.blockml.bml.type.TypeReferenceEntity";
+export const PACKAGE_REFERENCE = "org.blockml.bml.type.PackageReference";
+export const PACKAGE_REFERENCE_ENTITY = "org.blockml.bml.type.PackageReferenceEntity";
+export const INSTANCE_REFERENCE = "org.blockml.bml.type.InstanceReference";
+export const INSTANCE_REFERENCE_ENTITY = "org.blockml.bml.type.InstanceReferenceEntity";
+export const PROPERTY_REFERENCE = "org.blockml.bml.type.PropertyReference";
+export const PROPERTY_REFERENCE_ENTITY = "org.blockml.bml.type.PropertyReferenceEntity";
+export const AGGREGATION_REFERENCE = "org.blockml.bml.type.AggregationReference";
+export const AGGREGATION_REFERENCE_ENTITY = "org.blockml.bml.type.AggregationReferenceEntity";
+export const ASSOCIATION_REFERENCE = "org.blockml.bml.type.AssociationReference";
+export const ASSOCIATION_REFERENCE_ENTITY = "org.blockml.bml.type.AssociationReferenceEntity";
+export const CAPABILITY_REFERENCE = "org.blockml.bml.type.CapabilityReference";
+export const CAPABILITY_REFERENCE_ENTITY = "org.blockml.bml.type.CapabilityReferenceEntity";
+export const TYPE_IDENTIFIER = "org.blockml.bml.type.TypeIdentifier";
+export const TYPE_IDENTIFIER_ENTITY = "org.blockml.bml.type.TypeIdentifierEntity";
+export const PACKAGE_IDENTIFIER = "org.blockml.bml.type.PackageIdentifier";
+export const PACKAGE_IDENTIFIER_ENTITY = "org.blockml.bml.type.PackageIdentifierEntity";
+export const INSTANCE_IDENTIFIER = "org.blockml.bml.type.InstanceIdentifier";
+export const INSTANCE_IDENTIFIER_ENTITY = "org.blockml.bml.type.InstanceIdentifierEntity";
+export const MEMBER_IDENTIFIER = "org.blockml.bml.type.MemberIdentifier";
+export const MEMBER_IDENTIFIER_ENTITY = "org.blockml.bml.type.MemberIdentifierEntity";
+export const PROPERTY_IDENTIFIER = "org.blockml.bml.type.PropertyIdentifier";
+export const PROPERTY_IDENTIFIER_ENTITY = "org.blockml.bml.type.PropertyIdentifierEntity";
+export const AGGREGATION_IDENTIFIER = "org.blockml.bml.type.AggregationIdentifier";
+export const AGGREGATION_IDENTIFIER_ENTITY = "org.blockml.bml.type.AggregationIdentifierEntity";
+export const ASSOCIATION_IDENTIFIER = "org.blockml.bml.type.AssociationIdentifier";
+export const ASSOCIATION_IDENTIFIER_ENTITY = "org.blockml.bml.type.AssociationIdentifierEntity";
+export const CAPABILITY_IDENTIFIER = "org.blockml.bml.type.CapabilityIdentifier";
+export const CAPABILITY_IDENTIFIER_ENTITY = "org.blockml.bml.type.CapabilityIdentifierEntity";
+const REFERENCE_PAIRS = [
+    { kind: "type", reference: TYPE_REFERENCE, entity: TYPE_REFERENCE_ENTITY },
+    { kind: "package", reference: PACKAGE_REFERENCE, entity: PACKAGE_REFERENCE_ENTITY },
+    { kind: "instance", reference: INSTANCE_REFERENCE, entity: INSTANCE_REFERENCE_ENTITY },
+    { kind: "property", reference: PROPERTY_REFERENCE, entity: PROPERTY_REFERENCE_ENTITY },
+    { kind: "aggregation", reference: AGGREGATION_REFERENCE, entity: AGGREGATION_REFERENCE_ENTITY },
+    { kind: "association", reference: ASSOCIATION_REFERENCE, entity: ASSOCIATION_REFERENCE_ENTITY },
+    { kind: "capability", reference: CAPABILITY_REFERENCE, entity: CAPABILITY_REFERENCE_ENTITY },
+];
+const IDENTIFIER_FQNS = [
+    TYPE_IDENTIFIER,
+    TYPE_IDENTIFIER_ENTITY,
+    PACKAGE_IDENTIFIER,
+    PACKAGE_IDENTIFIER_ENTITY,
+    INSTANCE_IDENTIFIER,
+    INSTANCE_IDENTIFIER_ENTITY,
+    MEMBER_IDENTIFIER,
+    MEMBER_IDENTIFIER_ENTITY,
+    PROPERTY_IDENTIFIER,
+    PROPERTY_IDENTIFIER_ENTITY,
+    AGGREGATION_IDENTIFIER,
+    AGGREGATION_IDENTIFIER_ENTITY,
+    ASSOCIATION_IDENTIFIER,
+    ASSOCIATION_IDENTIFIER_ENTITY,
+    CAPABILITY_IDENTIFIER,
+    CAPABILITY_IDENTIFIER_ENTITY,
+];
+export function unwrapNamed(expr) {
+    if (!expr) {
+        return undefined;
+    }
+    if (expr.kind === "named") {
+        return expr;
+    }
+    if (expr.kind === "grouped") {
+        return unwrapNamed(expr.expression);
+    }
+    if (expr.kind === "union") {
+        return unwrapNamed(expr.alternatives[0]);
+    }
+    return undefined;
+}
+export function namedTypeFqn(expr, fallback) {
+    return unwrapNamed(expr)?.fqn ?? fallback;
+}
+export function firstTypeArgumentFqn(expr) {
+    const named = unwrapNamed(expr);
+    const arg = named?.typeArguments?.[0];
+    return namedTypeFqn(arg);
+}
+export function classifyDeclaredFqn(fqn, registry, boundFqn) {
+    for (const pair of REFERENCE_PAIRS) {
+        const isEntity = satisfiesTypeBound(fqn, pair.entity, registry);
+        if (isEntity || satisfiesTypeBound(fqn, pair.reference, registry)) {
+            const classified = {
+                role: "reference",
+                kind: pair.kind,
+                isEntity,
+            };
+            if (boundFqn) {
+                classified.boundFqn = boundFqn;
+            }
+            return classified;
+        }
+    }
+    for (const ident of IDENTIFIER_FQNS) {
+        if (satisfiesTypeBound(fqn, ident, registry)) {
+            return { role: "identifier" };
+        }
+    }
+    return undefined;
+}
+export function classifyDeclaredType(expr, registry, fallbackFqn) {
+    const fqn = namedTypeFqn(expr, fallbackFqn);
+    if (!fqn) {
+        return undefined;
+    }
+    return classifyDeclaredFqn(fqn, registry, firstTypeArgumentFqn(expr));
+}
+//# sourceMappingURL=reference-kinds.js.map

package/dist/validate/reference-kinds.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reference-kinds.js","sourceRoot":"","sources":["../../src/validate/reference-kinds.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAExE,MAAM,CAAC,MAAM,cAAc,GAAG,oCAAoC,CAAC;AACnE,MAAM,CAAC,MAAM,qBAAqB,GAAG,0CAA0C,CAAC;AAChF,MAAM,CAAC,MAAM,iBAAiB,GAAG,uCAAuC,CAAC;AACzE,MAAM,CAAC,MAAM,wBAAwB,GAAG,6CAA6C,CAAC;AACtF,MAAM,CAAC,MAAM,kBAAkB,GAAG,wCAAwC,CAAC;AAC3E,MAAM,CAAC,MAAM,yBAAyB,GAAG,8CAA8C,CAAC;AACxF,MAAM,CAAC,MAAM,kBAAkB,GAAG,wCAAwC,CAAC;AAC3E,MAAM,CAAC,MAAM,yBAAyB,GAAG,8CAA8C,CAAC;AACxF,MAAM,CAAC,MAAM,qBAAqB,GAAG,2CAA2C,CAAC;AACjF,MAAM,CAAC,MAAM,4BAA4B,GAAG,iDAAiD,CAAC;AAC9F,MAAM,CAAC,MAAM,qBAAqB,GAAG,2CAA2C,CAAC;AACjF,MAAM,CAAC,MAAM,4BAA4B,GAAG,iDAAiD,CAAC;AAC9F,MAAM,CAAC,MAAM,oBAAoB,GAAG,0CAA0C,CAAC;AAC/E,MAAM,CAAC,MAAM,2BAA2B,GAAG,gDAAgD,CAAC;AAE5F,MAAM,CAAC,MAAM,eAAe,GAAG,qCAAqC,CAAC;AACrE,MAAM,CAAC,MAAM,sBAAsB,GAAG,2CAA2C,CAAC;AAClF,MAAM,CAAC,MAAM,kBAAkB,GAAG,wCAAwC,CAAC;AAC3E,MAAM,CAAC,MAAM,yBAAyB,GAAG,8CAA8C,CAAC;AACxF,MAAM,CAAC,MAAM,mBAAmB,GAAG,yCAAyC,CAAC;AAC7E,MAAM,CAAC,MAAM,0BAA0B,GAAG,+CAA+C,CAAC;AAC1F,MAAM,CAAC,MAAM,iBAAiB,GAAG,uCAAuC,CAAC;AACzE,MAAM,CAAC,MAAM,wBAAwB,GAAG,6CAA6C,CAAC;AACtF,MAAM,CAAC,MAAM,mBAAmB,GAAG,yCAAyC,CAAC;AAC7E,MAAM,CAAC,MAAM,0BAA0B,GAAG,+CAA+C,CAAC;AAC1F,MAAM,CAAC,MAAM,sBAAsB,GAAG,4CAA4C,CAAC;AACnF,MAAM,CAAC,MAAM,6BAA6B,GAAG,kDAAkD,CAAC;AAChG,MAAM,CAAC,MAAM,sBAAsB,GAAG,4CAA4C,CAAC;AACnF,MAAM,CAAC,MAAM,6BAA6B,GAAG,kDAAkD,CAAC;AAChG,MAAM,CAAC,MAAM,qBAAqB,GAAG,2CAA2C,CAAC;AACjF,MAAM,CAAC,MAAM,4BAA4B,GAAG,iDAAiD,CAAC;AAqB9F,MAAM,eAAe,GAAoB;IACvC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,EAAE,qBAAqB,EAAE;IAC1E,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,EAAE,wBAAwB,EAAE;IACnF,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,EAAE,yBAAyB,EAAE;IACtF,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,kBAAkB,EAAE,MAAM,EAAE,yBAAyB,EAAE;IACtF,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,qBAAqB,EAAE,MAAM,EAAE,4BAA4B,EAAE;IAC/F,EAAE,IAAI,EAAE,aAAa,EAAE,SAAS,EAAE,qBAAqB,EAAE,MAAM,EAAE,4BAA4B,EAAE;IAC/F,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,EAAE,oBAAoB,EAAE,MAAM,EAAE,2BAA2B,EAAE;CAC7F,CAAC;AAEF,MAAM,eAAe,GAAG;IACtB,eAAe;IACf,sBAAsB;IACtB,kBAAkB;IAClB,yBAAyB;IACzB,mBAAmB;IACnB,0BAA0B;IAC1B,iBAAiB;IACjB,wBAAwB;IACxB,mBAAmB;IACnB,0BAA0B;IAC1B,sBAAsB;IACtB,6BAA6B;IAC7B,sBAAsB;IACtB,6BAA6B;IAC7B,qBAAqB;IACrB,4BAA4B;CAC7B,CAAC;AAEF,MAAM,UAAU,WAAW,CAAC,IAAgC;IAI1D,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACtC,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,OAAO,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAgC,EAAE,QAAiB;IAC9E,OAAO,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAgC;IACnE,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,GAAW,EACX,QAAsB,EACtB,QAAiB;IAEjB,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChE,IAAI,QAAQ,IAAI,kBAAkB,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;YAClE,MAAM,UAAU,GAA2B;gBACzC,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,QAAQ;aACT,CAAC;YACF,IAAI,QAAQ,EAAE,CAAC;gBACb,UAAU,CAAC,QAAQ,GAAG,QAAQ,CAAC;YACjC,CAAC;YACD,OAAO,UAAU,CAAC;QACpB,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,eAAe,EAAE,CAAC;QACpC,IAAI,kBAAkB,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC7C,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,IAAgC,EAChC,QAAsB,EACtB,WAAoB;IAEpB,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;IAC5C,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,mBAAmB,CAAC,GAAG,EAAE,QAAQ,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;AACxE,CAAC"}

package/dist/validate/validate-generics.d.ts

@@ -0,0 +1,4 @@
+import type { BomDocument, Diagnostic } from "@blockml/bom";
+import type { TypeRegistry } from "../registry/type-registry.js";
+export declare function validateGenerics(document: BomDocument, registry: TypeRegistry): Diagnostic[];
+//# sourceMappingURL=validate-generics.d.ts.map

package/dist/validate/validate-generics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-generics.d.ts","sourceRoot":"","sources":["../../src/validate/validate-generics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,WAAW,EAGX,UAAU,EAKX,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAmQjE,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,WAAW,EACrB,QAAQ,EAAE,YAAY,GACrB,UAAU,EAAE,CAKd"}

package/dist/validate/validate-generics.js

@@ -0,0 +1,141 @@
+import { resolveEffectiveMembers } from "../resolve/resolve-effective-members.js";
+import { openGenericParameters, resolveGenericApplication, } from "../resolve/resolve-generic-application.js";
+const TYPE_REFERENCE_ENTITY = "org.blockml.bml.type.TypeReferenceEntity";
+function diag(code, message, file, loc) {
+    return {
+        severity: "error",
+        code,
+        message,
+        source: {
+            file: loc?.file ?? file,
+            line: loc?.line ?? 1,
+            column: loc?.column ?? 1,
+            ...(loc?.endLine !== undefined ? { endLine: loc.endLine } : {}),
+            ...(loc?.endColumn !== undefined ? { endColumn: loc.endColumn } : {}),
+        },
+    };
+}
+function reportNotAllowed(binding, file, diagnostics) {
+    diagnostics.push(diag("BML_GENERICS_DIRECTIVE_NOT_ALLOWED", "bml:generics is only allowed on Block instances", file, binding.source));
+}
+function isTypeReferenceEntityType(expr) {
+    if (!expr) {
+        return false;
+    }
+    if (expr.kind === "grouped") {
+        return isTypeReferenceEntityType(expr.expression);
+    }
+    return expr.kind === "named" && expr.fqn === TYPE_REFERENCE_ENTITY;
+}
+function aggregationIsTypeReferenceEntity(owner, aggregationName, registry) {
+    if (!owner) {
+        return false;
+    }
+    const member = resolveEffectiveMembers(owner, registry).find((m) => m.kind === "aggregation" && m.name === aggregationName);
+    return member?.kind === "aggregation" && isTypeReferenceEntityType(member.type);
+}
+function validateInstanceGenerics(instance, registry, file, diagnostics) {
+    const typeDoc = registry.get(instance.typeFqn);
+    const params = typeDoc?.block.genericTypes ?? [];
+    const typeBindings = typeDoc?.source.namespaceBindings ?? {};
+    const open = openGenericParameters(params, typeBindings);
+    const binding = instance.generics;
+    if (!binding) {
+        if (open.length > 0) {
+            diagnostics.push(diag("BML_OPEN_GENERIC_INSTANCE", `Instance of ${instance.typeFqn} has open genericTypes and requires bml:generics`, file, instance.source));
+        }
+        return;
+    }
+    if (params.length === 0) {
+        diagnostics.push(diag("BML_GENERICS_ARGUMENT_MISMATCH", `bml:generics is not applicable; ${instance.typeFqn} has no genericTypes`, file, binding.source));
+        return;
+    }
+    if (binding.arguments === undefined) {
+        const raw = binding.raw.trim();
+        if (raw.startsWith("(") && raw.endsWith(")")) {
+            return;
+        }
+        diagnostics.push(diag("BML_GENERICS_ARGUMENT_MISMATCH", "bml:generics must be a parenthesized TypeExpression list", file, binding.source));
+        return;
+    }
+    const resolved = resolveGenericApplication(params, binding.arguments, registry, typeBindings);
+    for (const item of resolved.diagnostics) {
+        diagnostics.push(diag(item.code, item.message, file, binding.source));
+    }
+}
+function walkCompositionNodes(nodes, registry, file, diagnostics, typeReferenceEntityAggregation) {
+    for (const node of nodes) {
+        if (node.kind === "virtualContainer") {
+            if (node.generics) {
+                reportNotAllowed(node.generics, file, diagnostics);
+            }
+            walkCompositionNodes(node.children, registry, file, diagnostics, typeReferenceEntityAggregation);
+            continue;
+        }
+        if (typeReferenceEntityAggregation) {
+            if (node.instance.generics) {
+                reportNotAllowed(node.instance.generics, file, diagnostics);
+            }
+            for (const agg of node.instance.aggregationCompositions ?? []) {
+                walkCompositionTemplate(agg.composition, registry, file, diagnostics, true, true);
+            }
+            continue;
+        }
+        validateInstanceGenerics(node.instance, registry, file, diagnostics);
+        const instanceType = registry.get(node.instance.typeFqn)?.block;
+        for (const agg of node.instance.aggregationCompositions ?? []) {
+            walkCompositionTemplate(agg.composition, registry, file, diagnostics, true, aggregationIsTypeReferenceEntity(instanceType, agg.aggregationName, registry));
+        }
+    }
+}
+function walkCompositionTemplate(template, registry, file, diagnostics, wrapperIsIllegalHost, typeReferenceEntityAggregation) {
+    if (wrapperIsIllegalHost && template.generics) {
+        reportNotAllowed(template.generics, file, diagnostics);
+    }
+    walkCompositionNodes(template.children, registry, file, diagnostics, typeReferenceEntityAggregation);
+}
+function walkConstraintInstance(instance, file, diagnostics) {
+    if (instance.generics) {
+        reportNotAllowed(instance.generics, file, diagnostics);
+    }
+}
+function walkMember(member, file, diagnostics) {
+    if (member.generics) {
+        reportNotAllowed(member.generics, file, diagnostics);
+    }
+    for (const instance of member.constraints ?? []) {
+        walkConstraintInstance(instance, file, diagnostics);
+    }
+    if (member.kind === "property") {
+        for (const instance of member.suggestions ?? []) {
+            walkConstraintInstance(instance, file, diagnostics);
+        }
+    }
+}
+function walkBlock(block, registry, file, diagnostics) {
+    if (block.generics) {
+        reportNotAllowed(block.generics, file, diagnostics);
+    }
+    for (const member of block.members) {
+        walkMember(member, file, diagnostics);
+    }
+    for (const template of block.compositions) {
+        walkCompositionTemplate(template, registry, file, diagnostics, true, aggregationIsTypeReferenceEntity(block, template.aggregationName, registry));
+    }
+    for (const instance of block.constraints ?? []) {
+        walkConstraintInstance(instance, file, diagnostics);
+    }
+    for (const sub of block.subBlocks) {
+        walkBlock(sub, registry, file, diagnostics);
+    }
+    for (const embedded of block.embeddedBlocks) {
+        walkBlock(embedded, registry, file, diagnostics);
+    }
+}
+export function validateGenerics(document, registry) {
+    const diagnostics = [];
+    const file = document.source.filePath ?? "<memory>";
+    walkBlock(document.block, registry, file, diagnostics);
+    return diagnostics;
+}
+//# sourceMappingURL=validate-generics.js.map

package/dist/validate/validate-generics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-generics.js","sourceRoot":"","sources":["../../src/validate/validate-generics.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EACL,qBAAqB,EACrB,yBAAyB,GAC1B,MAAM,2CAA2C,CAAC;AAEnD,MAAM,qBAAqB,GAAG,0CAA0C,CAAC;AAEzE,SAAS,IAAI,CACX,IAAY,EACZ,OAAe,EACf,IAAY,EACZ,GAAoB;IAEpB,OAAO;QACL,QAAQ,EAAE,OAAO;QACjB,IAAI;QACJ,OAAO;QACP,MAAM,EAAE;YACN,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,IAAI;YACvB,IAAI,EAAE,GAAG,EAAE,IAAI,IAAI,CAAC;YACpB,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,CAAC;YACxB,GAAG,CAAC,GAAG,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/D,GAAG,CAAC,GAAG,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACtE;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,OAAwB,EACxB,IAAY,EACZ,WAAyB;IAEzB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,oCAAoC,EACpC,iDAAiD,EACjD,IAAI,EACJ,OAAO,CAAC,MAAM,CACf,CACF,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAAC,IAAqB;IACtD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,yBAAyB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpD,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,GAAG,KAAK,qBAAqB,CAAC;AACrE,CAAC;AAED,SAAS,gCAAgC,CACvC,KAAkC,EAClC,eAAuB,EACvB,QAAsB;IAEtB,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,MAAM,GAAG,uBAAuB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,IAAI,CAC1D,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,CAC9D,CAAC;IACF,OAAO,MAAM,EAAE,IAAI,KAAK,aAAa,IAAI,yBAAyB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAClF,CAAC;AAED,SAAS,wBAAwB,CAC/B,QAAuB,EACvB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,OAAO,EAAE,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC;IACjD,MAAM,YAAY,GAAG,OAAO,EAAE,MAAM,CAAC,iBAAiB,IAAI,EAAE,CAAC;IAC7D,MAAM,IAAI,GAAG,qBAAqB,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC;IAElC,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,2BAA2B,EAC3B,eAAe,QAAQ,CAAC,OAAO,kDAAkD,EACjF,IAAI,EACJ,QAAQ,CAAC,MAAM,CAChB,CACF,CAAC;QACJ,CAAC;QACD,OAAO;IACT,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gCAAgC,EAChC,mCAAmC,QAAQ,CAAC,OAAO,sBAAsB,EACzE,IAAI,EACJ,OAAO,CAAC,MAAM,CACf,CACF,CAAC;QACF,OAAO;IACT,CAAC;IAED,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,OAAO;QACT,CAAC;QACD,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gCAAgC,EAChC,0DAA0D,EAC1D,IAAI,EACJ,OAAO,CAAC,MAAM,CACf,CACF,CAAC;QACF,OAAO;IACT,CAAC;IAED,MAAM,QAAQ,GAAG,yBAAyB,CACxC,MAAM,EACN,OAAO,CAAC,SAAS,EACjB,QAAQ,EACR,YAAY,CACb,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;QACxC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IACxE,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,KAAwB,EACxB,QAAsB,EACtB,IAAY,EACZ,WAAyB,EACzB,8BAAuC;IAEvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClB,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACrD,CAAC;YACD,oBAAoB,CAClB,IAAI,CAAC,QAAQ,EACb,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,8BAA8B,CAC/B,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,8BAA8B,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBAC3B,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC9D,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;gBAC9D,uBAAuB,CAAC,GAAG,CAAC,WAAW,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YACpF,CAAC;YACD,SAAS;QACX,CAAC;QACD,wBAAwB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACrE,MAAM,YAAY,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC;QAChE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;YAC9D,uBAAuB,CACrB,GAAG,CAAC,WAAW,EACf,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,IAAI,EACJ,gCAAgC,CAAC,YAAY,EAAE,GAAG,CAAC,eAAe,EAAE,QAAQ,CAAC,CAC9E,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,QAA6B,EAC7B,QAAsB,EACtB,IAAY,EACZ,WAAyB,EACzB,oBAA6B,EAC7B,8BAAuC;IAEvC,IAAI,oBAAoB,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QAC9C,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACzD,CAAC;IACD,oBAAoB,CAClB,QAAQ,CAAC,QAAQ,EACjB,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,8BAA8B,CAC/B,CAAC;AACJ,CAAC;AAED,SAAS,sBAAsB,CAC7B,QAAuB,EACvB,IAAY,EACZ,WAAyB;IAEzB,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACtB,gBAAgB,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,MAAwB,EACxB,IAAY,EACZ,WAAyB;IAEzB,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACvD,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAChD,sBAAsB,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC/B,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAChD,sBAAsB,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAChB,KAAsB,EACtB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnB,gBAAgB,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,UAAU,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACxC,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC1C,uBAAuB,CACrB,QAAQ,EACR,QAAQ,EACR,IAAI,EACJ,WAAW,EACX,IAAI,EACJ,gCAAgC,CAAC,KAAK,EAAE,QAAQ,CAAC,eAAe,EAAE,QAAQ,CAAC,CAC5E,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC/C,sBAAsB,CAAC,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACtD,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC9C,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QAC5C,SAAS,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,QAAqB,EACrB,QAAsB;IAEtB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC;IACpD,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACvD,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/validate/validate-instances.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate-instances.d.ts","sourceRoot":"","sources":["../../src/validate/validate-instances.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,WAAW,EAEX,UAAU,EAEX,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AA4PjE,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,WAAW,EACrB,QAAQ,EAAE,YAAY,GACrB,UAAU,EAAE,CAMd"}
+{"version":3,"file":"validate-instances.d.ts","sourceRoot":"","sources":["../../src/validate/validate-instances.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,WAAW,EAEX,UAAU,EACX,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AA8KjE,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,WAAW,EACrB,QAAQ,EAAE,YAAY,GACrB,UAAU,EAAE,CAMd"}

package/dist/validate/validate-instances.js

@@ -1,59 +1,8 @@
 import { resolveEffectiveMembers } from "../resolve/resolve-effective-members.js";
+import { collectDocumentInstanceIds, instanceId, resolveInstanceRef, } from "./instance-ids.js";
 function diag(code, message, file, line = 1, column = 1) {
     return { severity: "error", code, message, source: { file, line, column } };
 }
-function literalString(val) {
-    if (!val || val.kind !== "literal") {
-        return undefined;
-    }
-    return typeof val.value === "string" ? val.value : String(val.value);
-}
-function instanceId(instance) {
-    return literalString(instance.id);
-}
-function collectIdsInComposition(nodes, ids, file) {
-    for (const node of nodes) {
-        if (node.kind === "blockInstance") {
-            const id = instanceId(node.instance);
-            if (id) {
-                const loc = { file };
-                if (node.instance.source?.line !== undefined) {
-                    loc.line = node.instance.source.line;
-                }
-                if (node.instance.source?.column !== undefined) {
-                    loc.column = node.instance.source.column;
-                }
-                ids.set(id, loc);
-            }
-            for (const agg of node.instance.aggregationCompositions ?? []) {
-                collectIdsInComposition(agg.composition.children, ids, file);
-            }
-        }
-        else {
-            collectIdsInComposition(node.children, ids, file);
-        }
-    }
-}
-function collectDocumentInstanceIds(block, file) {
-    const ids = new Map();
-    for (const template of block.compositions) {
-        collectIdsInComposition(template.children, ids, file);
-    }
-    for (const sub of block.subBlocks) {
-        const subIds = collectDocumentInstanceIds(sub, file);
-        for (const [id, loc] of subIds) {
-            ids.set(id, loc);
-        }
-    }
-    return ids;
-}
-function resolveInstanceRef(token, ids) {
-    if (token.includes("::")) {
-        const id = token.split("::").pop();
-        return id !== undefined && ids.has(id);
-    }
-    return ids.has(token);
-}
 function validateInstanceSemantics(instance, registry, file, diagnostics) {
     if (!instance.typeFqn) {
         diagnostics.push(diag("BML_UNKNOWN_TYPE", "Unknown type: (missing instance typeFqn)", file, instance.source?.line, instance.source?.column));
@@ -76,15 +25,6 @@ function validateInstanceRefs(instance, ids, file, diagnostics) {
     if (instance.basePresets && !resolveInstanceRef(instance.basePresets, ids)) {
         diagnostics.push(diag("BML_UNRESOLVABLE_INSTANCE_REF", `Unresolved basePresets reference: ${instance.basePresets}`, file, instance.source?.line, instance.source?.column));
     }
-    for (const val of Object.values(instance.memberValues)) {
-        if (val.kind !== "literal") {
-            continue;
-        }
-        const text = typeof val.value === "string" ? val.value : undefined;
-        if (text && text.includes("::") && !resolveInstanceRef(text, ids)) {
-            diagnostics.push(diag("BML_UNRESOLVABLE_INSTANCE_REF", `Unresolved instance reference: ${text}`, file, instance.source?.line, instance.source?.column));
-        }
-    }
     for (const agg of instance.aggregationCompositions ?? []) {
         for (const child of agg.composition.children) {
             if (child.kind === "blockInstance") {

package/dist/validate/validate-instances.js.map

@@ -1 +1 @@
-{"version":3,"file":"validate-instances.js","sourceRoot":"","sources":["../../src/validate/validate-instances.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAElF,SAAS,IAAI,CACX,IAAY,EACZ,OAAe,EACf,IAAY,EACZ,IAAI,GAAG,CAAC,EACR,MAAM,GAAG,CAAC;IAEV,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,aAAa,CAAC,GAA4B;IACjD,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACvE,CAAC;AAED,SAAS,UAAU,CAAC,QAAuB;IACzC,OAAO,aAAa,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,uBAAuB,CAC9B,KAAwB,EACxB,GAAkE,EAClE,IAAY;IAEZ,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACrC,IAAI,EAAE,EAAE,CAAC;gBACP,MAAM,GAAG,GAAqD,EAAE,IAAI,EAAE,CAAC;gBACvE,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC7C,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;gBACvC,CAAC;gBACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;oBAC/C,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC3C,CAAC;gBACD,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACnB,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;gBAC9D,uBAAuB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,uBAAuB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,0BAA0B,CACjC,KAAsB,EACtB,IAAY;IAEZ,MAAM,GAAG,GAAG,IAAI,GAAG,EAA4D,CAAC;IAChF,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC1C,uBAAuB,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACxD,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,0BAA0B,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACrD,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,MAAM,EAAE,CAAC;YAC/B,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAa,EACb,GAAkE;IAElE,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;QACnC,OAAO,EAAE,KAAK,SAAS,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,yBAAyB,CAChC,QAAuB,EACvB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,kBAAkB,EAClB,0CAA0C,EAC1C,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;QACF,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,WAAW,CAAC,IAAI,CACd,IAAI,CACF,kBAAkB,EAClB,iBAAiB,QAAQ,CAAC,OAAO,EAAE,EACnC,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;QACF,OAAO;IACT,CAAC;IACD,MAAM,SAAS,GAAG,uBAAuB,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACpB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,sBAAsB,EACtB,qBAAqB,GAAG,OAAO,QAAQ,CAAC,OAAO,EAAE,EACjD,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAAuB,EACvB,GAAkE,EAClE,IAAY,EACZ,WAAyB;IAEzB,IAAI,QAAQ,CAAC,WAAW,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;QAC3E,WAAW,CAAC,IAAI,CACd,IAAI,CACF,+BAA+B,EAC/B,qCAAqC,QAAQ,CAAC,WAAW,EAAE,EAC3D,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACvD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QACnE,IAAI,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YAClE,WAAW,CAAC,IAAI,CACd,IAAI,CACF,+BAA+B,EAC/B,kCAAkC,IAAI,EAAE,EACxC,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;QACzD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACnC,oBAAoB,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAwB,EACxB,GAAkE,EAClE,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YAChE,IAAI,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1C,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gBAAgB,EAChB,yDAAyD,EACzD,IAAI,EACJ,IAAI,CAAC,MAAM,EAAE,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAC/C,IAAI,CAAC,MAAM,EAAE,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CACpD,CACF,CAAC;YACJ,CAAC;YACD,yBAAyB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACtE,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5D,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;gBAC9D,wBAAwB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACvF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YAChE,IAAI,OAAO,EAAE,CAAC;gBACZ,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gBAAgB,EAChB,4DAA4D,EAC5D,IAAI,EACJ,IAAI,CAAC,MAAM,EAAE,IAAI,EACjB,IAAI,CAAC,MAAM,EAAE,MAAM,CACpB,CACF,CAAC;YACJ,CAAC;YACD,wBAAwB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAsB,EACtB,QAAsB,EACtB,IAAY,EACZ,GAAkE,EAClE,WAAyB;IAEzB,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC1C,wBAAwB,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAChF,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC/C,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACjE,oBAAoB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACvD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;YACzD,wBAAwB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAChD,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACjE,oBAAoB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;gBAChD,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,kBAAkB,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IAC5D,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QAC5C,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IACjE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,QAAqB,EACrB,QAAsB;IAEtB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC;IACpD,MAAM,GAAG,GAAG,0BAA0B,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC7D,kBAAkB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IACrE,OAAO,WAAW,CAAC;AACrB,CAAC"}
+{"version":3,"file":"validate-instances.js","sourceRoot":"","sources":["../../src/validate/validate-instances.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAClF,OAAO,EACL,0BAA0B,EAC1B,UAAU,EACV,kBAAkB,GAEnB,MAAM,mBAAmB,CAAC;AAE3B,SAAS,IAAI,CACX,IAAY,EACZ,OAAe,EACf,IAAY,EACZ,IAAI,GAAG,CAAC,EACR,MAAM,GAAG,CAAC;IAEV,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC;AAC9E,CAAC;AAED,SAAS,yBAAyB,CAChC,QAAuB,EACvB,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,kBAAkB,EAClB,0CAA0C,EAC1C,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;QACF,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,WAAW,CAAC,IAAI,CACd,IAAI,CACF,kBAAkB,EAClB,iBAAiB,QAAQ,CAAC,OAAO,EAAE,EACnC,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;QACF,OAAO;IACT,CAAC;IACD,MAAM,SAAS,GAAG,uBAAuB,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QACrD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACpB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,sBAAsB,EACtB,qBAAqB,GAAG,OAAO,QAAQ,CAAC,OAAO,EAAE,EACjD,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAAuB,EACvB,GAA+B,EAC/B,IAAY,EACZ,WAAyB;IAEzB,IAAI,QAAQ,CAAC,WAAW,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,CAAC;QAC3E,WAAW,CAAC,IAAI,CACd,IAAI,CACF,+BAA+B,EAC/B,qCAAqC,QAAQ,CAAC,WAAW,EAAE,EAC3D,IAAI,EACJ,QAAQ,CAAC,MAAM,EAAE,IAAI,EACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CACxB,CACF,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;QACzD,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;YAC7C,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;gBACnC,oBAAoB,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAwB,EACxB,GAA+B,EAC/B,QAAsB,EACtB,IAAY,EACZ,WAAyB;IAEzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YAClC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YAChE,IAAI,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1C,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gBAAgB,EAChB,yDAAyD,EACzD,IAAI,EACJ,IAAI,CAAC,MAAM,EAAE,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAC/C,IAAI,CAAC,MAAM,EAAE,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CACpD,CACF,CAAC;YACJ,CAAC;YACD,yBAAyB,CAAC,IAAI,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACtE,oBAAoB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC5D,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;gBAC9D,wBAAwB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACvF,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;YAChE,IAAI,OAAO,EAAE,CAAC;gBACZ,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gBAAgB,EAChB,4DAA4D,EAC5D,IAAI,EACJ,IAAI,CAAC,MAAM,EAAE,IAAI,EACjB,IAAI,CAAC,MAAM,EAAE,MAAM,CACpB,CACF,CAAC;YACJ,CAAC;YACD,wBAAwB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAsB,EACtB,QAAsB,EACtB,IAAY,EACZ,GAA+B,EAC/B,WAAyB;IAEzB,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC1C,wBAAwB,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAChF,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;QAC/C,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACjE,oBAAoB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACvD,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,uBAAuB,IAAI,EAAE,EAAE,CAAC;YACzD,wBAAwB,CAAC,GAAG,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;YAChD,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACjE,oBAAoB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,WAAW,IAAI,EAAE,EAAE,CAAC;gBAChD,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAClC,kBAAkB,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IAC5D,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QAC5C,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IACjE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,QAAqB,EACrB,QAAsB;IAEtB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,IAAI,UAAU,CAAC;IACpD,MAAM,GAAG,GAAG,0BAA0B,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC7D,kBAAkB,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IACrE,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/validate/validate-parse-values.d.ts

@@ -0,0 +1,4 @@
+import type { BomDocument, Diagnostic } from "@blockml/bom";
+import type { TypeRegistry } from "../registry/type-registry.js";
+export declare function validateParseValues(document: BomDocument, registry: TypeRegistry): Diagnostic[];
+//# sourceMappingURL=validate-parse-values.d.ts.map

package/dist/validate/validate-parse-values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate-parse-values.d.ts","sourceRoot":"","sources":["../../src/validate/validate-parse-values.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,WAAW,EAEX,UAAU,EAMX,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AA0NjE,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,GAAG,UAAU,EAAE,CAK/F"}

package/dist/validate/validate-parse-values.js

@@ -0,0 +1,181 @@
+import { resolveEffectiveMembers } from "../resolve/resolve-effective-members.js";
+import { evaluateParseValue } from "./evaluate-parse-value.js";
+import { namedTypeFqn, TYPE_REFERENCE } from "./reference-kinds.js";
+function diag(code, message, file, loc) {
+    const source = {
+        file: loc?.file ?? file,
+        line: loc?.line ?? 1,
+        column: loc?.column ?? 1,
+    };
+    if (loc?.endLine !== undefined) {
+        source.endLine = loc.endLine;
+    }
+    if (loc?.endColumn !== undefined) {
+        source.endColumn = loc.endColumn;
+    }
+    return { severity: "error", code, message, source };
+}
+function isUnion(expr) {
+    if (!expr) {
+        return false;
+    }
+    if (expr.kind === "union") {
+        return true;
+    }
+    if (expr.kind === "grouped") {
+        return isUnion(expr.expression);
+    }
+    return false;
+}
+function hasMultiplicity(expr, fallbackFqn) {
+    if (expr) {
+        if (expr.kind === "named" || expr.kind === "grouped") {
+            if (expr.multiplicity !== undefined) {
+                return true;
+            }
+        }
+    }
+    return fallbackFqn?.includes("[") === true;
+}
+function rawFromUnknown(value) {
+    if (typeof value === "string") {
+        return value;
+    }
+    if (typeof value === "number" || typeof value === "boolean") {
+        return String(value);
+    }
+    return undefined;
+}
+function checkRaw(typeFqn, raw, ctx, loc) {
+    const result = evaluateParseValue(typeFqn, raw, ctx.registry);
+    if (!result.ok) {
+        ctx.diagnostics.push(diag("BML_INVALID_VALUE", result.message, ctx.file, loc));
+    }
+}
+function checkLiteral(val, type, typeFqn, ctx, loc) {
+    if (!val || val.kind !== "literal") {
+        return;
+    }
+    if (isUnion(type) || type?.kind === "anonymousStruct") {
+        return;
+    }
+    const named = namedTypeFqn(type, typeFqn);
+    if (!named) {
+        return;
+    }
+    const list = hasMultiplicity(type, typeFqn);
+    if (list) {
+        if (Array.isArray(val.value)) {
+            for (const item of val.value) {
+                const raw = rawFromUnknown(item);
+                if (raw !== undefined) {
+                    checkRaw(named, raw, ctx, loc);
+                }
+            }
+        }
+        return;
+    }
+    const raw = rawFromUnknown(val.value);
+    if (raw !== undefined) {
+        checkRaw(named, raw, ctx, loc);
+    }
+}
+function checkTreValue(inst, ctx, loc) {
+    checkRaw(TYPE_REFERENCE, inst.value, ctx, loc);
+}
+function checkMember(member, ctx) {
+    const loc = member.typeSource ?? member.source;
+    if (member.kind === "property") {
+        checkLiteral(member.value, member.type, member.typeFqn, ctx, loc);
+        for (const entry of member.values ?? []) {
+            // Prefixed values (scad:value, …) are target-language facets, not BML
+            // literals — skip parseValue against the property type. TODO: a matching
+            // prefixed type (scad:type for scad:value) so each facet can be validated
+            // in its own language. Today prefixed values are not validated.
+            if (entry.namespace) {
+                continue;
+            }
+            if (member.value) {
+                continue;
+            }
+            checkLiteral(entry.value, member.type, member.typeFqn, ctx, loc);
+        }
+        for (const suggestion of member.suggestions ?? []) {
+            walkInstance(suggestion, ctx);
+        }
+        for (const group of member.groups ?? []) {
+            checkTreValue(group, ctx, loc);
+        }
+    }
+    else if (member.kind === "aggregation") {
+        for (const group of member.groups ?? []) {
+            checkTreValue(group, ctx, loc);
+        }
+    }
+    else if (member.kind === "capability") {
+        for (const thrown of member.throws ?? []) {
+            checkTreValue(thrown, ctx, loc);
+        }
+    }
+    for (const instance of member.constraints ?? []) {
+        walkInstance(instance, ctx);
+    }
+}
+function walkInstance(instance, ctx) {
+    const typeBlock = ctx.registry.get(instance.typeFqn)?.block;
+    const members = typeBlock ? resolveEffectiveMembers(typeBlock, ctx.registry) : [];
+    for (const [name, val] of Object.entries(instance.memberValues)) {
+        const member = members.find((m) => m.name === name);
+        if (!member) {
+            continue;
+        }
+        const type = member.kind === "property" || member.kind === "aggregation" || member.kind === "association"
+            ? member.type
+            : undefined;
+        const typeFqn = member.kind === "property" || member.kind === "capability" ? member.typeFqn : undefined;
+        checkLiteral(val, type, typeFqn, ctx, instance.source);
+    }
+    for (const agg of instance.aggregationCompositions ?? []) {
+        walkCompositionNodes(agg.composition.children, ctx);
+    }
+}
+function walkCompositionNodes(nodes, ctx) {
+    for (const child of nodes) {
+        if (child.kind === "blockInstance") {
+            walkInstance(child.instance, ctx);
+        }
+        else {
+            walkCompositionNodes(child.children, ctx);
+        }
+    }
+}
+function walkBlockDefinition(block, ctx) {
+    for (const ref of block.contracts ?? []) {
+        checkTreValue(ref, ctx, block.source);
+    }
+    if (block.language) {
+        checkTreValue(block.language, ctx, block.source);
+    }
+    for (const instance of block.constraints ?? []) {
+        walkInstance(instance, ctx);
+    }
+    for (const member of block.members) {
+        checkMember(member, ctx);
+    }
+    for (const template of block.compositions) {
+        walkCompositionNodes(template.children, ctx);
+    }
+    for (const sub of block.subBlocks) {
+        walkBlockDefinition(sub, ctx);
+    }
+    for (const embedded of block.embeddedBlocks) {
+        walkBlockDefinition(embedded, ctx);
+    }
+}
+export function validateParseValues(document, registry) {
+    const diagnostics = [];
+    const file = document.source.filePath ?? "<memory>";
+    walkBlockDefinition(document.block, { registry, file, diagnostics });
+    return diagnostics;
+}
+//# sourceMappingURL=validate-parse-values.js.map