jsii 5.9.44-dev.0 → 6.0.0-dev.0

package/lib/tsconfig/rulesets/jsii-configured-options.js

@@ -13,7 +13,6 @@ jsiiConfiguredOptions.shouldPass('inlineSourceMap', validator_1.Match.ANY);
 jsiiConfiguredOptions.shouldPass('inlineSources', validator_1.Match.ANY);
 jsiiConfiguredOptions.shouldPass('sourceMap', validator_1.Match.ANY);
 jsiiConfiguredOptions.shouldPass('types', validator_1.Match.ANY);
-jsiiConfiguredOptions.shouldPass('baseUrl', validator_1.Match.ANY);
 jsiiConfiguredOptions.shouldPass('paths', validator_1.Match.ANY);
 jsiiConfiguredOptions.shouldPass('composite', validator_1.Match.ANY); // configured via projectReferences
 jsiiConfiguredOptions.shouldPass('tsBuildInfoFile', validator_1.Match.ANY);

package/lib/tsconfig/rulesets/jsii-configured-options.js.map

@@ -1 +1 @@
-{"version":3,"file":"jsii-configured-options.js","sourceRoot":"","sources":["../../../src/tsconfig/rulesets/jsii-configured-options.ts"],"names":[],"mappings":";;AAAA,4CAA8C;AAE9C,mGAAmG;AACnG,qEAAqE;AACrE,gCAAgC;AAChC,MAAM,qBAAqB,GAAG,IAAI,mBAAO,EAAE,CAAC;AAC5C,qBAAqB,CAAC,UAAU,CAAC,QAAQ,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AACtD,qBAAqB,CAAC,UAAU,CAAC,SAAS,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AACvD,qBAAqB,CAAC,UAAU,CAAC,kCAAkC,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AAChF,qBAAqB,CAAC,UAAU,CAAC,gBAAgB,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AAC9D,qBAAqB,CAAC,UAAU,CAAC,iBAAiB,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AAC/D,qBAAqB,CAAC,UAAU,CAAC,eAAe,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AAC7D,qBAAqB,CAAC,UAAU,CAAC,WAAW,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AACzD,qBAAqB,CAAC,UAAU,CAAC,OAAO,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AACrD,qBAAqB,CAAC,UAAU,CAAC,SAAS,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AACvD,qBAAqB,CAAC,UAAU,CAAC,OAAO,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AACrD,qBAAqB,CAAC,UAAU,CAAC,WAAW,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC,CAAC,mCAAmC;AAC7F,qBAAqB,CAAC,UAAU,CAAC,iBAAiB,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AAE/D,kBAAe,qBAAqB,CAAC","sourcesContent":["import { Match, RuleSet } from '../validator';\n\n// A rule set defining all compilerOptions that are configurable via the jsii field in package.json\n// This is an internal rule set, that may be used by other rule sets.\n// We accept all value for these\nconst jsiiConfiguredOptions = new RuleSet();\njsiiConfiguredOptions.shouldPass('outDir', Match.ANY);\njsiiConfiguredOptions.shouldPass('rootDir', Match.ANY);\njsiiConfiguredOptions.shouldPass('forceConsistentCasingInFileNames', Match.ANY);\njsiiConfiguredOptions.shouldPass('declarationMap', Match.ANY);\njsiiConfiguredOptions.shouldPass('inlineSourceMap', Match.ANY);\njsiiConfiguredOptions.shouldPass('inlineSources', Match.ANY);\njsiiConfiguredOptions.shouldPass('sourceMap', Match.ANY);\njsiiConfiguredOptions.shouldPass('types', Match.ANY);\njsiiConfiguredOptions.shouldPass('baseUrl', Match.ANY);\njsiiConfiguredOptions.shouldPass('paths', Match.ANY);\njsiiConfiguredOptions.shouldPass('composite', Match.ANY); // configured via projectReferences\njsiiConfiguredOptions.shouldPass('tsBuildInfoFile', Match.ANY);\n\nexport default jsiiConfiguredOptions;\n"]}
+{"version":3,"file":"jsii-configured-options.js","sourceRoot":"","sources":["../../../src/tsconfig/rulesets/jsii-configured-options.ts"],"names":[],"mappings":";;AAAA,4CAA8C;AAE9C,mGAAmG;AACnG,qEAAqE;AACrE,gCAAgC;AAChC,MAAM,qBAAqB,GAAG,IAAI,mBAAO,EAAE,CAAC;AAC5C,qBAAqB,CAAC,UAAU,CAAC,QAAQ,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AACtD,qBAAqB,CAAC,UAAU,CAAC,SAAS,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AACvD,qBAAqB,CAAC,UAAU,CAAC,kCAAkC,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AAChF,qBAAqB,CAAC,UAAU,CAAC,gBAAgB,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AAC9D,qBAAqB,CAAC,UAAU,CAAC,iBAAiB,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AAC/D,qBAAqB,CAAC,UAAU,CAAC,eAAe,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AAC7D,qBAAqB,CAAC,UAAU,CAAC,WAAW,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AACzD,qBAAqB,CAAC,UAAU,CAAC,OAAO,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AACrD,qBAAqB,CAAC,UAAU,CAAC,OAAO,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AACrD,qBAAqB,CAAC,UAAU,CAAC,WAAW,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC,CAAC,mCAAmC;AAC7F,qBAAqB,CAAC,UAAU,CAAC,iBAAiB,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;AAE/D,kBAAe,qBAAqB,CAAC","sourcesContent":["import { Match, RuleSet } from '../validator';\n\n// A rule set defining all compilerOptions that are configurable via the jsii field in package.json\n// This is an internal rule set, that may be used by other rule sets.\n// We accept all value for these\nconst jsiiConfiguredOptions = new RuleSet();\njsiiConfiguredOptions.shouldPass('outDir', Match.ANY);\njsiiConfiguredOptions.shouldPass('rootDir', Match.ANY);\njsiiConfiguredOptions.shouldPass('forceConsistentCasingInFileNames', Match.ANY);\njsiiConfiguredOptions.shouldPass('declarationMap', Match.ANY);\njsiiConfiguredOptions.shouldPass('inlineSourceMap', Match.ANY);\njsiiConfiguredOptions.shouldPass('inlineSources', Match.ANY);\njsiiConfiguredOptions.shouldPass('sourceMap', Match.ANY);\njsiiConfiguredOptions.shouldPass('types', Match.ANY);\njsiiConfiguredOptions.shouldPass('paths', Match.ANY);\njsiiConfiguredOptions.shouldPass('composite', Match.ANY); // configured via projectReferences\njsiiConfiguredOptions.shouldPass('tsBuildInfoFile', Match.ANY);\n\nexport default jsiiConfiguredOptions;\n"]}

package/lib/tsconfig/rulesets/minimal.public.js

@@ -1,6 +1,9 @@
 "use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
 Object.defineProperty(exports, "__esModule", { value: true });
-const incompatible_options_1 = require("./incompatible-options");
+const incompatible_options_1 = __importDefault(require("./incompatible-options"));
 const validator_1 = require("../validator");
 // The public rule set used for the "minimal" tsconfig validation setting
 // To goal of this rule set is to only prevent obvious misconfigurations,

package/lib/tsconfig/rulesets/minimal.public.js.map

@@ -1 +1 @@
-{"version":3,"file":"minimal.public.js","sourceRoot":"","sources":["../../../src/tsconfig/rulesets/minimal.public.ts"],"names":[],"mappings":";;AAAA,iEAAyD;AACzD,4CAAuC;AAEvC,yEAAyE;AACzE,yEAAyE;AACzE,gDAAgD;AAChD,MAAM,OAAO,GAAG,IAAI,mBAAO,EAAE,CAAC;AAC9B,OAAO,CAAC,MAAM,CAAC,8BAAmB,CAAC,CAAC;AAEpC,kBAAe,OAAO,CAAC","sourcesContent":["import incompatibleOptions from './incompatible-options';\nimport { RuleSet } from '../validator';\n\n// The public rule set used for the \"minimal\" tsconfig validation setting\n// To goal of this rule set is to only prevent obvious misconfigurations,\n// while leaving everything else up to the user.\nconst minimal = new RuleSet();\nminimal.import(incompatibleOptions);\n\nexport default minimal;\n"]}
+{"version":3,"file":"minimal.public.js","sourceRoot":"","sources":["../../../src/tsconfig/rulesets/minimal.public.ts"],"names":[],"mappings":";;;;;AAAA,kFAAyD;AACzD,4CAAuC;AAEvC,yEAAyE;AACzE,yEAAyE;AACzE,gDAAgD;AAChD,MAAM,OAAO,GAAG,IAAI,mBAAO,EAAE,CAAC;AAC9B,OAAO,CAAC,MAAM,CAAC,8BAAmB,CAAC,CAAC;AAEpC,kBAAe,OAAO,CAAC","sourcesContent":["import incompatibleOptions from './incompatible-options';\nimport { RuleSet } from '../validator';\n\n// The public rule set used for the \"minimal\" tsconfig validation setting\n// To goal of this rule set is to only prevent obvious misconfigurations,\n// while leaving everything else up to the user.\nconst minimal = new RuleSet();\nminimal.import(incompatibleOptions);\n\nexport default minimal;\n"]}

package/lib/tsconfig/rulesets/strict.public.js

@@ -1,9 +1,12 @@
 "use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
 Object.defineProperty(exports, "__esModule", { value: true });
-const configurable_options_1 = require("./configurable-options");
-const deprecated_options_1 = require("./deprecated-options");
-const incompatible_options_1 = require("./incompatible-options");
-const strict_family_options_1 = require("./strict-family-options");
+const configurable_options_1 = __importDefault(require("./configurable-options"));
+const deprecated_options_1 = __importDefault(require("./deprecated-options"));
+const incompatible_options_1 = __importDefault(require("./incompatible-options"));
+const strict_family_options_1 = __importDefault(require("./strict-family-options"));
 const validator_1 = require("../validator");
 // The public rule set used for the "strict" tsconfig validation setting.
 // The goal of this rule set is to ensure a tsconfig that is following best practices for jsii.
@@ -19,15 +22,15 @@ strict.import(incompatible_options_1.default);
 // strict family options
 strict.import(strict_family_options_1.default);
 // Best practice rules
-strict.shouldPass('target', validator_1.Match.eq('es2022')); // node18
-strict.shouldPass('lib', validator_1.Match.arrEq(['es2022'])); // node18
-strict.shouldPass('module', validator_1.Match.oneOf('node16', 'commonjs'));
-strict.shouldPass('moduleResolution', validator_1.Match.optional(validator_1.Match.oneOf('node', 'node16')));
-strict.shouldPass('esModuleInterop', validator_1.Match.TRUE);
+strict.shouldPass('target', validator_1.Match.oneOf('es2022', 'es2023', 'esnext')); // node18+
+strict.shouldPass('lib', validator_1.Match.anyOf(validator_1.Match.arrEq(['es2022']), validator_1.Match.arrEq(['es2023']), validator_1.Match.arrEq(['esnext']))); // node18+
+strict.shouldPass('module', validator_1.Match.oneOf('node16', 'node18', 'node20', 'nodenext', 'commonjs'));
+strict.shouldPass('moduleResolution', validator_1.Match.optional(validator_1.Match.oneOf('node16', 'nodenext', 'bundler')));
 strict.shouldPass('skipLibCheck', validator_1.Match.TRUE);
 strict.shouldPass('stripInternal', validator_1.Match.optional(validator_1.Match.FALSE));
 strict.shouldPass('noEmitOnError', validator_1.Match.TRUE);
 strict.shouldPass('declaration', validator_1.Match.TRUE);
+strict.shouldPass('noUncheckedSideEffectImports', validator_1.Match.optional(validator_1.Match.TRUE));
 // Deprecated ts options that should not be used with jsii
 strict.import(deprecated_options_1.default);
 exports.default = strict;

package/lib/tsconfig/rulesets/strict.public.js.map

@@ -1 +1 @@
-{"version":3,"file":"strict.public.js","sourceRoot":"","sources":["../../../src/tsconfig/rulesets/strict.public.ts"],"names":[],"mappings":";;AAAA,iEAAyD;AACzD,6DAAqD;AACrD,iEAAyD;AACzD,mEAA0D;AAC1D,4CAAwD;AAExD,yEAAyE;AACzE,+FAA+F;AAC/F,8HAA8H;AAC9H,0DAA0D;AAC1D,MAAM,MAAM,GAAG,IAAI,mBAAO,CAAC;IACzB,gBAAgB,EAAE,oBAAQ,CAAC,IAAI;CAChC,CAAC,CAAC;AAEH,2CAA2C;AAC3C,MAAM,CAAC,MAAM,CAAC,8BAAmB,CAAC,CAAC;AAEnC,sDAAsD;AACtD,MAAM,CAAC,MAAM,CAAC,8BAAmB,CAAC,CAAC;AAEnC,wBAAwB;AACxB,MAAM,CAAC,MAAM,CAAC,+BAAmB,CAAC,CAAC;AAEnC,sBAAsB;AACtB,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,iBAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;AAC1D,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,iBAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;AAC5D,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,iBAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;AAC/D,MAAM,CAAC,UAAU,CAAC,kBAAkB,EAAE,iBAAK,CAAC,QAAQ,CAAC,iBAAK,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;AACrF,MAAM,CAAC,UAAU,CAAC,iBAAiB,EAAE,iBAAK,CAAC,IAAI,CAAC,CAAC;AACjD,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,iBAAK,CAAC,IAAI,CAAC,CAAC;AAC9C,MAAM,CAAC,UAAU,CAAC,eAAe,EAAE,iBAAK,CAAC,QAAQ,CAAC,iBAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAChE,MAAM,CAAC,UAAU,CAAC,eAAe,EAAE,iBAAK,CAAC,IAAI,CAAC,CAAC;AAC/C,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,iBAAK,CAAC,IAAI,CAAC,CAAC;AAE7C,0DAA0D;AAC1D,MAAM,CAAC,MAAM,CAAC,4BAAiB,CAAC,CAAC;AAEjC,kBAAe,MAAM,CAAC","sourcesContent":["import configurableOptions from './configurable-options';\nimport deprecatedOptions from './deprecated-options';\nimport incompatibleOptions from './incompatible-options';\nimport strictFamilyOptions from './strict-family-options';\nimport { Match, RuleSet, RuleType } from '../validator';\n\n// The public rule set used for the \"strict\" tsconfig validation setting.\n// The goal of this rule set is to ensure a tsconfig that is following best practices for jsii.\n// In practice, this is a combination of known incompatible options, known configurable options and additional best practices.\n// The rule set also explicitly disallows unknown options.\nconst strict = new RuleSet({\n  unexpectedFields: RuleType.FAIL,\n});\n\n// import all options that are configurable\nstrict.import(configurableOptions);\n\n// import all options that are definitely incompatible\nstrict.import(incompatibleOptions);\n\n// strict family options\nstrict.import(strictFamilyOptions);\n\n// Best practice rules\nstrict.shouldPass('target', Match.eq('es2022')); // node18\nstrict.shouldPass('lib', Match.arrEq(['es2022'])); // node18\nstrict.shouldPass('module', Match.oneOf('node16', 'commonjs'));\nstrict.shouldPass('moduleResolution', Match.optional(Match.oneOf('node', 'node16')));\nstrict.shouldPass('esModuleInterop', Match.TRUE);\nstrict.shouldPass('skipLibCheck', Match.TRUE);\nstrict.shouldPass('stripInternal', Match.optional(Match.FALSE));\nstrict.shouldPass('noEmitOnError', Match.TRUE);\nstrict.shouldPass('declaration', Match.TRUE);\n\n// Deprecated ts options that should not be used with jsii\nstrict.import(deprecatedOptions);\n\nexport default strict;\n"]}
+{"version":3,"file":"strict.public.js","sourceRoot":"","sources":["../../../src/tsconfig/rulesets/strict.public.ts"],"names":[],"mappings":";;;;;AAAA,kFAAyD;AACzD,8EAAqD;AACrD,kFAAyD;AACzD,oFAA0D;AAC1D,4CAAwD;AAExD,yEAAyE;AACzE,+FAA+F;AAC/F,8HAA8H;AAC9H,0DAA0D;AAC1D,MAAM,MAAM,GAAG,IAAI,mBAAO,CAAC;IACzB,gBAAgB,EAAE,oBAAQ,CAAC,IAAI;CAChC,CAAC,CAAC;AAEH,2CAA2C;AAC3C,MAAM,CAAC,MAAM,CAAC,8BAAmB,CAAC,CAAC;AAEnC,sDAAsD;AACtD,MAAM,CAAC,MAAM,CAAC,8BAAmB,CAAC,CAAC;AAEnC,wBAAwB;AACxB,MAAM,CAAC,MAAM,CAAC,+BAAmB,CAAC,CAAC;AAEnC,sBAAsB;AACtB,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,iBAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,UAAU;AAClF,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,iBAAK,CAAC,KAAK,CAAC,iBAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,iBAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,iBAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU;AAC5H,MAAM,CAAC,UAAU,CAAC,QAAQ,EAAE,iBAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AAC/F,MAAM,CAAC,UAAU,CAAC,kBAAkB,EAAE,iBAAK,CAAC,QAAQ,CAAC,iBAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;AACpG,MAAM,CAAC,UAAU,CAAC,cAAc,EAAE,iBAAK,CAAC,IAAI,CAAC,CAAC;AAC9C,MAAM,CAAC,UAAU,CAAC,eAAe,EAAE,iBAAK,CAAC,QAAQ,CAAC,iBAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAChE,MAAM,CAAC,UAAU,CAAC,eAAe,EAAE,iBAAK,CAAC,IAAI,CAAC,CAAC;AAC/C,MAAM,CAAC,UAAU,CAAC,aAAa,EAAE,iBAAK,CAAC,IAAI,CAAC,CAAC;AAC7C,MAAM,CAAC,UAAU,CAAC,8BAA8B,EAAE,iBAAK,CAAC,QAAQ,CAAC,iBAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAE9E,0DAA0D;AAC1D,MAAM,CAAC,MAAM,CAAC,4BAAiB,CAAC,CAAC;AAEjC,kBAAe,MAAM,CAAC","sourcesContent":["import configurableOptions from './configurable-options';\nimport deprecatedOptions from './deprecated-options';\nimport incompatibleOptions from './incompatible-options';\nimport strictFamilyOptions from './strict-family-options';\nimport { Match, RuleSet, RuleType } from '../validator';\n\n// The public rule set used for the \"strict\" tsconfig validation setting.\n// The goal of this rule set is to ensure a tsconfig that is following best practices for jsii.\n// In practice, this is a combination of known incompatible options, known configurable options and additional best practices.\n// The rule set also explicitly disallows unknown options.\nconst strict = new RuleSet({\n  unexpectedFields: RuleType.FAIL,\n});\n\n// import all options that are configurable\nstrict.import(configurableOptions);\n\n// import all options that are definitely incompatible\nstrict.import(incompatibleOptions);\n\n// strict family options\nstrict.import(strictFamilyOptions);\n\n// Best practice rules\nstrict.shouldPass('target', Match.oneOf('es2022', 'es2023', 'esnext')); // node18+\nstrict.shouldPass('lib', Match.anyOf(Match.arrEq(['es2022']), Match.arrEq(['es2023']), Match.arrEq(['esnext']))); // node18+\nstrict.shouldPass('module', Match.oneOf('node16', 'node18', 'node20', 'nodenext', 'commonjs'));\nstrict.shouldPass('moduleResolution', Match.optional(Match.oneOf('node16', 'nodenext', 'bundler')));\nstrict.shouldPass('skipLibCheck', Match.TRUE);\nstrict.shouldPass('stripInternal', Match.optional(Match.FALSE));\nstrict.shouldPass('noEmitOnError', Match.TRUE);\nstrict.shouldPass('declaration', Match.TRUE);\nstrict.shouldPass('noUncheckedSideEffectImports', Match.optional(Match.TRUE));\n\n// Deprecated ts options that should not be used with jsii\nstrict.import(deprecatedOptions);\n\nexport default strict;\n"]}

package/lib/tsconfig/tsconfig-validator.js

@@ -1,9 +1,12 @@
 "use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.TypeScriptConfigValidator = void 0;
-const generated_public_1 = require("./rulesets/generated.public");
-const minimal_public_1 = require("./rulesets/minimal.public");
-const strict_public_1 = require("./rulesets/strict.public");
+const generated_public_1 = __importDefault(require("./rulesets/generated.public"));
+const minimal_public_1 = __importDefault(require("./rulesets/minimal.public"));
+const strict_public_1 = __importDefault(require("./rulesets/strict.public"));
 const validator_1 = require("./validator");
 const RuleSets = {
     generated: generated_public_1.default,
@@ -12,6 +15,9 @@ const RuleSets = {
     off: new validator_1.RuleSet(),
 };
 class TypeScriptConfigValidator {
+    ruleSet;
+    validator;
+    compilerOptions;
     constructor(ruleSet) {
         this.ruleSet = ruleSet;
         const topLevelRules = new validator_1.RuleSet({

package/lib/tsconfig/tsconfig-validator.js.map

@@ -1 +1 @@
-{"version":3,"file":"tsconfig-validator.js","sourceRoot":"","sources":["../../src/tsconfig/tsconfig-validator.ts"],"names":[],"mappings":";;;AACA,kEAAoD;AACpD,8DAAgD;AAChD,4DAA8C;AAC9C,2CAAwE;AAExE,MAAM,QAAQ,GAEV;IACF,SAAS,EAAT,0BAAS;IACT,MAAM,EAAN,uBAAM;IACN,OAAO,EAAP,wBAAO;IACP,GAAG,EAAE,IAAI,mBAAO,EAAE;CACnB,CAAC;AAEF,MAAa,yBAAyB;IAIpC,YAA0B,OAA0C;QAA1C,YAAO,GAAP,OAAO,CAAmC;QAClE,MAAM,aAAa,GAAG,IAAI,mBAAO,CAAC;YAChC,gBAAgB,EAAE,oBAAQ,CAAC,IAAI;SAChC,CAAC,CAAC;QACH,aAAa,CAAC,UAAU,CAAC,OAAO,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;QAC7C,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;QAC/C,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;QAC/C,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;QAC/C,aAAa,CAAC,UAAU,CAAC,YAAY,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;QAClD,aAAa,CAAC,UAAU,CAAC,cAAc,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;QACpD,aAAa,CAAC,UAAU,CAAC,iBAAiB,EAAE,iBAAK,CAAC,OAAO,CAAC,CAAC;QAE3D,IAAI,CAAC,eAAe,GAAG,IAAI,2BAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,iBAAiB,CAAC,CAAC;QACjF,aAAa,CAAC,UAAU,CAAC,iBAAiB,EAAE,CAAC,eAAe,EAAE,EAAE;YAC9D,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;YAC/C,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,SAAS,GAAG,IAAI,2BAAe,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAClE,CAAC;IAED;;;;;;OAMG;IACI,QAAQ,CAAC,QAA0B;QACxC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;CACF;AAnCD,8DAmCC","sourcesContent":["import { TypeScriptConfig, TypeScriptConfigValidationRuleSet } from '.';\nimport generated from './rulesets/generated.public';\nimport minimal from './rulesets/minimal.public';\nimport strict from './rulesets/strict.public';\nimport { Match, ObjectValidator, RuleSet, RuleType } from './validator';\n\nconst RuleSets: {\n  [name in TypeScriptConfigValidationRuleSet]: RuleSet;\n} = {\n  generated,\n  strict,\n  minimal,\n  off: new RuleSet(),\n};\n\nexport class TypeScriptConfigValidator {\n  private readonly validator: ObjectValidator;\n  private readonly compilerOptions: ObjectValidator;\n\n  public constructor(public ruleSet: TypeScriptConfigValidationRuleSet) {\n    const topLevelRules = new RuleSet({\n      unexpectedFields: RuleType.PASS,\n    });\n    topLevelRules.shouldPass('files', Match.ANY);\n    topLevelRules.shouldPass('extends', Match.ANY);\n    topLevelRules.shouldPass('include', Match.ANY);\n    topLevelRules.shouldPass('exclude', Match.ANY);\n    topLevelRules.shouldPass('references', Match.ANY);\n    topLevelRules.shouldPass('watchOptions', Match.ANY);\n    topLevelRules.shouldPass('typeAcquisition', Match.MISSING);\n\n    this.compilerOptions = new ObjectValidator(RuleSets[ruleSet], 'compilerOptions');\n    topLevelRules.shouldPass('compilerOptions', (compilerOptions) => {\n      this.compilerOptions.validate(compilerOptions);\n      return true;\n    });\n\n    this.validator = new ObjectValidator(topLevelRules, 'tsconfig');\n  }\n\n  /**\n   * Validated the provided config against the set of rules.\n   *\n   * @throws when the config is invalid\n   *\n   * @param tsconfig the tsconfig to be validated, this MUST be a tsconfig as a user would have written it in tsconfig.\n   */\n  public validate(tsconfig: TypeScriptConfig) {\n    this.validator.validate(tsconfig);\n  }\n}\n"]}
+{"version":3,"file":"tsconfig-validator.js","sourceRoot":"","sources":["../../src/tsconfig/tsconfig-validator.ts"],"names":[],"mappings":";;;;;;AACA,mFAAoD;AACpD,+EAAgD;AAChD,6EAA8C;AAC9C,2CAAwE;AAExE,MAAM,QAAQ,GAEV;IACF,SAAS,EAAT,0BAAS;IACT,MAAM,EAAN,uBAAM;IACN,OAAO,EAAP,wBAAO;IACP,GAAG,EAAE,IAAI,mBAAO,EAAE;CACnB,CAAC;AAEF,MAAa,yBAAyB;IAIV;IAHT,SAAS,CAAkB;IAC3B,eAAe,CAAkB;IAElD,YAA0B,OAA0C;QAA1C,YAAO,GAAP,OAAO,CAAmC;QAClE,MAAM,aAAa,GAAG,IAAI,mBAAO,CAAC;YAChC,gBAAgB,EAAE,oBAAQ,CAAC,IAAI;SAChC,CAAC,CAAC;QACH,aAAa,CAAC,UAAU,CAAC,OAAO,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;QAC7C,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;QAC/C,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;QAC/C,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;QAC/C,aAAa,CAAC,UAAU,CAAC,YAAY,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;QAClD,aAAa,CAAC,UAAU,CAAC,cAAc,EAAE,iBAAK,CAAC,GAAG,CAAC,CAAC;QACpD,aAAa,CAAC,UAAU,CAAC,iBAAiB,EAAE,iBAAK,CAAC,OAAO,CAAC,CAAC;QAE3D,IAAI,CAAC,eAAe,GAAG,IAAI,2BAAe,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,iBAAiB,CAAC,CAAC;QACjF,aAAa,CAAC,UAAU,CAAC,iBAAiB,EAAE,CAAC,eAAe,EAAE,EAAE;YAC9D,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;YAC/C,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,SAAS,GAAG,IAAI,2BAAe,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC;IAClE,CAAC;IAED;;;;;;OAMG;IACI,QAAQ,CAAC,QAA0B;QACxC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;CACF;AAnCD,8DAmCC","sourcesContent":["import { TypeScriptConfig, TypeScriptConfigValidationRuleSet } from '.';\nimport generated from './rulesets/generated.public';\nimport minimal from './rulesets/minimal.public';\nimport strict from './rulesets/strict.public';\nimport { Match, ObjectValidator, RuleSet, RuleType } from './validator';\n\nconst RuleSets: {\n  [name in TypeScriptConfigValidationRuleSet]: RuleSet;\n} = {\n  generated,\n  strict,\n  minimal,\n  off: new RuleSet(),\n};\n\nexport class TypeScriptConfigValidator {\n  private readonly validator: ObjectValidator;\n  private readonly compilerOptions: ObjectValidator;\n\n  public constructor(public ruleSet: TypeScriptConfigValidationRuleSet) {\n    const topLevelRules = new RuleSet({\n      unexpectedFields: RuleType.PASS,\n    });\n    topLevelRules.shouldPass('files', Match.ANY);\n    topLevelRules.shouldPass('extends', Match.ANY);\n    topLevelRules.shouldPass('include', Match.ANY);\n    topLevelRules.shouldPass('exclude', Match.ANY);\n    topLevelRules.shouldPass('references', Match.ANY);\n    topLevelRules.shouldPass('watchOptions', Match.ANY);\n    topLevelRules.shouldPass('typeAcquisition', Match.MISSING);\n\n    this.compilerOptions = new ObjectValidator(RuleSets[ruleSet], 'compilerOptions');\n    topLevelRules.shouldPass('compilerOptions', (compilerOptions) => {\n      this.compilerOptions.validate(compilerOptions);\n      return true;\n    });\n\n    this.validator = new ObjectValidator(topLevelRules, 'tsconfig');\n  }\n\n  /**\n   * Validated the provided config against the set of rules.\n   *\n   * @throws when the config is invalid\n   *\n   * @param tsconfig the tsconfig to be validated, this MUST be a tsconfig as a user would have written it in tsconfig.\n   */\n  public validate(tsconfig: TypeScriptConfig) {\n    this.validator.validate(tsconfig);\n  }\n}\n"]}

package/lib/tsconfig/validator.d.ts

@@ -99,6 +99,11 @@ export declare class Match {
      * Value is optional, but if present should match
      */
     static optional(matcher: Matcher): Matcher;
+    /**
+     * 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: Matcher[]): Matcher;
     /**
      * Value must be one of the allowed options
      */

package/lib/tsconfig/validator.js

@@ -7,6 +7,8 @@ var RuleType;
     RuleType[RuleType["FAIL"] = 1] = "FAIL";
 })(RuleType || (exports.RuleType = RuleType = {}));
 class RuleSet {
+    options;
+    _rules = [];
     get rules() {
         return this._rules;
     }
@@ -57,7 +59,6 @@ class RuleSet {
         unexpectedFields: RuleType.PASS,
     }) {
         this.options = options;
-        this._rules = [];
     }
     /**
      * Requires the matcher to pass for the given field.
@@ -104,10 +105,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);
                         }
                     },
@@ -161,6 +161,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 +218,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 +245,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;AAmBD,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;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;;;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\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 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"]}