jsii 5.9.44 → 6.0.0

package/lib/tsconfig/validator.js

@@ -6,7 +6,15 @@ var RuleType;
     RuleType[RuleType["PASS"] = 0] = "PASS";
     RuleType[RuleType["FAIL"] = 1] = "FAIL";
 })(RuleType || (exports.RuleType = RuleType = {}));
+/**
+ * A sentinel value used to probe matchers for hints.
+ * It is intentionally not `null`/`undefined` so that `Match.optional` delegates
+ * to its inner matcher (which is where the hints are recorded).
+ */
+const DESCRIBE_PROBE = Symbol('jsii.tsconfig.describe.probe');
 class RuleSet {
+    options;
+    _rules = [];
     get rules() {
         return this._rules;
     }
@@ -57,7 +65,6 @@ class RuleSet {
         unexpectedFields: RuleType.PASS,
     }) {
         this.options = options;
-        this._rules = [];
     }
     /**
      * Requires the matcher to pass for the given field.
@@ -104,10 +111,9 @@ class RuleSet {
                 // run the matcher to record hints
                 rule.matcher(undefined, {
                     hints: (receivedHints) => {
-                        var _a;
                         // if we have recorded hints, add them to the map
                         if (receivedHints) {
-                            fieldHints[_a = rule.field] ?? (fieldHints[_a] = []);
+                            fieldHints[rule.field] ??= [];
                             fieldHints[rule.field].push(...receivedHints);
                         }
                     },
@@ -116,6 +122,39 @@ class RuleSet {
         }
         return fieldHints;
     }
+    /**
+     * Produces a human-readable description of every rule in the set.
+     *
+     * This is derived directly from the rules (it does not duplicate them), so it
+     * stays in sync as rules are added or changed. It is primarily intended for
+     * surfacing a rule set to a user, e.g. via the CLI.
+     *
+     * @returns A description for every rule, in the order the rules were added.
+     */
+    describe() {
+        return this._rules.map((rule) => {
+            // Probe the matcher for the values it considers relevant (hints).
+            const values = [];
+            let hinted = false;
+            rule.matcher(DESCRIBE_PROBE, {
+                hints: (allowed) => {
+                    hinted = true;
+                    if (allowed) {
+                        values.push(...allowed);
+                    }
+                },
+            });
+            // A field is required if the rule is not satisfied when the value is absent.
+            const passesWhenAbsent = rule.matcher(undefined);
+            const required = rule.type === RuleType.PASS ? !passesWhenAbsent : passesWhenAbsent;
+            return {
+                field: rule.field,
+                type: rule.type,
+                required,
+                values: hinted ? values : undefined,
+            };
+        });
+    }
 }
 exports.RuleSet = RuleSet;
 /**
@@ -161,6 +200,13 @@ class Match {
             return matcher(value, options);
         };
     }
+    /**
+     * Value must match at least one of the provided matchers.
+     * All matchers are evaluated (no short-circuit) so their hints are collected.
+     */
+    static anyOf(...matchers) {
+        return (value, options) => matchers.map((m) => m(value, options)).some(Boolean);
+    }
     /**
      * Value must be one of the allowed options
      */
@@ -211,22 +257,23 @@ class Match {
             return looseEqual(actual, expected);
         }, (actual) => `Expected string ${JSON.stringify(expected)}, got ${JSON.stringify(actual)}`, [expected]);
     }
+    /**
+     * Allows any value
+     */
+    static ANY = (_val, _options) => true;
+    // eslint-disable-next-line @typescript-eslint/member-ordering
+    static TRUE = Match.eq(true);
+    // eslint-disable-next-line @typescript-eslint/member-ordering
+    static FALSE = Match.eq(false);
+    /**
+     * Missing (undefined) value
+     */
+    // eslint-disable-next-line @typescript-eslint/member-ordering
+    static MISSING = wrapMatcher((actual) => actual === null || actual === undefined, (actual) => `Expected value to be present, got ${JSON.stringify(actual)}`, [undefined, null]);
 }
 exports.Match = Match;
-/**
- * Allows any value
- */
-Match.ANY = (_val, _options) => true;
-// eslint-disable-next-line @typescript-eslint/member-ordering
-Match.TRUE = Match.eq(true);
-// eslint-disable-next-line @typescript-eslint/member-ordering
-Match.FALSE = Match.eq(false);
-/**
- * Missing (undefined) value
- */
-// eslint-disable-next-line @typescript-eslint/member-ordering
-Match.MISSING = wrapMatcher((actual) => actual === null || actual === undefined, (actual) => `Expected value to be present, got ${JSON.stringify(actual)}`, [undefined, null]);
 class ValidationError extends Error {
+    violations;
     constructor(violations) {
         // error message is a list of violations
         super('Data is invalid:\n' + violations.map((v) => v.field + ': ' + v.message).join('\n'));
@@ -237,6 +284,8 @@ class ValidationError extends Error {
 }
 exports.ValidationError = ValidationError;
 class ObjectValidator {
+    ruleSet;
+    dataName;
     constructor(ruleSet, dataName = 'data') {
         this.ruleSet = ruleSet;
         this.dataName = dataName;

package/lib/tsconfig/validator.js.map

@@ -1 +1 @@
-{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/tsconfig/validator.ts"],"names":[],"mappings":";;;AA2BA,IAAY,QAGX;AAHD,WAAY,QAAQ;IAClB,uCAAI,CAAA;IACJ,uCAAI,CAAA;AACN,CAAC,EAHW,QAAQ,wBAAR,QAAQ,QAGnB;AAmBD,MAAa,OAAO;IAElB,IAAW,KAAK;QACd,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,IAAW,MAAM;QACf,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;IAED;;OAEG;IACH,IAAW,aAAa;QACtB,IAAI,IAAI,CAAC,OAAO,CAAC,gBAAgB,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;;OAKG;IACH,IAAW,cAAc;QACvB,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;YACvB,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAE9C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,QAAQ,CAAC,IAAI;oBAChB,IAAI,CAAC,aAAa,EAAE,CAAC;wBACnB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACrB,CAAC;oBACD,MAAM;gBACR,KAAK,QAAQ,CAAC,IAAI;oBAChB,IAAI,aAAa,EAAE,CAAC;wBAClB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACrB,CAAC;oBACD,MAAM;gBACR;oBACE,SAAS;YACb,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,YACkB,UAA0B;QACxC,gBAAgB,EAAE,QAAQ,CAAC,IAAI;KAChC;QAFe,YAAO,GAAP,OAAO,CAEtB;QA1DK,WAAM,GAAgB,EAAE,CAAC;IA2D9B,CAAC;IAEJ;;;;;;OAMG;IACI,UAAU,CAAC,KAAa,EAAE,OAAgB;QAC/C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED;;;;;OAKG;IACI,UAAU,CAAC,KAAa,EAAE,OAAgB;QAC/C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,KAAc;QAC1B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IAED;;;;;;;OAOG;IACI,aAAa;QAClB,MAAM,UAAU,GAA0B,EAAE,CAAC;QAE7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,6CAA6C;YAC7C,yDAAyD;YACzD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;gBAChC,kCAAkC;gBAClC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE;oBACtB,KAAK,EAAE,CAAC,aAAoB,EAAE,EAAE;;wBAC9B,iDAAiD;wBACjD,IAAI,aAAa,EAAE,CAAC;4BAClB,UAAU,MAAC,IAAI,CAAC,KAAK,MAArB,UAAU,OAAiB,EAAE,EAAC;4BAC9B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;wBAChD,CAAC;oBACH,CAAC;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;CACF;AA3HD,0BA2HC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,OAAgB,EAAE,OAAgC,EAAE,OAAe;IACtF,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACxB,OAAO,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACpC,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,CAAM,EAAE,CAAM;IAChC,IAAI,CAAC;QACH,mGAAmG;QACnG,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpE,OAAO,KAAK,CAAC;QACf,CAAC;QACD,qCAAqC;QACrC,oCAAoC;QACpC,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,MAAa,KAAK;IAChB;;OAEG;IACI,MAAM,CAAC,QAAQ,CAAC,OAAgB;QACrC,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;YACxB,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;gBAClB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACjC,CAAC,CAAC;IACJ,CAAC;IAED;;OAEG;IACI,MAAM,CAAC,KAAK,CAAC,GAAG,OAA+B;QACpD,OAAO,WAAW,CAChB,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EACpC,CAAC,MAAM,EAAE,EAAE,CAAC,+BAA+B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,EACpG,OAAO,CACR,CAAC;IACJ,CAAC;IAED;;;OAGG;IACI,MAAM,CAAC,EAAE,CAAC,QAAa;QAC5B,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE;YACzB,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5B,OAAO,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAChD,CAAC;YAED,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC7B,OAAO,EAAE,QAAQ,EAAE,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAClG,OAAO,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC,CAAC;IACJ,CAAC;IAED;;;OAGG;IACI,MAAM,CAAC,KAAK,CAAC,QAAe;QACjC,OAAO,WAAW,CAChB,CAAC,MAAM,EAAE,EAAE;YACT,8DAA8D;YAC9D,yDAAyD;YACzD,oEAAoE;YACpE,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBACzF,yCAAyC;gBACzC,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACrE,CAAC;YAED,iDAAiD;YACjD,OAAO,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC,EACD,CAAC,MAAM,EAAE,EAAE,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,EACjG,CAAC,QAAQ,CAAC,CACX,CAAC;IACJ,CAAC;IAED;;OAEG;IACI,MAAM,CAAC,KAAK,CAAC,QAAgB,EAAE,aAAa,GAAG,KAAK;QACzD,OAAO,WAAW,CAChB,CAAC,MAAM,EAAE,EAAE;YACT,mBAAmB;YACnB,IAAI,CAAC,aAAa,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACjD,OAAO,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;YAClE,CAAC;YAED,iBAAiB;YACjB,OAAO,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC,EACD,CAAC,MAAW,EAAE,EAAE,CAAC,mBAAmB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,EAC7F,CAAC,QAAQ,CAAC,CACX,CAAC;IACJ,CAAC;;AAhFH,sBAqGC;AAnBC;;GAEG;AACW,SAAG,GAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC;AAEtD,8DAA8D;AAChD,UAAI,GAAY,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AAC7C,8DAA8D;AAChD,WAAK,GAAY,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;AAE/C;;GAEG;AACH,8DAA8D;AAChD,aAAO,GAAG,WAAW,CACjC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,EACnD,CAAC,MAAM,EAAE,EAAE,CAAC,qCAAqC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,EACzE,CAAC,SAAS,EAAE,IAAI,CAAC,CAClB,CAAC;AAQJ,MAAa,eAAgB,SAAQ,KAAK;IACxC,YAA4B,UAAuB;QACjD,wCAAwC;QACxC,KAAK,CAAC,oBAAoB,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAFjE,eAAU,GAAV,UAAU,CAAa;QAIjD,gCAAgC;QAChC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC;IACzD,CAAC;CACF;AARD,0CAQC;AAED,MAAa,eAAe;IAC1B,YAA0B,OAAgB,EAAmB,WAAmB,MAAM;QAA5D,YAAO,GAAP,OAAO,CAAS;QAAmB,aAAQ,GAAR,QAAQ,CAAiB;IAAG,CAAC;IAE1F;;;;;;OAMG;IACI,QAAQ,CAAC,IAA8B;QAC5C,8BAA8B;QAC9B,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,eAAe,CAAC;gBACxB,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,wCAAwC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;aACnG,CAAC,CAAC;QACL,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,GAAG,EAAE,CAAC;QAChC,MAAM,UAAU,GAAgB,EAAE,CAAC;QAEnC,gCAAgC;QAChC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAE/B,yEAAyE;YACzE,IAAI,gBAAgB,GAAG,6BAA6B,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC7E,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE;gBACtC,QAAQ,EAAE,CAAC,OAAe,EAAE,EAAE;oBAC5B,gBAAgB,GAAG,OAAO,CAAC;gBAC7B,CAAC;aACF,CAAC,CAAC;YAEH,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,QAAQ,CAAC,IAAI;oBAChB,IAAI,CAAC,WAAW,EAAE,CAAC;wBACjB,UAAU,CAAC,IAAI,CAAC;4BACd,KAAK,EAAE,IAAI,CAAC,KAAK;4BACjB,OAAO,EAAE,gBAAgB;yBAC1B,CAAC,CAAC;oBACL,CAAC;oBACD,MAAM;gBACR,KAAK,QAAQ,CAAC,IAAI;oBAChB,IAAI,WAAW,EAAE,CAAC;wBAChB,UAAU,CAAC,IAAI,CAAC;4BACd,KAAK,EAAE,IAAI,CAAC,KAAK;4BACjB,OAAO,EAAE,gBAAgB;yBAC1B,CAAC,CAAC;oBACL,CAAC;oBACD,MAAM;gBACR;oBACE,SAAS;YACb,CAAC;YAED,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;QAED,4EAA4E;QAC5E,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;YAC5D,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;gBACnC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC9B,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,0BAA0B,KAAK,EAAE,EAAE,CAAC,CAAC;gBAChF,CAAC;YACH,CAAC;QACH,CAAC;QAED,qDAAqD;QACrD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,eAAe,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;CACF;AAxED,0CAwEC","sourcesContent":["/**\n * A function that receives 3 arguments and validates if the provided value matches.\n * @param value The value to validate\n * @params options Additional options to influence the matcher behavior.\n * @returns true if the value matches\n */\ntype Matcher = (value: any, options?: MatcherOptions) => boolean;\n\ninterface MatcherOptions {\n  /**\n   * A function that will be called by the matcher with a a violation message.\n   * This function is always called, regardless of the outcome of the matcher.\n   * It is up to the caller of the matcher to decide if the message should be used or not.\n   *\n   * @param message The message describing the possible failure.\n   */\n  reporter?: (message: string) => void;\n  /**\n   * A function that might receive explicitly allowed values.\n   * This can be used to generate synthetics values that would match the matcher.\n   * It is not guaranteed that hints are received or that hints are complete.\n   *\n   * @param allowed The list values that a matcher offers as definitely allowed.\n   */\n  hints?: (allowed: any[]) => void;\n}\n\nexport enum RuleType {\n  PASS,\n  FAIL,\n}\n\nexport interface RuleSetOptions {\n  /**\n   * Defines the behavior for any encountered fields for which no rules are defined.\n   * The default is to pass these fields without validation,\n   * but this can also be set to fail any unexpected fields.\n   *\n   * @default RuleType.PASS\n   */\n  readonly unexpectedFields: RuleType;\n}\n\ninterface Rule {\n  field: string;\n  type: RuleType;\n  matcher: Matcher;\n}\n\nexport class RuleSet {\n  private _rules: Array<Rule> = [];\n  public get rules(): Array<Rule> {\n    return this._rules;\n  }\n\n  /**\n   * Return all fields for which a rule exists\n   */\n  public get fields(): Array<string> {\n    return [...new Set(this._rules.map((r) => r.field))];\n  }\n\n  /**\n   * Return a list of fields that are allowed, or undefined if all are allowed.\n   */\n  public get allowedFields(): Array<string> | undefined {\n    if (this.options.unexpectedFields === RuleType.FAIL) {\n      return this.fields;\n    }\n\n    return undefined;\n  }\n\n  /**\n   * Find all required fields by evaluating every rule in th set against undefined.\n   * If the rule fails, the key must be required.\n   *\n   * @returns A list of keys that must be included or undefined\n   */\n  public get requiredFields(): Array<string> {\n    const required: string[] = [];\n\n    for (const rule of this._rules) {\n      const key = rule.field;\n      const matcherResult = rule.matcher(undefined);\n\n      switch (rule.type) {\n        case RuleType.PASS:\n          if (!matcherResult) {\n            required.push(key);\n          }\n          break;\n        case RuleType.FAIL:\n          if (matcherResult) {\n            required.push(key);\n          }\n          break;\n        default:\n          continue;\n      }\n    }\n\n    return required;\n  }\n\n  public constructor(\n    public readonly options: RuleSetOptions = {\n      unexpectedFields: RuleType.PASS,\n    },\n  ) {}\n\n  /**\n   * Requires the matcher to pass for the given field.\n   * Otherwise a violation is detected.\n   *\n   * @param field The field the rule applies to\n   * @param matcher The matcher function\n   */\n  public shouldPass(field: string, matcher: Matcher) {\n    this._rules.push({ field, matcher, type: RuleType.PASS });\n  }\n\n  /**\n   * Detects a violation if the matcher is matching for a certain field.\n   *\n   * @param field The field the rule applies to\n   * @param matcher The matcher function\n   */\n  public shouldFail(field: string, matcher: Matcher) {\n    this._rules.push({ field, matcher, type: RuleType.FAIL });\n  }\n\n  /**\n   * Imports all rules from an other rule set.\n   * Note that any options from the other rule set will be ignored.\n   *\n   * @param other The other rule set to import rules from.\n   */\n  public import(other: RuleSet) {\n    this._rules.push(...other.rules);\n  }\n\n  /**\n   * Records the field hints for the given rule set.\n   * Hints are values that are guaranteed to pass the rule.\n   * The list of hints is not guaranteed to be complete nor does it guarantee to return any values.\n   * This can be used to create synthetic values for testing for error messages.\n   *\n   * @returns A record of fields and allowed values\n   */\n  public getFieldHints(): Record<string, any[]> {\n    const fieldHints: Record<string, any[]> = {};\n\n    for (const rule of this._rules) {\n      // We are only interested in PASS rules here.\n      // For FAILs we still don't know which values would pass.\n      if (rule.type === RuleType.PASS) {\n        // run the matcher to record hints\n        rule.matcher(undefined, {\n          hints: (receivedHints: any[]) => {\n            // if we have recorded hints, add them to the map\n            if (receivedHints) {\n              fieldHints[rule.field] ??= [];\n              fieldHints[rule.field].push(...receivedHints);\n            }\n          },\n        });\n      }\n    }\n\n    return fieldHints;\n  }\n}\n\n/**\n * Helper to wrap a matcher with error reporting and hints\n */\nfunction wrapMatcher(matcher: Matcher, message: (actual: any) => string, allowed?: any[]): Matcher {\n  return (value, options) => {\n    options?.reporter?.(message(value));\n    if (allowed) {\n      options?.hints?.(allowed);\n    }\n    return matcher(value);\n  };\n}\n\n/**\n * Helper to implement loose equality that is safe for any value\n * Needed because there are some values that are equal as object, but not with ==\n * There are also values that cannot be compared using == and will throw\n */\nfunction looseEqual(a: any, b: any): boolean {\n  try {\n    // if one of the values is an object (or array), but the other isn't - never consider them the same\n    if ([typeof a, typeof b].filter((t) => t === 'object').length === 1) {\n      return false;\n    }\n    // if both values are the same object\n    // or if both values are loose equal\n    return Object.is(a, b) || a == b;\n  } catch {\n    return false;\n  }\n}\n\nexport class Match {\n  /**\n   * Value is optional, but if present should match\n   */\n  public static optional(matcher: Matcher): Matcher {\n    return (value, options) => {\n      if (value == null) {\n        return true;\n      }\n      return matcher(value, options);\n    };\n  }\n\n  /**\n   * Value must be one of the allowed options\n   */\n  public static oneOf(...allowed: Array<string | number>): Matcher {\n    return wrapMatcher(\n      (actual) => allowed.includes(actual),\n      (actual) => `Expected value to be one of ${JSON.stringify(allowed)}, got: ${JSON.stringify(actual)}`,\n      allowed,\n    );\n  }\n\n  /**\n   * Value must be loosely equal to the expected value\n   * Arrays are compared by elements\n   */\n  public static eq(expected: any): Matcher {\n    return (actual, options) => {\n      if (Array.isArray(expected)) {\n        return Match.arrEq(expected)(actual, options);\n      }\n\n      options?.hints?.([expected]);\n      options?.reporter?.(`Expected value ${JSON.stringify(expected)}, got: ${JSON.stringify(actual)}`);\n      return looseEqual(actual, expected);\n    };\n  }\n\n  /**\n   * Value must be loosely equal to the expected value\n   * Arrays are compared by elements\n   */\n  public static arrEq(expected: any[]): Matcher {\n    return wrapMatcher(\n      (actual) => {\n        // if both are arrays and of the same length, compare elements\n        // if one of them is not, or they are a different length,\n        // skip comparing elements as the the equality check later will fail\n        if (Array.isArray(expected) && Array.isArray(actual) && expected.length == actual.length) {\n          // compare all elements with loose typing\n          return expected.every((e) => actual.some((a) => looseEqual(a, e)));\n        }\n\n        // all other values and arrays of different shape\n        return looseEqual(actual, expected);\n      },\n      (actual) => `Expected array matching ${JSON.stringify(expected)}, got: ${JSON.stringify(actual)}`,\n      [expected],\n    );\n  }\n\n  /**\n   * Compare strings, allows setting cases sensitivity\n   */\n  public static strEq(expected: string, caseSensitive = false): Matcher {\n    return wrapMatcher(\n      (actual) => {\n        // case insensitive\n        if (!caseSensitive && typeof actual === 'string') {\n          return looseEqual(expected.toLowerCase(), actual.toLowerCase());\n        }\n\n        // case sensitive\n        return looseEqual(actual, expected);\n      },\n      (actual: any) => `Expected string ${JSON.stringify(expected)}, got ${JSON.stringify(actual)}`,\n      [expected],\n    );\n  }\n\n  /**\n   * Allows any value\n   */\n  public static ANY: Matcher = (_val, _options) => true;\n\n  // eslint-disable-next-line @typescript-eslint/member-ordering\n  public static TRUE: Matcher = Match.eq(true);\n  // eslint-disable-next-line @typescript-eslint/member-ordering\n  public static FALSE: Matcher = Match.eq(false);\n\n  /**\n   * Missing (undefined) value\n   */\n  // eslint-disable-next-line @typescript-eslint/member-ordering\n  public static MISSING = wrapMatcher(\n    (actual) => actual === null || actual === undefined,\n    (actual) => `Expected value to be present, got ${JSON.stringify(actual)}`,\n    [undefined, null],\n  );\n}\n\nexport interface Violation {\n  field: string;\n  message: string;\n}\n\nexport class ValidationError extends Error {\n  constructor(public readonly violations: Violation[]) {\n    // error message is a list of violations\n    super('Data is invalid:\\n' + violations.map((v) => v.field + ': ' + v.message).join('\\n'));\n\n    // Set the prototype explicitly.\n    Object.setPrototypeOf(this, ValidationError.prototype);\n  }\n}\n\nexport class ObjectValidator {\n  public constructor(public ruleSet: RuleSet, private readonly dataName: string = 'data') {}\n\n  /**\n   * Validated the provided data against the set of rules.\n   *\n   * @throws when the data is invalid\n   *\n   * @param data the data to be validated\n   */\n  public validate(data: { [field: string]: any }) {\n    // make sure data is an object\n    if (!(typeof data === 'object' && !Array.isArray(data) && data !== null)) {\n      throw new ValidationError([\n        { field: this.dataName, message: 'Provided data must be an object, got: ' + JSON.stringify(data) },\n      ]);\n    }\n\n    const checkedFields = new Set();\n    const violations: Violation[] = [];\n\n    // first check all defined rules\n    for (const rule of this.ruleSet.rules) {\n      const value = data[rule.field];\n\n      // Use a fallback message, but allow the matcher to report a better arrow\n      let violationMessage = 'Value is not allowed, got: ' + JSON.stringify(value);\n      const matchResult = rule.matcher(value, {\n        reporter: (message: string) => {\n          violationMessage = message;\n        },\n      });\n\n      switch (rule.type) {\n        case RuleType.PASS:\n          if (!matchResult) {\n            violations.push({\n              field: rule.field,\n              message: violationMessage,\n            });\n          }\n          break;\n        case RuleType.FAIL:\n          if (matchResult) {\n            violations.push({\n              field: rule.field,\n              message: violationMessage,\n            });\n          }\n          break;\n        default:\n          continue;\n      }\n\n      checkedFields.add(rule.field);\n    }\n\n    // finally check fields without any rules if they should fail the validation\n    if (this.ruleSet.options.unexpectedFields === RuleType.FAIL) {\n      const receivedFields = Object.keys(data);\n      for (const field of receivedFields) {\n        if (!checkedFields.has(field)) {\n          violations.push({ field: field, message: `Unexpected field, got: ${field}` });\n        }\n      }\n    }\n\n    // if we have encountered a violation, throw an error\n    if (violations.length > 0) {\n      throw new ValidationError(violations);\n    }\n  }\n}\n"]}
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/tsconfig/validator.ts"],"names":[],"mappings":";;;AA2BA,IAAY,QAGX;AAHD,WAAY,QAAQ;IAClB,uCAAI,CAAA;IACJ,uCAAI,CAAA;AACN,CAAC,EAHW,QAAQ,wBAAR,QAAQ,QAGnB;AA+CD;;;;GAIG;AACH,MAAM,cAAc,GAAG,MAAM,CAAC,8BAA8B,CAAC,CAAC;AAE9D,MAAa,OAAO;IAyDA;IAxDV,MAAM,GAAgB,EAAE,CAAC;IACjC,IAAW,KAAK;QACd,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,IAAW,MAAM;QACf,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;IAED;;OAEG;IACH,IAAW,aAAa;QACtB,IAAI,IAAI,CAAC,OAAO,CAAC,gBAAgB,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC,MAAM,CAAC;QACrB,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;;OAKG;IACH,IAAW,cAAc;QACvB,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC;YACvB,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YAE9C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,QAAQ,CAAC,IAAI;oBAChB,IAAI,CAAC,aAAa,EAAE,CAAC;wBACnB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACrB,CAAC;oBACD,MAAM;gBACR,KAAK,QAAQ,CAAC,IAAI;oBAChB,IAAI,aAAa,EAAE,CAAC;wBAClB,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBACrB,CAAC;oBACD,MAAM;gBACR;oBACE,SAAS;YACb,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,YACkB,UAA0B;QACxC,gBAAgB,EAAE,QAAQ,CAAC,IAAI;KAChC;QAFe,YAAO,GAAP,OAAO,CAEtB;IACA,CAAC;IAEJ;;;;;;OAMG;IACI,UAAU,CAAC,KAAa,EAAE,OAAgB;QAC/C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED;;;;;OAKG;IACI,UAAU,CAAC,KAAa,EAAE,OAAgB;QAC/C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IAC5D,CAAC;IAED;;;;;OAKG;IACI,MAAM,CAAC,KAAc;QAC1B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC;IAED;;;;;;;OAOG;IACI,aAAa;QAClB,MAAM,UAAU,GAA0B,EAAE,CAAC;QAE7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,6CAA6C;YAC7C,yDAAyD;YACzD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;gBAChC,kCAAkC;gBAClC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE;oBACtB,KAAK,EAAE,CAAC,aAAoB,EAAE,EAAE;wBAC9B,iDAAiD;wBACjD,IAAI,aAAa,EAAE,CAAC;4BAClB,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;4BAC9B,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC;wBAChD,CAAC;oBACH,CAAC;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;;;;;;;OAQG;IACI,QAAQ;QACb,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YAC9B,kEAAkE;YAClE,MAAM,MAAM,GAAU,EAAE,CAAC;YACzB,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE;gBAC3B,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE;oBACjB,MAAM,GAAG,IAAI,CAAC;oBACd,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;oBAC1B,CAAC;gBACH,CAAC;aACF,CAAC,CAAC;YAEH,6EAA6E;YAC7E,MAAM,gBAAgB,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC;YAEpF,OAAO;gBACL,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,QAAQ;gBACR,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS;aACpC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;CACF;AA/JD,0BA+JC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,OAAgB,EAAE,OAAgC,EAAE,OAAe;IACtF,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACxB,OAAO,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACpC,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,EAAE,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,SAAS,UAAU,CAAC,CAAM,EAAE,CAAM;IAChC,IAAI,CAAC;QACH,mGAAmG;QACnG,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpE,OAAO,KAAK,CAAC;QACf,CAAC;QACD,qCAAqC;QACrC,oCAAoC;QACpC,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,MAAa,KAAK;IAChB;;OAEG;IACI,MAAM,CAAC,QAAQ,CAAC,OAAgB;QACrC,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;YACxB,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;gBAClB,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACjC,CAAC,CAAC;IACJ,CAAC;IAED;;;OAGG;IACI,MAAM,CAAC,KAAK,CAAC,GAAG,QAAmB;QACxC,OAAO,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClF,CAAC;IAED;;OAEG;IACI,MAAM,CAAC,KAAK,CAAC,GAAG,OAA+B;QACpD,OAAO,WAAW,CAChB,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EACpC,CAAC,MAAM,EAAE,EAAE,CAAC,+BAA+B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,EACpG,OAAO,CACR,CAAC;IACJ,CAAC;IAED;;;OAGG;IACI,MAAM,CAAC,EAAE,CAAC,QAAa;QAC5B,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE;YACzB,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5B,OAAO,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YAChD,CAAC;YAED,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC7B,OAAO,EAAE,QAAQ,EAAE,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YAClG,OAAO,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC,CAAC;IACJ,CAAC;IAED;;;OAGG;IACI,MAAM,CAAC,KAAK,CAAC,QAAe;QACjC,OAAO,WAAW,CAChB,CAAC,MAAM,EAAE,EAAE;YACT,8DAA8D;YAC9D,yDAAyD;YACzD,oEAAoE;YACpE,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBACzF,yCAAyC;gBACzC,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACrE,CAAC;YAED,iDAAiD;YACjD,OAAO,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC,EACD,CAAC,MAAM,EAAE,EAAE,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,EACjG,CAAC,QAAQ,CAAC,CACX,CAAC;IACJ,CAAC;IAED;;OAEG;IACI,MAAM,CAAC,KAAK,CAAC,QAAgB,EAAE,aAAa,GAAG,KAAK;QACzD,OAAO,WAAW,CAChB,CAAC,MAAM,EAAE,EAAE;YACT,mBAAmB;YACnB,IAAI,CAAC,aAAa,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACjD,OAAO,UAAU,CAAC,QAAQ,CAAC,WAAW,EAAE,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;YAClE,CAAC;YAED,iBAAiB;YACjB,OAAO,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACtC,CAAC,EACD,CAAC,MAAW,EAAE,EAAE,CAAC,mBAAmB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,EAC7F,CAAC,QAAQ,CAAC,CACX,CAAC;IACJ,CAAC;IAED;;OAEG;IACI,MAAM,CAAC,GAAG,GAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC;IAEtD,8DAA8D;IACvD,MAAM,CAAC,IAAI,GAAY,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC7C,8DAA8D;IACvD,MAAM,CAAC,KAAK,GAAY,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAE/C;;OAEG;IACH,8DAA8D;IACvD,MAAM,CAAC,OAAO,GAAG,WAAW,CACjC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS,EACnD,CAAC,MAAM,EAAE,EAAE,CAAC,qCAAqC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,EACzE,CAAC,SAAS,EAAE,IAAI,CAAC,CAClB,CAAC;;AA5GJ,sBA6GC;AAOD,MAAa,eAAgB,SAAQ,KAAK;IACZ;IAA5B,YAA4B,UAAuB;QACjD,wCAAwC;QACxC,KAAK,CAAC,oBAAoB,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAFjE,eAAU,GAAV,UAAU,CAAa;QAIjD,gCAAgC;QAChC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,eAAe,CAAC,SAAS,CAAC,CAAC;IACzD,CAAC;CACF;AARD,0CAQC;AAED,MAAa,eAAe;IACA;IAAmC;IAA7D,YAA0B,OAAgB,EAAmB,WAAmB,MAAM;QAA5D,YAAO,GAAP,OAAO,CAAS;QAAmB,aAAQ,GAAR,QAAQ,CAAiB;IAAG,CAAC;IAE1F;;;;;;OAMG;IACI,QAAQ,CAAC,IAA8B;QAC5C,8BAA8B;QAC9B,IAAI,CAAC,CAAC,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,eAAe,CAAC;gBACxB,EAAE,KAAK,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,wCAAwC,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE;aACnG,CAAC,CAAC;QACL,CAAC;QAED,MAAM,aAAa,GAAG,IAAI,GAAG,EAAE,CAAC;QAChC,MAAM,UAAU,GAAgB,EAAE,CAAC;QAEnC,gCAAgC;QAChC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAE/B,yEAAyE;YACzE,IAAI,gBAAgB,GAAG,6BAA6B,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;YAC7E,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE;gBACtC,QAAQ,EAAE,CAAC,OAAe,EAAE,EAAE;oBAC5B,gBAAgB,GAAG,OAAO,CAAC;gBAC7B,CAAC;aACF,CAAC,CAAC;YAEH,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,QAAQ,CAAC,IAAI;oBAChB,IAAI,CAAC,WAAW,EAAE,CAAC;wBACjB,UAAU,CAAC,IAAI,CAAC;4BACd,KAAK,EAAE,IAAI,CAAC,KAAK;4BACjB,OAAO,EAAE,gBAAgB;yBAC1B,CAAC,CAAC;oBACL,CAAC;oBACD,MAAM;gBACR,KAAK,QAAQ,CAAC,IAAI;oBAChB,IAAI,WAAW,EAAE,CAAC;wBAChB,UAAU,CAAC,IAAI,CAAC;4BACd,KAAK,EAAE,IAAI,CAAC,KAAK;4BACjB,OAAO,EAAE,gBAAgB;yBAC1B,CAAC,CAAC;oBACL,CAAC;oBACD,MAAM;gBACR;oBACE,SAAS;YACb,CAAC;YAED,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,CAAC;QAED,4EAA4E;QAC5E,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;YAC5D,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;gBACnC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC9B,UAAU,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,0BAA0B,KAAK,EAAE,EAAE,CAAC,CAAC;gBAChF,CAAC;YACH,CAAC;QACH,CAAC;QAED,qDAAqD;QACrD,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,MAAM,IAAI,eAAe,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;CACF;AAxED,0CAwEC","sourcesContent":["/**\n * A function that receives 3 arguments and validates if the provided value matches.\n * @param value The value to validate\n * @params options Additional options to influence the matcher behavior.\n * @returns true if the value matches\n */\ntype Matcher = (value: any, options?: MatcherOptions) => boolean;\n\ninterface MatcherOptions {\n  /**\n   * A function that will be called by the matcher with a a violation message.\n   * This function is always called, regardless of the outcome of the matcher.\n   * It is up to the caller of the matcher to decide if the message should be used or not.\n   *\n   * @param message The message describing the possible failure.\n   */\n  reporter?: (message: string) => void;\n  /**\n   * A function that might receive explicitly allowed values.\n   * This can be used to generate synthetics values that would match the matcher.\n   * It is not guaranteed that hints are received or that hints are complete.\n   *\n   * @param allowed The list values that a matcher offers as definitely allowed.\n   */\n  hints?: (allowed: any[]) => void;\n}\n\nexport enum RuleType {\n  PASS,\n  FAIL,\n}\n\nexport interface RuleSetOptions {\n  /**\n   * Defines the behavior for any encountered fields for which no rules are defined.\n   * The default is to pass these fields without validation,\n   * but this can also be set to fail any unexpected fields.\n   *\n   * @default RuleType.PASS\n   */\n  readonly unexpectedFields: RuleType;\n}\n\ninterface Rule {\n  field: string;\n  type: RuleType;\n  matcher: Matcher;\n}\n\n/**\n * A human-readable description of a single rule.\n * Intended for displaying a rule set to a user, e.g. via the CLI.\n */\nexport interface RuleDescription {\n  /**\n   * The field (compilerOption) the rule applies to.\n   */\n  readonly field: string;\n\n  /**\n   * Whether the value must match (`PASS`) or must not match (`FAIL`) the constraint.\n   */\n  readonly type: RuleType;\n\n  /**\n   * Whether the field is required to be present for the rule to pass.\n   */\n  readonly required: boolean;\n\n  /**\n   * The values the matcher offered as hints.\n   * For `PASS` rules these are allowed values, for `FAIL` rules these are disallowed values.\n   * `undefined` when the matcher did not offer any hints (e.g. any value is accepted).\n   */\n  readonly values?: any[];\n}\n\n/**\n * A sentinel value used to probe matchers for hints.\n * It is intentionally not `null`/`undefined` so that `Match.optional` delegates\n * to its inner matcher (which is where the hints are recorded).\n */\nconst DESCRIBE_PROBE = Symbol('jsii.tsconfig.describe.probe');\n\nexport class RuleSet {\n  private _rules: Array<Rule> = [];\n  public get rules(): Array<Rule> {\n    return this._rules;\n  }\n\n  /**\n   * Return all fields for which a rule exists\n   */\n  public get fields(): Array<string> {\n    return [...new Set(this._rules.map((r) => r.field))];\n  }\n\n  /**\n   * Return a list of fields that are allowed, or undefined if all are allowed.\n   */\n  public get allowedFields(): Array<string> | undefined {\n    if (this.options.unexpectedFields === RuleType.FAIL) {\n      return this.fields;\n    }\n\n    return undefined;\n  }\n\n  /**\n   * Find all required fields by evaluating every rule in th set against undefined.\n   * If the rule fails, the key must be required.\n   *\n   * @returns A list of keys that must be included or undefined\n   */\n  public get requiredFields(): Array<string> {\n    const required: string[] = [];\n\n    for (const rule of this._rules) {\n      const key = rule.field;\n      const matcherResult = rule.matcher(undefined);\n\n      switch (rule.type) {\n        case RuleType.PASS:\n          if (!matcherResult) {\n            required.push(key);\n          }\n          break;\n        case RuleType.FAIL:\n          if (matcherResult) {\n            required.push(key);\n          }\n          break;\n        default:\n          continue;\n      }\n    }\n\n    return required;\n  }\n\n  public constructor(\n    public readonly options: RuleSetOptions = {\n      unexpectedFields: RuleType.PASS,\n    },\n  ) {}\n\n  /**\n   * Requires the matcher to pass for the given field.\n   * Otherwise a violation is detected.\n   *\n   * @param field The field the rule applies to\n   * @param matcher The matcher function\n   */\n  public shouldPass(field: string, matcher: Matcher) {\n    this._rules.push({ field, matcher, type: RuleType.PASS });\n  }\n\n  /**\n   * Detects a violation if the matcher is matching for a certain field.\n   *\n   * @param field The field the rule applies to\n   * @param matcher The matcher function\n   */\n  public shouldFail(field: string, matcher: Matcher) {\n    this._rules.push({ field, matcher, type: RuleType.FAIL });\n  }\n\n  /**\n   * Imports all rules from an other rule set.\n   * Note that any options from the other rule set will be ignored.\n   *\n   * @param other The other rule set to import rules from.\n   */\n  public import(other: RuleSet) {\n    this._rules.push(...other.rules);\n  }\n\n  /**\n   * Records the field hints for the given rule set.\n   * Hints are values that are guaranteed to pass the rule.\n   * The list of hints is not guaranteed to be complete nor does it guarantee to return any values.\n   * This can be used to create synthetic values for testing for error messages.\n   *\n   * @returns A record of fields and allowed values\n   */\n  public getFieldHints(): Record<string, any[]> {\n    const fieldHints: Record<string, any[]> = {};\n\n    for (const rule of this._rules) {\n      // We are only interested in PASS rules here.\n      // For FAILs we still don't know which values would pass.\n      if (rule.type === RuleType.PASS) {\n        // run the matcher to record hints\n        rule.matcher(undefined, {\n          hints: (receivedHints: any[]) => {\n            // if we have recorded hints, add them to the map\n            if (receivedHints) {\n              fieldHints[rule.field] ??= [];\n              fieldHints[rule.field].push(...receivedHints);\n            }\n          },\n        });\n      }\n    }\n\n    return fieldHints;\n  }\n\n  /**\n   * Produces a human-readable description of every rule in the set.\n   *\n   * This is derived directly from the rules (it does not duplicate them), so it\n   * stays in sync as rules are added or changed. It is primarily intended for\n   * surfacing a rule set to a user, e.g. via the CLI.\n   *\n   * @returns A description for every rule, in the order the rules were added.\n   */\n  public describe(): RuleDescription[] {\n    return this._rules.map((rule) => {\n      // Probe the matcher for the values it considers relevant (hints).\n      const values: any[] = [];\n      let hinted = false;\n      rule.matcher(DESCRIBE_PROBE, {\n        hints: (allowed) => {\n          hinted = true;\n          if (allowed) {\n            values.push(...allowed);\n          }\n        },\n      });\n\n      // A field is required if the rule is not satisfied when the value is absent.\n      const passesWhenAbsent = rule.matcher(undefined);\n      const required = rule.type === RuleType.PASS ? !passesWhenAbsent : passesWhenAbsent;\n\n      return {\n        field: rule.field,\n        type: rule.type,\n        required,\n        values: hinted ? values : undefined,\n      };\n    });\n  }\n}\n\n/**\n * Helper to wrap a matcher with error reporting and hints\n */\nfunction wrapMatcher(matcher: Matcher, message: (actual: any) => string, allowed?: any[]): Matcher {\n  return (value, options) => {\n    options?.reporter?.(message(value));\n    if (allowed) {\n      options?.hints?.(allowed);\n    }\n    return matcher(value);\n  };\n}\n\n/**\n * Helper to implement loose equality that is safe for any value\n * Needed because there are some values that are equal as object, but not with ==\n * There are also values that cannot be compared using == and will throw\n */\nfunction looseEqual(a: any, b: any): boolean {\n  try {\n    // if one of the values is an object (or array), but the other isn't - never consider them the same\n    if ([typeof a, typeof b].filter((t) => t === 'object').length === 1) {\n      return false;\n    }\n    // if both values are the same object\n    // or if both values are loose equal\n    return Object.is(a, b) || a == b;\n  } catch {\n    return false;\n  }\n}\n\nexport class Match {\n  /**\n   * Value is optional, but if present should match\n   */\n  public static optional(matcher: Matcher): Matcher {\n    return (value, options) => {\n      if (value == null) {\n        return true;\n      }\n      return matcher(value, options);\n    };\n  }\n\n  /**\n   * Value must match at least one of the provided matchers.\n   * All matchers are evaluated (no short-circuit) so their hints are collected.\n   */\n  public static anyOf(...matchers: Matcher[]): Matcher {\n    return (value, options) => matchers.map((m) => m(value, options)).some(Boolean);\n  }\n\n  /**\n   * Value must be one of the allowed options\n   */\n  public static oneOf(...allowed: Array<string | number>): Matcher {\n    return wrapMatcher(\n      (actual) => allowed.includes(actual),\n      (actual) => `Expected value to be one of ${JSON.stringify(allowed)}, got: ${JSON.stringify(actual)}`,\n      allowed,\n    );\n  }\n\n  /**\n   * Value must be loosely equal to the expected value\n   * Arrays are compared by elements\n   */\n  public static eq(expected: any): Matcher {\n    return (actual, options) => {\n      if (Array.isArray(expected)) {\n        return Match.arrEq(expected)(actual, options);\n      }\n\n      options?.hints?.([expected]);\n      options?.reporter?.(`Expected value ${JSON.stringify(expected)}, got: ${JSON.stringify(actual)}`);\n      return looseEqual(actual, expected);\n    };\n  }\n\n  /**\n   * Value must be loosely equal to the expected value\n   * Arrays are compared by elements\n   */\n  public static arrEq(expected: any[]): Matcher {\n    return wrapMatcher(\n      (actual) => {\n        // if both are arrays and of the same length, compare elements\n        // if one of them is not, or they are a different length,\n        // skip comparing elements as the the equality check later will fail\n        if (Array.isArray(expected) && Array.isArray(actual) && expected.length == actual.length) {\n          // compare all elements with loose typing\n          return expected.every((e) => actual.some((a) => looseEqual(a, e)));\n        }\n\n        // all other values and arrays of different shape\n        return looseEqual(actual, expected);\n      },\n      (actual) => `Expected array matching ${JSON.stringify(expected)}, got: ${JSON.stringify(actual)}`,\n      [expected],\n    );\n  }\n\n  /**\n   * Compare strings, allows setting cases sensitivity\n   */\n  public static strEq(expected: string, caseSensitive = false): Matcher {\n    return wrapMatcher(\n      (actual) => {\n        // case insensitive\n        if (!caseSensitive && typeof actual === 'string') {\n          return looseEqual(expected.toLowerCase(), actual.toLowerCase());\n        }\n\n        // case sensitive\n        return looseEqual(actual, expected);\n      },\n      (actual: any) => `Expected string ${JSON.stringify(expected)}, got ${JSON.stringify(actual)}`,\n      [expected],\n    );\n  }\n\n  /**\n   * Allows any value\n   */\n  public static ANY: Matcher = (_val, _options) => true;\n\n  // eslint-disable-next-line @typescript-eslint/member-ordering\n  public static TRUE: Matcher = Match.eq(true);\n  // eslint-disable-next-line @typescript-eslint/member-ordering\n  public static FALSE: Matcher = Match.eq(false);\n\n  /**\n   * Missing (undefined) value\n   */\n  // eslint-disable-next-line @typescript-eslint/member-ordering\n  public static MISSING = wrapMatcher(\n    (actual) => actual === null || actual === undefined,\n    (actual) => `Expected value to be present, got ${JSON.stringify(actual)}`,\n    [undefined, null],\n  );\n}\n\nexport interface Violation {\n  field: string;\n  message: string;\n}\n\nexport class ValidationError extends Error {\n  constructor(public readonly violations: Violation[]) {\n    // error message is a list of violations\n    super('Data is invalid:\\n' + violations.map((v) => v.field + ': ' + v.message).join('\\n'));\n\n    // Set the prototype explicitly.\n    Object.setPrototypeOf(this, ValidationError.prototype);\n  }\n}\n\nexport class ObjectValidator {\n  public constructor(public ruleSet: RuleSet, private readonly dataName: string = 'data') {}\n\n  /**\n   * Validated the provided data against the set of rules.\n   *\n   * @throws when the data is invalid\n   *\n   * @param data the data to be validated\n   */\n  public validate(data: { [field: string]: any }) {\n    // make sure data is an object\n    if (!(typeof data === 'object' && !Array.isArray(data) && data !== null)) {\n      throw new ValidationError([\n        { field: this.dataName, message: 'Provided data must be an object, got: ' + JSON.stringify(data) },\n      ]);\n    }\n\n    const checkedFields = new Set();\n    const violations: Violation[] = [];\n\n    // first check all defined rules\n    for (const rule of this.ruleSet.rules) {\n      const value = data[rule.field];\n\n      // Use a fallback message, but allow the matcher to report a better arrow\n      let violationMessage = 'Value is not allowed, got: ' + JSON.stringify(value);\n      const matchResult = rule.matcher(value, {\n        reporter: (message: string) => {\n          violationMessage = message;\n        },\n      });\n\n      switch (rule.type) {\n        case RuleType.PASS:\n          if (!matchResult) {\n            violations.push({\n              field: rule.field,\n              message: violationMessage,\n            });\n          }\n          break;\n        case RuleType.FAIL:\n          if (matchResult) {\n            violations.push({\n              field: rule.field,\n              message: violationMessage,\n            });\n          }\n          break;\n        default:\n          continue;\n      }\n\n      checkedFields.add(rule.field);\n    }\n\n    // finally check fields without any rules if they should fail the validation\n    if (this.ruleSet.options.unexpectedFields === RuleType.FAIL) {\n      const receivedFields = Object.keys(data);\n      for (const field of receivedFields) {\n        if (!checkedFields.has(field)) {\n          violations.push({ field: field, message: `Unexpected field, got: ${field}` });\n        }\n      }\n    }\n\n    // if we have encountered a violation, throw an error\n    if (violations.length > 0) {\n      throw new ValidationError(violations);\n    }\n  }\n}\n"]}

package/lib/type-analysis.js

@@ -1,8 +1,44 @@
 "use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.isAllowedCovariantSubtype = isAllowedCovariantSubtype;
-const spec = require("@jsii/spec");
-const deepEqual = require("fast-deep-equal");
+const spec = __importStar(require("@jsii/spec"));
+const fast_deep_equal_1 = __importDefault(require("fast-deep-equal"));
 /**
  * Check if subType is an allowed covariant subtype to superType
  *
@@ -16,7 +52,7 @@ function isAllowedCovariantSubtype(subType, superType, dereference) {
         return false;
     }
     // Same type is always covariant
-    if (deepEqual(subType, superType)) {
+    if ((0, fast_deep_equal_1.default)(subType, superType)) {
         return true;
     }
     // Handle array collections (covariant)

package/lib/type-analysis.js.map

@@ -1 +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"]}
+{"version":3,"file":"type-analysis.js","sourceRoot":"","sources":["../src/type-analysis.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAWA,8DAqIC;AAhJD,iDAAmC;AACnC,sEAAwC;AAGxC;;;;;;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,IAAA,yBAAS,EAAC,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 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.js

@@ -1,10 +1,43 @@
 "use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.typeReferenceToString = typeReferenceToString;
 exports.typeReferenceEqual = typeReferenceEqual;
 exports.createTypeResolver = createTypeResolver;
 exports.resolveType = resolveType;
-const spec = require("@jsii/spec");
+const spec = __importStar(require("@jsii/spec"));
 const type_visitor_1 = require("./type-visitor");
 /**
  * Convert a type reference to a string

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;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"]}
+{"version":3,"file":"type-reference.js","sourceRoot":"","sources":["../src/type-reference.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAMA,sDAkBC;AAKD,gDAyBC;AAOD,gDAEC;AAMD,kCAcC;AAnFD,iDAAmC;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/type-tracker.js

@@ -1,16 +1,47 @@
 "use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.TypeTracker = void 0;
-const ts = require("typescript");
+const ts = __importStar(require("typescript"));
 /**
  * A class that tracks the TypeScript source AST nodes for certain jsii types
  *
  * This is useful if we need to get additional information that is not currently tracked.
  */
 class TypeTracker {
-    constructor() {
-        this.enums = {};
-    }
+    enums = {};
     registerEnum(fqn, decl) {
         this.enums[fqn] = decl;
     }

package/lib/type-tracker.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-tracker.js","sourceRoot":"","sources":["../src/type-tracker.ts"],"names":[],"mappings":";;;AAAA,iCAAiC;AAEjC;;;;GAIG;AACH,MAAa,WAAW;IAAxB;QACmB,UAAK,GAAuC,EAAE,CAAC;IAqBlE,CAAC;IAnBQ,YAAY,CAAC,GAAW,EAAE,IAAwB;QACvD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;IACzB,CAAC;IAEM,OAAO,CAAC,GAAW;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CAAC,0CAA0C,GAAG,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEM,cAAc,CAAC,GAAW;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAEnC,OAAO,MAAM,CAAC,WAAW,CACvB,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAC1F,CAAC;IACJ,CAAC;CACF;AAtBD,kCAsBC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,4BAA4B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACnE,CAAC","sourcesContent":["import * as ts from 'typescript';\n\n/**\n * A class that tracks the TypeScript source AST nodes for certain jsii types\n *\n * This is useful if we need to get additional information that is not currently tracked.\n */\nexport class TypeTracker {\n  private readonly enums: Record<string, ts.EnumDeclaration> = {};\n\n  public registerEnum(fqn: string, decl: ts.EnumDeclaration) {\n    this.enums[fqn] = decl;\n  }\n\n  public getEnum(fqn: string): ts.EnumDeclaration {\n    const ret = this.enums[fqn];\n    if (!ret) {\n      throw new Error(`No declaration was registered for enum ${fqn}`);\n    }\n    return ret;\n  }\n\n  public getEnumMembers(fqn: string): Record<string, ts.EnumMember> {\n    const enumDecl = this.getEnum(fqn);\n\n    return Object.fromEntries(\n      enumDecl.members.filter(ts.isEnumMember).map((mem) => [asIdentifier(mem.name).text, mem]),\n    );\n  }\n}\n\nfunction asIdentifier(x: ts.Node): ts.Identifier {\n  if (ts.isIdentifier(x)) {\n    return x;\n  }\n  throw new Error(`Expected identifier, got ${JSON.stringify(x)}`);\n}\n"]}
+{"version":3,"file":"type-tracker.js","sourceRoot":"","sources":["../src/type-tracker.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,+CAAiC;AAEjC;;;;GAIG;AACH,MAAa,WAAW;IACL,KAAK,GAAuC,EAAE,CAAC;IAEzD,YAAY,CAAC,GAAW,EAAE,IAAwB;QACvD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;IACzB,CAAC;IAEM,OAAO,CAAC,GAAW;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,MAAM,IAAI,KAAK,CAAC,0CAA0C,GAAG,EAAE,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAEM,cAAc,CAAC,GAAW;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAEnC,OAAO,MAAM,CAAC,WAAW,CACvB,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAC1F,CAAC;IACJ,CAAC;CACF;AAtBD,kCAsBC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,4BAA4B,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACnE,CAAC","sourcesContent":["import * as ts from 'typescript';\n\n/**\n * A class that tracks the TypeScript source AST nodes for certain jsii types\n *\n * This is useful if we need to get additional information that is not currently tracked.\n */\nexport class TypeTracker {\n  private readonly enums: Record<string, ts.EnumDeclaration> = {};\n\n  public registerEnum(fqn: string, decl: ts.EnumDeclaration) {\n    this.enums[fqn] = decl;\n  }\n\n  public getEnum(fqn: string): ts.EnumDeclaration {\n    const ret = this.enums[fqn];\n    if (!ret) {\n      throw new Error(`No declaration was registered for enum ${fqn}`);\n    }\n    return ret;\n  }\n\n  public getEnumMembers(fqn: string): Record<string, ts.EnumMember> {\n    const enumDecl = this.getEnum(fqn);\n\n    return Object.fromEntries(\n      enumDecl.members.filter(ts.isEnumMember).map((mem) => [asIdentifier(mem.name).text, mem]),\n    );\n  }\n}\n\nfunction asIdentifier(x: ts.Node): ts.Identifier {\n  if (ts.isIdentifier(x)) {\n    return x;\n  }\n  throw new Error(`Expected identifier, got ${JSON.stringify(x)}`);\n}\n"]}

package/lib/type-visitor.js

@@ -1,10 +1,43 @@
 "use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.visitTypeReference = visitTypeReference;
 exports.visitType = visitType;
 exports.isDataType = isDataType;
 exports.isBehavioralInterfaceType = isBehavioralInterfaceType;
-const spec = require("@jsii/spec");
+const spec = __importStar(require("@jsii/spec"));
 function visitTypeReference(typeRef, visitor) {
     if (spec.isNamedTypeReference(typeRef)) {
         return visitor.named(typeRef);

package/lib/type-visitor.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-visitor.js","sourceRoot":"","sources":["../src/type-visitor.ts"],"names":[],"mappings":";;AAUA,gDAcC;AASD,8BAYC;AAED,gCAEC;AAED,8DAEC;AArDD,mCAAmC;AAUnC,SAAgB,kBAAkB,CAAI,OAA2B,EAAE,OAAgC;IACjG,IAAI,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,OAAO,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;SAAM,IAAI,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,EAAE,CAAC;QAClD,OAAO,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;SAAM,IAAI,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,OAAO,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;SAAM,IAAI,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,OAAO,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;SAAM,IAAI,IAAI,CAAC,2BAA2B,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,OAAO,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;AACH,CAAC;AASD,SAAgB,SAAS,CAAI,CAAY,EAAE,OAAuB;IAChE,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC;SAAM,IAAI,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACjD,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;SAAM,IAAI,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,OAAO,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;SAAM,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9B,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED,SAAgB,UAAU,CAAC,CAAY;IACrC,OAAO,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AACjD,CAAC;AAED,SAAgB,yBAAyB,CAAC,CAAY;IACpD,OAAO,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;AAChD,CAAC","sourcesContent":["import * as spec from '@jsii/spec';\n\nexport interface TypeReferenceVisitor<A = void> {\n  named(ref: spec.NamedTypeReference): A;\n  primitive(ref: spec.PrimitiveTypeReference): A;\n  collection(ref: spec.CollectionTypeReference): A;\n  union(ref: spec.UnionTypeReference): A;\n  intersection(ref: spec.IntersectionTypeReference): A;\n}\n\nexport function visitTypeReference<A>(typeRef: spec.TypeReference, visitor: TypeReferenceVisitor<A>) {\n  if (spec.isNamedTypeReference(typeRef)) {\n    return visitor.named(typeRef);\n  } else if (spec.isPrimitiveTypeReference(typeRef)) {\n    return visitor.primitive(typeRef);\n  } else if (spec.isCollectionTypeReference(typeRef)) {\n    return visitor.collection(typeRef);\n  } else if (spec.isUnionTypeReference(typeRef)) {\n    return visitor.union(typeRef);\n  } else if (spec.isIntersectionTypeReference(typeRef)) {\n    return visitor.intersection(typeRef);\n  } else {\n    throw new Error(`Unknown type reference: ${JSON.stringify(typeRef)}`);\n  }\n}\n\nexport interface TypeVisitor<A = void> {\n  classType(t: spec.ClassType): A;\n  interfaceType(t: spec.InterfaceType): A;\n  dataType(t: spec.InterfaceType): A;\n  enumType(t: spec.EnumType): A;\n}\n\nexport function visitType<A>(t: spec.Type, visitor: TypeVisitor<A>) {\n  if (spec.isClassType(t)) {\n    return visitor.classType(t);\n  } else if (spec.isInterfaceType(t) && t.datatype) {\n    return visitor.dataType(t);\n  } else if (spec.isInterfaceType(t)) {\n    return visitor.interfaceType(t);\n  } else if (spec.isEnumType(t)) {\n    return visitor.enumType(t);\n  } else {\n    throw new Error(`Unknown type: ${JSON.stringify(t)}`);\n  }\n}\n\nexport function isDataType(t: spec.Type): t is spec.InterfaceType {\n  return spec.isInterfaceType(t) && !!t.datatype;\n}\n\nexport function isBehavioralInterfaceType(t: spec.Type): t is spec.InterfaceType {\n  return spec.isInterfaceType(t) && !t.datatype;\n}\n"]}
+{"version":3,"file":"type-visitor.js","sourceRoot":"","sources":["../src/type-visitor.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAUA,gDAcC;AASD,8BAYC;AAED,gCAEC;AAED,8DAEC;AArDD,iDAAmC;AAUnC,SAAgB,kBAAkB,CAAI,OAA2B,EAAE,OAAgC;IACjG,IAAI,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QACvC,OAAO,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;SAAM,IAAI,IAAI,CAAC,wBAAwB,CAAC,OAAO,CAAC,EAAE,CAAC;QAClD,OAAO,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;SAAM,IAAI,IAAI,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,OAAO,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;SAAM,IAAI,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9C,OAAO,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;SAAM,IAAI,IAAI,CAAC,2BAA2B,CAAC,OAAO,CAAC,EAAE,CAAC;QACrD,OAAO,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxE,CAAC;AACH,CAAC;AASD,SAAgB,SAAS,CAAI,CAAY,EAAE,OAAuB;IAChE,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC;SAAM,IAAI,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACjD,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;SAAM,IAAI,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,OAAO,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC;SAAM,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QAC9B,OAAO,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED,SAAgB,UAAU,CAAC,CAAY;IACrC,OAAO,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;AACjD,CAAC;AAED,SAAgB,yBAAyB,CAAC,CAAY;IACpD,OAAO,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC;AAChD,CAAC","sourcesContent":["import * as spec from '@jsii/spec';\n\nexport interface TypeReferenceVisitor<A = void> {\n  named(ref: spec.NamedTypeReference): A;\n  primitive(ref: spec.PrimitiveTypeReference): A;\n  collection(ref: spec.CollectionTypeReference): A;\n  union(ref: spec.UnionTypeReference): A;\n  intersection(ref: spec.IntersectionTypeReference): A;\n}\n\nexport function visitTypeReference<A>(typeRef: spec.TypeReference, visitor: TypeReferenceVisitor<A>) {\n  if (spec.isNamedTypeReference(typeRef)) {\n    return visitor.named(typeRef);\n  } else if (spec.isPrimitiveTypeReference(typeRef)) {\n    return visitor.primitive(typeRef);\n  } else if (spec.isCollectionTypeReference(typeRef)) {\n    return visitor.collection(typeRef);\n  } else if (spec.isUnionTypeReference(typeRef)) {\n    return visitor.union(typeRef);\n  } else if (spec.isIntersectionTypeReference(typeRef)) {\n    return visitor.intersection(typeRef);\n  } else {\n    throw new Error(`Unknown type reference: ${JSON.stringify(typeRef)}`);\n  }\n}\n\nexport interface TypeVisitor<A = void> {\n  classType(t: spec.ClassType): A;\n  interfaceType(t: spec.InterfaceType): A;\n  dataType(t: spec.InterfaceType): A;\n  enumType(t: spec.EnumType): A;\n}\n\nexport function visitType<A>(t: spec.Type, visitor: TypeVisitor<A>) {\n  if (spec.isClassType(t)) {\n    return visitor.classType(t);\n  } else if (spec.isInterfaceType(t) && t.datatype) {\n    return visitor.dataType(t);\n  } else if (spec.isInterfaceType(t)) {\n    return visitor.interfaceType(t);\n  } else if (spec.isEnumType(t)) {\n    return visitor.enumType(t);\n  } else {\n    throw new Error(`Unknown type: ${JSON.stringify(t)}`);\n  }\n}\n\nexport function isDataType(t: spec.Type): t is spec.InterfaceType {\n  return spec.isInterfaceType(t) && !!t.datatype;\n}\n\nexport function isBehavioralInterfaceType(t: spec.Type): t is spec.InterfaceType {\n  return spec.isInterfaceType(t) && !t.datatype;\n}\n"]}

package/lib/utils.js

@@ -1,4 +1,37 @@
 "use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.JsiiError = exports.JSII_DIAGNOSTICS_CODE = exports.DIAGNOSTICS = exports.CLI_LOGGER = void 0;
 exports.diagnosticsLogger = diagnosticsLogger;
@@ -10,8 +43,8 @@ exports.parsePerson = parsePerson;
 exports.parseRepository = parseRepository;
 exports.stripAnsi = stripAnsi;
 exports.parentFqn = parentFqn;
-const log4js = require("log4js");
-const ts = require("typescript");
+const log4js = __importStar(require("log4js"));
+const ts = __importStar(require("typescript"));
 const jsii_diagnostic_1 = require("./jsii-diagnostic");
 const warnings_1 = require("./warnings");
 /**
@@ -198,6 +231,8 @@ function stripAnsi(x) {
  * Throws an error that is intended as CLI output.
  */
 class JsiiError extends Error {
+    message;
+    showHelp;
     /**
      * An expected error that can be nicely formatted where needed (e.g. in CLI output)
      * This should only be used for errors that a user can fix themselves.