jsii 5.9.10 → 5.9.11-dev.0

package/SUPPORT.md

@@ -1,10 +1,10 @@
-## Maintenance & Support Policy
+# Maintenance & Support Policy
 
 This document describes the Maintenance & Support Policy applicable to releases
 of the `jsii` compiler ([`npm:jsii`](https://npmjs.com/packages/jsii)) with
 versions `5.0.x` and newer.
 
-### Versioning Scheme
+## Versioning Scheme
 
 In-scope `jsii` release lines use the same `major.minor` version as the
 TypeScript compiler ([`npm:typescript`](https://npmjs.com/packages/typescript))
@@ -12,7 +12,7 @@ they are built with. This means that `jsii@5.0.x` is built on top of
 `typescript@5.0.x`.
 
 Since the `typescript` package does not follow [Semantic Versioning][semver],
-the `jsii` package does not eiher. The `typescript` compiler guarantees no
+the `jsii` package does not either. The `typescript` compiler guarantees no
 breaking change is introduced within a given `major.minor` release line, and
 `jsii` upholds the same guarantee. As a consequence, users are advised to use
 `~` ranges (also referred to as minor-pinned ranges) when declaring dependencies
@@ -24,7 +24,7 @@ is issued).
 
 [semver]: https://semver.org
 
-### Release Lines Lifecycle Stages
+## Release Lines Lifecycle Stages
 
 This Maintenance & Support Policy assigns one of the following lifecycle stages
 to each in-scope `jsii` release line in existence:
@@ -33,7 +33,7 @@ to each in-scope `jsii` release line in existence:
    the release under active development, receiving new features, bug fixes and
    security updates.
 
-1. **Maintenace**: Release lines in **Maintenance** stage are no longer
+1. **Maintenance**: Release lines in **Maintenance** stage are no longer
    considered in active development, and no new features will be added to these.
    They however continue to receive bug fixes and security updates. Users can
    continue to use release lines in **Maintenance** stage indefinitely, but we
@@ -47,7 +47,7 @@ to each in-scope `jsii` release line in existence:
    changes in newer releases at any time. Users are advised to migrate away from
    **End-of-Support** release lines at the earliest convenience.
 
-### Stage Transitions
+## Stage Transitions
 
 ```mermaid
 ---
@@ -66,7 +66,7 @@ stateDiagram-v2
 
 Whenever a new release line is started (typically with a new `x.y.0` release,
 excluding pre-releases), it becomes **Current** and the release line it replaced
-immediately enters the **Maintenace** stage.
+immediately enters the **Maintenance** stage.
 
 Releases stay in the **Maintenance** stage for a minimum of 6 months before they
 reach **End-of-Support**.
@@ -74,7 +74,7 @@ reach **End-of-Support**.
 Once a release line has reached **End-of-Support**, it remains in this stage
 indefinitely.
 
-### Timelines & Communication
+## Timelines & Communication
 
 The `typescript` compiler maintainers start a new release line on a quarterly
 basis, and users should expect the `jsii` compiler maintainers to do the same.
@@ -99,7 +99,7 @@ manifest document.
 The current status of `jsii` compiler release lines is also documented on the
 [repository's `README.md` document][readme].
 
-### Modification
+## Modification
 
 The maintainers of the jsii project reserve the right to modify this Maintenance
 and Support Policy as necessary. Updates will be proposed by way of a pull
@@ -108,13 +108,13 @@ timeline of release lines will be broadly announced to the community via
 established communication channels (such as the `cdk.dev` Slack), and will
 remain open for the community to comment on for a minimum of 15 days.
 
-Community members are welcome to propose changes to the support and maintenace
+Community members are welcome to propose changes to the support and maintenance
 policy through the same process.
 
-### Derogation
+## Derogation
 
 Under _exceptional_ circumstances, the project maintainers may elect to derogate
-from this Support & Maintenance Policy. In cases where the decisision to
+from this Support & Maintenance Policy. In cases where the decision to
 derogate extends supplemental maintenance & support coverage for a release line,
 the increased coverage will be documented in the
 [repository's `README.md` document][readme].

package/lib/type-analysis.d.ts

@@ -0,0 +1,11 @@
+import * as spec from '@jsii/spec';
+import { TypeResolver } from './type-reference';
+/**
+ * Check if subType is an allowed covariant subtype to superType
+ *
+ * This is not a generic check for subtypes or covariance, but a specific implementation
+ * that checks the currently allowed conditions for class covariance.
+ * In practice, this is driven by C# limitations.
+ */
+export declare function isAllowedCovariantSubtype(subType: spec.TypeReference | undefined, superType: spec.TypeReference | undefined, dereference: TypeResolver): boolean;
+//# sourceMappingURL=type-analysis.d.ts.map

package/lib/type-analysis.js

@@ -0,0 +1,123 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.isAllowedCovariantSubtype = isAllowedCovariantSubtype;
+const spec = require("@jsii/spec");
+const deepEqual = require("fast-deep-equal");
+/**
+ * Check if subType is an allowed covariant subtype to superType
+ *
+ * This is not a generic check for subtypes or covariance, but a specific implementation
+ * that checks the currently allowed conditions for class covariance.
+ * In practice, this is driven by C# limitations.
+ */
+function isAllowedCovariantSubtype(subType, superType, dereference) {
+    // one void, while other isn't => not covariant
+    if ((subType === undefined) !== (superType === undefined)) {
+        return false;
+    }
+    // Same type is always covariant
+    if (deepEqual(subType, superType)) {
+        return true;
+    }
+    // Handle array collections (covariant)
+    if (spec.isCollectionTypeReference(subType) && spec.isCollectionTypeReference(superType)) {
+        if (subType.collection.kind === 'array' && superType.collection.kind === 'array') {
+            return isAllowedCovariantSubtype(subType.collection.elementtype, superType.collection.elementtype, dereference);
+        }
+        // Maps are not allowed to be covariant in C#, so we exclude them here.
+        // This seems to be because we use C# Dictionary to implements Maps, which are using generics and generics are not allowed to be covariant
+        return false;
+    }
+    // Union types are currently not allowed, because we have not seen the need for it.
+    // Technically narrowing (removing `| Type` or subtyping) could be allowed and this works in C#.
+    if (spec.isUnionTypeReference(subType) || spec.isUnionTypeReference(superType)) {
+        return false;
+    }
+    // Intersection types are invalid, because intersections are only allowed as inputs
+    // and covariance is only allowed in outputs.
+    if (spec.isIntersectionTypeReference(subType) || spec.isIntersectionTypeReference(superType)) {
+        return false;
+    }
+    // Primitives can never be covariant to each other in C#
+    if (spec.isPrimitiveTypeReference(subType) || spec.isPrimitiveTypeReference(superType)) {
+        return false;
+    }
+    // We really only support covariance for named types (and lists of named types).
+    // To be safe, let's guard against any unknown cases.
+    if (!spec.isNamedTypeReference(subType) || !spec.isNamedTypeReference(superType)) {
+        return false;
+    }
+    const subTypeSpec = dereference(subType.fqn);
+    const superTypeSpec = dereference(superType.fqn);
+    if (!subTypeSpec || !superTypeSpec) {
+        return false;
+    }
+    // Handle class-to-class inheritance
+    if (spec.isClassType(subTypeSpec) && spec.isClassType(superTypeSpec)) {
+        return _classExtendsClass(subTypeSpec, superType.fqn);
+    }
+    // Handle interface-to-interface inheritance
+    if (spec.isInterfaceType(subTypeSpec) && spec.isInterfaceType(superTypeSpec)) {
+        return _interfaceExtendsInterface(subTypeSpec, superType.fqn);
+    }
+    // Handle class implementing interface
+    if (spec.isClassType(subTypeSpec) && spec.isInterfaceType(superTypeSpec)) {
+        return _classImplementsInterface(subTypeSpec, superType.fqn);
+    }
+    return false;
+    function _classExtendsClass(classType, targetFqn) {
+        let current = classType;
+        while (current.base) {
+            if (current.base === targetFqn) {
+                return true;
+            }
+            const baseType = dereference(current.base);
+            if (!spec.isClassType(baseType)) {
+                break;
+            }
+            current = baseType;
+        }
+        return false;
+    }
+    function _classImplementsInterface(classType, interfaceFqn) {
+        // Check direct interfaces
+        if (classType.interfaces?.includes(interfaceFqn)) {
+            return true;
+        }
+        // Check inherited interfaces
+        if (classType.interfaces) {
+            for (const iface of classType.interfaces) {
+                const ifaceType = dereference(iface);
+                if (spec.isInterfaceType(ifaceType) && _interfaceExtendsInterface(ifaceType, interfaceFqn)) {
+                    return true;
+                }
+            }
+        }
+        // Check base class interfaces
+        if (classType.base) {
+            const baseType = dereference(classType.base);
+            if (spec.isClassType(baseType)) {
+                return _classImplementsInterface(baseType, interfaceFqn);
+            }
+        }
+        return false;
+    }
+    function _interfaceExtendsInterface(interfaceType, targetFqn) {
+        if (interfaceType.fqn === targetFqn) {
+            return true;
+        }
+        if (interfaceType.interfaces) {
+            for (const iface of interfaceType.interfaces) {
+                if (iface === targetFqn) {
+                    return true;
+                }
+                const ifaceType = dereference(iface);
+                if (spec.isInterfaceType(ifaceType) && _interfaceExtendsInterface(ifaceType, targetFqn)) {
+                    return true;
+                }
+            }
+        }
+        return false;
+    }
+}
+//# sourceMappingURL=type-analysis.js.map

package/lib/type-analysis.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-analysis.js","sourceRoot":"","sources":["../src/type-analysis.ts"],"names":[],"mappings":";;AAWA,8DAqIC;AAhJD,mCAAmC;AACnC,6CAA6C;AAG7C;;;;;;GAMG;AACH,SAAgB,yBAAyB,CACvC,OAAuC,EACvC,SAAyC,EACzC,WAAyB;IAEzB,+CAA+C;IAC/C,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,EAAE,CAAC;QAC1D,OAAO,KAAK,CAAC;IACf,CAAC;IAED,gCAAgC;IAChC,IAAI,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,uCAAuC;IACvC,IAAI,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;QACzF,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACjF,OAAO,yBAAyB,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,EAAE,SAAS,CAAC,UAAU,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;QAClH,CAAC;QACD,uEAAuE;QACvE,0IAA0I;QAC1I,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mFAAmF;IACnF,gGAAgG;IAChG,IAAI,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/E,OAAO,KAAK,CAAC;IACf,CAAC;IAED,mFAAmF;IACnF,6CAA6C;IAC7C,IAAI,IAAI,CAAC,2BAA2B,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,2BAA2B,CAAC,SAAS,CAAC,EAAE,CAAC;QAC7F,OAAO,KAAK,CAAC;IACf,CAAC;IAED,wDAAwD;IACxD,IAAI,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,EAAE,CAAC;QACvF,OAAO,KAAK,CAAC;IACf,CAAC;IAED,gFAAgF;IAChF,qDAAqD;IACrD,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;QACjF,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,WAAW,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7C,MAAM,aAAa,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAEjD,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,oCAAoC;IACpC,IAAI,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,EAAE,CAAC;QACrE,OAAO,kBAAkB,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC;IAED,4CAA4C;IAC5C,IAAI,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,aAAa,CAAC,EAAE,CAAC;QAC7E,OAAO,0BAA0B,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;IAChE,CAAC;IAED,sCAAsC;IACtC,IAAI,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,aAAa,CAAC,EAAE,CAAC;QACzE,OAAO,yBAAyB,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO,KAAK,CAAC;IAEb,SAAS,kBAAkB,CAAC,SAAyB,EAAE,SAAiB;QACtE,IAAI,OAAO,GAAG,SAAS,CAAC;QACxB,OAAO,OAAO,CAAC,IAAI,EAAE,CAAC;YACpB,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC/B,OAAO,IAAI,CAAC;YACd,CAAC;YACD,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAChC,MAAM;YACR,CAAC;YACD,OAAO,GAAG,QAAQ,CAAC;QACrB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,SAAS,yBAAyB,CAAC,SAAyB,EAAE,YAAoB;QAChF,0BAA0B;QAC1B,IAAI,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;YACjD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,6BAA6B;QAC7B,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;YACzB,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;gBACzC,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;gBACrC,IAAI,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,0BAA0B,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC;oBAC3F,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;QAED,8BAA8B;QAC9B,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;YACnB,MAAM,QAAQ,GAAG,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAC7C,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/B,OAAO,yBAAyB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,SAAS,0BAA0B,CAAC,aAAiC,EAAE,SAAiB;QACtF,IAAI,aAAa,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,aAAa,CAAC,UAAU,EAAE,CAAC;YAC7B,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,UAAU,EAAE,CAAC;gBAC7C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;oBACxB,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;gBACrC,IAAI,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,0BAA0B,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC;oBACxF,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC","sourcesContent":["import * as spec from '@jsii/spec';\nimport * as deepEqual from 'fast-deep-equal';\nimport { TypeResolver } from './type-reference';\n\n/**\n * Check if subType is an allowed covariant subtype to superType\n *\n * This is not a generic check for subtypes or covariance, but a specific implementation\n * that checks the currently allowed conditions for class covariance.\n * In practice, this is driven by C# limitations.\n */\nexport function isAllowedCovariantSubtype(\n  subType: spec.TypeReference | undefined,\n  superType: spec.TypeReference | undefined,\n  dereference: TypeResolver,\n): boolean {\n  // one void, while other isn't => not covariant\n  if ((subType === undefined) !== (superType === undefined)) {\n    return false;\n  }\n\n  // Same type is always covariant\n  if (deepEqual(subType, superType)) {\n    return true;\n  }\n\n  // Handle array collections (covariant)\n  if (spec.isCollectionTypeReference(subType) && spec.isCollectionTypeReference(superType)) {\n    if (subType.collection.kind === 'array' && superType.collection.kind === 'array') {\n      return isAllowedCovariantSubtype(subType.collection.elementtype, superType.collection.elementtype, dereference);\n    }\n    // Maps are not allowed to be covariant in C#, so we exclude them here.\n    // This seems to be because we use C# Dictionary to implements Maps, which are using generics and generics are not allowed to be covariant\n    return false;\n  }\n\n  // Union types are currently not allowed, because we have not seen the need for it.\n  // Technically narrowing (removing `| Type` or subtyping) could be allowed and this works in C#.\n  if (spec.isUnionTypeReference(subType) || spec.isUnionTypeReference(superType)) {\n    return false;\n  }\n\n  // Intersection types are invalid, because intersections are only allowed as inputs\n  // and covariance is only allowed in outputs.\n  if (spec.isIntersectionTypeReference(subType) || spec.isIntersectionTypeReference(superType)) {\n    return false;\n  }\n\n  // Primitives can never be covariant to each other in C#\n  if (spec.isPrimitiveTypeReference(subType) || spec.isPrimitiveTypeReference(superType)) {\n    return false;\n  }\n\n  // We really only support covariance for named types (and lists of named types).\n  // To be safe, let's guard against any unknown cases.\n  if (!spec.isNamedTypeReference(subType) || !spec.isNamedTypeReference(superType)) {\n    return false;\n  }\n\n  const subTypeSpec = dereference(subType.fqn);\n  const superTypeSpec = dereference(superType.fqn);\n\n  if (!subTypeSpec || !superTypeSpec) {\n    return false;\n  }\n\n  // Handle class-to-class inheritance\n  if (spec.isClassType(subTypeSpec) && spec.isClassType(superTypeSpec)) {\n    return _classExtendsClass(subTypeSpec, superType.fqn);\n  }\n\n  // Handle interface-to-interface inheritance\n  if (spec.isInterfaceType(subTypeSpec) && spec.isInterfaceType(superTypeSpec)) {\n    return _interfaceExtendsInterface(subTypeSpec, superType.fqn);\n  }\n\n  // Handle class implementing interface\n  if (spec.isClassType(subTypeSpec) && spec.isInterfaceType(superTypeSpec)) {\n    return _classImplementsInterface(subTypeSpec, superType.fqn);\n  }\n\n  return false;\n\n  function _classExtendsClass(classType: spec.ClassType, targetFqn: string): boolean {\n    let current = classType;\n    while (current.base) {\n      if (current.base === targetFqn) {\n        return true;\n      }\n      const baseType = dereference(current.base);\n      if (!spec.isClassType(baseType)) {\n        break;\n      }\n      current = baseType;\n    }\n    return false;\n  }\n\n  function _classImplementsInterface(classType: spec.ClassType, interfaceFqn: string): boolean {\n    // Check direct interfaces\n    if (classType.interfaces?.includes(interfaceFqn)) {\n      return true;\n    }\n\n    // Check inherited interfaces\n    if (classType.interfaces) {\n      for (const iface of classType.interfaces) {\n        const ifaceType = dereference(iface);\n        if (spec.isInterfaceType(ifaceType) && _interfaceExtendsInterface(ifaceType, interfaceFqn)) {\n          return true;\n        }\n      }\n    }\n\n    // Check base class interfaces\n    if (classType.base) {\n      const baseType = dereference(classType.base);\n      if (spec.isClassType(baseType)) {\n        return _classImplementsInterface(baseType, interfaceFqn);\n      }\n    }\n\n    return false;\n  }\n\n  function _interfaceExtendsInterface(interfaceType: spec.InterfaceType, targetFqn: string): boolean {\n    if (interfaceType.fqn === targetFqn) {\n      return true;\n    }\n\n    if (interfaceType.interfaces) {\n      for (const iface of interfaceType.interfaces) {\n        if (iface === targetFqn) {\n          return true;\n        }\n        const ifaceType = dereference(iface);\n        if (spec.isInterfaceType(ifaceType) && _interfaceExtendsInterface(ifaceType, targetFqn)) {\n          return true;\n        }\n      }\n    }\n\n    return false;\n  }\n}\n"]}

package/lib/type-reference.d.ts

@@ -7,4 +7,14 @@ export declare function typeReferenceToString(x: spec.TypeReference): string;
  * Return whether the given type references are equal
  */
 export declare function typeReferenceEqual(a: spec.TypeReference, b: spec.TypeReference): boolean;
+export type TypeResolver = (typeRef: string | spec.NamedTypeReference) => spec.Type | undefined;
+/**
+ * Creates a type resolver function for a given context (assembly + dependency closure).
+ */
+export declare function createTypeResolver(assembly: spec.Assembly, dependencyClosure: readonly spec.Assembly[]): TypeResolver;
+/**
+ * Resolve a type from a name to the actual type.
+ * Uses a given assembly and dependency closure for lookup.
+ */
+export declare function resolveType(typeRef: string | spec.NamedTypeReference, assembly: spec.Assembly, dependencyClosure: readonly spec.Assembly[]): spec.Type | undefined;
 //# sourceMappingURL=type-reference.d.ts.map

package/lib/type-reference.js

@@ -2,6 +2,8 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.typeReferenceToString = typeReferenceToString;
 exports.typeReferenceEqual = typeReferenceEqual;
+exports.createTypeResolver = createTypeResolver;
+exports.resolveType = resolveType;
 const spec = require("@jsii/spec");
 const type_visitor_1 = require("./type-visitor");
 /**
@@ -49,4 +51,25 @@ function typeReferenceEqual(a, b) {
     }
     return false;
 }
+/**
+ * Creates a type resolver function for a given context (assembly + dependency closure).
+ */
+function createTypeResolver(assembly, dependencyClosure) {
+    return (typeRef) => resolveType(typeRef, assembly, dependencyClosure);
+}
+/**
+ * Resolve a type from a name to the actual type.
+ * Uses a given assembly and dependency closure for lookup.
+ */
+function resolveType(typeRef, assembly, dependencyClosure) {
+    if (typeof typeRef !== 'string') {
+        typeRef = typeRef.fqn;
+    }
+    const [assm] = typeRef.split('.');
+    if (assembly.name === assm) {
+        return assembly.types?.[typeRef];
+    }
+    const foreignAssm = dependencyClosure.find((dep) => dep.name === assm);
+    return foreignAssm?.types?.[typeRef];
+}
 //# sourceMappingURL=type-reference.js.map

package/lib/type-reference.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-reference.js","sourceRoot":"","sources":["../src/type-reference.ts"],"names":[],"mappings":";;AAMA,sDAkBC;AAKD,gDAyBC;AAtDD,mCAAmC;AACnC,iDAAoD;AAEpD;;GAEG;AACH,SAAgB,qBAAqB,CAAC,CAAqB;IACzD,OAAO,IAAA,iCAAkB,EAAS,CAAC,EAAE;QACnC,KAAK,EAAE,UAAU,GAA4B;YAC3C,OAAO,GAAG,CAAC,GAAG,CAAC;QACjB,CAAC;QACD,SAAS,EAAE,UAAU,GAAgC;YACnD,OAAO,GAAG,CAAC,SAAS,CAAC;QACvB,CAAC;QACD,UAAU,EAAE,UAAU,GAAiC;YACrD,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC;QACxF,CAAC;QACD,KAAK,EAAE,UAAU,GAA4B;YAC3C,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,CAAC;QACD,YAAY,EAAE,UAAU,GAAmC;YACzD,OAAO,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAgB,kBAAkB,CAAC,CAAqB,EAAE,CAAqB;IAC7E,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC;IACzB,CAAC;IACD,IAAI,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,CAAC;IACrC,CAAC;IACD,IAAI,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,OAAO,CACL,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,IAAI,kBAAkB,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAClH,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,OAAO,CACL,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM;YAC7C,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/E,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,2BAA2B,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,2BAA2B,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,OAAO,CACL,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM;YAC3D,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAC7F,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC","sourcesContent":["import * as spec from '@jsii/spec';\nimport { visitTypeReference } from './type-visitor';\n\n/**\n * Convert a type reference to a string\n */\nexport function typeReferenceToString(x: spec.TypeReference): string {\n  return visitTypeReference<string>(x, {\n    named: function (ref: spec.NamedTypeReference) {\n      return ref.fqn;\n    },\n    primitive: function (ref: spec.PrimitiveTypeReference) {\n      return ref.primitive;\n    },\n    collection: function (ref: spec.CollectionTypeReference) {\n      return `${ref.collection.kind}<${typeReferenceToString(ref.collection.elementtype)}>`;\n    },\n    union: function (ref: spec.UnionTypeReference) {\n      return ref.union.types.map(typeReferenceToString).join(' | ');\n    },\n    intersection: function (ref: spec.IntersectionTypeReference) {\n      return ref.intersection.types.map(typeReferenceToString).join(' & ');\n    },\n  });\n}\n\n/**\n * Return whether the given type references are equal\n */\nexport function typeReferenceEqual(a: spec.TypeReference, b: spec.TypeReference): boolean {\n  if (spec.isNamedTypeReference(a) && spec.isNamedTypeReference(b)) {\n    return a.fqn === b.fqn;\n  }\n  if (spec.isPrimitiveTypeReference(a) && spec.isPrimitiveTypeReference(b)) {\n    return a.primitive === b.primitive;\n  }\n  if (spec.isCollectionTypeReference(a) && spec.isCollectionTypeReference(b)) {\n    return (\n      a.collection.kind === b.collection.kind && typeReferenceEqual(a.collection.elementtype, b.collection.elementtype)\n    );\n  }\n  if (spec.isUnionTypeReference(a) && spec.isUnionTypeReference(b)) {\n    return (\n      a.union.types.length === b.union.types.length &&\n      a.union.types.every((aType, i) => typeReferenceEqual(aType, b.union.types[i]))\n    );\n  }\n  if (spec.isIntersectionTypeReference(a) && spec.isIntersectionTypeReference(b)) {\n    return (\n      a.intersection.types.length === b.intersection.types.length &&\n      a.intersection.types.every((aType, i) => typeReferenceEqual(aType, b.intersection.types[i]))\n    );\n  }\n  return false;\n}\n"]}
+{"version":3,"file":"type-reference.js","sourceRoot":"","sources":["../src/type-reference.ts"],"names":[],"mappings":";;AAMA,sDAkBC;AAKD,gDAyBC;AAOD,gDAEC;AAMD,kCAcC;AAnFD,mCAAmC;AACnC,iDAAoD;AAEpD;;GAEG;AACH,SAAgB,qBAAqB,CAAC,CAAqB;IACzD,OAAO,IAAA,iCAAkB,EAAS,CAAC,EAAE;QACnC,KAAK,EAAE,UAAU,GAA4B;YAC3C,OAAO,GAAG,CAAC,GAAG,CAAC;QACjB,CAAC;QACD,SAAS,EAAE,UAAU,GAAgC;YACnD,OAAO,GAAG,CAAC,SAAS,CAAC;QACvB,CAAC;QACD,UAAU,EAAE,UAAU,GAAiC;YACrD,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,IAAI,qBAAqB,CAAC,GAAG,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC;QACxF,CAAC;QACD,KAAK,EAAE,UAAU,GAA4B;YAC3C,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,CAAC;QACD,YAAY,EAAE,UAAU,GAAmC;YACzD,OAAO,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvE,CAAC;KACF,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAgB,kBAAkB,CAAC,CAAqB,EAAE,CAAqB;IAC7E,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,OAAO,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC;IACzB,CAAC;IACD,IAAI,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,wBAAwB,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,OAAO,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,SAAS,CAAC;IACrC,CAAC;IACD,IAAI,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3E,OAAO,CACL,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,IAAI,kBAAkB,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAClH,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;QACjE,OAAO,CACL,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM;YAC7C,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAC/E,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,2BAA2B,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,2BAA2B,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,OAAO,CACL,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM;YAC3D,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAC7F,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAID;;GAEG;AACH,SAAgB,kBAAkB,CAAC,QAAuB,EAAE,iBAA2C;IACrG,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC,CAAC;AACxE,CAAC;AAED;;;GAGG;AACH,SAAgB,WAAW,CACzB,OAAyC,EACzC,QAAuB,EACvB,iBAA2C;IAE3C,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC;IACxB,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACvE,OAAO,WAAW,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;AACvC,CAAC","sourcesContent":["import * as spec from '@jsii/spec';\nimport { visitTypeReference } from './type-visitor';\n\n/**\n * Convert a type reference to a string\n */\nexport function typeReferenceToString(x: spec.TypeReference): string {\n  return visitTypeReference<string>(x, {\n    named: function (ref: spec.NamedTypeReference) {\n      return ref.fqn;\n    },\n    primitive: function (ref: spec.PrimitiveTypeReference) {\n      return ref.primitive;\n    },\n    collection: function (ref: spec.CollectionTypeReference) {\n      return `${ref.collection.kind}<${typeReferenceToString(ref.collection.elementtype)}>`;\n    },\n    union: function (ref: spec.UnionTypeReference) {\n      return ref.union.types.map(typeReferenceToString).join(' | ');\n    },\n    intersection: function (ref: spec.IntersectionTypeReference) {\n      return ref.intersection.types.map(typeReferenceToString).join(' & ');\n    },\n  });\n}\n\n/**\n * Return whether the given type references are equal\n */\nexport function typeReferenceEqual(a: spec.TypeReference, b: spec.TypeReference): boolean {\n  if (spec.isNamedTypeReference(a) && spec.isNamedTypeReference(b)) {\n    return a.fqn === b.fqn;\n  }\n  if (spec.isPrimitiveTypeReference(a) && spec.isPrimitiveTypeReference(b)) {\n    return a.primitive === b.primitive;\n  }\n  if (spec.isCollectionTypeReference(a) && spec.isCollectionTypeReference(b)) {\n    return (\n      a.collection.kind === b.collection.kind && typeReferenceEqual(a.collection.elementtype, b.collection.elementtype)\n    );\n  }\n  if (spec.isUnionTypeReference(a) && spec.isUnionTypeReference(b)) {\n    return (\n      a.union.types.length === b.union.types.length &&\n      a.union.types.every((aType, i) => typeReferenceEqual(aType, b.union.types[i]))\n    );\n  }\n  if (spec.isIntersectionTypeReference(a) && spec.isIntersectionTypeReference(b)) {\n    return (\n      a.intersection.types.length === b.intersection.types.length &&\n      a.intersection.types.every((aType, i) => typeReferenceEqual(aType, b.intersection.types[i]))\n    );\n  }\n  return false;\n}\n\nexport type TypeResolver = (typeRef: string | spec.NamedTypeReference) => spec.Type | undefined;\n\n/**\n * Creates a type resolver function for a given context (assembly + dependency closure).\n */\nexport function createTypeResolver(assembly: spec.Assembly, dependencyClosure: readonly spec.Assembly[]): TypeResolver {\n  return (typeRef) => resolveType(typeRef, assembly, dependencyClosure);\n}\n\n/**\n * Resolve a type from a name to the actual type.\n * Uses a given assembly and dependency closure for lookup.\n */\nexport function resolveType(\n  typeRef: string | spec.NamedTypeReference,\n  assembly: spec.Assembly,\n  dependencyClosure: readonly spec.Assembly[],\n): spec.Type | undefined {\n  if (typeof typeRef !== 'string') {\n    typeRef = typeRef.fqn;\n  }\n  const [assm] = typeRef.split('.');\n  if (assembly.name === assm) {\n    return assembly.types?.[typeRef];\n  }\n  const foreignAssm = dependencyClosure.find((dep) => dep.name === assm);\n  return foreignAssm?.types?.[typeRef];\n}\n"]}

package/lib/validator.js

@@ -9,6 +9,8 @@ const Case = require("./case");
 const jsii_diagnostic_1 = require("./jsii-diagnostic");
 const node_bindings_1 = require("./node-bindings");
 const bindings = require("./node-bindings");
+const type_analysis_1 = require("./type-analysis");
+const type_reference_1 = require("./type-reference");
 class Validator {
     constructor(projectInfo, assembly) {
         this.projectInfo = projectInfo;
@@ -110,6 +112,7 @@ function _defaultValidations() {
         }
     }
     function _inheritanceDoesNotChangeContracts(validator, assembly, diagnostic, useFeature) {
+        const _dereference = (0, type_reference_1.createTypeResolver)(assembly, validator.projectInfo.dependencyClosure);
         for (const type of _allTypes(assembly)) {
             if (spec.isClassType(type)) {
                 for (const method of type.methods ?? []) {
@@ -149,7 +152,7 @@ function _defaultValidations() {
             }
             if (spec.isClassType(type) && type.base) {
                 // We have a parent class, collect their concrete members, too (recursively)...
-                const base = _dereference(type.base, assembly, validator);
+                const base = _dereference(type.base);
                 assert(base != null && spec.isClassType(base));
                 for (const member of _allImplementations(base, getter)) {
                     if (known.has(member.name)) {
@@ -177,7 +180,7 @@ function _defaultValidations() {
             if (!type.base) {
                 return false;
             }
-            const baseType = _dereference(type.base, assembly, validator);
+            const baseType = _dereference(type.base);
             if (!baseType) {
                 return false;
             }
@@ -195,7 +198,7 @@ function _defaultValidations() {
             if (!type.base) {
                 return false;
             }
-            const baseType = _dereference(type.base, assembly, validator);
+            const baseType = _dereference(type.base);
             if (!baseType) {
                 return false;
             }
@@ -213,12 +216,12 @@ function _defaultValidations() {
             if (!type.interfaces) {
                 // Abstract classes may not directly implement all members, need to check their supertypes...
                 if (spec.isClassType(type) && type.base && type.abstract) {
-                    return _validateMethodImplementation(method, _dereference(type.base, assembly, validator));
+                    return _validateMethodImplementation(method, _dereference(type.base));
                 }
                 return false;
             }
             for (const iface of type.interfaces) {
-                const ifaceType = _dereference(iface, assembly, validator);
+                const ifaceType = _dereference(iface);
                 const implemented = (ifaceType.methods ?? []).find((m) => m.name === method.name);
                 if (implemented) {
                     _assertSignaturesMatch(implemented, method, `${type.fqn}#${method.name}`, `implementing ${ifaceType.fqn}`, {
@@ -239,12 +242,12 @@ function _defaultValidations() {
             if (!type.interfaces) {
                 // Abstract classes may not directly implement all members, need to check their supertypes...
                 if (spec.isClassType(type) && type.base && type.abstract) {
-                    return _validatePropertyImplementation(property, _dereference(type.base, assembly, validator));
+                    return _validatePropertyImplementation(property, _dereference(type.base));
                 }
                 return false;
             }
             for (const iface of type.interfaces) {
-                const ifaceType = _dereference(iface, assembly, validator);
+                const ifaceType = _dereference(iface);
                 const implemented = (ifaceType.properties ?? []).find((p) => p.name === property.name);
                 if (implemented) {
                     _assertPropertiesMatch(implemented, property, `${type.fqn}#${property.name}`, `implementing ${ifaceType.fqn}`, { allowCovariance: false });
@@ -275,7 +278,7 @@ function _defaultValidations() {
                     // static members can never change
                     !actual.static &&
                     // this is a valid covariant return type (actual is more specific than expected)
-                    _isAllowedCovariantSubtype(actualReturnType, expectedReturnType)) {
+                    (0, type_analysis_1.isAllowedCovariantSubtype)(actualReturnType, expectedReturnType, _dereference)) {
                     useFeature('class-covariant-overrides');
                 }
                 else {
@@ -305,123 +308,6 @@ function _defaultValidations() {
                 }
             }
         }
-        /**
-         * Check if subType is an allowed covariant subtype to superType
-         *
-         * This is not a generic check for subtypes or covariance, but a specific implementation
-         * that checks the currently allowed conditions for class covariance.
-         * In practice, this is driven by C# limitations.
-         */
-        function _isAllowedCovariantSubtype(subType, superType) {
-            // one void, while other isn't => not covariant
-            if ((subType === undefined) !== (superType === undefined)) {
-                return false;
-            }
-            // Same type is always covariant
-            if (deepEqual(subType, superType)) {
-                return true;
-            }
-            // Handle array collections (covariant)
-            if (spec.isCollectionTypeReference(subType) && spec.isCollectionTypeReference(superType)) {
-                if (subType.collection.kind === 'array' && superType.collection.kind === 'array') {
-                    return _isAllowedCovariantSubtype(subType.collection.elementtype, superType.collection.elementtype);
-                }
-                // Maps are not allowed to be covariant in C#, so we exclude them here.
-                // This seems to be because we use C# Dictionary to implements Maps, which are using generics and generics are not allowed to be covariant
-                return false;
-            }
-            // Union types are currently not allowed, because we have not seen the need for it.
-            // Technically narrowing (removing `| Type` or subtyping) could be allowed and this works in C#.
-            if (spec.isUnionTypeReference(subType) || spec.isUnionTypeReference(superType)) {
-                return false;
-            }
-            // Intersection types are invalid, because intersections are only allowed as inputs
-            // and covariance is only allowed in outputs.
-            if (spec.isIntersectionTypeReference(subType) || spec.isIntersectionTypeReference(superType)) {
-                return false;
-            }
-            // Primitives can never be covariant to each other in C#
-            if (spec.isPrimitiveTypeReference(subType) || spec.isPrimitiveTypeReference(superType)) {
-                return false;
-            }
-            // We really only support covariance for named types (and lists of named types).
-            // To be safe, let's guard against any unknown cases.
-            if (!spec.isNamedTypeReference(subType) || !spec.isNamedTypeReference(superType)) {
-                return false;
-            }
-            const subTypeSpec = _dereference(subType.fqn, assembly, validator);
-            const superTypeSpec = _dereference(superType.fqn, assembly, validator);
-            if (!subTypeSpec || !superTypeSpec) {
-                return false;
-            }
-            // Handle class-to-class inheritance
-            if (spec.isClassType(subTypeSpec) && spec.isClassType(superTypeSpec)) {
-                return _classExtendsClass(subTypeSpec, superType.fqn);
-            }
-            // Handle interface-to-interface inheritance
-            if (spec.isInterfaceType(subTypeSpec) && spec.isInterfaceType(superTypeSpec)) {
-                return _interfaceExtendsInterface(subTypeSpec, superType.fqn);
-            }
-            // Handle class implementing interface
-            if (spec.isClassType(subTypeSpec) && spec.isInterfaceType(superTypeSpec)) {
-                return _classImplementsInterface(subTypeSpec, superType.fqn);
-            }
-            return false;
-        }
-        function _classExtendsClass(classType, targetFqn) {
-            let current = classType;
-            while (current.base) {
-                if (current.base === targetFqn) {
-                    return true;
-                }
-                const baseType = _dereference(current.base, assembly, validator);
-                if (!spec.isClassType(baseType)) {
-                    break;
-                }
-                current = baseType;
-            }
-            return false;
-        }
-        function _classImplementsInterface(classType, interfaceFqn) {
-            // Check direct interfaces
-            if (classType.interfaces?.includes(interfaceFqn)) {
-                return true;
-            }
-            // Check inherited interfaces
-            if (classType.interfaces) {
-                for (const iface of classType.interfaces) {
-                    const ifaceType = _dereference(iface, assembly, validator);
-                    if (spec.isInterfaceType(ifaceType) && _interfaceExtendsInterface(ifaceType, interfaceFqn)) {
-                        return true;
-                    }
-                }
-            }
-            // Check base class interfaces
-            if (classType.base) {
-                const baseType = _dereference(classType.base, assembly, validator);
-                if (spec.isClassType(baseType)) {
-                    return _classImplementsInterface(baseType, interfaceFqn);
-                }
-            }
-            return false;
-        }
-        function _interfaceExtendsInterface(interfaceType, targetFqn) {
-            if (interfaceType.fqn === targetFqn) {
-                return true;
-            }
-            if (interfaceType.interfaces) {
-                for (const iface of interfaceType.interfaces) {
-                    if (iface === targetFqn) {
-                        return true;
-                    }
-                    const ifaceType = _dereference(iface, assembly, validator);
-                    if (spec.isInterfaceType(ifaceType) && _interfaceExtendsInterface(ifaceType, targetFqn)) {
-                        return true;
-                    }
-                }
-            }
-            return false;
-        }
         function _assertPropertiesMatch(expected, actual, label, action, opts) {
             const actualNode = bindings.getPropertyRelatedNode(actual);
             const expectedNode = bindings.getPropertyRelatedNode(expected);
@@ -439,7 +325,7 @@ function _defaultValidations() {
                     !actual.static &&
                     // immutable properties may change in some case, as long as they are covariant
                     actual.immutable &&
-                    _isAllowedCovariantSubtype(actual.type, expected.type)) {
+                    (0, type_analysis_1.isAllowedCovariantSubtype)(actual.type, expected.type, _dereference)) {
                     useFeature('class-covariant-overrides');
                 }
                 else {
@@ -468,6 +354,7 @@ function _defaultValidations() {
      * don't want to give an implementation yet.
      */
     function _abstractClassesMustImplementAllProperties(validator, assembly, diagnostic) {
+        const _dereference = (0, type_reference_1.createTypeResolver)(assembly, validator.projectInfo.dependencyClosure);
         for (const type of _allTypes(assembly)) {
             if (!spec.isClassType(type) || !type.abstract) {
                 continue;
@@ -485,7 +372,7 @@ function _defaultValidations() {
                 into.add(prop.name);
             }
             if (type.base) {
-                const base = _dereference(type.base, assembly, validator);
+                const base = _dereference(type.base);
                 if (spec.isClassType(base)) {
                     collectClassProps(base, into);
                 }
@@ -493,7 +380,7 @@ function _defaultValidations() {
             return into;
         }
         function checkInterfacePropsImplemented(interfaceFqn, cls, propNames) {
-            const intf = _dereference(interfaceFqn, assembly, validator);
+            const intf = _dereference(interfaceFqn);
             if (!spec.isInterfaceType(intf)) {
                 return;
             }
@@ -634,17 +521,6 @@ function _allTypeReferences(assm) {
         }
     }
 }
-function _dereference(typeRef, assembly, validator) {
-    if (typeof typeRef !== 'string') {
-        typeRef = typeRef.fqn;
-    }
-    const [assm] = typeRef.split('.');
-    if (assembly.name === assm) {
-        return assembly.types?.[typeRef];
-    }
-    const foreignAssm = validator.projectInfo.dependencyClosure.find((dep) => dep.name === assm);
-    return foreignAssm?.types?.[typeRef];
-}
 function _isEmpty(array) {
     return array == null || array.length === 0;
 }

package/lib/validator.js.map

@@ -1 +1 @@
-{"version":3,"file":"validator.js","sourceRoot":"","sources":["../src/validator.ts"],"names":[],"mappings":";;;AAAA,sCAAsC;AACtC,mCAAmC;AACnC,6CAA6C;AAC7C,iCAAiC;AACjC,+BAA+B;AAE/B,uDAAmD;AACnD,mDAAiD;AACjD,4CAA4C;AAO5C,MAAa,SAAS;IAGpB,YAAmC,WAAwB,EAAkB,QAAuB;QAAjE,gBAAW,GAAX,WAAW,CAAa;QAAkB,aAAQ,GAAR,QAAQ,CAAe;IAAG,CAAC;IAEjG,IAAI;QACT,MAAM,WAAW,GAAG,IAAI,KAAK,EAAiB,CAAC;QAC/C,MAAM,YAAY,GAAG,IAAI,KAAK,EAAoB,CAAC;QAEnD,KAAK,MAAM,UAAU,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;YAC/C,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;QAC5G,CAAC;QAED,OAAO;YACL,WAAW,EAAE,WAAW;YACxB,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;YACtF,YAAY;SACb,CAAC;IACJ,CAAC;;AAlBH,8BAmBC;AAlBe,qBAAW,GAAyB,mBAAmB,EAAE,CAAC;AA6B1E,SAAS,mBAAmB;IAC1B,OAAO;QACL,kCAAkC;QAClC,4BAA4B;QAC5B,yCAAyC;QACzC,+CAA+C;QAC/C,0BAA0B;QAC1B,kCAAkC;QAClC,sDAAsD;QACtD,0CAA0C;KAC3C,CAAC;IAEF,SAAS,kCAAkC,CAAC,CAAY,EAAE,QAAuB,EAAE,UAA6B;QAC9G,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,SAAS;YACX,CAAC;YAED,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChD,UAAU,CAAC,gCAAc,CAAC,+BAA+B,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBACnG,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,4BAA4B,CAAC,CAAY,EAAE,QAAuB,EAAE,UAA6B;QACxG,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrD,IAAI,MAAM,CAAC,MAAM,IAAK,MAAwB,CAAC,KAAK,EAAE,CAAC;gBACrD,SAAS;YACX,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3D,UAAU,CAAC,gCAAc,CAAC,6BAA6B,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACjG,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,yCAAyC,CAChD,CAAY,EACZ,QAAuB,EACvB,UAA6B;QAE7B,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAE,MAAwB,CAAC,KAAK,EAAE,CAAC;gBACvD,SAAS;YACX,CAAC;YACD,IACE,MAAM,CAAC,IAAI;gBACX,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC5B,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;gBACxC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EACvC,CAAC;gBACD,UAAU,CAAC,gCAAc,CAAC,6BAA6B,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAClG,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,+CAA+C,CACtD,CAAY,EACZ,QAAuB,EACvB,UAA6B;QAE7B,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAE,MAAsB,CAAC,UAAU,CAAC,EAAE,CAAC;gBACjF,UAAU,CAAC,gCAAc,CAAC,sBAAsB,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3F,CAAC;iBAAM,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAE,MAAsB,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnG,UAAU,CAAC,gCAAc,CAAC,sBAAsB,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3F,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,0BAA0B,CAAC,SAAoB,EAAE,QAAuB,EAAE,UAA6B;QAC9G,KAAK,MAAM,OAAO,IAAI,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACtC,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBAC3B,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC7C,UAAU,CACR,gCAAc,CAAC,uCAAuC,CAAC,MAAM,CAC3D,OAAO,CAAC,IAAK,EAAE,kCAAkC;oBACjD,OAAO,CAAC,GAAG,CACZ,CACF,CAAC;gBACJ,CAAC;gBACD,SAAS;YACX,CAAC;YACD,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YAC7F,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,UAAU,CAAC,gCAAc,CAAC,wBAAwB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzE,SAAS;YACX,CAAC;YACD,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;gBAChD,UAAU,CAAC,gCAAc,CAAC,wBAAwB,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;YAC9E,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,kCAAkC,CACzC,SAAoB,EACpB,QAAuB,EACvB,UAA6B,EAC7B,UAA0B;QAE1B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;oBACxC,uBAAuB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBACxC,CAAC;gBACD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;oBAC7C,yBAAyB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;gBAC5C,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5E,KAAK,MAAM,MAAM,IAAI,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;oBACjE,6BAA6B,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBAC9C,CAAC;gBACD,KAAK,MAAM,QAAQ,IAAI,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;oBACtE,+BAA+B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;gBAClD,CAAC;YACH,CAAC;QACH,CAAC;QAED;;;;;;;;;;;WAWG;QACH,SAAS,mBAAmB,CAC1B,IAAyC,EACzC,MAAsE;YAEtE,MAAM,MAAM,GAAG,IAAI,KAAK,EAAK,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;YAEhC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpB,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;YAED,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxC,+EAA+E;gBAC/E,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;gBAC1D,MAAM,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC/C,KAAK,MAAM,MAAM,IAAI,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;oBACvD,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC3B,SAAS;oBACX,CAAC;oBACD,kEAAkE;oBAClE,kEAAkE;oBAClE,oEAAoE;oBACpE,oEAAoE;oBACpE,sEAAsE;oBACtE,2CAA2C;oBAC3C,MAAM,UAAU,GAAG,EAAE,GAAG,MAAM,EAAE,CAAC;oBACjC,qEAAqE;oBACrE,MAAM,IAAI,GAAG,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;oBAC7C,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;wBACjB,QAAQ,CAAC,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;oBAC5C,CAAC;oBAED,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBACxB,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,SAAS,uBAAuB,CAAC,MAAmB,EAAE,IAAoB;YACxE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACf,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAmB,CAAC;YAChF,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,UAAU,GAAG,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;YAChF,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,OAAO,uBAAuB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YACnD,CAAC;YACD,sBAAsB,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,cAAc,QAAQ,CAAC,GAAG,EAAE,EAAE;gBACrG,yBAAyB,EAAE,IAAI;aAChC,CAAC,CAAC;YACH,MAAM,CAAC,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC;YAChC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,SAAS,yBAAyB,CAAC,QAAuB,EAAE,IAAoB;YAC9E,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACf,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAmB,CAAC;YAChF,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,UAAU,GAAG,CAAC,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC;YACrF,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,OAAO,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACvD,CAAC;YACD,sBAAsB,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,cAAc,QAAQ,CAAC,GAAG,EAAE,EAAE;gBACzG,eAAe,EAAE,IAAI;aACtB,CAAC,CAAC;YACH,QAAQ,CAAC,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC;YAClC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,SAAS,6BAA6B,CAAC,MAAmB,EAAE,IAAyC;YACnG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBACrB,6FAA6F;gBAC7F,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACzD,OAAO,6BAA6B,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAmB,CAAC,CAAC;gBAC/G,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAuB,CAAC;gBACjF,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;gBAClF,IAAI,WAAW,EAAE,CAAC;oBAChB,sBAAsB,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,gBAAgB,SAAS,CAAC,GAAG,EAAE,EAAE;wBACzG,yBAAyB,EAAE,KAAK;qBACjC,CAAC,CAAC;oBACH,0FAA0F;oBAC1F,oDAAoD;oBACpD,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,IAAI,KAAK,CAAC;oBAC7C,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,IAAI,6BAA6B,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;oBACrD,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,SAAS,+BAA+B,CACtC,QAAuB,EACvB,IAAyC;YAEzC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBACrB,6FAA6F;gBAC7F,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACzD,OAAO,+BAA+B,CACpC,QAAQ,EACR,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAmB,CAC/D,CAAC;gBACJ,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAuB,CAAC;gBACjF,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACvF,IAAI,WAAW,EAAE,CAAC;oBAChB,sBAAsB,CACpB,WAAW,EACX,QAAQ,EACR,GAAG,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,EAC9B,gBAAgB,SAAS,CAAC,GAAG,EAAE,EAC/B,EAAE,eAAe,EAAE,KAAK,EAAE,CAC3B,CAAC;oBACF,uFAAuF;oBACvF,yDAAyD;oBACzD,QAAQ,CAAC,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC;oBACzD,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,IAAI,+BAA+B,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;oBACzD,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,SAAS,sBAAsB,CAC7B,QAAqB,EACrB,MAAmB,EACnB,KAAa,EACb,MAAc,EACd,IAEC;YAED,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBAChD,MAAM,aAAa,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAClE,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAChE,UAAU,CACR,gCAAc,CAAC,qCAAqC,CAAC,cAAc,CACjE,KAAK,EACL,MAAM,EACN,aAAa,EACb,aAAa,CACd,CACF,CAAC;YACJ,CAAC;YAED,mEAAmE;YACnE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACjD,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC;gBAC9C,MAAM,kBAAkB,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;gBAElD;gBACE,oCAAoC;gBACpC,IAAI,CAAC,yBAAyB;oBAC9B,kCAAkC;oBAClC,CAAC,MAAM,CAAC,MAAM;oBACd,gFAAgF;oBAChF,0BAA0B,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,EAChE,CAAC;oBACD,UAAU,CAAC,2BAA2B,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,MAAM,OAAO,GAAG,IAAI,CAAC,qBAAqB,CAAC,kBAAkB,CAAC,CAAC;oBAC/D,MAAM,OAAO,GAAG,IAAI,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;oBAC7D,UAAU,CACR,gCAAc,CAAC,sCAAsC,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CACtG,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,cAAc,GAAG,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC;YACjD,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;YAC7C,IAAI,cAAc,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;gBAClD,UAAU,CACR,gCAAc,CAAC,sCAAsC,CAAC,cAAc,CAClE,KAAK,EACL,MAAM,EACN,YAAY,CAAC,MAAM,EACnB,cAAc,CAAC,MAAM,CACtB,CACF,CAAC;gBACF,OAAO;YACT,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;gBACnC,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;gBACjC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7C,UAAU,CACR,gCAAc,CAAC,qCAAqC,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CACvG,CAAC;gBACJ,CAAC;gBACD,4GAA4G;gBAC5G,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;oBAC5C,UAAU,CACR,gCAAc,CAAC,mCAAmC,CAAC,cAAc,CAC/D,KAAK,EACL,MAAM,EACN,QAAQ,CAAC,QAAQ,EACjB,QAAQ,CAAC,QAAQ,CAClB,CACF,CAAC;gBACJ,CAAC;gBACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;oBAC5C,UAAU,CACR,gCAAc,CAAC,yCAAyC,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAC3G,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED;;;;;;WAMG;QACH,SAAS,0BAA0B,CAAC,OAA4B,EAAE,SAA8B;YAC9F,+CAA+C;YAC/C,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,EAAE,CAAC;gBAC1D,OAAO,KAAK,CAAC;YACf,CAAC;YAED,gCAAgC;YAChC,IAAI,SAAS,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC;gBAClC,OAAO,IAAI,CAAC;YACd,CAAC;YAED,uCAAuC;YACvC,IAAI,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;gBACzF,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBACjF,OAAO,0BAA0B,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,EAAE,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;gBACtG,CAAC;gBACD,uEAAuE;gBACvE,0IAA0I;gBAC1I,OAAO,KAAK,CAAC;YACf,CAAC;YAED,mFAAmF;YACnF,gGAAgG;YAChG,IAAI,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC/E,OAAO,KAAK,CAAC;YACf,CAAC;YAED,mFAAmF;YACnF,6CAA6C;YAC7C,IAAI,IAAI,CAAC,2BAA2B,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,2BAA2B,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC7F,OAAO,KAAK,CAAC;YACf,CAAC;YAED,wDAAwD;YACxD,IAAI,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,wBAAwB,CAAC,SAAS,CAAC,EAAE,CAAC;gBACvF,OAAO,KAAK,CAAC;YACf,CAAC;YAED,gFAAgF;YAChF,qDAAqD;YACrD,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;gBACjF,OAAO,KAAK,CAAC;YACf,CAAC;YAED,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YACnE,MAAM,aAAa,GAAG,YAAY,CAAC,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAEvE,IAAI,CAAC,WAAW,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnC,OAAO,KAAK,CAAC;YACf,CAAC;YAED,oCAAoC;YACpC,IAAI,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,aAAa,CAAC,EAAE,CAAC;gBACrE,OAAO,kBAAkB,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;YACxD,CAAC;YAED,4CAA4C;YAC5C,IAAI,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC7E,OAAO,0BAA0B,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;YAChE,CAAC;YAED,sCAAsC;YACtC,IAAI,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,aAAa,CAAC,EAAE,CAAC;gBACzE,OAAO,yBAAyB,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,CAAC,CAAC;YAC/D,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;QAED,SAAS,kBAAkB,CAAC,SAAyB,EAAE,SAAiB;YACtE,IAAI,OAAO,GAAG,SAAS,CAAC;YACxB,OAAO,OAAO,CAAC,IAAI,EAAE,CAAC;gBACpB,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC/B,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;gBACjE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAChC,MAAM;gBACR,CAAC;gBACD,OAAO,GAAG,QAAQ,CAAC;YACrB,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,SAAS,yBAAyB,CAAC,SAAyB,EAAE,YAAoB;YAChF,0BAA0B;YAC1B,IAAI,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;gBACjD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,6BAA6B;YAC7B,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;gBACzB,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;oBACzC,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;oBAC3D,IAAI,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,0BAA0B,CAAC,SAAS,EAAE,YAAY,CAAC,EAAE,CAAC;wBAC3F,OAAO,IAAI,CAAC;oBACd,CAAC;gBACH,CAAC;YACH,CAAC;YAED,8BAA8B;YAC9B,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;gBACnB,MAAM,QAAQ,GAAG,YAAY,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;gBACnE,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;oBAC/B,OAAO,yBAAyB,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;gBAC3D,CAAC;YACH,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;QAED,SAAS,0BAA0B,CAAC,aAAiC,EAAE,SAAiB;YACtF,IAAI,aAAa,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;gBACpC,OAAO,IAAI,CAAC;YACd,CAAC;YAED,IAAI,aAAa,CAAC,UAAU,EAAE,CAAC;gBAC7B,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,UAAU,EAAE,CAAC;oBAC7C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;wBACxB,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;oBAC3D,IAAI,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,0BAA0B,CAAC,SAAS,EAAE,SAAS,CAAC,EAAE,CAAC;wBACxF,OAAO,IAAI,CAAC;oBACd,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,KAAK,CAAC;QACf,CAAC;QAED,SAAS,sBAAsB,CAC7B,QAAuB,EACvB,MAAqB,EACrB,KAAa,EACb,MAAc,EACd,IAEC;YAED,MAAM,UAAU,GAAG,QAAQ,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;YAC3D,MAAM,YAAY,GAAG,QAAQ,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;YAC/D,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBAChD,MAAM,aAAa,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAClE,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAChE,UAAU,CACR,gCAAc,CAAC,qCAAqC,CAAC,MAAM,CACzD,UAAU,EAAE,SAAS,EAAE,IAAI,CACzB,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CACjG,IAAI,eAAe,CAAC,UAAU,CAAC,EAChC,KAAK,EACL,MAAM,EACN,aAAa,EACb,aAAa,CACd,CAAC,0BAA0B,CAC1B,YAAY,EAAE,SAAS,EAAE,IAAI,CAC3B,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CACjG,IAAI,eAAe,CAAC,YAAY,CAAC,EAClC,sCAAsC,CACvC,CACF,CAAC;YACJ,CAAC;YAED,mEAAmE;YACnE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3C;gBACE,oCAAoC;gBACpC,IAAI,CAAC,eAAe;oBACpB,kCAAkC;oBAClC,CAAC,MAAM,CAAC,MAAM;oBACd,8EAA8E;oBAC9E,MAAM,CAAC,SAAS;oBAChB,0BAA0B,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EACtD,CAAC;oBACD,UAAU,CAAC,2BAA2B,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,UAAU,CACR,gCAAc,CAAC,oCAAoC,CAAC,MAAM,CACxD,UAAU,EAAE,IAAI,IAAI,eAAe,CAAC,UAAU,CAAC,EAC/C,KAAK,EACL,MAAM,EACN,MAAM,CAAC,IAAI,EACX,QAAQ,CAAC,IAAI,CACd,CAAC,0BAA0B,CAC1B,YAAY,EAAE,IAAI,IAAI,eAAe,CAAC,YAAY,CAAC,EACnD,sCAAsC,CACvC,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,IAAI,QAAQ,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;gBAC5C,UAAU,CACR,gCAAc,CAAC,qCAAqC,CAAC,MAAM,CACzD,UAAU,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC;oBAC9E,eAAe,CAAC,UAAU,CAAC,EAC7B,KAAK,EACL,MAAM,EACN,MAAM,CAAC,SAAS,EAChB,QAAQ,CAAC,SAAS,CACnB,CAAC,0BAA0B,CAC1B,YAAY,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC;oBAChF,eAAe,CAAC,YAAY,CAAC,EAC/B,sCAAsC,CACvC,CACF,CAAC;YACJ,CAAC;YACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC;gBAC1C,UAAU,CACR,gCAAc,CAAC,wCAAwC,CAAC,MAAM,CAC5D,UAAU,EAAE,aAAa,IAAI,UAAU,EAAE,IAAI,IAAI,eAAe,CAAC,UAAU,CAAC,EAC5E,KAAK,EACL,MAAM,EACN,MAAM,CAAC,QAAQ,EACf,QAAQ,CAAC,QAAQ,CAClB,CAAC,0BAA0B,CAC1B,YAAY,EAAE,aAAa,IAAI,YAAY,EAAE,IAAI,IAAI,eAAe,CAAC,YAAY,CAAC,EAClF,sCAAsC,CACvC,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;;;;;OAUG;IACH,SAAS,0CAA0C,CACjD,SAAoB,EACpB,QAAuB,EACvB,UAA6B;QAE7B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC9C,SAAS;YACX,CAAC;YAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YAEtD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBAC5C,8BAA8B,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QAED;;WAEG;QACH,SAAS,iBAAiB,CAAC,IAAoB,EAAE,IAAiB;YAChE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBACzC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC;YAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;gBAC1D,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3B,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC;QAED,SAAS,8BAA8B,CAAC,YAAoB,EAAE,GAAmB,EAAE,SAAsB;YACvG,MAAM,IAAI,GAAG,YAAY,CAAC,YAAY,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,OAAO;YACT,CAAC;YAED,2EAA2E;YAC3E,6DAA6D;YAC7D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBACzC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACnB,SAAS;gBACX,CAAC;gBAED,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,UAAU,CACR,gCAAc,CAAC,0CAA0C,CAAC,MAAM,CAC9D,QAAQ,CAAC,8BAA8B,CAAC,GAAG,CAAC,EAC5C,IAAI,EACJ,GAAG,EACH,IAAI,CAAC,IAAI,CACV,CAAC,0BAA0B,CAAC,QAAQ,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,sCAAsC,CAAC,CAC5G,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBAC3C,8BAA8B,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,sDAAsD,CAC7D,CAAY,EACZ,QAAuB,EACvB,UAA6B;QAE7B,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;YAC7D,IAAI,UAAU,CAAC,SAAS,IAAI,IAAI,EAAE,CAAC;gBACjC,SAAS;YACX,CAAC;YACD,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC,CAAC;YAChF,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;gBACxB,SAAS;YACX,CAAC;YACD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACpD,KAAK,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC1D,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;oBAC5B,IAAI,IAAI,GAAG,gCAAc,CAAC,kDAAkD,CAAC,MAAM,CACjF,IAAA,8BAAc,EAAC,MAAM,CAAE,EACvB,WAAW,EACX,MAAM,EACN,UAAU,CACX,CAAC;oBACF,MAAM,cAAc,GAAG,IAAA,8BAAc,EAAC,UAAU,CAAC,CAAC;oBAClD,IAAI,cAAc,IAAI,IAAI,EAAE,CAAC;wBAC3B,IAAI,GAAG,IAAI,CAAC,qBAAqB,CAAC,cAAc,EAAE,iDAAiD,CAAC,CAAC;oBACvG,CAAC;oBACD,UAAU,CAAC,IAAI,CAAC,CAAC;gBACnB,CAAC;YACH,CAAC;QACH,CAAC;QAED,SAAS,aAAa,CAAC,IAAe;YACpC,IAAI,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;oBAC1D,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;iBAC1D,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;YAClE,CAAC;YACD,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,IAAmB;IACpC,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,WAAW,CAAC,IAAmB;IACtC,MAAM,OAAO,GAAG,IAAI,KAAK,EAA4C,CAAC;IACtE,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAClB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,cAAc,CAAC,IAAmB;IACzC,MAAM,UAAU,GAAG,IAAI,KAAK,EAA8C,CAAC;IAC3E,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU;YAAE,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,WAAW,CAAC,IAAmB;IACtC,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;AACzD,CAAC;AAMD,SAAS,kBAAkB,CAAC,IAAmB;IAC7C,MAAM,cAAc,GAAG,IAAI,KAAK,EAA0B,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,cAAc,CAAC,IAAI,CAAC;oBAClB,GAAG,EAAE,IAAI,CAAC,IAAI;oBACd,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;iBAC/F,CAAC,CAAC;YACL,CAAC;YACD,IAAI,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;gBACjC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;oBAChD,sBAAsB,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;gBACpF,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,QAAQ,CAAC,8BAA8B,CAAC,IAAI,CAAC,CAAC;YAC3D,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,cAAc,CAAC,IAAI,CAAC;oBAClB,GAAG,EAAE,KAAK;oBACV,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,CAC/B,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,KAAK;wBACR,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAChG;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACjF,CAAC;IACD,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;QACvF,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YAC1C,sBAAsB,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,OAAO,cAAc,CAAC;IAEtB,SAAS,sBAAsB,CAAC,IAAwB,EAAE,IAAyB;QACjF,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACzC,CAAC;aAAM,IAAI,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAC5D,CAAC;aAAM,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK;gBAAE,sBAAsB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CACnB,OAAyC,EACzC,QAAuB,EACvB,SAAoB;IAEpB,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC;IACxB,CAAC;IACD,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClC,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QAC3B,OAAO,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC7F,OAAO,WAAW,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,QAAQ,CAAC,KAAwB;IACxC,OAAO,KAAK,IAAI,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;AAC7C,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,CAAS;IAC/B,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,eAAe,CAAC,IAAgD;IACvE,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QACjB,gGAAgG;QAChG,OAAO,IAAW,CAAC;IACrB,CAAC;IACD,OAAO,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;AAC/C,CAAC","sourcesContent":["import * as assert from 'node:assert';\nimport * as spec from '@jsii/spec';\nimport * as deepEqual from 'fast-deep-equal';\nimport * as ts from 'typescript';\nimport * as Case from './case';\nimport { Emitter } from './emitter';\nimport { JsiiDiagnostic } from './jsii-diagnostic';\nimport { getRelatedNode } from './node-bindings';\nimport * as bindings from './node-bindings';\nimport { ProjectInfo } from './project-info';\n\nexport interface ValidationResult extends ts.EmitResult {\n  readonly usedFeatures?: spec.JsiiFeature[];\n}\n\nexport class Validator implements Emitter {\n  public static VALIDATIONS: ValidationFunction[] = _defaultValidations();\n\n  public constructor(public readonly projectInfo: ProjectInfo, public readonly assembly: spec.Assembly) {}\n\n  public emit(): ValidationResult {\n    const diagnostics = new Array<ts.Diagnostic>();\n    const usedFeatures = new Array<spec.JsiiFeature>();\n\n    for (const validation of Validator.VALIDATIONS) {\n      validation(this, this.assembly, diagnostics.push.bind(diagnostics), usedFeatures.push.bind(usedFeatures));\n    }\n\n    return {\n      diagnostics: diagnostics,\n      emitSkipped: diagnostics.some((diag) => diag.category === ts.DiagnosticCategory.Error),\n      usedFeatures,\n    };\n  }\n}\n\nexport type DiagnosticEmitter = (diag: JsiiDiagnostic) => void;\nexport type FeatureTracker = (feat: spec.JsiiFeature) => void;\nexport type ValidationFunction = (\n  validator: Validator,\n  assembly: spec.Assembly,\n  diagnostic: DiagnosticEmitter,\n  useFeatures: FeatureTracker,\n) => void;\n\nfunction _defaultValidations(): ValidationFunction[] {\n  return [\n    _enumMembersMustUserUpperSnakeCase,\n    _memberNamesMustUseCamelCase,\n    _staticConstantNamesMustUseUpperSnakeCase,\n    _memberNamesMustNotLookLikeJavaGettersOrSetters,\n    _allTypeReferencesAreValid,\n    _inheritanceDoesNotChangeContracts,\n    _staticMembersAndNestedTypesMustNotSharePascalCaseName,\n    _abstractClassesMustImplementAllProperties,\n  ];\n\n  function _enumMembersMustUserUpperSnakeCase(_: Validator, assembly: spec.Assembly, diagnostic: DiagnosticEmitter) {\n    for (const type of _allTypes(assembly)) {\n      if (!spec.isEnumType(type)) {\n        continue;\n      }\n\n      for (const member of type.members) {\n        if (member.name && !isConstantCase(member.name)) {\n          diagnostic(JsiiDiagnostic.JSII_8001_ALL_CAPS_ENUM_MEMBERS.createDetached(member.name, type.fqn));\n        }\n      }\n    }\n  }\n\n  function _memberNamesMustUseCamelCase(_: Validator, assembly: spec.Assembly, diagnostic: DiagnosticEmitter) {\n    for (const { member, type } of _allMembers(assembly)) {\n      if (member.static && (member as spec.Property).const) {\n        continue;\n      }\n      if (member.name && member.name !== Case.camel(member.name)) {\n        diagnostic(JsiiDiagnostic.JSII_8002_CAMEL_CASED_MEMBERS.createDetached(member.name, type.fqn));\n      }\n    }\n  }\n\n  function _staticConstantNamesMustUseUpperSnakeCase(\n    _: Validator,\n    assembly: spec.Assembly,\n    diagnostic: DiagnosticEmitter,\n  ) {\n    for (const { member, type } of _allMembers(assembly)) {\n      if (!member.static || !(member as spec.Property).const) {\n        continue;\n      }\n      if (\n        member.name &&\n        !isConstantCase(member.name) &&\n        member.name !== Case.pascal(member.name) &&\n        member.name !== Case.camel(member.name)\n      ) {\n        diagnostic(JsiiDiagnostic.JSII_8003_STATIC_CONST_CASING.createDetached(member.name, type.name));\n      }\n    }\n  }\n\n  function _memberNamesMustNotLookLikeJavaGettersOrSetters(\n    _: Validator,\n    assembly: spec.Assembly,\n    diagnostic: DiagnosticEmitter,\n  ) {\n    for (const { member, type } of _allMembers(assembly)) {\n      if (!member.name) {\n        continue;\n      }\n      const snakeName = Case.snake(member.name);\n      if (snakeName.startsWith('get_') && _isEmpty((member as spec.Method).parameters)) {\n        diagnostic(JsiiDiagnostic.JSII_5000_JAVA_GETTERS.createDetached(member.name, type.name));\n      } else if (snakeName.startsWith('set_') && ((member as spec.Method).parameters ?? []).length === 1) {\n        diagnostic(JsiiDiagnostic.JSII_5001_JAVA_SETTERS.createDetached(member.name, type.name));\n      }\n    }\n  }\n\n  function _allTypeReferencesAreValid(validator: Validator, assembly: spec.Assembly, diagnostic: DiagnosticEmitter) {\n    for (const typeRef of _allTypeReferences(assembly)) {\n      const [assm] = typeRef.fqn.split('.');\n      if (assembly.name === assm) {\n        if (!(typeRef.fqn in (assembly.types ?? {}))) {\n          diagnostic(\n            JsiiDiagnostic.JSII_3000_EXPORTED_API_USES_HIDDEN_TYPE.create(\n              typeRef.node!, // Pretend there is always a value\n              typeRef.fqn,\n            ),\n          );\n        }\n        continue;\n      }\n      const foreignAssm = validator.projectInfo.dependencyClosure.find((dep) => dep.name === assm);\n      if (!foreignAssm) {\n        diagnostic(JsiiDiagnostic.JSII_9000_UNKNOWN_MODULE.createDetached(assm));\n        continue;\n      }\n      if (!(typeRef.fqn in (foreignAssm.types ?? {}))) {\n        diagnostic(JsiiDiagnostic.JSII_9001_TYPE_NOT_FOUND.createDetached(typeRef));\n      }\n    }\n  }\n\n  function _inheritanceDoesNotChangeContracts(\n    validator: Validator,\n    assembly: spec.Assembly,\n    diagnostic: DiagnosticEmitter,\n    useFeature: FeatureTracker,\n  ) {\n    for (const type of _allTypes(assembly)) {\n      if (spec.isClassType(type)) {\n        for (const method of type.methods ?? []) {\n          _validateMethodOverride(method, type);\n        }\n        for (const property of type.properties ?? []) {\n          _validatePropertyOverride(property, type);\n        }\n      }\n      if (spec.isClassOrInterfaceType(type) && (type.interfaces?.length ?? 0) > 0) {\n        for (const method of _allImplementations(type, (t) => t.methods)) {\n          _validateMethodImplementation(method, type);\n        }\n        for (const property of _allImplementations(type, (t) => t.properties)) {\n          _validatePropertyImplementation(property, type);\n        }\n      }\n    }\n\n    /**\n     * Lists all \"implementations\" from the given type, using the provided\n     * implementation getter. Note that abstract members may be part of the\n     * result (in particular, if `type` is an interface type, or if it's an\n     * abstract class with unimplemented members) -- I just couldn't come up\n     * with a name that actually describes this.\n     *\n     * @param type   the type which implemented members are needed.\n     * @param getter the getter to obtain methods or properties from the type.\n     *\n     * @returns a list of members (possibly empty, always defined)\n     */\n    function _allImplementations<T extends spec.Property | spec.Method>(\n      type: spec.ClassType | spec.InterfaceType,\n      getter: (type: spec.ClassType | spec.InterfaceType) => T[] | undefined,\n    ): T[] {\n      const result = new Array<T>();\n      const known = new Set<string>();\n\n      for (const member of getter(type) ?? []) {\n        result.push(member);\n        known.add(member.name);\n      }\n\n      if (spec.isClassType(type) && type.base) {\n        // We have a parent class, collect their concrete members, too (recursively)...\n        const base = _dereference(type.base, assembly, validator);\n        assert(base != null && spec.isClassType(base));\n        for (const member of _allImplementations(base, getter)) {\n          if (known.has(member.name)) {\n            continue;\n          }\n          // The member is copied, so that its `overrides` property won't be\n          // altered, since this member is \"borrowed\" from a parent type. We\n          // only check it, but should not record `overrides` relationships to\n          // it as those could be invalid per the parent type (i.e: the parent\n          // member may not be able to implement an interface, if that type does\n          // not actually declare implementing that).\n          const memberCopy = { ...member };\n          // Forward the related node if there's one, so diagnostics are bound.\n          const node = bindings.getRelatedNode(member);\n          if (node != null) {\n            bindings.setRelatedNode(memberCopy, node);\n          }\n\n          result.push(memberCopy);\n          known.add(member.name);\n        }\n      }\n\n      return result;\n    }\n\n    function _validateMethodOverride(method: spec.Method, type: spec.ClassType): boolean {\n      if (!type.base) {\n        return false;\n      }\n      const baseType = _dereference(type.base, assembly, validator) as spec.ClassType;\n      if (!baseType) {\n        return false;\n      }\n      const overridden = (baseType.methods ?? []).find((m) => m.name === method.name);\n      if (!overridden) {\n        return _validateMethodOverride(method, baseType);\n      }\n      _assertSignaturesMatch(overridden, method, `${type.fqn}#${method.name}`, `overriding ${baseType.fqn}`, {\n        allowReturnTypeCovariance: true,\n      });\n      method.overrides = baseType.fqn;\n      return true;\n    }\n\n    function _validatePropertyOverride(property: spec.Property, type: spec.ClassType): boolean {\n      if (!type.base) {\n        return false;\n      }\n      const baseType = _dereference(type.base, assembly, validator) as spec.ClassType;\n      if (!baseType) {\n        return false;\n      }\n      const overridden = (baseType.properties ?? []).find((p) => p.name === property.name);\n      if (!overridden) {\n        return _validatePropertyOverride(property, baseType);\n      }\n      _assertPropertiesMatch(overridden, property, `${type.fqn}#${property.name}`, `overriding ${baseType.fqn}`, {\n        allowCovariance: true,\n      });\n      property.overrides = baseType.fqn;\n      return true;\n    }\n\n    function _validateMethodImplementation(method: spec.Method, type: spec.ClassType | spec.InterfaceType): boolean {\n      if (!type.interfaces) {\n        // Abstract classes may not directly implement all members, need to check their supertypes...\n        if (spec.isClassType(type) && type.base && type.abstract) {\n          return _validateMethodImplementation(method, _dereference(type.base, assembly, validator) as spec.ClassType);\n        }\n        return false;\n      }\n      for (const iface of type.interfaces) {\n        const ifaceType = _dereference(iface, assembly, validator) as spec.InterfaceType;\n        const implemented = (ifaceType.methods ?? []).find((m) => m.name === method.name);\n        if (implemented) {\n          _assertSignaturesMatch(implemented, method, `${type.fqn}#${method.name}`, `implementing ${ifaceType.fqn}`, {\n            allowReturnTypeCovariance: false,\n          });\n          // We won't replace a previous overrides declaration from a method override, as those have\n          // higher precedence than an initial implementation.\n          method.overrides = method.overrides ?? iface;\n          return true;\n        }\n        if (_validateMethodImplementation(method, ifaceType)) {\n          return true;\n        }\n      }\n      return false;\n    }\n\n    function _validatePropertyImplementation(\n      property: spec.Property,\n      type: spec.ClassType | spec.InterfaceType,\n    ): boolean {\n      if (!type.interfaces) {\n        // Abstract classes may not directly implement all members, need to check their supertypes...\n        if (spec.isClassType(type) && type.base && type.abstract) {\n          return _validatePropertyImplementation(\n            property,\n            _dereference(type.base, assembly, validator) as spec.ClassType,\n          );\n        }\n        return false;\n      }\n      for (const iface of type.interfaces) {\n        const ifaceType = _dereference(iface, assembly, validator) as spec.InterfaceType;\n        const implemented = (ifaceType.properties ?? []).find((p) => p.name === property.name);\n        if (implemented) {\n          _assertPropertiesMatch(\n            implemented,\n            property,\n            `${type.fqn}#${property.name}`,\n            `implementing ${ifaceType.fqn}`,\n            { allowCovariance: false },\n          );\n          // We won't replace a previous overrides declaration from a property override, as those\n          // have higher precedence than an initial implementation.\n          property.overrides = property.overrides ?? ifaceType.fqn;\n          return true;\n        }\n        if (_validatePropertyImplementation(property, ifaceType)) {\n          return true;\n        }\n      }\n      return false;\n    }\n\n    function _assertSignaturesMatch(\n      expected: spec.Method,\n      actual: spec.Method,\n      label: string,\n      action: string,\n      opts: {\n        allowReturnTypeCovariance: boolean;\n      },\n    ) {\n      if (!!expected.protected !== !!actual.protected) {\n        const expVisibility = expected.protected ? 'protected' : 'public';\n        const actVisibility = actual.protected ? 'protected' : 'public';\n        diagnostic(\n          JsiiDiagnostic.JSII_5002_OVERRIDE_CHANGES_VISIBILITY.createDetached(\n            label,\n            action,\n            actVisibility,\n            expVisibility,\n          ),\n        );\n      }\n\n      // Types must generally be the same, but can be covariant sometimes\n      if (!deepEqual(actual.returns, expected.returns)) {\n        const actualReturnType = actual.returns?.type;\n        const expectedReturnType = expected.returns?.type;\n\n        if (\n          // return type covariance is allowed\n          opts.allowReturnTypeCovariance &&\n          // static members can never change\n          !actual.static &&\n          // this is a valid covariant return type (actual is more specific than expected)\n          _isAllowedCovariantSubtype(actualReturnType, expectedReturnType)\n        ) {\n          useFeature('class-covariant-overrides');\n        } else {\n          const expType = spec.describeTypeReference(expectedReturnType);\n          const actType = spec.describeTypeReference(actualReturnType);\n          diagnostic(\n            JsiiDiagnostic.JSII_5003_OVERRIDE_CHANGES_RETURN_TYPE.createDetached(label, action, actType, expType),\n          );\n        }\n      }\n      const expectedParams = expected.parameters ?? [];\n      const actualParams = actual.parameters ?? [];\n      if (expectedParams.length !== actualParams.length) {\n        diagnostic(\n          JsiiDiagnostic.JSII_5005_OVERRIDE_CHANGES_PARAM_COUNT.createDetached(\n            label,\n            action,\n            actualParams.length,\n            expectedParams.length,\n          ),\n        );\n        return;\n      }\n      for (let i = 0; i < expectedParams.length; i++) {\n        const expParam = expectedParams[i];\n        const actParam = actualParams[i];\n        if (!deepEqual(expParam.type, actParam.type)) {\n          diagnostic(\n            JsiiDiagnostic.JSII_5006_OVERRIDE_CHANGES_PARAM_TYPE.createDetached(label, action, actParam, expParam),\n          );\n        }\n        // Not-ing those to force the values to a strictly boolean context (they're optional, undefined means false)\n        if (expParam.variadic !== actParam.variadic) {\n          diagnostic(\n            JsiiDiagnostic.JSII_5007_OVERRIDE_CHANGES_VARIADIC.createDetached(\n              label,\n              action,\n              actParam.variadic,\n              expParam.variadic,\n            ),\n          );\n        }\n        if (expParam.optional !== actParam.optional) {\n          diagnostic(\n            JsiiDiagnostic.JSII_5008_OVERRIDE_CHANGES_PARAM_OPTIONAL.createDetached(label, action, actParam, expParam),\n          );\n        }\n      }\n    }\n\n    /**\n     * Check if subType is an allowed covariant subtype to superType\n     *\n     * This is not a generic check for subtypes or covariance, but a specific implementation\n     * that checks the currently allowed conditions for class covariance.\n     * In practice, this is driven by C# limitations.\n     */\n    function _isAllowedCovariantSubtype(subType?: spec.TypeReference, superType?: spec.TypeReference): boolean {\n      // one void, while other isn't => not covariant\n      if ((subType === undefined) !== (superType === undefined)) {\n        return false;\n      }\n\n      // Same type is always covariant\n      if (deepEqual(subType, superType)) {\n        return true;\n      }\n\n      // Handle array collections (covariant)\n      if (spec.isCollectionTypeReference(subType) && spec.isCollectionTypeReference(superType)) {\n        if (subType.collection.kind === 'array' && superType.collection.kind === 'array') {\n          return _isAllowedCovariantSubtype(subType.collection.elementtype, superType.collection.elementtype);\n        }\n        // Maps are not allowed to be covariant in C#, so we exclude them here.\n        // This seems to be because we use C# Dictionary to implements Maps, which are using generics and generics are not allowed to be covariant\n        return false;\n      }\n\n      // Union types are currently not allowed, because we have not seen the need for it.\n      // Technically narrowing (removing `| Type` or subtyping) could be allowed and this works in C#.\n      if (spec.isUnionTypeReference(subType) || spec.isUnionTypeReference(superType)) {\n        return false;\n      }\n\n      // Intersection types are invalid, because intersections are only allowed as inputs\n      // and covariance is only allowed in outputs.\n      if (spec.isIntersectionTypeReference(subType) || spec.isIntersectionTypeReference(superType)) {\n        return false;\n      }\n\n      // Primitives can never be covariant to each other in C#\n      if (spec.isPrimitiveTypeReference(subType) || spec.isPrimitiveTypeReference(superType)) {\n        return false;\n      }\n\n      // We really only support covariance for named types (and lists of named types).\n      // To be safe, let's guard against any unknown cases.\n      if (!spec.isNamedTypeReference(subType) || !spec.isNamedTypeReference(superType)) {\n        return false;\n      }\n\n      const subTypeSpec = _dereference(subType.fqn, assembly, validator);\n      const superTypeSpec = _dereference(superType.fqn, assembly, validator);\n\n      if (!subTypeSpec || !superTypeSpec) {\n        return false;\n      }\n\n      // Handle class-to-class inheritance\n      if (spec.isClassType(subTypeSpec) && spec.isClassType(superTypeSpec)) {\n        return _classExtendsClass(subTypeSpec, superType.fqn);\n      }\n\n      // Handle interface-to-interface inheritance\n      if (spec.isInterfaceType(subTypeSpec) && spec.isInterfaceType(superTypeSpec)) {\n        return _interfaceExtendsInterface(subTypeSpec, superType.fqn);\n      }\n\n      // Handle class implementing interface\n      if (spec.isClassType(subTypeSpec) && spec.isInterfaceType(superTypeSpec)) {\n        return _classImplementsInterface(subTypeSpec, superType.fqn);\n      }\n\n      return false;\n    }\n\n    function _classExtendsClass(classType: spec.ClassType, targetFqn: string): boolean {\n      let current = classType;\n      while (current.base) {\n        if (current.base === targetFqn) {\n          return true;\n        }\n        const baseType = _dereference(current.base, assembly, validator);\n        if (!spec.isClassType(baseType)) {\n          break;\n        }\n        current = baseType;\n      }\n      return false;\n    }\n\n    function _classImplementsInterface(classType: spec.ClassType, interfaceFqn: string): boolean {\n      // Check direct interfaces\n      if (classType.interfaces?.includes(interfaceFqn)) {\n        return true;\n      }\n\n      // Check inherited interfaces\n      if (classType.interfaces) {\n        for (const iface of classType.interfaces) {\n          const ifaceType = _dereference(iface, assembly, validator);\n          if (spec.isInterfaceType(ifaceType) && _interfaceExtendsInterface(ifaceType, interfaceFqn)) {\n            return true;\n          }\n        }\n      }\n\n      // Check base class interfaces\n      if (classType.base) {\n        const baseType = _dereference(classType.base, assembly, validator);\n        if (spec.isClassType(baseType)) {\n          return _classImplementsInterface(baseType, interfaceFqn);\n        }\n      }\n\n      return false;\n    }\n\n    function _interfaceExtendsInterface(interfaceType: spec.InterfaceType, targetFqn: string): boolean {\n      if (interfaceType.fqn === targetFqn) {\n        return true;\n      }\n\n      if (interfaceType.interfaces) {\n        for (const iface of interfaceType.interfaces) {\n          if (iface === targetFqn) {\n            return true;\n          }\n          const ifaceType = _dereference(iface, assembly, validator);\n          if (spec.isInterfaceType(ifaceType) && _interfaceExtendsInterface(ifaceType, targetFqn)) {\n            return true;\n          }\n        }\n      }\n\n      return false;\n    }\n\n    function _assertPropertiesMatch(\n      expected: spec.Property,\n      actual: spec.Property,\n      label: string,\n      action: string,\n      opts: {\n        allowCovariance: boolean;\n      },\n    ) {\n      const actualNode = bindings.getPropertyRelatedNode(actual);\n      const expectedNode = bindings.getPropertyRelatedNode(expected);\n      if (!!expected.protected !== !!actual.protected) {\n        const expVisibility = expected.protected ? 'protected' : 'public';\n        const actVisibility = actual.protected ? 'protected' : 'public';\n        diagnostic(\n          JsiiDiagnostic.JSII_5002_OVERRIDE_CHANGES_VISIBILITY.create(\n            actualNode?.modifiers?.find(\n              (mod) => mod.kind === ts.SyntaxKind.PublicKeyword || mod.kind === ts.SyntaxKind.ProtectedKeyword,\n            ) ?? declarationName(actualNode),\n            label,\n            action,\n            actVisibility,\n            expVisibility,\n          ).maybeAddRelatedInformation(\n            expectedNode?.modifiers?.find(\n              (mod) => mod.kind === ts.SyntaxKind.PublicKeyword || mod.kind === ts.SyntaxKind.ProtectedKeyword,\n            ) ?? declarationName(expectedNode),\n            'The implemented declaration is here.',\n          ),\n        );\n      }\n\n      // Types must generally be the same, but can be covariant sometimes\n      if (!deepEqual(actual.type, expected.type)) {\n        if (\n          // return type covariance is allowed\n          opts.allowCovariance &&\n          // static members can never change\n          !actual.static &&\n          // immutable properties may change in some case, as long as they are covariant\n          actual.immutable &&\n          _isAllowedCovariantSubtype(actual.type, expected.type)\n        ) {\n          useFeature('class-covariant-overrides');\n        } else {\n          diagnostic(\n            JsiiDiagnostic.JSII_5004_OVERRIDE_CHANGES_PROP_TYPE.create(\n              actualNode?.type ?? declarationName(actualNode),\n              label,\n              action,\n              actual.type,\n              expected.type,\n            ).maybeAddRelatedInformation(\n              expectedNode?.type ?? declarationName(expectedNode),\n              'The implemented declaration is here.',\n            ),\n          );\n        }\n      }\n      if (expected.immutable !== actual.immutable) {\n        diagnostic(\n          JsiiDiagnostic.JSII_5010_OVERRIDE_CHANGES_MUTABILITY.create(\n            actualNode?.modifiers?.find((mod) => mod.kind === ts.SyntaxKind.ReadonlyKeyword) ??\n              declarationName(actualNode),\n            label,\n            action,\n            actual.immutable,\n            expected.immutable,\n          ).maybeAddRelatedInformation(\n            expectedNode?.modifiers?.find((mod) => mod.kind === ts.SyntaxKind.ReadonlyKeyword) ??\n              declarationName(expectedNode),\n            'The implemented declaration is here.',\n          ),\n        );\n      }\n      if (expected.optional !== actual.optional) {\n        diagnostic(\n          JsiiDiagnostic.JSII_5009_OVERRIDE_CHANGES_PROP_OPTIONAL.create(\n            actualNode?.questionToken ?? actualNode?.type ?? declarationName(actualNode),\n            label,\n            action,\n            actual.optional,\n            expected.optional,\n          ).maybeAddRelatedInformation(\n            expectedNode?.questionToken ?? expectedNode?.type ?? declarationName(expectedNode),\n            'The implemented declaration is here.',\n          ),\n        );\n      }\n    }\n  }\n\n  /**\n   * Abstract classes that implement an interface should have a declaration for every member.\n   *\n   * For non-optional members, TypeScript already enforces this. This leaves the user the\n   * ability to forget optional properties (`readonly prop?: string`).\n   *\n   * At least our codegen for this case fails in C#, and I'm not convinced it does the right\n   * thing in Java either. So we will disallow this, and require users to declare these\n   * fields on the class. It can always be `public abstract readonly prop?: string` if they\n   * don't want to give an implementation yet.\n   */\n  function _abstractClassesMustImplementAllProperties(\n    validator: Validator,\n    assembly: spec.Assembly,\n    diagnostic: DiagnosticEmitter,\n  ) {\n    for (const type of _allTypes(assembly)) {\n      if (!spec.isClassType(type) || !type.abstract) {\n        continue;\n      }\n\n      const classProps = collectClassProps(type, new Set());\n\n      for (const implFqn of type.interfaces ?? []) {\n        checkInterfacePropsImplemented(implFqn, type, classProps);\n      }\n    }\n\n    /**\n     * Return all property names declared on this class and its base classes\n     */\n    function collectClassProps(type: spec.ClassType, into: Set<string>): Set<string> {\n      for (const prop of type.properties ?? []) {\n        into.add(prop.name);\n      }\n\n      if (type.base) {\n        const base = _dereference(type.base, assembly, validator);\n        if (spec.isClassType(base)) {\n          collectClassProps(base, into);\n        }\n      }\n\n      return into;\n    }\n\n    function checkInterfacePropsImplemented(interfaceFqn: string, cls: spec.ClassType, propNames: Set<string>) {\n      const intf = _dereference(interfaceFqn, assembly, validator);\n      if (!spec.isInterfaceType(intf)) {\n        return;\n      }\n\n      // We only have to check for optional properties, because anything required\n      // would have been caught by the TypeScript compiler already.\n      for (const prop of intf.properties ?? []) {\n        if (!prop.optional) {\n          continue;\n        }\n\n        if (!propNames.has(prop.name)) {\n          diagnostic(\n            JsiiDiagnostic.JSII_5021_ABSTRACT_CLASS_MISSING_PROP_IMPL.create(\n              bindings.getClassOrInterfaceRelatedNode(cls),\n              intf,\n              cls,\n              prop.name,\n            ).maybeAddRelatedInformation(bindings.getPropertyRelatedNode(prop), 'The implemented declaration is here.'),\n          );\n        }\n      }\n\n      for (const extFqn of intf.interfaces ?? []) {\n        checkInterfacePropsImplemented(extFqn, cls, propNames);\n      }\n    }\n  }\n\n  function _staticMembersAndNestedTypesMustNotSharePascalCaseName(\n    _: Validator,\n    assembly: spec.Assembly,\n    diagnostic: DiagnosticEmitter,\n  ) {\n    for (const nestedType of Object.values(assembly.types ?? {})) {\n      if (nestedType.namespace == null) {\n        continue;\n      }\n      const nestingType = assembly.types![`${assembly.name}.${nestedType.namespace}`];\n      if (nestingType == null) {\n        continue;\n      }\n      const nestedTypeName = Case.pascal(nestedType.name);\n      for (const { name, member } of staticMembers(nestingType)) {\n        if (name === nestedTypeName) {\n          let diag = JsiiDiagnostic.JSII_5020_STATIC_MEMBER_CONFLICTS_WITH_NESTED_TYPE.create(\n            getRelatedNode(member)!,\n            nestingType,\n            member,\n            nestedType,\n          );\n          const nestedTypeNode = getRelatedNode(nestedType);\n          if (nestedTypeNode != null) {\n            diag = diag.addRelatedInformation(nestedTypeNode, 'This is the conflicting nested type declaration');\n          }\n          diagnostic(diag);\n        }\n      }\n    }\n\n    function staticMembers(type: spec.Type) {\n      if (spec.isClassOrInterfaceType(type)) {\n        return [\n          ...(type.methods?.filter((method) => method.static) ?? []),\n          ...(type.properties?.filter((prop) => prop.static) ?? []),\n        ].map((member) => ({ name: Case.pascal(member.name), member }));\n      }\n      return type.members.map((member) => ({ name: member.name, member }));\n    }\n  }\n}\n\nfunction _allTypes(assm: spec.Assembly): spec.Type[] {\n  return Object.values(assm.types ?? {});\n}\n\nfunction _allMethods(assm: spec.Assembly): Array<{ member: spec.Method; type: spec.Type }> {\n  const methods = new Array<{ member: spec.Method; type: spec.Type }>();\n  for (const type of _allTypes(assm)) {\n    if (!spec.isClassOrInterfaceType(type)) {\n      continue;\n    }\n    if (!type.methods) {\n      continue;\n    }\n    for (const method of type.methods) methods.push({ member: method, type });\n  }\n  return methods;\n}\n\nfunction _allProperties(assm: spec.Assembly): Array<{ member: spec.Property; type: spec.Type }> {\n  const properties = new Array<{ member: spec.Property; type: spec.Type }>();\n  for (const type of _allTypes(assm)) {\n    if (!spec.isClassOrInterfaceType(type)) {\n      continue;\n    }\n    if (!type.properties) {\n      continue;\n    }\n    for (const property of type.properties) properties.push({ member: property, type });\n  }\n  return properties;\n}\n\nfunction _allMembers(assm: spec.Assembly): Array<{ member: spec.Property | spec.Method; type: spec.Type }> {\n  return [..._allMethods(assm), ..._allProperties(assm)];\n}\n\ninterface AnnotatedTypeReference extends spec.NamedTypeReference {\n  readonly node: ts.Node | undefined;\n}\n\nfunction _allTypeReferences(assm: spec.Assembly): readonly AnnotatedTypeReference[] {\n  const typeReferences = new Array<AnnotatedTypeReference>();\n  for (const type of _allTypes(assm)) {\n    if (!spec.isClassOrInterfaceType(type)) {\n      continue;\n    }\n    if (spec.isClassType(type)) {\n      const node = bindings.getClassRelatedNode(type);\n      if (type.base) {\n        typeReferences.push({\n          fqn: type.base,\n          node: node?.heritageClauses?.find((hc) => hc.token === ts.SyntaxKind.ExtendsKeyword)?.types[0],\n        });\n      }\n      if (type.initializer?.parameters) {\n        for (const param of type.initializer.parameters) {\n          _collectTypeReferences(param.type, bindings.getParameterRelatedNode(param)?.type);\n        }\n      }\n    }\n    if (type.interfaces) {\n      const node = bindings.getClassOrInterfaceRelatedNode(type);\n      for (const iface of type.interfaces) {\n        typeReferences.push({\n          fqn: iface,\n          node: node?.heritageClauses?.find(\n            (hc) =>\n              hc.token ===\n              (spec.isInterfaceType(type) ? ts.SyntaxKind.ImplementsKeyword : ts.SyntaxKind.ExtendsKeyword),\n          ),\n        });\n      }\n    }\n  }\n  for (const { member: prop } of _allProperties(assm)) {\n    _collectTypeReferences(prop.type, bindings.getPropertyRelatedNode(prop)?.type);\n  }\n  for (const { member: meth } of _allMethods(assm)) {\n    if (meth.returns) {\n      _collectTypeReferences(meth.returns.type, bindings.getMethodRelatedNode(meth)?.type);\n    }\n    for (const param of meth.parameters ?? []) {\n      _collectTypeReferences(param.type, bindings.getParameterRelatedNode(param)?.type);\n    }\n  }\n  return typeReferences;\n\n  function _collectTypeReferences(type: spec.TypeReference, node: ts.Node | undefined): void {\n    if (spec.isNamedTypeReference(type)) {\n      typeReferences.push({ ...type, node });\n    } else if (spec.isCollectionTypeReference(type)) {\n      _collectTypeReferences(type.collection.elementtype, node);\n    } else if (spec.isUnionTypeReference(type)) {\n      for (const t of type.union.types) _collectTypeReferences(t, node);\n    }\n  }\n}\n\nfunction _dereference(\n  typeRef: string | spec.NamedTypeReference,\n  assembly: spec.Assembly,\n  validator: Validator,\n): spec.Type | undefined {\n  if (typeof typeRef !== 'string') {\n    typeRef = typeRef.fqn;\n  }\n  const [assm] = typeRef.split('.');\n  if (assembly.name === assm) {\n    return assembly.types?.[typeRef];\n  }\n  const foreignAssm = validator.projectInfo.dependencyClosure.find((dep) => dep.name === assm);\n  return foreignAssm?.types?.[typeRef];\n}\n\nfunction _isEmpty(array: undefined | any[]): array is undefined {\n  return array == null || array.length === 0;\n}\n\n/**\n * Return whether an identifier only consists of upperchase characters, digits and underscores\n *\n * We have our own check here (isConstantCase) which is more lenient than what\n * `case.constant()` prescribes. We also want to allow combinations of letters\n * and digits without underscores: `C5A`, which `case` would force to `C5_A`.\n * The hint we print will still use `case.constant()` but that is fine.\n */\nfunction isConstantCase(x: string) {\n  return !/[^A-Z0-9_]/.exec(x);\n}\n\n/**\n * Obtains the name of the given declaration, if it has one, or returns the declaration itself.\n * This function is meant to be used as a convenience to obtain the `ts.Node` to bind a\n * `JsiiDianostic` instance on.\n *\n * It may return `undefined` but is typed as `ts.Node` so that it is easier to use with\n * `JsiiDiagnostic` factories.\n *\n * @param decl the declaration which name is needed.\n *\n * @returns the name of the declaration if it has one, or the declaration itself. Might return\n *          `undefined` if the provided declaration is undefined.\n */\nfunction declarationName(decl: ts.Declaration | ts.Expression | undefined): ts.Node {\n  if (decl == null) {\n    // Pretend we returned a node - this is used to create diagnostics, worst case it'll be unbound.\n    return decl as any;\n  }\n  return ts.getNameOfDeclaration(decl) ?? decl;\n}\n"]}
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../src/validator.ts"],"names":[],"mappings":";;;AAAA,sCAAsC;AACtC,mCAAmC;AACnC,6CAA6C;AAC7C,iCAAiC;AACjC,+BAA+B;AAE/B,uDAAmD;AACnD,mDAAiD;AACjD,4CAA4C;AAE5C,mDAA4D;AAC5D,qDAAsD;AAMtD,MAAa,SAAS;IAGpB,YAAmC,WAAwB,EAAkB,QAAuB;QAAjE,gBAAW,GAAX,WAAW,CAAa;QAAkB,aAAQ,GAAR,QAAQ,CAAe;IAAG,CAAC;IAEjG,IAAI;QACT,MAAM,WAAW,GAAG,IAAI,KAAK,EAAiB,CAAC;QAC/C,MAAM,YAAY,GAAG,IAAI,KAAK,EAAoB,CAAC;QAEnD,KAAK,MAAM,UAAU,IAAI,SAAS,CAAC,WAAW,EAAE,CAAC;YAC/C,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;QAC5G,CAAC;QAED,OAAO;YACL,WAAW,EAAE,WAAW;YACxB,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC;YACtF,YAAY;SACb,CAAC;IACJ,CAAC;;AAlBH,8BAmBC;AAlBe,qBAAW,GAAyB,mBAAmB,EAAE,CAAC;AA6B1E,SAAS,mBAAmB;IAC1B,OAAO;QACL,kCAAkC;QAClC,4BAA4B;QAC5B,yCAAyC;QACzC,+CAA+C;QAC/C,0BAA0B;QAC1B,kCAAkC;QAClC,sDAAsD;QACtD,0CAA0C;KAC3C,CAAC;IAEF,SAAS,kCAAkC,CAAC,CAAY,EAAE,QAAuB,EAAE,UAA6B;QAC9G,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,SAAS;YACX,CAAC;YAED,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChD,UAAU,CAAC,gCAAc,CAAC,+BAA+B,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBACnG,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,4BAA4B,CAAC,CAAY,EAAE,QAAuB,EAAE,UAA6B;QACxG,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrD,IAAI,MAAM,CAAC,MAAM,IAAK,MAAwB,CAAC,KAAK,EAAE,CAAC;gBACrD,SAAS;YACX,CAAC;YACD,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3D,UAAU,CAAC,gCAAc,CAAC,6BAA6B,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACjG,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,yCAAyC,CAChD,CAAY,EACZ,QAAuB,EACvB,UAA6B;QAE7B,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAE,MAAwB,CAAC,KAAK,EAAE,CAAC;gBACvD,SAAS;YACX,CAAC;YACD,IACE,MAAM,CAAC,IAAI;gBACX,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC;gBAC5B,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;gBACxC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EACvC,CAAC;gBACD,UAAU,CAAC,gCAAc,CAAC,6BAA6B,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAClG,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,+CAA+C,CACtD,CAAY,EACZ,QAAuB,EACvB,UAA6B;QAE7B,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrD,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;gBACjB,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAE,MAAsB,CAAC,UAAU,CAAC,EAAE,CAAC;gBACjF,UAAU,CAAC,gCAAc,CAAC,sBAAsB,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3F,CAAC;iBAAM,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAE,MAAsB,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACnG,UAAU,CAAC,gCAAc,CAAC,sBAAsB,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3F,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,0BAA0B,CAAC,SAAoB,EAAE,QAAuB,EAAE,UAA6B;QAC9G,KAAK,MAAM,OAAO,IAAI,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACtC,IAAI,QAAQ,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBAC3B,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC7C,UAAU,CACR,gCAAc,CAAC,uCAAuC,CAAC,MAAM,CAC3D,OAAO,CAAC,IAAK,EAAE,kCAAkC;oBACjD,OAAO,CAAC,GAAG,CACZ,CACF,CAAC;gBACJ,CAAC;gBACD,SAAS;YACX,CAAC;YACD,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;YAC7F,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,UAAU,CAAC,gCAAc,CAAC,wBAAwB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;gBACzE,SAAS;YACX,CAAC;YACD,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;gBAChD,UAAU,CAAC,gCAAc,CAAC,wBAAwB,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;YAC9E,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,kCAAkC,CACzC,SAAoB,EACpB,QAAuB,EACvB,UAA6B,EAC7B,UAA0B;QAE1B,MAAM,YAAY,GAAG,IAAA,mCAAkB,EAAC,QAAQ,EAAE,SAAS,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC;QAE3F,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC;oBACxC,uBAAuB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBACxC,CAAC;gBACD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;oBAC7C,yBAAyB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;gBAC5C,CAAC;YACH,CAAC;YACD,IAAI,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5E,KAAK,MAAM,MAAM,IAAI,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;oBACjE,6BAA6B,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBAC9C,CAAC;gBACD,KAAK,MAAM,QAAQ,IAAI,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;oBACtE,+BAA+B,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;gBAClD,CAAC;YACH,CAAC;QACH,CAAC;QAED;;;;;;;;;;;WAWG;QACH,SAAS,mBAAmB,CAC1B,IAAyC,EACzC,MAAsE;YAEtE,MAAM,MAAM,GAAG,IAAI,KAAK,EAAK,CAAC;YAC9B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;YAEhC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;gBACxC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACpB,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;YAED,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACxC,+EAA+E;gBAC/E,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrC,MAAM,CAAC,IAAI,IAAI,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;gBAC/C,KAAK,MAAM,MAAM,IAAI,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;oBACvD,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC3B,SAAS;oBACX,CAAC;oBACD,kEAAkE;oBAClE,kEAAkE;oBAClE,oEAAoE;oBACpE,oEAAoE;oBACpE,sEAAsE;oBACtE,2CAA2C;oBAC3C,MAAM,UAAU,GAAG,EAAE,GAAG,MAAM,EAAE,CAAC;oBACjC,qEAAqE;oBACrE,MAAM,IAAI,GAAG,QAAQ,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;oBAC7C,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;wBACjB,QAAQ,CAAC,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;oBAC5C,CAAC;oBAED,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBACxB,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;YAED,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,SAAS,uBAAuB,CAAC,MAAmB,EAAE,IAAoB;YACxE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACf,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAmB,CAAC;YAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,UAAU,GAAG,CAAC,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;YAChF,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,OAAO,uBAAuB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YACnD,CAAC;YACD,sBAAsB,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,cAAc,QAAQ,CAAC,GAAG,EAAE,EAAE;gBACrG,yBAAyB,EAAE,IAAI;aAChC,CAAC,CAAC;YACH,MAAM,CAAC,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC;YAChC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,SAAS,yBAAyB,CAAC,QAAuB,EAAE,IAAoB;YAC9E,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACf,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAmB,CAAC;YAC3D,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,UAAU,GAAG,CAAC,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC;YACrF,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChB,OAAO,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACvD,CAAC;YACD,sBAAsB,CAAC,UAAU,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,cAAc,QAAQ,CAAC,GAAG,EAAE,EAAE;gBACzG,eAAe,EAAE,IAAI;aACtB,CAAC,CAAC;YACH,QAAQ,CAAC,SAAS,GAAG,QAAQ,CAAC,GAAG,CAAC;YAClC,OAAO,IAAI,CAAC;QACd,CAAC;QAED,SAAS,6BAA6B,CAAC,MAAmB,EAAE,IAAyC;YACnG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBACrB,6FAA6F;gBAC7F,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACzD,OAAO,6BAA6B,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAmB,CAAC,CAAC;gBAC1F,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAuB,CAAC;gBAC5D,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;gBAClF,IAAI,WAAW,EAAE,CAAC;oBAChB,sBAAsB,CAAC,WAAW,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,EAAE,gBAAgB,SAAS,CAAC,GAAG,EAAE,EAAE;wBACzG,yBAAyB,EAAE,KAAK;qBACjC,CAAC,CAAC;oBACH,0FAA0F;oBAC1F,oDAAoD;oBACpD,MAAM,CAAC,SAAS,GAAG,MAAM,CAAC,SAAS,IAAI,KAAK,CAAC;oBAC7C,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,IAAI,6BAA6B,CAAC,MAAM,EAAE,SAAS,CAAC,EAAE,CAAC;oBACrD,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,SAAS,+BAA+B,CACtC,QAAuB,EACvB,IAAyC;YAEzC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBACrB,6FAA6F;gBAC7F,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACzD,OAAO,+BAA+B,CAAC,QAAQ,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,CAAmB,CAAC,CAAC;gBAC9F,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,CAAuB,CAAC;gBAC5D,MAAM,WAAW,GAAG,CAAC,SAAS,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACvF,IAAI,WAAW,EAAE,CAAC;oBAChB,sBAAsB,CACpB,WAAW,EACX,QAAQ,EACR,GAAG,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,EAC9B,gBAAgB,SAAS,CAAC,GAAG,EAAE,EAC/B,EAAE,eAAe,EAAE,KAAK,EAAE,CAC3B,CAAC;oBACF,uFAAuF;oBACvF,yDAAyD;oBACzD,QAAQ,CAAC,SAAS,GAAG,QAAQ,CAAC,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC;oBACzD,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,IAAI,+BAA+B,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC;oBACzD,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QAED,SAAS,sBAAsB,CAC7B,QAAqB,EACrB,MAAmB,EACnB,KAAa,EACb,MAAc,EACd,IAEC;YAED,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBAChD,MAAM,aAAa,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAClE,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAChE,UAAU,CACR,gCAAc,CAAC,qCAAqC,CAAC,cAAc,CACjE,KAAK,EACL,MAAM,EACN,aAAa,EACb,aAAa,CACd,CACF,CAAC;YACJ,CAAC;YAED,mEAAmE;YACnE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBACjD,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC;gBAC9C,MAAM,kBAAkB,GAAG,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;gBAElD;gBACE,oCAAoC;gBACpC,IAAI,CAAC,yBAAyB;oBAC9B,kCAAkC;oBAClC,CAAC,MAAM,CAAC,MAAM;oBACd,gFAAgF;oBAChF,IAAA,yCAAyB,EAAC,gBAAgB,EAAE,kBAAkB,EAAE,YAAY,CAAC,EAC7E,CAAC;oBACD,UAAU,CAAC,2BAA2B,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,MAAM,OAAO,GAAG,IAAI,CAAC,qBAAqB,CAAC,kBAAkB,CAAC,CAAC;oBAC/D,MAAM,OAAO,GAAG,IAAI,CAAC,qBAAqB,CAAC,gBAAgB,CAAC,CAAC;oBAC7D,UAAU,CACR,gCAAc,CAAC,sCAAsC,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CACtG,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,cAAc,GAAG,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC;YACjD,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,IAAI,EAAE,CAAC;YAC7C,IAAI,cAAc,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;gBAClD,UAAU,CACR,gCAAc,CAAC,sCAAsC,CAAC,cAAc,CAClE,KAAK,EACL,MAAM,EACN,YAAY,CAAC,MAAM,EACnB,cAAc,CAAC,MAAM,CACtB,CACF,CAAC;gBACF,OAAO;YACT,CAAC;YACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;gBACnC,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;gBACjC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC7C,UAAU,CACR,gCAAc,CAAC,qCAAqC,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CACvG,CAAC;gBACJ,CAAC;gBACD,4GAA4G;gBAC5G,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;oBAC5C,UAAU,CACR,gCAAc,CAAC,mCAAmC,CAAC,cAAc,CAC/D,KAAK,EACL,MAAM,EACN,QAAQ,CAAC,QAAQ,EACjB,QAAQ,CAAC,QAAQ,CAClB,CACF,CAAC;gBACJ,CAAC;gBACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;oBAC5C,UAAU,CACR,gCAAc,CAAC,yCAAyC,CAAC,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAC3G,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,SAAS,sBAAsB,CAC7B,QAAuB,EACvB,MAAqB,EACrB,KAAa,EACb,MAAc,EACd,IAEC;YAED,MAAM,UAAU,GAAG,QAAQ,CAAC,sBAAsB,CAAC,MAAM,CAAC,CAAC;YAC3D,MAAM,YAAY,GAAG,QAAQ,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;YAC/D,IAAI,CAAC,CAAC,QAAQ,CAAC,SAAS,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;gBAChD,MAAM,aAAa,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAClE,MAAM,aAAa,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC;gBAChE,UAAU,CACR,gCAAc,CAAC,qCAAqC,CAAC,MAAM,CACzD,UAAU,EAAE,SAAS,EAAE,IAAI,CACzB,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CACjG,IAAI,eAAe,CAAC,UAAU,CAAC,EAChC,KAAK,EACL,MAAM,EACN,aAAa,EACb,aAAa,CACd,CAAC,0BAA0B,CAC1B,YAAY,EAAE,SAAS,EAAE,IAAI,CAC3B,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CACjG,IAAI,eAAe,CAAC,YAAY,CAAC,EAClC,sCAAsC,CACvC,CACF,CAAC;YACJ,CAAC;YAED,mEAAmE;YACnE,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3C;gBACE,oCAAoC;gBACpC,IAAI,CAAC,eAAe;oBACpB,kCAAkC;oBAClC,CAAC,MAAM,CAAC,MAAM;oBACd,8EAA8E;oBAC9E,MAAM,CAAC,SAAS;oBAChB,IAAA,yCAAyB,EAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,EACnE,CAAC;oBACD,UAAU,CAAC,2BAA2B,CAAC,CAAC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,UAAU,CACR,gCAAc,CAAC,oCAAoC,CAAC,MAAM,CACxD,UAAU,EAAE,IAAI,IAAI,eAAe,CAAC,UAAU,CAAC,EAC/C,KAAK,EACL,MAAM,EACN,MAAM,CAAC,IAAI,EACX,QAAQ,CAAC,IAAI,CACd,CAAC,0BAA0B,CAC1B,YAAY,EAAE,IAAI,IAAI,eAAe,CAAC,YAAY,CAAC,EACnD,sCAAsC,CACvC,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,IAAI,QAAQ,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;gBAC5C,UAAU,CACR,gCAAc,CAAC,qCAAqC,CAAC,MAAM,CACzD,UAAU,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC;oBAC9E,eAAe,CAAC,UAAU,CAAC,EAC7B,KAAK,EACL,MAAM,EACN,MAAM,CAAC,SAAS,EAChB,QAAQ,CAAC,SAAS,CACnB,CAAC,0BAA0B,CAC1B,YAAY,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC;oBAChF,eAAe,CAAC,YAAY,CAAC,EAC/B,sCAAsC,CACvC,CACF,CAAC;YACJ,CAAC;YACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC;gBAC1C,UAAU,CACR,gCAAc,CAAC,wCAAwC,CAAC,MAAM,CAC5D,UAAU,EAAE,aAAa,IAAI,UAAU,EAAE,IAAI,IAAI,eAAe,CAAC,UAAU,CAAC,EAC5E,KAAK,EACL,MAAM,EACN,MAAM,CAAC,QAAQ,EACf,QAAQ,CAAC,QAAQ,CAClB,CAAC,0BAA0B,CAC1B,YAAY,EAAE,aAAa,IAAI,YAAY,EAAE,IAAI,IAAI,eAAe,CAAC,YAAY,CAAC,EAClF,sCAAsC,CACvC,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;;;;;;;;OAUG;IACH,SAAS,0CAA0C,CACjD,SAAoB,EACpB,QAAuB,EACvB,UAA6B;QAE7B,MAAM,YAAY,GAAG,IAAA,mCAAkB,EAAC,QAAQ,EAAE,SAAS,CAAC,WAAW,CAAC,iBAAiB,CAAC,CAAC;QAE3F,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC9C,SAAS;YACX,CAAC;YAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;YAEtD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBAC5C,8BAA8B,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QAED;;WAEG;QACH,SAAS,iBAAiB,CAAC,IAAoB,EAAE,IAAiB;YAChE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBACzC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC;YAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrC,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3B,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC;QAED,SAAS,8BAA8B,CAAC,YAAoB,EAAE,GAAmB,EAAE,SAAsB;YACvG,MAAM,IAAI,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,OAAO;YACT,CAAC;YAED,2EAA2E;YAC3E,6DAA6D;YAC7D,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBACzC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACnB,SAAS;gBACX,CAAC;gBAED,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9B,UAAU,CACR,gCAAc,CAAC,0CAA0C,CAAC,MAAM,CAC9D,QAAQ,CAAC,8BAA8B,CAAC,GAAG,CAAC,EAC5C,IAAI,EACJ,GAAG,EACH,IAAI,CAAC,IAAI,CACV,CAAC,0BAA0B,CAAC,QAAQ,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,sCAAsC,CAAC,CAC5G,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;gBAC3C,8BAA8B,CAAC,MAAM,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;YACzD,CAAC;QACH,CAAC;IACH,CAAC;IAED,SAAS,sDAAsD,CAC7D,CAAY,EACZ,QAAuB,EACvB,UAA6B;QAE7B,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,IAAI,EAAE,CAAC,EAAE,CAAC;YAC7D,IAAI,UAAU,CAAC,SAAS,IAAI,IAAI,EAAE,CAAC;gBACjC,SAAS;YACX,CAAC;YACD,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC,CAAC;YAChF,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;gBACxB,SAAS;YACX,CAAC;YACD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACpD,KAAK,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC1D,IAAI,IAAI,KAAK,cAAc,EAAE,CAAC;oBAC5B,IAAI,IAAI,GAAG,gCAAc,CAAC,kDAAkD,CAAC,MAAM,CACjF,IAAA,8BAAc,EAAC,MAAM,CAAE,EACvB,WAAW,EACX,MAAM,EACN,UAAU,CACX,CAAC;oBACF,MAAM,cAAc,GAAG,IAAA,8BAAc,EAAC,UAAU,CAAC,CAAC;oBAClD,IAAI,cAAc,IAAI,IAAI,EAAE,CAAC;wBAC3B,IAAI,GAAG,IAAI,CAAC,qBAAqB,CAAC,cAAc,EAAE,iDAAiD,CAAC,CAAC;oBACvG,CAAC;oBACD,UAAU,CAAC,IAAI,CAAC,CAAC;gBACnB,CAAC;YACH,CAAC;QACH,CAAC;QAED,SAAS,aAAa,CAAC,IAAe;YACpC,IAAI,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;oBAC1D,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;iBAC1D,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;YAClE,CAAC;YACD,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,IAAmB;IACpC,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,WAAW,CAAC,IAAmB;IACtC,MAAM,OAAO,GAAG,IAAI,KAAK,EAA4C,CAAC;IACtE,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAClB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO;YAAE,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,cAAc,CAAC,IAAmB;IACzC,MAAM,UAAU,GAAG,IAAI,KAAK,EAA8C,CAAC;IAC3E,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;YACrB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU;YAAE,UAAU,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,WAAW,CAAC,IAAmB;IACtC,OAAO,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;AACzD,CAAC;AAMD,SAAS,kBAAkB,CAAC,IAAmB;IAC7C,MAAM,cAAc,GAAG,IAAI,KAAK,EAA0B,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAChD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,cAAc,CAAC,IAAI,CAAC;oBAClB,GAAG,EAAE,IAAI,CAAC,IAAI;oBACd,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;iBAC/F,CAAC,CAAC;YACL,CAAC;YACD,IAAI,IAAI,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC;gBACjC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;oBAChD,sBAAsB,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;gBACpF,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,QAAQ,CAAC,8BAA8B,CAAC,IAAI,CAAC,CAAC;YAC3D,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACpC,cAAc,CAAC,IAAI,CAAC;oBAClB,GAAG,EAAE,KAAK;oBACV,IAAI,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,CAC/B,CAAC,EAAE,EAAE,EAAE,CACL,EAAE,CAAC,KAAK;wBACR,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAChG;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;QACpD,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IACjF,CAAC;IACD,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,sBAAsB,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;QACvF,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YAC1C,sBAAsB,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QACpF,CAAC;IACH,CAAC;IACD,OAAO,cAAc,CAAC;IAEtB,SAAS,sBAAsB,CAAC,IAAwB,EAAE,IAAyB;QACjF,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACzC,CAAC;aAAM,IAAI,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,sBAAsB,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAC5D,CAAC;aAAM,IAAI,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK;gBAAE,sBAAsB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACpE,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAwB;IACxC,OAAO,KAAK,IAAI,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;AAC7C,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,CAAS;IAC/B,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,eAAe,CAAC,IAAgD;IACvE,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QACjB,gGAAgG;QAChG,OAAO,IAAW,CAAC;IACrB,CAAC;IACD,OAAO,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC;AAC/C,CAAC","sourcesContent":["import * as assert from 'node:assert';\nimport * as spec from '@jsii/spec';\nimport * as deepEqual from 'fast-deep-equal';\nimport * as ts from 'typescript';\nimport * as Case from './case';\nimport { Emitter } from './emitter';\nimport { JsiiDiagnostic } from './jsii-diagnostic';\nimport { getRelatedNode } from './node-bindings';\nimport * as bindings from './node-bindings';\nimport { ProjectInfo } from './project-info';\nimport { isAllowedCovariantSubtype } from './type-analysis';\nimport { createTypeResolver } from './type-reference';\n\nexport interface ValidationResult extends ts.EmitResult {\n  readonly usedFeatures?: spec.JsiiFeature[];\n}\n\nexport class Validator implements Emitter {\n  public static VALIDATIONS: ValidationFunction[] = _defaultValidations();\n\n  public constructor(public readonly projectInfo: ProjectInfo, public readonly assembly: spec.Assembly) {}\n\n  public emit(): ValidationResult {\n    const diagnostics = new Array<ts.Diagnostic>();\n    const usedFeatures = new Array<spec.JsiiFeature>();\n\n    for (const validation of Validator.VALIDATIONS) {\n      validation(this, this.assembly, diagnostics.push.bind(diagnostics), usedFeatures.push.bind(usedFeatures));\n    }\n\n    return {\n      diagnostics: diagnostics,\n      emitSkipped: diagnostics.some((diag) => diag.category === ts.DiagnosticCategory.Error),\n      usedFeatures,\n    };\n  }\n}\n\nexport type DiagnosticEmitter = (diag: JsiiDiagnostic) => void;\nexport type FeatureTracker = (feat: spec.JsiiFeature) => void;\nexport type ValidationFunction = (\n  validator: Validator,\n  assembly: spec.Assembly,\n  diagnostic: DiagnosticEmitter,\n  useFeatures: FeatureTracker,\n) => void;\n\nfunction _defaultValidations(): ValidationFunction[] {\n  return [\n    _enumMembersMustUserUpperSnakeCase,\n    _memberNamesMustUseCamelCase,\n    _staticConstantNamesMustUseUpperSnakeCase,\n    _memberNamesMustNotLookLikeJavaGettersOrSetters,\n    _allTypeReferencesAreValid,\n    _inheritanceDoesNotChangeContracts,\n    _staticMembersAndNestedTypesMustNotSharePascalCaseName,\n    _abstractClassesMustImplementAllProperties,\n  ];\n\n  function _enumMembersMustUserUpperSnakeCase(_: Validator, assembly: spec.Assembly, diagnostic: DiagnosticEmitter) {\n    for (const type of _allTypes(assembly)) {\n      if (!spec.isEnumType(type)) {\n        continue;\n      }\n\n      for (const member of type.members) {\n        if (member.name && !isConstantCase(member.name)) {\n          diagnostic(JsiiDiagnostic.JSII_8001_ALL_CAPS_ENUM_MEMBERS.createDetached(member.name, type.fqn));\n        }\n      }\n    }\n  }\n\n  function _memberNamesMustUseCamelCase(_: Validator, assembly: spec.Assembly, diagnostic: DiagnosticEmitter) {\n    for (const { member, type } of _allMembers(assembly)) {\n      if (member.static && (member as spec.Property).const) {\n        continue;\n      }\n      if (member.name && member.name !== Case.camel(member.name)) {\n        diagnostic(JsiiDiagnostic.JSII_8002_CAMEL_CASED_MEMBERS.createDetached(member.name, type.fqn));\n      }\n    }\n  }\n\n  function _staticConstantNamesMustUseUpperSnakeCase(\n    _: Validator,\n    assembly: spec.Assembly,\n    diagnostic: DiagnosticEmitter,\n  ) {\n    for (const { member, type } of _allMembers(assembly)) {\n      if (!member.static || !(member as spec.Property).const) {\n        continue;\n      }\n      if (\n        member.name &&\n        !isConstantCase(member.name) &&\n        member.name !== Case.pascal(member.name) &&\n        member.name !== Case.camel(member.name)\n      ) {\n        diagnostic(JsiiDiagnostic.JSII_8003_STATIC_CONST_CASING.createDetached(member.name, type.name));\n      }\n    }\n  }\n\n  function _memberNamesMustNotLookLikeJavaGettersOrSetters(\n    _: Validator,\n    assembly: spec.Assembly,\n    diagnostic: DiagnosticEmitter,\n  ) {\n    for (const { member, type } of _allMembers(assembly)) {\n      if (!member.name) {\n        continue;\n      }\n      const snakeName = Case.snake(member.name);\n      if (snakeName.startsWith('get_') && _isEmpty((member as spec.Method).parameters)) {\n        diagnostic(JsiiDiagnostic.JSII_5000_JAVA_GETTERS.createDetached(member.name, type.name));\n      } else if (snakeName.startsWith('set_') && ((member as spec.Method).parameters ?? []).length === 1) {\n        diagnostic(JsiiDiagnostic.JSII_5001_JAVA_SETTERS.createDetached(member.name, type.name));\n      }\n    }\n  }\n\n  function _allTypeReferencesAreValid(validator: Validator, assembly: spec.Assembly, diagnostic: DiagnosticEmitter) {\n    for (const typeRef of _allTypeReferences(assembly)) {\n      const [assm] = typeRef.fqn.split('.');\n      if (assembly.name === assm) {\n        if (!(typeRef.fqn in (assembly.types ?? {}))) {\n          diagnostic(\n            JsiiDiagnostic.JSII_3000_EXPORTED_API_USES_HIDDEN_TYPE.create(\n              typeRef.node!, // Pretend there is always a value\n              typeRef.fqn,\n            ),\n          );\n        }\n        continue;\n      }\n      const foreignAssm = validator.projectInfo.dependencyClosure.find((dep) => dep.name === assm);\n      if (!foreignAssm) {\n        diagnostic(JsiiDiagnostic.JSII_9000_UNKNOWN_MODULE.createDetached(assm));\n        continue;\n      }\n      if (!(typeRef.fqn in (foreignAssm.types ?? {}))) {\n        diagnostic(JsiiDiagnostic.JSII_9001_TYPE_NOT_FOUND.createDetached(typeRef));\n      }\n    }\n  }\n\n  function _inheritanceDoesNotChangeContracts(\n    validator: Validator,\n    assembly: spec.Assembly,\n    diagnostic: DiagnosticEmitter,\n    useFeature: FeatureTracker,\n  ) {\n    const _dereference = createTypeResolver(assembly, validator.projectInfo.dependencyClosure);\n\n    for (const type of _allTypes(assembly)) {\n      if (spec.isClassType(type)) {\n        for (const method of type.methods ?? []) {\n          _validateMethodOverride(method, type);\n        }\n        for (const property of type.properties ?? []) {\n          _validatePropertyOverride(property, type);\n        }\n      }\n      if (spec.isClassOrInterfaceType(type) && (type.interfaces?.length ?? 0) > 0) {\n        for (const method of _allImplementations(type, (t) => t.methods)) {\n          _validateMethodImplementation(method, type);\n        }\n        for (const property of _allImplementations(type, (t) => t.properties)) {\n          _validatePropertyImplementation(property, type);\n        }\n      }\n    }\n\n    /**\n     * Lists all \"implementations\" from the given type, using the provided\n     * implementation getter. Note that abstract members may be part of the\n     * result (in particular, if `type` is an interface type, or if it's an\n     * abstract class with unimplemented members) -- I just couldn't come up\n     * with a name that actually describes this.\n     *\n     * @param type   the type which implemented members are needed.\n     * @param getter the getter to obtain methods or properties from the type.\n     *\n     * @returns a list of members (possibly empty, always defined)\n     */\n    function _allImplementations<T extends spec.Property | spec.Method>(\n      type: spec.ClassType | spec.InterfaceType,\n      getter: (type: spec.ClassType | spec.InterfaceType) => T[] | undefined,\n    ): T[] {\n      const result = new Array<T>();\n      const known = new Set<string>();\n\n      for (const member of getter(type) ?? []) {\n        result.push(member);\n        known.add(member.name);\n      }\n\n      if (spec.isClassType(type) && type.base) {\n        // We have a parent class, collect their concrete members, too (recursively)...\n        const base = _dereference(type.base);\n        assert(base != null && spec.isClassType(base));\n        for (const member of _allImplementations(base, getter)) {\n          if (known.has(member.name)) {\n            continue;\n          }\n          // The member is copied, so that its `overrides` property won't be\n          // altered, since this member is \"borrowed\" from a parent type. We\n          // only check it, but should not record `overrides` relationships to\n          // it as those could be invalid per the parent type (i.e: the parent\n          // member may not be able to implement an interface, if that type does\n          // not actually declare implementing that).\n          const memberCopy = { ...member };\n          // Forward the related node if there's one, so diagnostics are bound.\n          const node = bindings.getRelatedNode(member);\n          if (node != null) {\n            bindings.setRelatedNode(memberCopy, node);\n          }\n\n          result.push(memberCopy);\n          known.add(member.name);\n        }\n      }\n\n      return result;\n    }\n\n    function _validateMethodOverride(method: spec.Method, type: spec.ClassType): boolean {\n      if (!type.base) {\n        return false;\n      }\n      const baseType = _dereference(type.base) as spec.ClassType;\n      if (!baseType) {\n        return false;\n      }\n      const overridden = (baseType.methods ?? []).find((m) => m.name === method.name);\n      if (!overridden) {\n        return _validateMethodOverride(method, baseType);\n      }\n      _assertSignaturesMatch(overridden, method, `${type.fqn}#${method.name}`, `overriding ${baseType.fqn}`, {\n        allowReturnTypeCovariance: true,\n      });\n      method.overrides = baseType.fqn;\n      return true;\n    }\n\n    function _validatePropertyOverride(property: spec.Property, type: spec.ClassType): boolean {\n      if (!type.base) {\n        return false;\n      }\n      const baseType = _dereference(type.base) as spec.ClassType;\n      if (!baseType) {\n        return false;\n      }\n      const overridden = (baseType.properties ?? []).find((p) => p.name === property.name);\n      if (!overridden) {\n        return _validatePropertyOverride(property, baseType);\n      }\n      _assertPropertiesMatch(overridden, property, `${type.fqn}#${property.name}`, `overriding ${baseType.fqn}`, {\n        allowCovariance: true,\n      });\n      property.overrides = baseType.fqn;\n      return true;\n    }\n\n    function _validateMethodImplementation(method: spec.Method, type: spec.ClassType | spec.InterfaceType): boolean {\n      if (!type.interfaces) {\n        // Abstract classes may not directly implement all members, need to check their supertypes...\n        if (spec.isClassType(type) && type.base && type.abstract) {\n          return _validateMethodImplementation(method, _dereference(type.base) as spec.ClassType);\n        }\n        return false;\n      }\n      for (const iface of type.interfaces) {\n        const ifaceType = _dereference(iface) as spec.InterfaceType;\n        const implemented = (ifaceType.methods ?? []).find((m) => m.name === method.name);\n        if (implemented) {\n          _assertSignaturesMatch(implemented, method, `${type.fqn}#${method.name}`, `implementing ${ifaceType.fqn}`, {\n            allowReturnTypeCovariance: false,\n          });\n          // We won't replace a previous overrides declaration from a method override, as those have\n          // higher precedence than an initial implementation.\n          method.overrides = method.overrides ?? iface;\n          return true;\n        }\n        if (_validateMethodImplementation(method, ifaceType)) {\n          return true;\n        }\n      }\n      return false;\n    }\n\n    function _validatePropertyImplementation(\n      property: spec.Property,\n      type: spec.ClassType | spec.InterfaceType,\n    ): boolean {\n      if (!type.interfaces) {\n        // Abstract classes may not directly implement all members, need to check their supertypes...\n        if (spec.isClassType(type) && type.base && type.abstract) {\n          return _validatePropertyImplementation(property, _dereference(type.base) as spec.ClassType);\n        }\n        return false;\n      }\n      for (const iface of type.interfaces) {\n        const ifaceType = _dereference(iface) as spec.InterfaceType;\n        const implemented = (ifaceType.properties ?? []).find((p) => p.name === property.name);\n        if (implemented) {\n          _assertPropertiesMatch(\n            implemented,\n            property,\n            `${type.fqn}#${property.name}`,\n            `implementing ${ifaceType.fqn}`,\n            { allowCovariance: false },\n          );\n          // We won't replace a previous overrides declaration from a property override, as those\n          // have higher precedence than an initial implementation.\n          property.overrides = property.overrides ?? ifaceType.fqn;\n          return true;\n        }\n        if (_validatePropertyImplementation(property, ifaceType)) {\n          return true;\n        }\n      }\n      return false;\n    }\n\n    function _assertSignaturesMatch(\n      expected: spec.Method,\n      actual: spec.Method,\n      label: string,\n      action: string,\n      opts: {\n        allowReturnTypeCovariance: boolean;\n      },\n    ) {\n      if (!!expected.protected !== !!actual.protected) {\n        const expVisibility = expected.protected ? 'protected' : 'public';\n        const actVisibility = actual.protected ? 'protected' : 'public';\n        diagnostic(\n          JsiiDiagnostic.JSII_5002_OVERRIDE_CHANGES_VISIBILITY.createDetached(\n            label,\n            action,\n            actVisibility,\n            expVisibility,\n          ),\n        );\n      }\n\n      // Types must generally be the same, but can be covariant sometimes\n      if (!deepEqual(actual.returns, expected.returns)) {\n        const actualReturnType = actual.returns?.type;\n        const expectedReturnType = expected.returns?.type;\n\n        if (\n          // return type covariance is allowed\n          opts.allowReturnTypeCovariance &&\n          // static members can never change\n          !actual.static &&\n          // this is a valid covariant return type (actual is more specific than expected)\n          isAllowedCovariantSubtype(actualReturnType, expectedReturnType, _dereference)\n        ) {\n          useFeature('class-covariant-overrides');\n        } else {\n          const expType = spec.describeTypeReference(expectedReturnType);\n          const actType = spec.describeTypeReference(actualReturnType);\n          diagnostic(\n            JsiiDiagnostic.JSII_5003_OVERRIDE_CHANGES_RETURN_TYPE.createDetached(label, action, actType, expType),\n          );\n        }\n      }\n      const expectedParams = expected.parameters ?? [];\n      const actualParams = actual.parameters ?? [];\n      if (expectedParams.length !== actualParams.length) {\n        diagnostic(\n          JsiiDiagnostic.JSII_5005_OVERRIDE_CHANGES_PARAM_COUNT.createDetached(\n            label,\n            action,\n            actualParams.length,\n            expectedParams.length,\n          ),\n        );\n        return;\n      }\n      for (let i = 0; i < expectedParams.length; i++) {\n        const expParam = expectedParams[i];\n        const actParam = actualParams[i];\n        if (!deepEqual(expParam.type, actParam.type)) {\n          diagnostic(\n            JsiiDiagnostic.JSII_5006_OVERRIDE_CHANGES_PARAM_TYPE.createDetached(label, action, actParam, expParam),\n          );\n        }\n        // Not-ing those to force the values to a strictly boolean context (they're optional, undefined means false)\n        if (expParam.variadic !== actParam.variadic) {\n          diagnostic(\n            JsiiDiagnostic.JSII_5007_OVERRIDE_CHANGES_VARIADIC.createDetached(\n              label,\n              action,\n              actParam.variadic,\n              expParam.variadic,\n            ),\n          );\n        }\n        if (expParam.optional !== actParam.optional) {\n          diagnostic(\n            JsiiDiagnostic.JSII_5008_OVERRIDE_CHANGES_PARAM_OPTIONAL.createDetached(label, action, actParam, expParam),\n          );\n        }\n      }\n    }\n\n    function _assertPropertiesMatch(\n      expected: spec.Property,\n      actual: spec.Property,\n      label: string,\n      action: string,\n      opts: {\n        allowCovariance: boolean;\n      },\n    ) {\n      const actualNode = bindings.getPropertyRelatedNode(actual);\n      const expectedNode = bindings.getPropertyRelatedNode(expected);\n      if (!!expected.protected !== !!actual.protected) {\n        const expVisibility = expected.protected ? 'protected' : 'public';\n        const actVisibility = actual.protected ? 'protected' : 'public';\n        diagnostic(\n          JsiiDiagnostic.JSII_5002_OVERRIDE_CHANGES_VISIBILITY.create(\n            actualNode?.modifiers?.find(\n              (mod) => mod.kind === ts.SyntaxKind.PublicKeyword || mod.kind === ts.SyntaxKind.ProtectedKeyword,\n            ) ?? declarationName(actualNode),\n            label,\n            action,\n            actVisibility,\n            expVisibility,\n          ).maybeAddRelatedInformation(\n            expectedNode?.modifiers?.find(\n              (mod) => mod.kind === ts.SyntaxKind.PublicKeyword || mod.kind === ts.SyntaxKind.ProtectedKeyword,\n            ) ?? declarationName(expectedNode),\n            'The implemented declaration is here.',\n          ),\n        );\n      }\n\n      // Types must generally be the same, but can be covariant sometimes\n      if (!deepEqual(actual.type, expected.type)) {\n        if (\n          // return type covariance is allowed\n          opts.allowCovariance &&\n          // static members can never change\n          !actual.static &&\n          // immutable properties may change in some case, as long as they are covariant\n          actual.immutable &&\n          isAllowedCovariantSubtype(actual.type, expected.type, _dereference)\n        ) {\n          useFeature('class-covariant-overrides');\n        } else {\n          diagnostic(\n            JsiiDiagnostic.JSII_5004_OVERRIDE_CHANGES_PROP_TYPE.create(\n              actualNode?.type ?? declarationName(actualNode),\n              label,\n              action,\n              actual.type,\n              expected.type,\n            ).maybeAddRelatedInformation(\n              expectedNode?.type ?? declarationName(expectedNode),\n              'The implemented declaration is here.',\n            ),\n          );\n        }\n      }\n      if (expected.immutable !== actual.immutable) {\n        diagnostic(\n          JsiiDiagnostic.JSII_5010_OVERRIDE_CHANGES_MUTABILITY.create(\n            actualNode?.modifiers?.find((mod) => mod.kind === ts.SyntaxKind.ReadonlyKeyword) ??\n              declarationName(actualNode),\n            label,\n            action,\n            actual.immutable,\n            expected.immutable,\n          ).maybeAddRelatedInformation(\n            expectedNode?.modifiers?.find((mod) => mod.kind === ts.SyntaxKind.ReadonlyKeyword) ??\n              declarationName(expectedNode),\n            'The implemented declaration is here.',\n          ),\n        );\n      }\n      if (expected.optional !== actual.optional) {\n        diagnostic(\n          JsiiDiagnostic.JSII_5009_OVERRIDE_CHANGES_PROP_OPTIONAL.create(\n            actualNode?.questionToken ?? actualNode?.type ?? declarationName(actualNode),\n            label,\n            action,\n            actual.optional,\n            expected.optional,\n          ).maybeAddRelatedInformation(\n            expectedNode?.questionToken ?? expectedNode?.type ?? declarationName(expectedNode),\n            'The implemented declaration is here.',\n          ),\n        );\n      }\n    }\n  }\n\n  /**\n   * Abstract classes that implement an interface should have a declaration for every member.\n   *\n   * For non-optional members, TypeScript already enforces this. This leaves the user the\n   * ability to forget optional properties (`readonly prop?: string`).\n   *\n   * At least our codegen for this case fails in C#, and I'm not convinced it does the right\n   * thing in Java either. So we will disallow this, and require users to declare these\n   * fields on the class. It can always be `public abstract readonly prop?: string` if they\n   * don't want to give an implementation yet.\n   */\n  function _abstractClassesMustImplementAllProperties(\n    validator: Validator,\n    assembly: spec.Assembly,\n    diagnostic: DiagnosticEmitter,\n  ) {\n    const _dereference = createTypeResolver(assembly, validator.projectInfo.dependencyClosure);\n\n    for (const type of _allTypes(assembly)) {\n      if (!spec.isClassType(type) || !type.abstract) {\n        continue;\n      }\n\n      const classProps = collectClassProps(type, new Set());\n\n      for (const implFqn of type.interfaces ?? []) {\n        checkInterfacePropsImplemented(implFqn, type, classProps);\n      }\n    }\n\n    /**\n     * Return all property names declared on this class and its base classes\n     */\n    function collectClassProps(type: spec.ClassType, into: Set<string>): Set<string> {\n      for (const prop of type.properties ?? []) {\n        into.add(prop.name);\n      }\n\n      if (type.base) {\n        const base = _dereference(type.base);\n        if (spec.isClassType(base)) {\n          collectClassProps(base, into);\n        }\n      }\n\n      return into;\n    }\n\n    function checkInterfacePropsImplemented(interfaceFqn: string, cls: spec.ClassType, propNames: Set<string>) {\n      const intf = _dereference(interfaceFqn);\n      if (!spec.isInterfaceType(intf)) {\n        return;\n      }\n\n      // We only have to check for optional properties, because anything required\n      // would have been caught by the TypeScript compiler already.\n      for (const prop of intf.properties ?? []) {\n        if (!prop.optional) {\n          continue;\n        }\n\n        if (!propNames.has(prop.name)) {\n          diagnostic(\n            JsiiDiagnostic.JSII_5021_ABSTRACT_CLASS_MISSING_PROP_IMPL.create(\n              bindings.getClassOrInterfaceRelatedNode(cls),\n              intf,\n              cls,\n              prop.name,\n            ).maybeAddRelatedInformation(bindings.getPropertyRelatedNode(prop), 'The implemented declaration is here.'),\n          );\n        }\n      }\n\n      for (const extFqn of intf.interfaces ?? []) {\n        checkInterfacePropsImplemented(extFqn, cls, propNames);\n      }\n    }\n  }\n\n  function _staticMembersAndNestedTypesMustNotSharePascalCaseName(\n    _: Validator,\n    assembly: spec.Assembly,\n    diagnostic: DiagnosticEmitter,\n  ) {\n    for (const nestedType of Object.values(assembly.types ?? {})) {\n      if (nestedType.namespace == null) {\n        continue;\n      }\n      const nestingType = assembly.types![`${assembly.name}.${nestedType.namespace}`];\n      if (nestingType == null) {\n        continue;\n      }\n      const nestedTypeName = Case.pascal(nestedType.name);\n      for (const { name, member } of staticMembers(nestingType)) {\n        if (name === nestedTypeName) {\n          let diag = JsiiDiagnostic.JSII_5020_STATIC_MEMBER_CONFLICTS_WITH_NESTED_TYPE.create(\n            getRelatedNode(member)!,\n            nestingType,\n            member,\n            nestedType,\n          );\n          const nestedTypeNode = getRelatedNode(nestedType);\n          if (nestedTypeNode != null) {\n            diag = diag.addRelatedInformation(nestedTypeNode, 'This is the conflicting nested type declaration');\n          }\n          diagnostic(diag);\n        }\n      }\n    }\n\n    function staticMembers(type: spec.Type) {\n      if (spec.isClassOrInterfaceType(type)) {\n        return [\n          ...(type.methods?.filter((method) => method.static) ?? []),\n          ...(type.properties?.filter((prop) => prop.static) ?? []),\n        ].map((member) => ({ name: Case.pascal(member.name), member }));\n      }\n      return type.members.map((member) => ({ name: member.name, member }));\n    }\n  }\n}\n\nfunction _allTypes(assm: spec.Assembly): spec.Type[] {\n  return Object.values(assm.types ?? {});\n}\n\nfunction _allMethods(assm: spec.Assembly): Array<{ member: spec.Method; type: spec.Type }> {\n  const methods = new Array<{ member: spec.Method; type: spec.Type }>();\n  for (const type of _allTypes(assm)) {\n    if (!spec.isClassOrInterfaceType(type)) {\n      continue;\n    }\n    if (!type.methods) {\n      continue;\n    }\n    for (const method of type.methods) methods.push({ member: method, type });\n  }\n  return methods;\n}\n\nfunction _allProperties(assm: spec.Assembly): Array<{ member: spec.Property; type: spec.Type }> {\n  const properties = new Array<{ member: spec.Property; type: spec.Type }>();\n  for (const type of _allTypes(assm)) {\n    if (!spec.isClassOrInterfaceType(type)) {\n      continue;\n    }\n    if (!type.properties) {\n      continue;\n    }\n    for (const property of type.properties) properties.push({ member: property, type });\n  }\n  return properties;\n}\n\nfunction _allMembers(assm: spec.Assembly): Array<{ member: spec.Property | spec.Method; type: spec.Type }> {\n  return [..._allMethods(assm), ..._allProperties(assm)];\n}\n\ninterface AnnotatedTypeReference extends spec.NamedTypeReference {\n  readonly node: ts.Node | undefined;\n}\n\nfunction _allTypeReferences(assm: spec.Assembly): readonly AnnotatedTypeReference[] {\n  const typeReferences = new Array<AnnotatedTypeReference>();\n  for (const type of _allTypes(assm)) {\n    if (!spec.isClassOrInterfaceType(type)) {\n      continue;\n    }\n    if (spec.isClassType(type)) {\n      const node = bindings.getClassRelatedNode(type);\n      if (type.base) {\n        typeReferences.push({\n          fqn: type.base,\n          node: node?.heritageClauses?.find((hc) => hc.token === ts.SyntaxKind.ExtendsKeyword)?.types[0],\n        });\n      }\n      if (type.initializer?.parameters) {\n        for (const param of type.initializer.parameters) {\n          _collectTypeReferences(param.type, bindings.getParameterRelatedNode(param)?.type);\n        }\n      }\n    }\n    if (type.interfaces) {\n      const node = bindings.getClassOrInterfaceRelatedNode(type);\n      for (const iface of type.interfaces) {\n        typeReferences.push({\n          fqn: iface,\n          node: node?.heritageClauses?.find(\n            (hc) =>\n              hc.token ===\n              (spec.isInterfaceType(type) ? ts.SyntaxKind.ImplementsKeyword : ts.SyntaxKind.ExtendsKeyword),\n          ),\n        });\n      }\n    }\n  }\n  for (const { member: prop } of _allProperties(assm)) {\n    _collectTypeReferences(prop.type, bindings.getPropertyRelatedNode(prop)?.type);\n  }\n  for (const { member: meth } of _allMethods(assm)) {\n    if (meth.returns) {\n      _collectTypeReferences(meth.returns.type, bindings.getMethodRelatedNode(meth)?.type);\n    }\n    for (const param of meth.parameters ?? []) {\n      _collectTypeReferences(param.type, bindings.getParameterRelatedNode(param)?.type);\n    }\n  }\n  return typeReferences;\n\n  function _collectTypeReferences(type: spec.TypeReference, node: ts.Node | undefined): void {\n    if (spec.isNamedTypeReference(type)) {\n      typeReferences.push({ ...type, node });\n    } else if (spec.isCollectionTypeReference(type)) {\n      _collectTypeReferences(type.collection.elementtype, node);\n    } else if (spec.isUnionTypeReference(type)) {\n      for (const t of type.union.types) _collectTypeReferences(t, node);\n    }\n  }\n}\n\nfunction _isEmpty(array: undefined | any[]): array is undefined {\n  return array == null || array.length === 0;\n}\n\n/**\n * Return whether an identifier only consists of upperchase characters, digits and underscores\n *\n * We have our own check here (isConstantCase) which is more lenient than what\n * `case.constant()` prescribes. We also want to allow combinations of letters\n * and digits without underscores: `C5A`, which `case` would force to `C5_A`.\n * The hint we print will still use `case.constant()` but that is fine.\n */\nfunction isConstantCase(x: string) {\n  return !/[^A-Z0-9_]/.exec(x);\n}\n\n/**\n * Obtains the name of the given declaration, if it has one, or returns the declaration itself.\n * This function is meant to be used as a convenience to obtain the `ts.Node` to bind a\n * `JsiiDianostic` instance on.\n *\n * It may return `undefined` but is typed as `ts.Node` so that it is easier to use with\n * `JsiiDiagnostic` factories.\n *\n * @param decl the declaration which name is needed.\n *\n * @returns the name of the declaration if it has one, or the declaration itself. Might return\n *          `undefined` if the provided declaration is undefined.\n */\nfunction declarationName(decl: ts.Declaration | ts.Expression | undefined): ts.Node {\n  if (decl == null) {\n    // Pretend we returned a node - this is used to create diagnostics, worst case it'll be unbound.\n    return decl as any;\n  }\n  return ts.getNameOfDeclaration(decl) ?? decl;\n}\n"]}

package/lib/version.d.ts

@@ -1,7 +1,7 @@
 /** The short version number for this JSII compiler (e.g: `X.Y.Z`) */
-export declare const SHORT_VERSION = "5.9.10";
+export declare const SHORT_VERSION = "5.9.11-dev.0";
 /** The qualified version number for this JSII compiler (e.g: `X.Y.Z (build #######)`) */
-export declare const VERSION = "5.9.10 (build 0e9cf43)";
+export declare const VERSION = "5.9.11-dev.0 (build 9b1e593)";
 /** The release line identifier for this JSII compiler (e.g: `X.Y`) */
 export declare const RELEASE_LINE = "5.9";
 //# sourceMappingURL=version.d.ts.map

package/lib/version.js

@@ -4,9 +4,9 @@ exports.RELEASE_LINE = exports.VERSION = exports.SHORT_VERSION = void 0;
 const typescript_1 = require("typescript");
 // GENERATED: This file is generated by build-tools/code-gen.ts -- Do not edit by hand!
 /** The short version number for this JSII compiler (e.g: `X.Y.Z`) */
-exports.SHORT_VERSION = '5.9.10';
+exports.SHORT_VERSION = '5.9.11-dev.0';
 /** The qualified version number for this JSII compiler (e.g: `X.Y.Z (build #######)`) */
-exports.VERSION = '5.9.10 (build 0e9cf43)';
+exports.VERSION = '5.9.11-dev.0 (build 9b1e593)';
 /** The release line identifier for this JSII compiler (e.g: `X.Y`) */
 exports.RELEASE_LINE = typescript_1.versionMajorMinor;
 //# sourceMappingURL=version.js.map

package/lib/version.js.map

@@ -1 +1 @@
-{"version":3,"file":"version.js","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":";;;AAAA,2CAA+C;AAE/C,uFAAuF;AAEvF,qEAAqE;AACxD,QAAA,aAAa,GAAG,QAAQ,CAAC;AAEtC,yFAAyF;AAC5E,QAAA,OAAO,GAAG,wBAAwB,CAAC;AAEhD,sEAAsE;AACzD,QAAA,YAAY,GAAG,8BAAiB,CAAC","sourcesContent":["import { versionMajorMinor } from 'typescript';\n\n// GENERATED: This file is generated by build-tools/code-gen.ts -- Do not edit by hand!\n\n/** The short version number for this JSII compiler (e.g: `X.Y.Z`) */\nexport const SHORT_VERSION = '5.9.10';\n\n/** The qualified version number for this JSII compiler (e.g: `X.Y.Z (build #######)`) */\nexport const VERSION = '5.9.10 (build 0e9cf43)';\n\n/** The release line identifier for this JSII compiler (e.g: `X.Y`) */\nexport const RELEASE_LINE = versionMajorMinor;\n"]}
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../src/version.ts"],"names":[],"mappings":";;;AAAA,2CAA+C;AAE/C,uFAAuF;AAEvF,qEAAqE;AACxD,QAAA,aAAa,GAAG,cAAc,CAAC;AAE5C,yFAAyF;AAC5E,QAAA,OAAO,GAAG,8BAA8B,CAAC;AAEtD,sEAAsE;AACzD,QAAA,YAAY,GAAG,8BAAiB,CAAC","sourcesContent":["import { versionMajorMinor } from 'typescript';\n\n// GENERATED: This file is generated by build-tools/code-gen.ts -- Do not edit by hand!\n\n/** The short version number for this JSII compiler (e.g: `X.Y.Z`) */\nexport const SHORT_VERSION = '5.9.11-dev.0';\n\n/** The qualified version number for this JSII compiler (e.g: `X.Y.Z (build #######)`) */\nexport const VERSION = '5.9.11-dev.0 (build 9b1e593)';\n\n/** The release line identifier for this JSII compiler (e.g: `X.Y`) */\nexport const RELEASE_LINE = versionMajorMinor;\n"]}

package/package.json

@@ -92,7 +92,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "5.9.10",
+  "version": "5.9.11-dev.0",
   "types": "lib/index.d.ts",
   "exports": {
     ".": "./lib/index.js",