jsii 5.9.29-dev.0 → 5.9.29

package/lib/utils.js

@@ -5,12 +5,14 @@ exports.diagnosticsLogger = diagnosticsLogger;
 exports.formatDiagnostic = formatDiagnostic;
 exports._formatDiagnostic = _formatDiagnostic;
 exports.logDiagnostic = logDiagnostic;
+exports.formatCompilationSummary = formatCompilationSummary;
 exports.parsePerson = parsePerson;
 exports.parseRepository = parseRepository;
 exports.stripAnsi = stripAnsi;
 const log4js = require("log4js");
 const ts = require("typescript");
 const jsii_diagnostic_1 = require("./jsii-diagnostic");
+const warnings_1 = require("./warnings");
 /**
  * Name of the logger for cli errors
  */
@@ -87,22 +89,58 @@ function _formatDiagnostic(diagnostic, projectRoot) {
         getCanonicalFileName: (fileName) => fileName,
         getNewLine: () => ts.sys.newLine,
     };
-    const message = diagnostic.file != null
-        ? ts.formatDiagnosticsWithColorAndContext([diagnostic], formatDiagnosticsHost)
-        : ts.formatDiagnostic(diagnostic, formatDiagnosticsHost);
+    const message = ts.formatDiagnosticsWithColorAndContext([diagnostic], formatDiagnosticsHost);
     if (!jsii_diagnostic_1.JsiiDiagnostic.isJsiiDiagnostic(diagnostic)) {
         return message;
     }
     // This is our own diagnostics, so we'll format appropriately (replacing TS#### with JSII####).
-    return message.replace(` TS${exports.JSII_DIAGNOSTICS_CODE}: `, ` JSII${diagnostic.jsiiCode}: `);
+    const formatted = message.replace(` TS${exports.JSII_DIAGNOSTICS_CODE}: `, ` JSII${diagnostic.jsiiCode}: `);
+    const diagName = jsii_diagnostic_1.Code.lookup(diagnostic.jsiiCode)?.name;
+    if (diagName) {
+        // Insert the diagnostic name after the message text on the first line
+        const firstNewline = formatted.indexOf('\n');
+        if (firstNewline !== -1) {
+            return `${formatted.slice(0, firstNewline)} [${diagName}]${formatted.slice(firstNewline)}`;
+        }
+        return formatted.trimEnd() + ` [${diagName}]\n`;
+    }
+    return formatted;
 }
 function logDiagnostic(diagnostic, projectRoot) {
+    if ((0, warnings_1.isSilenced)(diagnostic)) {
+        return;
+    }
     const logFunc = diagnosticsLogger(log4js.getLogger(exports.DIAGNOSTICS), diagnostic);
     if (!logFunc) {
         return;
     }
     logFunc(formatDiagnostic(diagnostic, projectRoot).trim());
 }
+/**
+ * Format a compilation summary with status line and counts line.
+ */
+function formatCompilationSummary(diagnostics, emitSkipped, elapsedMs) {
+    let errors = 0;
+    let warnings = 0;
+    let silenced = 0;
+    for (const d of diagnostics) {
+        if (d.category === ts.DiagnosticCategory.Error) {
+            errors++;
+        }
+        else if (d.category === ts.DiagnosticCategory.Warning) {
+            if ((0, warnings_1.isSilenced)(d)) {
+                silenced++;
+            }
+            else {
+                warnings++;
+            }
+        }
+    }
+    const status = emitSkipped ? '❌ Failed with errors' : warnings > 0 ? '✨ Successful with warnings' : '✨ Successful';
+    const parts = [`Errors: ${errors}`, `Warnings: ${warnings}${silenced > 0 ? ` (+${silenced} silenced)` : ''}`];
+    parts.push(`Time: ${(elapsedMs / 1000).toFixed(2)}s`);
+    return `\n${status}\n${parts.join(' | ')}`;
+}
 const PERSON_REGEX = /^\s*(.+?)(?:\s*<([^>]+)>)?(?:\s*\(([^)]+)\))?\s*$/;
 /**
  * Parses a string-formatted person entry from `package.json`.

package/lib/utils.js.map

@@ -1 +1 @@
-{"version":3,"file":"utils.js","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":";;;AA0BA,8CA2BC;AAUD,4CAMC;AAYD,8CAkBC;AAED,sCAMC;AAWD,kCAgBC;AAGD,0CAkBC;AAMD,8BAEC;AAnKD,iCAAiC;AACjC,iCAAiC;AAEjC,uDAAmD;AAEnD;;GAEG;AACU,QAAA,UAAU,GAAG,UAAU,CAAC;AACrC;;GAEG;AACU,QAAA,WAAW,GAAG,aAAa,CAAC;AACzC;;GAEG;AACU,QAAA,qBAAqB,GAAG,IAAI,CAAC;AAE1C;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAC/B,MAAqB,EACrB,UAAyB;IAEzB,QAAQ,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC5B,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK;YAC9B,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC7B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnC,KAAK,EAAE,CAAC,kBAAkB,CAAC,OAAO;YAChC,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,CAAC;gBAC5B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,KAAK,EAAE,CAAC,kBAAkB,CAAC,OAAO;YAChC,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC7B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnC,KAAK,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QACtC;YACE,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC7B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,gBAAgB,CAAC,UAAyB,EAAE,WAAmB;IAC7E,IAAI,gCAAc,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;QAChD,+DAA+D;QAC/D,OAAO,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,iBAAiB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,iBAAiB,CAAC,UAAyB,EAAE,WAAmB;IAC9E,MAAM,qBAAqB,GAA6B;QACtD,mBAAmB,EAAE,GAAG,EAAE,CAAC,WAAW;QACtC,oBAAoB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ;QAC5C,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO;KACjC,CAAC;IAEF,MAAM,OAAO,GACX,UAAU,CAAC,IAAI,IAAI,IAAI;QACrB,CAAC,CAAC,EAAE,CAAC,oCAAoC,CAAC,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC;QAC9E,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,UAAU,EAAE,qBAAqB,CAAC,CAAC;IAE7D,IAAI,CAAC,gCAAc,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;QACjD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,+FAA+F;IAC/F,OAAO,OAAO,CAAC,OAAO,CAAC,MAAM,6BAAqB,IAAI,EAAE,QAAQ,UAAU,CAAC,QAAQ,IAAI,CAAC,CAAC;AAC3F,CAAC;AAED,SAAgB,aAAa,CAAC,UAAyB,EAAE,WAAmB;IAC1E,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,mBAAW,CAAC,EAAE,UAAU,CAAC,CAAC;IAC7E,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;IACT,CAAC;IACD,OAAO,CAAC,gBAAgB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,MAAM,YAAY,GAAG,mDAAmD,CAAC;AACzE;;;;;;;GAOG;AACH,SAAgB,WAAW,CAAC,KAAa;IACvC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,SAAS,CAAC,uCAAuC,KAAK,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC;IACnC,MAAM,MAAM,GAAmD;QAC7D,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;KAClB,CAAC;IACF,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,gBAAgB,GAAG,sEAAsE,CAAC;AAChG,SAAgB,eAAe,CAAC,KAAa;IAC3C,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IACD,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC;IAC7B,QAAQ,IAAI,IAAI,QAAQ,EAAE,CAAC;QACzB,KAAK,QAAQ;YACX,OAAO,EAAE,GAAG,EAAE,sBAAsB,IAAI,MAAM,EAAE,CAAC;QACnD,KAAK,MAAM;YACT,OAAO,EAAE,GAAG,EAAE,2BAA2B,IAAI,MAAM,EAAE,CAAC;QACxD,KAAK,WAAW;YACd,OAAO,EAAE,GAAG,EAAE,yBAAyB,IAAI,MAAM,EAAE,CAAC;QACtD,KAAK,QAAQ;YACX,OAAO,EAAE,GAAG,EAAE,sBAAsB,IAAI,MAAM,EAAE,CAAC;QACnD;YACE,MAAM,IAAI,SAAS,CAAC,uCAAuC,IAAI,EAAE,CAAC,CAAC;IACvE,CAAC;AACH,CAAC;AAED,MAAM,UAAU;AACd,4CAA4C;AAC5C,6EAA6E,CAAC;AAEhF,SAAgB,SAAS,CAAC,CAAS;IACjC,OAAO,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;AACnC,CAAC;AAOD;;GAEG;AACH,MAAa,SAAU,SAAQ,KAAK;IAClC;;;;;;OAMG;IACH,YAAqC,OAAe,EAAkB,WAAW,KAAK;QACpF,KAAK,CAAC,OAAO,CAAC,CAAC;QADoB,YAAO,GAAP,OAAO,CAAQ;QAAkB,aAAQ,GAAR,QAAQ,CAAQ;QAEpF,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC;CACF;AAZD,8BAYC","sourcesContent":["import * as log4js from 'log4js';\nimport * as ts from 'typescript';\n\nimport { JsiiDiagnostic } from './jsii-diagnostic';\n\n/**\n * Name of the logger for cli errors\n */\nexport const CLI_LOGGER = 'jsii/cli';\n/**\n * Name of the logger for diagnostics information\n */\nexport const DIAGNOSTICS = 'diagnostics';\n/**\n * Diagnostic code for JSII-generated messages.\n */\nexport const JSII_DIAGNOSTICS_CODE = 9999;\n\n/**\n * Obtains the relevant logger to be used for a given diagnostic message.\n *\n * @param logger     the ``log4js.Logger`` to use for emitting the message.\n * @param diagnostic the message for which a logger is requested.\n *\n * @returns a logger method of the ``logger`` for the appropriate level.\n */\nexport function diagnosticsLogger(\n  logger: log4js.Logger,\n  diagnostic: ts.Diagnostic,\n): ((message: any, ...args: any[]) => void) | undefined {\n  switch (diagnostic.category) {\n    case ts.DiagnosticCategory.Error:\n      if (!logger.isErrorEnabled()) {\n        return undefined;\n      }\n      return logger.error.bind(logger);\n    case ts.DiagnosticCategory.Warning:\n      if (!logger.isWarnEnabled()) {\n        return undefined;\n      }\n      return logger.warn.bind(logger);\n    case ts.DiagnosticCategory.Message:\n      if (!logger.isDebugEnabled()) {\n        return undefined;\n      }\n      return logger.debug.bind(logger);\n    case ts.DiagnosticCategory.Suggestion:\n    default:\n      if (!logger.isTraceEnabled()) {\n        return undefined;\n      }\n      return logger.trace.bind(logger);\n  }\n}\n\n/**\n * Formats a diagnostic message with color and context, if possible.\n *\n * @param diagnostic  the diagnostic message ot be formatted.\n * @param projectRoot the root of the TypeScript project.\n *\n * @returns a formatted string.\n */\nexport function formatDiagnostic(diagnostic: ts.Diagnostic, projectRoot: string) {\n  if (JsiiDiagnostic.isJsiiDiagnostic(diagnostic)) {\n    // Ensure we leverage pre-rendered diagnostics where available.\n    return diagnostic.format(projectRoot);\n  }\n  return _formatDiagnostic(diagnostic, projectRoot);\n}\n\n/**\n * Formats a diagnostic message with color and context, if possible. Users\n * should use `formatDiagnostic` instead, as this implementation is intended for\n * internal usafe only.\n *\n * @param diagnostic  the diagnostic message ot be formatted.\n * @param projectRoot the root of the TypeScript project.\n *\n * @returns a formatted string.\n */\nexport function _formatDiagnostic(diagnostic: ts.Diagnostic, projectRoot: string) {\n  const formatDiagnosticsHost: ts.FormatDiagnosticsHost = {\n    getCurrentDirectory: () => projectRoot,\n    getCanonicalFileName: (fileName) => fileName,\n    getNewLine: () => ts.sys.newLine,\n  };\n\n  const message =\n    diagnostic.file != null\n      ? ts.formatDiagnosticsWithColorAndContext([diagnostic], formatDiagnosticsHost)\n      : ts.formatDiagnostic(diagnostic, formatDiagnosticsHost);\n\n  if (!JsiiDiagnostic.isJsiiDiagnostic(diagnostic)) {\n    return message;\n  }\n\n  // This is our own diagnostics, so we'll format appropriately (replacing TS#### with JSII####).\n  return message.replace(` TS${JSII_DIAGNOSTICS_CODE}: `, ` JSII${diagnostic.jsiiCode}: `);\n}\n\nexport function logDiagnostic(diagnostic: ts.Diagnostic, projectRoot: string) {\n  const logFunc = diagnosticsLogger(log4js.getLogger(DIAGNOSTICS), diagnostic);\n  if (!logFunc) {\n    return;\n  }\n  logFunc(formatDiagnostic(diagnostic, projectRoot).trim());\n}\n\nconst PERSON_REGEX = /^\\s*(.+?)(?:\\s*<([^>]+)>)?(?:\\s*\\(([^)]+)\\))?\\s*$/;\n/**\n * Parses a string-formatted person entry from `package.json`.\n * @param value the string-formatted person entry.\n *\n * @example\n *  parsePerson(\"Barney Rubble <b@rubble.com> (http://barnyrubble.tumblr.com/)\");\n *  // => { name: \"Barney Rubble\", email: \"b@rubble.com\", url: \"http://barnyrubble.tumblr.com/\" }\n */\nexport function parsePerson(value: string) {\n  const match = PERSON_REGEX.exec(value);\n  if (!match) {\n    throw new JsiiError(`Invalid stringified \"person\" value: ${value}`);\n  }\n  const [, name, email, url] = match;\n  const result: { name: string; email?: string; url?: string } = {\n    name: name.trim(),\n  };\n  if (email) {\n    result.email = email.trim();\n  }\n  if (url) {\n    result.url = url.trim();\n  }\n  return result;\n}\n\nconst REPOSITORY_REGEX = /^(?:(github|gist|bitbucket|gitlab):)?([A-Za-z\\d_-]+\\/[A-Za-z\\d_-]+)$/;\nexport function parseRepository(value: string): { url: string } {\n  const match = REPOSITORY_REGEX.exec(value);\n  if (!match) {\n    return { url: value };\n  }\n  const [, host, slug] = match;\n  switch (host ?? 'github') {\n    case 'github':\n      return { url: `https://github.com/${slug}.git` };\n    case 'gist':\n      return { url: `https://gist.github.com/${slug}.git` };\n    case 'bitbucket':\n      return { url: `https://bitbucket.org/${slug}.git` };\n    case 'gitlab':\n      return { url: `https://gitlab.com/${slug}.git` };\n    default:\n      throw new JsiiError(`Unknown repository hosting service: ${host}`);\n  }\n}\n\nconst ANSI_REGEX =\n  // eslint-disable-next-line no-control-regex\n  /[\\u001b\\u009b][[()#;?]*(?:[0-9]{1,4}(?:;[0-9]{0,4})*)?[0-9A-ORZcf-nqry=><]/g;\n\nexport function stripAnsi(x: string): string {\n  return x.replace(ANSI_REGEX, '');\n}\n\n/**\n * Maps the provided type to stip all `readonly` modifiers from its properties.\n */\nexport type Mutable<T> = { -readonly [K in keyof T]: Mutable<T[K]> };\n\n/**\n * Throws an error that is intended as CLI output.\n */\nexport class JsiiError extends Error {\n  /**\n   * An expected error that can be nicely formatted where needed (e.g. in CLI output)\n   * This should only be used for errors that a user can fix themselves.\n   *\n   * @param message The error message to be printed to the user.\n   * @param showHelp Print the help before the error.\n   */\n  constructor(public override readonly message: string, public readonly showHelp = false) {\n    super(message);\n    Object.setPrototypeOf(this, JsiiError.prototype);\n  }\n}\n"]}
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":";;;AA2BA,8CA2BC;AAUD,4CAMC;AAYD,8CAyBC;AAED,sCASC;AAKD,4DA0BC;AAWD,kCAgBC;AAGD,0CAkBC;AAMD,8BAEC;AA7MD,iCAAiC;AACjC,iCAAiC;AAEjC,uDAAyD;AACzD,yCAAwC;AAExC;;GAEG;AACU,QAAA,UAAU,GAAG,UAAU,CAAC;AACrC;;GAEG;AACU,QAAA,WAAW,GAAG,aAAa,CAAC;AACzC;;GAEG;AACU,QAAA,qBAAqB,GAAG,IAAI,CAAC;AAE1C;;;;;;;GAOG;AACH,SAAgB,iBAAiB,CAC/B,MAAqB,EACrB,UAAyB;IAEzB,QAAQ,UAAU,CAAC,QAAQ,EAAE,CAAC;QAC5B,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK;YAC9B,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC7B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnC,KAAK,EAAE,CAAC,kBAAkB,CAAC,OAAO;YAChC,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,EAAE,CAAC;gBAC5B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,KAAK,EAAE,CAAC,kBAAkB,CAAC,OAAO;YAChC,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC7B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnC,KAAK,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC;QACtC;YACE,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;gBAC7B,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAgB,gBAAgB,CAAC,UAAyB,EAAE,WAAmB;IAC7E,IAAI,gCAAc,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;QAChD,+DAA+D;QAC/D,OAAO,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,iBAAiB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;AACpD,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,iBAAiB,CAAC,UAAyB,EAAE,WAAmB;IAC9E,MAAM,qBAAqB,GAA6B;QACtD,mBAAmB,EAAE,GAAG,EAAE,CAAC,WAAW;QACtC,oBAAoB,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ;QAC5C,UAAU,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,OAAO;KACjC,CAAC;IAEF,MAAM,OAAO,GAAG,EAAE,CAAC,oCAAoC,CAAC,CAAC,UAAU,CAAC,EAAE,qBAAqB,CAAC,CAAC;IAE7F,IAAI,CAAC,gCAAc,CAAC,gBAAgB,CAAC,UAAU,CAAC,EAAE,CAAC;QACjD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,+FAA+F;IAC/F,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,6BAAqB,IAAI,EAAE,QAAQ,UAAU,CAAC,QAAQ,IAAI,CAAC,CAAC;IACpG,MAAM,QAAQ,GAAG,sBAAI,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;IACxD,IAAI,QAAQ,EAAE,CAAC;QACb,sEAAsE;QACtE,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAI,YAAY,KAAK,CAAC,CAAC,EAAE,CAAC;YACxB,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,KAAK,QAAQ,IAAI,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;QAC7F,CAAC;QACD,OAAO,SAAS,CAAC,OAAO,EAAE,GAAG,KAAK,QAAQ,KAAK,CAAC;IAClD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAgB,aAAa,CAAC,UAAyB,EAAE,WAAmB;IAC1E,IAAI,IAAA,qBAAU,EAAC,UAAU,CAAC,EAAE,CAAC;QAC3B,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,mBAAW,CAAC,EAAE,UAAU,CAAC,CAAC;IAC7E,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;IACT,CAAC;IACD,OAAO,CAAC,gBAAgB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED;;GAEG;AACH,SAAgB,wBAAwB,CACtC,WAAqC,EACrC,WAAoB,EACpB,SAAiB;IAEjB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,CAAC;YAC/C,MAAM,EAAE,CAAC;QACX,CAAC;aAAM,IAAI,CAAC,CAAC,QAAQ,KAAK,EAAE,CAAC,kBAAkB,CAAC,OAAO,EAAE,CAAC;YACxD,IAAI,IAAA,qBAAU,EAAC,CAAC,CAAC,EAAE,CAAC;gBAClB,QAAQ,EAAE,CAAC;YACb,CAAC;iBAAM,CAAC;gBACN,QAAQ,EAAE,CAAC;YACb,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,cAAc,CAAC;IAEnH,MAAM,KAAK,GAAG,CAAC,WAAW,MAAM,EAAE,EAAE,aAAa,QAAQ,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9G,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IAEtD,OAAO,KAAK,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;AAC7C,CAAC;AAED,MAAM,YAAY,GAAG,mDAAmD,CAAC;AACzE;;;;;;;GAOG;AACH,SAAgB,WAAW,CAAC,KAAa;IACvC,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,SAAS,CAAC,uCAAuC,KAAK,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC;IACnC,MAAM,MAAM,GAAmD;QAC7D,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;KAClB,CAAC;IACF,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,GAAG,EAAE,CAAC;QACR,MAAM,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,gBAAgB,GAAG,sEAAsE,CAAC;AAChG,SAAgB,eAAe,CAAC,KAAa;IAC3C,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IACxB,CAAC;IACD,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC;IAC7B,QAAQ,IAAI,IAAI,QAAQ,EAAE,CAAC;QACzB,KAAK,QAAQ;YACX,OAAO,EAAE,GAAG,EAAE,sBAAsB,IAAI,MAAM,EAAE,CAAC;QACnD,KAAK,MAAM;YACT,OAAO,EAAE,GAAG,EAAE,2BAA2B,IAAI,MAAM,EAAE,CAAC;QACxD,KAAK,WAAW;YACd,OAAO,EAAE,GAAG,EAAE,yBAAyB,IAAI,MAAM,EAAE,CAAC;QACtD,KAAK,QAAQ;YACX,OAAO,EAAE,GAAG,EAAE,sBAAsB,IAAI,MAAM,EAAE,CAAC;QACnD;YACE,MAAM,IAAI,SAAS,CAAC,uCAAuC,IAAI,EAAE,CAAC,CAAC;IACvE,CAAC;AACH,CAAC;AAED,MAAM,UAAU;AACd,4CAA4C;AAC5C,6EAA6E,CAAC;AAEhF,SAAgB,SAAS,CAAC,CAAS;IACjC,OAAO,CAAC,CAAC,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;AACnC,CAAC;AAOD;;GAEG;AACH,MAAa,SAAU,SAAQ,KAAK;IAClC;;;;;;OAMG;IACH,YAAqC,OAAe,EAAkB,WAAW,KAAK;QACpF,KAAK,CAAC,OAAO,CAAC,CAAC;QADoB,YAAO,GAAP,OAAO,CAAQ;QAAkB,aAAQ,GAAR,QAAQ,CAAQ;QAEpF,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC;CACF;AAZD,8BAYC","sourcesContent":["import * as log4js from 'log4js';\nimport * as ts from 'typescript';\n\nimport { Code, JsiiDiagnostic } from './jsii-diagnostic';\nimport { isSilenced } from './warnings';\n\n/**\n * Name of the logger for cli errors\n */\nexport const CLI_LOGGER = 'jsii/cli';\n/**\n * Name of the logger for diagnostics information\n */\nexport const DIAGNOSTICS = 'diagnostics';\n/**\n * Diagnostic code for JSII-generated messages.\n */\nexport const JSII_DIAGNOSTICS_CODE = 9999;\n\n/**\n * Obtains the relevant logger to be used for a given diagnostic message.\n *\n * @param logger     the ``log4js.Logger`` to use for emitting the message.\n * @param diagnostic the message for which a logger is requested.\n *\n * @returns a logger method of the ``logger`` for the appropriate level.\n */\nexport function diagnosticsLogger(\n  logger: log4js.Logger,\n  diagnostic: ts.Diagnostic,\n): ((message: any, ...args: any[]) => void) | undefined {\n  switch (diagnostic.category) {\n    case ts.DiagnosticCategory.Error:\n      if (!logger.isErrorEnabled()) {\n        return undefined;\n      }\n      return logger.error.bind(logger);\n    case ts.DiagnosticCategory.Warning:\n      if (!logger.isWarnEnabled()) {\n        return undefined;\n      }\n      return logger.warn.bind(logger);\n    case ts.DiagnosticCategory.Message:\n      if (!logger.isDebugEnabled()) {\n        return undefined;\n      }\n      return logger.debug.bind(logger);\n    case ts.DiagnosticCategory.Suggestion:\n    default:\n      if (!logger.isTraceEnabled()) {\n        return undefined;\n      }\n      return logger.trace.bind(logger);\n  }\n}\n\n/**\n * Formats a diagnostic message with color and context, if possible.\n *\n * @param diagnostic  the diagnostic message ot be formatted.\n * @param projectRoot the root of the TypeScript project.\n *\n * @returns a formatted string.\n */\nexport function formatDiagnostic(diagnostic: ts.Diagnostic, projectRoot: string) {\n  if (JsiiDiagnostic.isJsiiDiagnostic(diagnostic)) {\n    // Ensure we leverage pre-rendered diagnostics where available.\n    return diagnostic.format(projectRoot);\n  }\n  return _formatDiagnostic(diagnostic, projectRoot);\n}\n\n/**\n * Formats a diagnostic message with color and context, if possible. Users\n * should use `formatDiagnostic` instead, as this implementation is intended for\n * internal usafe only.\n *\n * @param diagnostic  the diagnostic message ot be formatted.\n * @param projectRoot the root of the TypeScript project.\n *\n * @returns a formatted string.\n */\nexport function _formatDiagnostic(diagnostic: ts.Diagnostic, projectRoot: string) {\n  const formatDiagnosticsHost: ts.FormatDiagnosticsHost = {\n    getCurrentDirectory: () => projectRoot,\n    getCanonicalFileName: (fileName) => fileName,\n    getNewLine: () => ts.sys.newLine,\n  };\n\n  const message = ts.formatDiagnosticsWithColorAndContext([diagnostic], formatDiagnosticsHost);\n\n  if (!JsiiDiagnostic.isJsiiDiagnostic(diagnostic)) {\n    return message;\n  }\n\n  // This is our own diagnostics, so we'll format appropriately (replacing TS#### with JSII####).\n  const formatted = message.replace(` TS${JSII_DIAGNOSTICS_CODE}: `, ` JSII${diagnostic.jsiiCode}: `);\n  const diagName = Code.lookup(diagnostic.jsiiCode)?.name;\n  if (diagName) {\n    // Insert the diagnostic name after the message text on the first line\n    const firstNewline = formatted.indexOf('\\n');\n    if (firstNewline !== -1) {\n      return `${formatted.slice(0, firstNewline)} [${diagName}]${formatted.slice(firstNewline)}`;\n    }\n    return formatted.trimEnd() + ` [${diagName}]\\n`;\n  }\n  return formatted;\n}\n\nexport function logDiagnostic(diagnostic: ts.Diagnostic, projectRoot: string) {\n  if (isSilenced(diagnostic)) {\n    return;\n  }\n  const logFunc = diagnosticsLogger(log4js.getLogger(DIAGNOSTICS), diagnostic);\n  if (!logFunc) {\n    return;\n  }\n  logFunc(formatDiagnostic(diagnostic, projectRoot).trim());\n}\n\n/**\n * Format a compilation summary with status line and counts line.\n */\nexport function formatCompilationSummary(\n  diagnostics: readonly ts.Diagnostic[],\n  emitSkipped: boolean,\n  elapsedMs: number,\n): string {\n  let errors = 0;\n  let warnings = 0;\n  let silenced = 0;\n  for (const d of diagnostics) {\n    if (d.category === ts.DiagnosticCategory.Error) {\n      errors++;\n    } else if (d.category === ts.DiagnosticCategory.Warning) {\n      if (isSilenced(d)) {\n        silenced++;\n      } else {\n        warnings++;\n      }\n    }\n  }\n\n  const status = emitSkipped ? '❌ Failed with errors' : warnings > 0 ? '✨ Successful with warnings' : '✨ Successful';\n\n  const parts = [`Errors: ${errors}`, `Warnings: ${warnings}${silenced > 0 ? ` (+${silenced} silenced)` : ''}`];\n  parts.push(`Time: ${(elapsedMs / 1000).toFixed(2)}s`);\n\n  return `\\n${status}\\n${parts.join(' | ')}`;\n}\n\nconst PERSON_REGEX = /^\\s*(.+?)(?:\\s*<([^>]+)>)?(?:\\s*\\(([^)]+)\\))?\\s*$/;\n/**\n * Parses a string-formatted person entry from `package.json`.\n * @param value the string-formatted person entry.\n *\n * @example\n *  parsePerson(\"Barney Rubble <b@rubble.com> (http://barnyrubble.tumblr.com/)\");\n *  // => { name: \"Barney Rubble\", email: \"b@rubble.com\", url: \"http://barnyrubble.tumblr.com/\" }\n */\nexport function parsePerson(value: string) {\n  const match = PERSON_REGEX.exec(value);\n  if (!match) {\n    throw new JsiiError(`Invalid stringified \"person\" value: ${value}`);\n  }\n  const [, name, email, url] = match;\n  const result: { name: string; email?: string; url?: string } = {\n    name: name.trim(),\n  };\n  if (email) {\n    result.email = email.trim();\n  }\n  if (url) {\n    result.url = url.trim();\n  }\n  return result;\n}\n\nconst REPOSITORY_REGEX = /^(?:(github|gist|bitbucket|gitlab):)?([A-Za-z\\d_-]+\\/[A-Za-z\\d_-]+)$/;\nexport function parseRepository(value: string): { url: string } {\n  const match = REPOSITORY_REGEX.exec(value);\n  if (!match) {\n    return { url: value };\n  }\n  const [, host, slug] = match;\n  switch (host ?? 'github') {\n    case 'github':\n      return { url: `https://github.com/${slug}.git` };\n    case 'gist':\n      return { url: `https://gist.github.com/${slug}.git` };\n    case 'bitbucket':\n      return { url: `https://bitbucket.org/${slug}.git` };\n    case 'gitlab':\n      return { url: `https://gitlab.com/${slug}.git` };\n    default:\n      throw new JsiiError(`Unknown repository hosting service: ${host}`);\n  }\n}\n\nconst ANSI_REGEX =\n  // eslint-disable-next-line no-control-regex\n  /[\\u001b\\u009b][[()#;?]*(?:[0-9]{1,4}(?:;[0-9]{0,4})*)?[0-9A-ORZcf-nqry=><]/g;\n\nexport function stripAnsi(x: string): string {\n  return x.replace(ANSI_REGEX, '');\n}\n\n/**\n * Maps the provided type to stip all `readonly` modifiers from its properties.\n */\nexport type Mutable<T> = { -readonly [K in keyof T]: Mutable<T[K]> };\n\n/**\n * Throws an error that is intended as CLI output.\n */\nexport class JsiiError extends Error {\n  /**\n   * An expected error that can be nicely formatted where needed (e.g. in CLI output)\n   * This should only be used for errors that a user can fix themselves.\n   *\n   * @param message The error message to be printed to the user.\n   * @param showHelp Print the help before the error.\n   */\n  constructor(public override readonly message: string, public readonly showHelp = false) {\n    super(message);\n    Object.setPrototypeOf(this, JsiiError.prototype);\n  }\n}\n"]}

package/lib/validator.js

@@ -47,9 +47,11 @@ function _defaultValidations() {
             if (!spec.isEnumType(type)) {
                 continue;
             }
+            const enumNode = bindings.getEnumRelatedNode(type);
             for (const member of type.members) {
                 if (member.name && !isConstantCase(member.name)) {
-                    diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_8001_ALL_CAPS_ENUM_MEMBERS.createDetached(member.name, type.fqn));
+                    const memberNode = enumNode?.members.find((m) => m.name.getText() === member.name);
+                    diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_8001_ALL_CAPS_ENUM_MEMBERS.create(memberNode?.name ?? declarationName(enumNode), member.name, type.fqn));
                 }
             }
         }
@@ -60,7 +62,7 @@ function _defaultValidations() {
                 continue;
             }
             if (member.name && member.name !== Case.camel(member.name)) {
-                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_8002_CAMEL_CASED_MEMBERS.createDetached(member.name, type.fqn));
+                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_8002_CAMEL_CASED_MEMBERS.create(declarationName(bindings.getRelatedNode(member)), member.name, type.fqn));
             }
         }
     }
@@ -73,7 +75,7 @@ function _defaultValidations() {
                 !isConstantCase(member.name) &&
                 member.name !== Case.pascal(member.name) &&
                 member.name !== Case.camel(member.name)) {
-                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_8003_STATIC_CONST_CASING.createDetached(member.name, type.name));
+                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_8003_STATIC_CONST_CASING.create(declarationName(bindings.getRelatedNode(member)), member.name, type.name));
             }
         }
     }
@@ -84,10 +86,10 @@ function _defaultValidations() {
             }
             const snakeName = Case.snake(member.name);
             if (snakeName.startsWith('get_') && _isEmpty(member.parameters)) {
-                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5000_JAVA_GETTERS.createDetached(member.name, type.name));
+                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5000_JAVA_GETTERS.create(declarationName(bindings.getRelatedNode(member)), member.name, type.name));
             }
             else if (snakeName.startsWith('set_') && (member.parameters ?? []).length === 1) {
-                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5001_JAVA_SETTERS.createDetached(member.name, type.name));
+                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5001_JAVA_SETTERS.create(declarationName(bindings.getRelatedNode(member)), member.name, type.name));
             }
         }
     }
@@ -103,11 +105,11 @@ function _defaultValidations() {
             }
             const foreignAssm = validator.projectInfo.dependencyClosure.find((dep) => dep.name === assm);
             if (!foreignAssm) {
-                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_9000_UNKNOWN_MODULE.createDetached(assm));
+                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_9000_UNKNOWN_MODULE.create(typeRef.node, assm));
                 continue;
             }
             if (!(typeRef.fqn in (foreignAssm.types ?? {}))) {
-                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_9001_TYPE_NOT_FOUND.createDetached(typeRef));
+                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_9001_TYPE_NOT_FOUND.create(typeRef.node, typeRef));
             }
         }
     }
@@ -263,10 +265,12 @@ function _defaultValidations() {
             return false;
         }
         function _assertSignaturesMatch(expected, actual, label, action, opts) {
+            const actualNode = bindings.getMethodRelatedNode(actual);
+            const expectedNode = bindings.getMethodRelatedNode(expected);
             if (!!expected.protected !== !!actual.protected) {
                 const expVisibility = expected.protected ? 'protected' : 'public';
                 const actVisibility = actual.protected ? 'protected' : 'public';
-                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5002_OVERRIDE_CHANGES_VISIBILITY.createDetached(label, action, actVisibility, expVisibility));
+                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5002_OVERRIDE_CHANGES_VISIBILITY.create(actualNode?.modifiers?.find((mod) => mod.kind === ts.SyntaxKind.PublicKeyword || mod.kind === ts.SyntaxKind.ProtectedKeyword) ?? declarationName(actualNode), label, action, actVisibility, expVisibility).maybeAddRelatedInformation(expectedNode?.modifiers?.find((mod) => mod.kind === ts.SyntaxKind.PublicKeyword || mod.kind === ts.SyntaxKind.ProtectedKeyword) ?? declarationName(expectedNode), 'The implemented declaration is here.'));
             }
             // Types must generally be the same, but can be covariant sometimes
             if (!deepEqual(actual.returns, expected.returns)) {
@@ -284,27 +288,29 @@ function _defaultValidations() {
                 else {
                     const expType = spec.describeTypeReference(expectedReturnType);
                     const actType = spec.describeTypeReference(actualReturnType);
-                    diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5003_OVERRIDE_CHANGES_RETURN_TYPE.createDetached(label, action, actType, expType));
+                    diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5003_OVERRIDE_CHANGES_RETURN_TYPE.create(actualNode?.type ?? declarationName(actualNode), label, action, actType, expType).maybeAddRelatedInformation(expectedNode?.type ?? declarationName(expectedNode), 'The implemented declaration is here.'));
                 }
             }
             const expectedParams = expected.parameters ?? [];
             const actualParams = actual.parameters ?? [];
             if (expectedParams.length !== actualParams.length) {
-                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5005_OVERRIDE_CHANGES_PARAM_COUNT.createDetached(label, action, actualParams.length, expectedParams.length));
+                diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5005_OVERRIDE_CHANGES_PARAM_COUNT.create(declarationName(actualNode), label, action, actualParams.length, expectedParams.length).maybeAddRelatedInformation(declarationName(expectedNode), 'The implemented declaration is here.'));
                 return;
             }
             for (let i = 0; i < expectedParams.length; i++) {
                 const expParam = expectedParams[i];
                 const actParam = actualParams[i];
+                const actParamNode = bindings.getRelatedNode(actParam);
+                const expParamNode = bindings.getRelatedNode(expParam);
                 if (!deepEqual(expParam.type, actParam.type)) {
-                    diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5006_OVERRIDE_CHANGES_PARAM_TYPE.createDetached(label, action, actParam, expParam));
+                    diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5006_OVERRIDE_CHANGES_PARAM_TYPE.create(actParamNode?.type ?? declarationName(actParamNode), label, action, actParam, expParam).maybeAddRelatedInformation(expParamNode?.type ?? declarationName(expParamNode), 'The implemented declaration is here.'));
                 }
                 // Not-ing those to force the values to a strictly boolean context (they're optional, undefined means false)
                 if (expParam.variadic !== actParam.variadic) {
-                    diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5007_OVERRIDE_CHANGES_VARIADIC.createDetached(label, action, actParam.variadic, expParam.variadic));
+                    diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5007_OVERRIDE_CHANGES_VARIADIC.create(actParamNode?.dotDotDotToken ?? declarationName(actParamNode), label, action, actParam.variadic, expParam.variadic).maybeAddRelatedInformation(expParamNode?.dotDotDotToken ?? declarationName(expParamNode), 'The implemented declaration is here.'));
                 }
                 if (expParam.optional !== actParam.optional) {
-                    diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5008_OVERRIDE_CHANGES_PARAM_OPTIONAL.createDetached(label, action, actParam, expParam));
+                    diagnostic(jsii_diagnostic_1.JsiiDiagnostic.JSII_5008_OVERRIDE_CHANGES_PARAM_OPTIONAL.create(actParamNode?.questionToken ?? actParamNode?.type ?? declarationName(actParamNode), label, action, actParam, expParam).maybeAddRelatedInformation(expParamNode?.questionToken ?? expParamNode?.type ?? declarationName(expParamNode), 'The implemented declaration is here.'));
                 }
             }
         }

package/lib/validator.js.map

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

package/lib/version.d.ts

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

package/lib/version.js

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

package/lib/version.js.map

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

package/lib/warnings.d.ts

@@ -1,8 +1,19 @@
+import * as ts from 'typescript';
 /**
- * Indicates which warnings are currently enabled. By default all warnings are
- * enabled, and can be silenced through the --silence-warning option.
+ * Set of silenced warning codes (numeric JSII codes).
  */
-export declare const enabledWarnings: {
-    [name: string]: boolean;
-};
+export declare const silencedWarnings: Set<number>;
+/**
+ * Parse a user-provided warning identifier into numeric JSII codes.
+ * Accepts: "JSII5019", "5019", or a diagnostic name / partial name.
+ *
+ * A name containing `/` must match a full diagnostic name exactly.
+ * A name without `/` matches any diagnostic whose category or specific
+ * name equals the input (e.g. "reserved-word" or "language-compatibility").
+ */
+export declare function parseWarningCodes(input: string): number[];
+/**
+ * Check if a diagnostic is a silenced warning (globally or inline).
+ */
+export declare function isSilenced(diagnostic: ts.Diagnostic): boolean;
 //# sourceMappingURL=warnings.d.ts.map