@lcap/nasl-language-server-core 4.0.1-rc.0 → 4.0.1-rc.1

package/out/typer/typer.js

@@ -6,15 +6,16 @@ const service_1 = require("@lcap/nasl-concepts/service");
 const asserts_1 = require("@lcap/nasl-concepts/asserts");
 const type_manager_1 = require("./type-manager");
 const helper_1 = require("./helper");
+const get_q_name_1 = require("../reference-manager/get-q-name");
 const reference_manager_1 = require("../reference-manager/reference-manager");
 const unifier_1 = require("./unifier");
 const helper_2 = require("./helper");
 const checker_1 = require("../checker");
 const type_predicate_1 = require("./type-predicate");
 const type_predicate_2 = require("./type-predicate");
-const types_1 = require("../utils/types");
 const type_hint_manager_1 = require("./type-hint-manager/type-hint-manager");
 const query_manager_1 = require("./query-manager/query-manager");
+const context_variable_query_1 = require("../query/context-variable-query");
 const subster_1 = require("./subster");
 const nasl_type_manipulation_1 = require("../utils/nasl-type-manipulation");
 const dispatch_stmt_1 = require("./dispatch-stmt");
@@ -27,18 +28,24 @@ class SemEnv {
         return this.fileNodes[this.fileNodes.length - 1];
     }
     suppressErrorReporting() {
-        this.errBoundaryBackup = this.errBoundary;
-        this.errBoundary = null;
+        this.errorReportingDisableCount++;
     }
     enableErrorReporting() {
-        this.errBoundary = this.errBoundaryBackup;
-        this.errBoundaryBackup = null;
+        if (this.errorReportingDisableCount > 0) {
+            this.errorReportingDisableCount--;
+        }
+    }
+    getErrorReportingDisableCount() {
+        return this.errorReportingDisableCount;
+    }
+    isErrorReportingDisabled() {
+        return this.errorReportingDisableCount > 0;
     }
     addError(message, __fileNode, __errBoundary, severity = this.errSeverity) {
         const fileNode = __fileNode ?? this.getCurFileNode();
         const errBoundary = __errBoundary ?? this.errBoundary;
         // discard errors
-        if (!errBoundary) {
+        if (!errBoundary || this.errorReportingDisableCount > 0) {
             return;
         }
         this.errorDiagnoser.error(errBoundary, message, {
@@ -79,7 +86,7 @@ class SemEnv {
                 return undefined;
             }
             const componentName = nd.name;
-            const qName = `${(0, reference_manager_1.getTokenQualifiedName)(componentLikeCtx)}.${componentName}`;
+            const qName = `${(0, get_q_name_1.getTokenQualifiedName)(componentLikeCtx)}.${componentName}`;
             return (0, helper_1.getLastOne)(this.nameBindings, qName) ?? this.refMgr.qNameDefs.get(qName);
         }
         else if (nd.concept === 'CallLogic' && nd.calleeNamespace && nd.calleeNamespace.startsWith('elements.') && nd.calleeNamespace.endsWith(".logics")) {
@@ -96,7 +103,7 @@ class SemEnv {
             if (!componentLikeCtx) {
                 return undefined;
             }
-            const qViewName = (0, reference_manager_1.getTokenQualifiedName)(componentLikeCtx);
+            const qViewName = (0, get_q_name_1.getTokenQualifiedName)(componentLikeCtx);
             if (!qViewName) {
                 return undefined;
             }
@@ -111,22 +118,16 @@ class SemEnv {
                 }
                 else {
                     const key = viewElementDef;
-                    let forwardReference = this.getForwardReference(key)?.find(x => x.name === nd.calleeName);
-                    if (forwardReference) {
-                        // @ts-expect-error
-                        return forwardReference.placeholderFnTy;
-                    }
-                    else {
-                        const X = this.unifier.nextFreshTyAnn('free');
-                        this.setForwardReference(key, X, nd.calleeName);
-                        // @ts-expect-error
-                        return X;
-                    }
+                    // 每次调用都创建新的类型变元，避免多次调用共享同一个类型变元导致约束冲突
+                    const X = this.unifier.nextFreshTyAnn('free');
+                    this.setForwardReference(key, X, nd.calleeName, this.errBoundary);
+                    // @ts-expect-error
+                    return X;
                 }
             }
             return undefined;
         }
-        const qName = (0, reference_manager_1.getTokenQualifiedName)(nd);
+        const qName = (0, get_q_name_1.getTokenQualifiedName)(nd);
         if (!qName) {
             return undefined;
         }
@@ -149,7 +150,7 @@ class SemEnv {
         if (nd.concept === 'CallFunction' && isSqlFunction(nd)) {
             return getSqlFnType(nd);
         }
-        return this.refMgr.qNameDefs.get((0, reference_manager_1.getTokenQualifiedName)(nd));
+        return this.refMgr.qNameDefs.get((0, get_q_name_1.getTokenQualifiedName)(nd));
     }
     get isDebugMode() {
         // TODO wudengke 土味logLevel机制。需要重构
@@ -214,7 +215,8 @@ class SemEnv {
         this.resolvedCallInfo = new Map();
         this.fileNodes = [];
         this.errBoundary = null;
-        this.errBoundaryBackup = null;
+        // 错误报告禁用引用计数。必须使用引用计数机制，因为 suppressErrorReporting 可能会递归调用
+        this.errorReportingDisableCount = 0;
         this.errSeverity = 'error';
         this.ctxTpQFE = undefined; // QueryFieldExpression 用的，很烦
         this.ctxTpEntityTy = undefined; // 实体逻辑用的，很烦
@@ -237,9 +239,9 @@ class SemEnv {
         // 记录逻辑、页面的局部变量的名字（QName），不包含 ForEach 引入的变量，暂时也不包含 SubLogic
         this.localVars = new WeakMap();
         this.forwardReferences = new Map();
-        this.setForwardReference = (nd, placeholderFnTy, name) => {
+        this.setForwardReference = (nd, placeholderFnTy, name, errBoundary) => {
             const list = this.forwardReferences.get(nd) ?? [];
-            list.push({ placeholderFnTy, name });
+            list.push({ placeholderFnTy, name, errBoundarySnapshot: errBoundary });
             this.forwardReferences.set(nd, list);
         };
         this.getForwardReference = (nd) => {
@@ -334,7 +336,6 @@ class SemEnv {
         };
         // TODO wudengke 添加统一logger
         this.logLevel = 'info';
-        this.introducedVars = new Map();
         this.dataSourceTyParam = new Map();
         this.getDataSourceTyParam = (nd) => {
             return this.dataSourceTyParam.get((0, dispatch_stmt_1.toRaw)(nd));
@@ -459,42 +460,11 @@ class SemEnv {
         this.refMgr = refMgr;
         this.logLevel = isDebug ? "debug" : "info";
         this.queryManager = new query_manager_1.QuerySystem.QueryManager(this);
+        this.scopeManager = new context_variable_query_1.ScopeManager();
         if (this.isDebugMode) {
             Error.stackTraceLimit = 100;
         }
     }
-    debugNodeType(nd) {
-        const ve = (0, asserts_1.isViewElement)(nd) ? nd : nd.getAncestorRaw('ViewElement');
-        if (ve) {
-            console.log('[DEBUG]', ve.nodePath, ve);
-            let curEle = ve;
-            const ancestors = [];
-            while (curEle) {
-                ancestors.push(curEle);
-                if ((0, asserts_1.isViewElement)(curEle.parentNode)) {
-                    curEle = curEle.parentNode;
-                }
-                else {
-                    break;
-                }
-            }
-            ancestors.reverse();
-            // 将每个节点x映射为env.introducedVariables.get(x)
-            const introducedVars = ancestors.map(x => {
-                const vars = this.introducedVars.get(x);
-                if (vars) {
-                    return { ele: x, vars: vars };
-                }
-                return undefined;
-            }).filter(types_1.isNotNil);
-            const report = introducedVars.map(x => {
-                return (`${x.ele.name}:\n` +
-                    `  ${x.vars.map((v) => `${v.name}: ${(0, type_manager_1.showType)(v.typeAnnotation)}`).join('\n  ')}`);
-            }).join('\n');
-            console.log(introducedVars);
-            console.log(report);
-        }
-    }
     setRefMgr(refMgr) {
         this.refMgr = refMgr;
     }
@@ -505,12 +475,13 @@ class SemEnv {
         this.allocatedVirtualNodes.clear();
         this.subTyMemo.clear();
         this.dataSourceTyParam.clear();
-        this.introducedVars.clear();
+        this.scopeManager = new context_variable_query_1.ScopeManager();
         this.unifier.cs.clear();
         this.typeHintManager = new type_hint_manager_1.TypeHintManager(this);
         this.callLogicToElemTagCache = new WeakMap();
         this.viewConstraintStats = [];
         this.localVars = new WeakMap();
+        this.clearForwardReferences();
         this.app = null;
         this.refMgr.clearAll();
     }
@@ -531,7 +502,10 @@ function normalize(env, ty) {
         if (((0, type_predicate_2.isStringTy)(obj) || (0, type_predicate_2.isMapTy)(obj) || (0, type_predicate_2.isListTy)(obj)) && targetName === 'length') {
             return type_manager_1.naslLongTy;
         }
-        if (obj.typeKind === 'anonymousStructure') {
+        if ((0, type_predicate_1.isAnyTy)(obj)) {
+            return type_manager_1.naslAnyTy;
+        }
+        else if (obj.typeKind === 'anonymousStructure') {
             const pickedProperty = obj.properties?.find((x) => {
                 return x.name === targetName;
             });
@@ -550,7 +524,7 @@ function normalize(env, ty) {
         }
     }
     else if (ty.typeKind === 'generic' || ty.typeKind === 'union') {
-        const tyArgs = ty.typeArguments?.map(arg => normalize(env, arg));
+        const tyArgs = ty.typeArguments?.map((arg) => normalize(env, arg));
         ty.typeArguments = tyArgs;
     }
     else if (ty.typeKind === 'literal') {

package/out/typer/typer.js.map

@@ -1 +1 @@
-{"version":3,"file":"typer.js","sourceRoot":"","sources":["../../src/typer/typer.ts"],"names":[],"mappings":";;;AAAA,uDA8B6B;AAE7B,yDAA0D;AAC1D,yDAA8E;AAE9E,iDASwB;AAGxB,qCAAqD;AAErD,8EAA8H;AAC9H,uCAAoC;AACpC,qCAA0D;AAC1D,wCAAsD;AACtD,qDAA+D;AAC/D,qDAAiE;AACjE,0CAA0C;AAC1C,6EAAwE;AACxE,iEAA4D;AAC5D,uCAAmE;AACnE,4EAAmE;AAGnE,mDAA6D;AAM7D,MAAa,MAAM;IAgEjB,sBAAsB;IACtB,gBAAgB,CAAC,EAAY,EAAE,IAA8C;QAC3E,IAAA,qBAAY,EAAC,IAAI,CAAC,sBAAsB,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC;IA4DD,cAAc;QACZ,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,sBAAsB;QACpB,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,WAAW,CAAC;QAC1C,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,oBAAoB;QAClB,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,iBAAiB,CAAC;QAC1C,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC;IAChC,CAAC;IAED,QAAQ,CACN,OAAe,EACf,UAAuB,EACvB,aAA0B,EAC1B,WAAgC,IAAI,CAAC,WAAW;QAChD,MAAM,QAAQ,GAAG,UAAU,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QACrD,MAAM,WAAW,GAAG,aAAa,IAAI,IAAI,CAAC,WAAW,CAAC;QAEtD,iBAAiB;QACjB,IAAI,CAAC,WAAW,EAAE,CAAC;YACjB,OAAO;QACT,CAAC;QAED,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,WAAW,EAAE,OAAO,EAAE;YAC9C,QAAQ;YACR,QAAQ,EAAE,QAAoB;SAC/B,CAAC,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACH,iBAAiB,CAAC,OAAe,EAAE,EAAc,EAAE,QAAoB;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAA,qBAAW,EAAC,EAAE,CAAC,CAAC;QACjC,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACvD,IAAI,CAAC,WAAW,GAAG,GAAG,CAAC;QACvB,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC;IAsBD,UAAU,CAAC,EAAc;QACvB,IAAI,EAAE,CAAC,OAAO,KAAK,YAAY,IAAI,EAAE,CAAC,SAAS,KAAK,uBAAuB,EAAE,CAAC;YAC5E,sBAAsB;YACtB,OAAO,EAAE,CAAC,cAAc,CAAC,aAAa,CAAC,CAAA;QACzC,CAAC;aAAM,IAAI,EAAE,CAAC,OAAO,KAAK,YAAY,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjE,sBAAsB;YACtB,OAAO,EAAE,CAAC,cAAc,CAAC,aAAa,CAAC,CAAA;QACzC,CAAC;aAAM,IAAI,EAAE,CAAC,OAAO,KAAK,YAAY,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACrI,eAAe;YACf,mDAAmD;YACnD,4BAA4B;YAC5B,MAAM,gBAAgB,GAAG,EAAE,CAAC,aAAa,CAAC;YAC1C,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACtB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,aAAa,GAAG,EAAE,CAAC,IAAI,CAAC;YAC9B,MAAM,KAAK,GAAG,GAAG,IAAA,yCAAqB,EAAC,gBAAgB,CAAC,IAAI,aAAa,EAAE,CAAC;YAC5E,OAAO,IAAA,mBAAU,EAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACjF,CAAC;aAAM,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,IAAI,EAAE,CAAC,eAAe,IAAI,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACpJ,kDAAkD;YAClD,MAAM,QAAQ,GAAG,IAAA,qBAAK,EAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;YACzC,mCAAmC;YACnC,IAAI,QAAQ,YAAY,6BAAa,EAAE,CAAC;gBACtC,OAAO,QAAQ,CAAC;YAClB,CAAC;YACD,kCAAkC;YAClC,mEAAmE;YACnE,MAAM,aAAa,GAAG,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACzD,MAAM,gBAAgB,GAAG,EAAE,CAAC,aAAa,CAAC;YAC1C,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACtB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,SAAS,GAAG,IAAA,yCAAqB,EAAC,gBAAgB,CAAC,CAAC;YAC1D,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,YAAY,GAAG,GAAG,SAAS,IAAI,aAAa,EAAE,CAAC;YACrD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAGhD,CAAC;YACd,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;YAC3C,IAAI,IAAA,uBAAa,EAAC,cAAc,CAAC,IAAI,IAAA,0BAAgB,EAAC,EAAE,CAAC,EAAE,CAAC;gBAC1D,IAAI,EAAE,CAAC,QAAQ,KAAK,oBAAoB,EAAE,CAAC;oBACzC,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;oBACpF,8DAA8D;oBAC9D,OAAO,MAAM,CAAC;gBAChB,CAAC;qBAAM,CAAC;oBACN,MAAM,GAAG,GAAG,cAAc,CAAC;oBAC3B,IAAI,gBAAgB,GAAG,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,CAAC;oBAC1F,IAAI,gBAAgB,EAAE,CAAC;wBACrB,mBAAmB;wBACnB,OAAO,gBAAgB,CAAC,eAAe,CAAC;oBAC1C,CAAC;yBAAI,CAAC;wBACJ,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;wBAC9C,IAAI,CAAC,mBAAmB,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;wBAChD,mBAAmB;wBACnB,OAAO,CAAC,CAAC;oBACX,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,KAAK,GAAG,IAAA,yCAAqB,EAAC,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,SAAS,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,OAAO,IAAA,mBAAU,EAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACjF,CAAC;IACH,CAAC;IA2ED,0DAA0D;IAC1D,cAAc,CAAC,EAAc,EAAE,WAAoB;QACjD,MAAM,aAAa,GAAG,CAAC,EAAgB,EAAE,EAAE,CACzC,EAAE,CAAC,eAAe,KAAK,kBAAkB,CAAC;QAE5C,MAAM,YAAY,GAAG,CAAC,EAAgB,EAAiC,EAAE;YACvE,MAAM,EAAE,GAA8C,IAAI,CAAC,MAAM,EAAE,iBAAiB,CAAC;YACrF,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,OAAO;YACT,CAAC;YAED,MAAM,GAAG,GAAG,oBAAoB,EAAE,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,GAAG,GAAG,IAAI,WAAW,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YACvD,OAAO,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAkC,CAAC;QAC3E,CAAC,CAAA;QAED,IAAI,EAAE,CAAC,OAAO,KAAK,cAAc,IAAI,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;YACvD,OAAO,YAAY,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;QAED,OAAO,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAA,yCAAqB,EAAC,EAAE,CAAE,CAAkC,CAAC;IAChG,CAAC;IAoBD,IAAI,WAAW;QACb,kCAAkC;QAClC,OAAO,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC;IAChE,CAAC;IAED,YAAY,MAAwB,EAAE,OAAO,GAAG,KAAK;QAjYrD,QAAG,GAAe,IAAI,CAAC;QAEvB,uBAAkB,GAAG,KAAK,CAAC;QAE3B,WAAM,GAAG,KAAK,CAAC;QAEf;;;;;WAKG;QACH,WAAM,GAAG,KAAK,CAAC;QACf,iBAAY,GAAG,KAAK,CAAC;QACrB,mBAAc,GAAG,KAAK,CAAC;QAEvB,wCAAwC;QACxC,YAAO,GAA+C,IAAI,GAAG,EAAE,CAAC;QAEhE;;;;;;;WAOG;QACH,2DAA2D;QAC3D,wBAAmB,GAAuC,IAAI,OAAO,EAAE,CAAC;QAExE,0BAA0B;QAC1B,sBAAiB,GAAuD,IAAI,OAAO,EAAE,CAAC;QAEtF,YAAY;QACZ,iBAAY,GAA0B,SAAS,CAAC;QAChD,8DAA8D;QAC9D,qBAAgB,GAAqB,IAAI,CAAC;QAC1C,aAAa;QACb,wBAAmB,GAAG,IAAI,GAAG,EAAqB,CAAC;QACnD,oBAAoB;QACpB,qBAAgB,GAAyB,IAAI,CAAC;QAE9C,+BAA+B;QAC/B,iBAAY,GAAe,IAAI,GAAG,EAAE,CAAC,CAAC,6BAA6B;QAEnE,2CAA2C;QAC3C,WAAW;QACX,iBAAY,GAAc,IAAI,GAAG,EAAE,CAAC,CAAC,sBAAsB;QAE3D,sBAAsB;QACd,2BAAsB,GAAmE,IAAI,GAAG,EAAE,CAAC;QAE3G,wCAAwC;QACxC,gBAAW,GAAgC,IAAI,GAAG,EAAE,CAAC;QAErD,iBAAiB;QACjB,sBAAiB,GAAG,IAAI,KAAK,EAAU,CAAC;QAExC,uDAAuD;QACvD,iEAAiE;QACjE,+BAA+B;QAC/B,0BAAqB,GAAG,IAAI,GAAG,EAAsD,CAAC;QAOtF,6BAA6B;QAC7B,wBAAmB,GAA8E,EAAE,CAAC;QAEpG,YAAY;QACZ,4BAAuB,GAAG,IAAI,OAAO,EAAqB,CAAC;QAE3D,6CAA6C;QAC7C,6CAA6C;QAC7C,qBAAgB,GAAgC,IAAI,GAAG,EAAE,CAAC;QAE1D,cAAS,GAAiB,EAAE,CAAC;QAE7B,gBAAW,GAAsB,IAAI,CAAC;QAEtC,sBAAiB,GAAsB,IAAI,CAAC;QAE5C,gBAAW,GAAwB,OAAO,CAAC;QAE3C,aAAQ,GACsG,SAAS,CAAA,CAAC,6BAA6B;QAErJ,kBAAa,GAA+B,SAAS,CAAC,CAAC,YAAY;QAEnE,oBAAoB;QACpB,WAAM,GAAmC,SAAS,CAAC;QAEnD,0BAAqB,GAAgC,IAAI,GAAG,EAAE,CAAC,CAAC,kCAAkC;QAMlG,mBAAc,GAAY,IAAI,CAAA,CAAC,+FAA+F;QAE9H,YAAO,GAAY,IAAI,iBAAO,CAAC,IAAI,CAAC,CAAC;QACrC,aAAa;QACb,WAAM,GAAW,IAAI,CAAC;QAEtB,MAAM;QACN,oDAAoD;QACpD,eAAe;QACf,cAAS,GAA6C,IAAI,GAAG,EAAE,CAAC;QAEhE,OAAO;QACP,cAAS,GAA+B,IAAI,GAAG,EAAE,CAAC;QAElD,sDAAsD;QACtD,oBAAe,GAAoC,IAAI,OAAO,EAAE,CAAC;QAEjE,cAAS,GAAY,KAAK,CAAC;QAE3B,2DAA2D;QAC3D,cAAS,GAA6F,IAAI,OAAO,EAAE,CAAC;QAuDpH,sBAAiB,GAAG,IAAI,GAAG,EAAiE,CAAC;QAE7F,wBAAmB,GAAG,CAAC,EAAc,EAAE,eAA+B,EAAE,IAAY,EAAE,EAAE;YACtF,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,EAAC,eAAe,EAAE,IAAI,EAAC,CAAC,CAAC;YACnC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAA;QAED,wBAAmB,GAAG,CAAC,EAAc,EAAE,EAAE;YACvC,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAA;QAED,kCAA6B,GAAG,CAAC,EAAc,EAAE,EAAE;YACjD,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,CAAC,CAAA;QAED,2BAAsB,GAAG,GAAG,EAAE;YAC5B,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QACjC,CAAC,CAAA;QAyED;;;;WAIG;QACH,eAAU,GAAG,CAAC,EAAwB,EAA8B,EAAE;YACpE,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,IAAI,EAAE,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;gBACpC,OAAO,EAAoB,CAAC;YAC9B,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,yCAAyC;gBACxE,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACnC,CAAC;YACD;;;;;eAKG;YAEH,IAAI,oCAAgB,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3D,mBAAmB;gBACnB,OAAO,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,cAAc,IAAI,IAAA,oCAAqB,EAAC,EAAuC,EAAE,IAAI,CAAC,CAAC;YAC1H,CAAC;YAED,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,EAAgB,CAAC,CAAC;YAC9C,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,OAAQ,EAAU,CAAC,cAAc,IAAI,SAAS,CAAC;YACjD,CAAC;YAED,OAAO,GAAG,CAAC,gBAAgB,IAAI,mBAAmB;gBAChD,CAAC,oCAAgB,CAAC,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;oBACtD,CAAC,CAAC,IAAA,oCAAqB,EAAC,GAAwC,EAAE,IAAI,CAAC;oBACvE,CAAC,CAAC,SAAS,CAAC,CAAA;QAClB,CAAC,CAAA;QAED,WAAM,GAAG;YACP,KAAK,EAAE,CAAC,GAAY,EAAE,EAAE;gBACtB,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACrB,CAAC;SACF,CAAA;QAED;;;;;;;;;;;;WAYG;QACH,YAAO,GAAG,CAAC,EAAwB,EAA8B,EAAE;YACjE,IAAI,CAAC;gBACH,wDAAwD;gBACxD,sGAAsG;gBACtG,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,CAAC,CAAC;gBACtC,IAAI,EAAE,EAAE,CAAC;oBACP,OAAO,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;gBAC5B,CAAC;gBACD,OAAO,EAAE,CAAC;YACZ,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC;gBAC/D,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACrB,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC,CAAA;QAyBD,6BAAwB,GAAG,CAAC,SAAqB,EAAE,EAAQ,EAAE,EAAE;YAC7D,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;gBAC7B,IAAA,qBAAY,EAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC3D,CAAC,CAAC,CAAC;YACH,OAAO,GAAG,EAAE;gBACV,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAClC,EAAE,EAAE,EAAE,CAAC;YACT,CAAC,CAAC;QACJ,CAAC,CAAA;QAED,cAAS,GAAG,CAAC,EAAY,EAAE,EAAE;YAC3B,IAAA,sBAAa,EAAC,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAC1C,uEAAuE;QACzE,CAAC,CAAA;QAED,2BAA2B;QACnB,aAAQ,GAA+B,MAAM,CAAC;QAiBtD,mBAAc,GAA8B,IAAI,GAAG,EAAE,CAAC;QAoC5C,sBAAiB,GAAkE,IAAI,GAAG,EAAE,CAAC;QAErG,yBAAoB,GAAG,CAAC,EAAY,EAAE,EAAE;YACtC,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAA;QAED,yBAAoB,GAAG,CAAC,EAAY,EAAE,GAAmD,EAAE,EAAE;YAC3F,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7C,CAAC,CAAA;QAMH,YAAO,GAAG,CAAC,EAAwB,EAAE,EAA8B,EAAE,EAAE;YACrE,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,OAAO;YACT,CAAC;YAED,oCAAoC;YACpC,iDAAiD;YACjD,gGAAgG;YAChG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,EAAE,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;gBACpC,IAAI,IAAA,iCAAgB,EAAC,EAAE,CAAC,EAAE,CAAC;oBACzB,EAAE,CAAC,gBAAgB,GAAG,EAAG,CAAC;gBAC5B,CAAC;qBAAM,CAAC,CAAC,mBAAmB;oBAC1B,EAAE,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAAC,sBAAsB;gBACzD,CAAC;YACH,CAAC;YAED,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,IAAI,EAAE,EAAE,QAAQ,KAAK,WAAW,EAAE,CAAC;oBACjC,mBAAmB;oBACnB,EAAE,CAAC,IAAI,GAAG,EAAG,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC,CAAA;QAED;;;WAGG;QACI,gBAAW,GAAG,CAAC,EAAwB,EAAE,EAAE;YAChD,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,OAAO;YACT,CAAC;YAED,IAAI,CAAC,MAAM,CAAC,cAAc,kCAAmB,CAAC;YAC9C,EAAE,EAAE,sBAAsB,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE;gBACrC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAChC,IAAI,CAAC,MAAM,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;YAC9C,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,MAAM,CAAC,cAAc,GAAG,IAAI,CAAC;QACpC,CAAC,CAAA;QAED,mBAAc,GAAG,CAAC,QAA6B,EAAE,EAAE;YACjD,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;gBACzB,IAAI,CAAC,WAAW,GAAG,kBAAQ,CAAC,KAAK,CAAC;YACpC,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,WAAW,GAAG,kBAAQ,CAAC,IAAI,CAAC;YACnC,CAAC;QACH,CAAC,CAAA;QAED,sBAAsB;QACf,kBAAa,GAAG,CAAC,KAAoB,EAAE,EAAE;YAC9C,MAAM,MAAM,GAAG,IAAA,oBAAU,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvC,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,EAAE,CAAC;gBACnE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAC/C,CAAC;YACD,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC;QACtC,CAAC,CAAA;QAED,YAAO,GAAG,GAAG,EAAE;YACb,IAAA,yBAAgB,EAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpC,CAAC,CAAA;QAuBD;;WAEG;QACH,qBAAgB,GAAG,GAAG,EAAE;YACtB,cAAc;YACd,MAAM,KAAK,GAAwB;gBACjC,YAAY,EAAE,IAAI,CAAC,YAAY;gBAC/B,YAAY,EAAE,IAAI,CAAC,YAAY;aAChC,CAAC;YACF,MAAM,MAAM,GAAwB;gBAClC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,QAAQ,EAAE;aACjC,CAAC;YACF,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjD,IAAI,KAAK,YAAY,GAAG,EAAE,CAAC;oBACzB,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;oBAClC,IAAI,SAAS,GAAG,CAAC,CAAC;oBAClB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;wBAC/B,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;4BACrB,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC;wBACtB,CAAC;6BAAM,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;4BAC5B,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC;wBACtB,CAAC;6BAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC5B,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC;wBACxB,CAAC;wBACD,SAAS;wBACT,yCAAyC;wBACzC,wCAAwC;wBACxC,IAAI;6BACC,CAAC;4BACJ,SAAS,IAAI,CAAC,CAAC;wBACjB,CAAC;oBACH,CAAC;oBACD,MAAM,CAAC,GAAG,GAAG,WAAW,CAAC,GAAG,SAAS,CAAC;gBACxC,CAAC;qBAAM,IAAI,KAAK,YAAY,GAAG,EAAE,CAAC;oBAChC,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;oBAClC,MAAM,CAAC,GAAG,GAAG,WAAW,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;gBACzC,CAAC;qBAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBAChC,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;oBACpC,MAAM,CAAC,GAAG,GAAG,WAAW,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;gBAC3C,CAAC;gBACD,SAAS;gBACT,iDAAiD;gBACjD,oBAAoB;gBACpB,sDAAsD;gBACtD,IAAI;qBACC,CAAC;oBACJ,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;YACD,8BAA8B;YAC9B,OAAO,EAAE,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QACxD,CAAC,CAAA;QAlMC,IAAI,CAAC,eAAe,GAAG,IAAI,mCAAe,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3C,IAAI,CAAC,YAAY,GAAG,IAAI,2BAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,KAAK,CAAC,eAAe,GAAG,GAAG,CAAC;QAC9B,CAAC;IACH,CAAC;IAID,aAAa,CAAC,EAAc;QAC1B,MAAM,EAAE,GAAG,IAAA,uBAAa,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC;QACrE,IAAI,EAAE,EAAE,CAAC;YACP,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YACxC,IAAI,MAAM,GAAgB,EAAE,CAAC;YAC7B,MAAM,SAAS,GAAG,EAAE,CAAC;YACrB,OAAO,MAAM,EAAE,CAAC;gBACd,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACvB,IAAI,IAAA,uBAAa,EAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;oBACrC,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC;gBAC7B,CAAC;qBAAM,CAAC;oBACN,MAAM;gBACR,CAAC;YACH,CAAC;YACD,SAAS,CAAC,OAAO,EAAE,CAAC;YACpB,0CAA0C;YAC1C,MAAM,cAAc,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBACvC,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACxC,IAAI,IAAI,EAAE,CAAC;oBACT,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;gBAChC,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC,CAAC,CAAC,MAAM,CAAC,gBAAQ,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBACpC,OAAO,CACL,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK;oBAClB,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,IAAA,uBAAQ,EAAC,CAAC,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAClF,CAAC;YACJ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAYM,SAAS,CAAC,MAAwB;QACvC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAiED,QAAQ;QACN,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;QAClC,IAAI,CAAC,qBAAqB,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,eAAe,GAAG,IAAI,mCAAe,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,uBAAuB,GAAG,IAAI,OAAO,EAAE,CAAC;QAC7C,IAAI,CAAC,mBAAmB,GAAG,EAAE,CAAC;QAC9B,IAAI,CAAC,SAAS,GAAG,IAAI,OAAO,EAAE,CAAC;QAC/B,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC;QAChB,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;IAED,IAAI,CAAC,CAAiB,EAAE,CAAiB;QACvC,OAAO,IAAA,0BAAS,EAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC;CAsDF;AAtkBD,wBAskBC;AAED,SAAgB,SAAS,CAAC,GAAW,EAAE,EAAkB;IACvD,IAAI,EAAE,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;QACpC,8BAA8B;QAC9B,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,UAAW,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,SAAU,CAAC,CAAC;QAC9B,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO,8BAAc,CAAC,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,6CAA6C;QACvF,IAAI,CAAC,IAAA,2BAAU,EAAC,GAAG,CAAC,IAAI,IAAA,wBAAO,EAAC,GAAG,CAAC,IAAI,IAAA,yBAAQ,EAAC,GAAG,CAAC,CAAC,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;YAClF,OAAO,yBAAU,CAAC;QACpB,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,KAAK,oBAAoB,EAAE,CAAC;YAC1C,MAAM,cAAc,GAAG,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBAChD,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;YAC/B,CAAC,CAAC,CAAC;YACH,IAAI,cAAc,EAAE,cAAc,EAAE,CAAC;gBACnC,OAAO,SAAS,CAAC,GAAG,EAAE,cAAc,CAAC,cAAc,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;aAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAA0B,CAAC;YACzD,MAAM,cAAc,GAAG,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBACjD,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;YAC/B,CAAC,CAAC,CAAC;YACH,IAAI,cAAc,EAAE,cAAc,EAAE,CAAC;gBACnC,OAAO,SAAS,CAAC,GAAG,EAAE,cAAc,CAAC,cAAc,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QAChE,MAAM,MAAM,GAAG,EAAE,CAAC,aAAa,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,EAAE,CAAC,aAAa,GAAG,MAAM,CAAC;IAC5B,CAAC;SAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACrC,OAAO,IAAA,yCAAgB,EAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,IAAI,EAAE,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QAC5B,OAAO,IAAA,oCAA0B,EAAC,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAvCD,8BAuCC"}
+{"version":3,"file":"typer.js","sourceRoot":"","sources":["../../src/typer/typer.ts"],"names":[],"mappings":";;;AAAA,uDAyB6B;AAE7B,yDAA0D;AAC1D,yDAA8E;AAE9E,iDAUwB;AAGxB,qCAAqD;AAErD,gEAAwE;AACxE,8EAA0E;AAE1E,uCAAoC;AACpC,qCAA0D;AAC1D,wCAAsD;AACtD,qDAAwE;AACxE,qDAAiE;AACjE,6EAAwE;AACxE,iEAA4D;AAC5D,4EAA+D;AAC/D,uCAAmE;AACnE,4EAAmE;AAGnE,mDAAwC;AAMxC,MAAa,MAAM;IAgEjB,sBAAsB;IACtB,gBAAgB,CAAC,EAAY,EAAE,IAA8C;QAC3E,IAAA,qBAAY,EAAC,IAAI,CAAC,sBAAsB,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC;IA6DD,cAAc;QACZ,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,sBAAsB;QACpB,IAAI,CAAC,0BAA0B,EAAE,CAAC;IACpC,CAAC;IAED,oBAAoB;QAClB,IAAI,IAAI,CAAC,0BAA0B,GAAG,CAAC,EAAE,CAAC;YACxC,IAAI,CAAC,0BAA0B,EAAE,CAAC;QACpC,CAAC;IACH,CAAC;IAED,6BAA6B;QAC3B,OAAO,IAAI,CAAC,0BAA0B,CAAC;IACzC,CAAC;IAED,wBAAwB;QACtB,OAAO,IAAI,CAAC,0BAA0B,GAAG,CAAC,CAAC;IAC7C,CAAC;IAED,QAAQ,CACN,OAAe,EACf,UAAuB,EACvB,aAA0B,EAC1B,WAAgC,IAAI,CAAC,WAAW;QAChD,MAAM,QAAQ,GAAG,UAAU,IAAI,IAAI,CAAC,cAAc,EAAE,CAAC;QACrD,MAAM,WAAW,GAAG,aAAa,IAAI,IAAI,CAAC,WAAW,CAAC;QAEtD,iBAAiB;QACjB,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,0BAA0B,GAAG,CAAC,EAAE,CAAC;YACxD,OAAO;QACT,CAAC;QAED,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,WAAW,EAAE,OAAO,EAAE;YAC9C,QAAQ;YACR,QAAQ,EAAE,QAAoB;SAC/B,CAAC,CAAC;IACL,CAAC;IAED;;;;;OAKG;IACH,iBAAiB,CAAC,OAAe,EAAE,EAAc,EAAE,QAAoB;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAA,qBAAW,EAAC,EAAE,CAAC,CAAC;QACjC,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1C,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;QACtB,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QACvD,IAAI,CAAC,WAAW,GAAG,GAAG,CAAC;QACvB,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;IACvB,CAAC;IAsBD,UAAU,CAAC,EAAc;QACvB,IAAI,EAAE,CAAC,OAAO,KAAK,YAAY,IAAI,EAAE,CAAC,SAAS,KAAK,uBAAuB,EAAE,CAAC;YAC5E,sBAAsB;YACtB,OAAO,EAAE,CAAC,cAAc,CAAC,aAAa,CAAC,CAAA;QACzC,CAAC;aAAM,IAAI,EAAE,CAAC,OAAO,KAAK,YAAY,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACjE,sBAAsB;YACtB,OAAO,EAAE,CAAC,cAAc,CAAC,aAAa,CAAC,CAAA;QACzC,CAAC;aAAM,IAAI,EAAE,CAAC,OAAO,KAAK,YAAY,IAAI,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACrI,eAAe;YACf,mDAAmD;YACnD,4BAA4B;YAC5B,MAAM,gBAAgB,GAAG,EAAE,CAAC,aAAa,CAAC;YAC1C,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACtB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,aAAa,GAAG,EAAE,CAAC,IAAI,CAAC;YAC9B,MAAM,KAAK,GAAG,GAAG,IAAA,kCAAqB,EAAC,gBAAgB,CAAC,IAAI,aAAa,EAAE,CAAC;YAC5E,OAAO,IAAA,mBAAU,EAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACjF,CAAC;aAAM,IAAI,EAAE,CAAC,OAAO,KAAK,WAAW,IAAI,EAAE,CAAC,eAAe,IAAI,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACpJ,kDAAkD;YAClD,MAAM,QAAQ,GAAG,IAAA,qBAAK,EAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;YACzC,mCAAmC;YACnC,IAAI,QAAQ,YAAY,6BAAa,EAAE,CAAC;gBACtC,OAAO,QAAQ,CAAC;YAClB,CAAC;YACD,kCAAkC;YAClC,mEAAmE;YACnE,MAAM,aAAa,GAAG,EAAE,CAAC,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACzD,MAAM,gBAAgB,GAAG,EAAE,CAAC,aAAa,CAAC;YAC1C,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACtB,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,SAAS,GAAG,IAAA,kCAAqB,EAAC,gBAAgB,CAAC,CAAC;YAC1D,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,MAAM,YAAY,GAAG,GAAG,SAAS,IAAI,aAAa,EAAE,CAAC;YACrD,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,YAAY,CAGhD,CAAC;YACd,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;YAC3C,IAAI,IAAA,uBAAa,EAAC,cAAc,CAAC,IAAI,IAAA,0BAAgB,EAAC,EAAE,CAAC,EAAE,CAAC;gBAC1D,IAAI,EAAE,CAAC,QAAQ,KAAK,oBAAoB,EAAE,CAAC;oBACzC,MAAM,MAAM,GAAG,EAAE,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC;oBACpF,8DAA8D;oBAC9D,OAAO,MAAM,CAAC;gBAChB,CAAC;qBAAM,CAAC;oBACN,MAAM,GAAG,GAAG,cAAc,CAAC;oBAC3B,sCAAsC;oBACtC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;oBAC9C,IAAI,CAAC,mBAAmB,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;oBAClE,mBAAmB;oBACnB,OAAO,CAAC,CAAC;gBACX,CAAC;YACH,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,KAAK,GAAG,IAAA,kCAAqB,EAAC,EAAE,CAAC,CAAC;QACxC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO,SAAS,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,OAAO,IAAA,mBAAU,EAAC,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACjF,CAAC;IACH,CAAC;IA2ED,0DAA0D;IAC1D,cAAc,CAAC,EAAc,EAAE,WAAoB;QACjD,MAAM,aAAa,GAAG,CAAC,EAAgB,EAAE,EAAE,CACzC,EAAE,CAAC,eAAe,KAAK,kBAAkB,CAAC;QAE5C,MAAM,YAAY,GAAG,CAAC,EAAgB,EAAiC,EAAE;YACvE,MAAM,EAAE,GAA8C,IAAI,CAAC,MAAM,EAAE,iBAAiB,CAAC;YACrF,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,OAAO;YACT,CAAC;YAED,MAAM,GAAG,GAAG,oBAAoB,EAAE,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,GAAG,GAAG,IAAI,WAAW,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;YACvD,OAAO,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAkC,CAAC;QAC3E,CAAC,CAAA;QAED,IAAI,EAAE,CAAC,OAAO,KAAK,cAAc,IAAI,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;YACvD,OAAO,YAAY,CAAC,EAAE,CAAC,CAAC;QAC1B,CAAC;QAED,OAAO,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAA,kCAAqB,EAAC,EAAE,CAAE,CAAkC,CAAC;IAChG,CAAC;IAoBD,IAAI,WAAW;QACb,kCAAkC;QAClC,OAAO,IAAI,CAAC,QAAQ,KAAK,OAAO,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO,CAAC;IAChE,CAAC;IAED,YAAY,MAAwB,EAAE,OAAO,GAAG,KAAK;QArYrD,QAAG,GAAe,IAAI,CAAC;QAEvB,uBAAkB,GAAG,KAAK,CAAC;QAE3B,WAAM,GAAG,KAAK,CAAC;QAEf;;;;;WAKG;QACH,WAAM,GAAG,KAAK,CAAC;QACf,iBAAY,GAAG,KAAK,CAAC;QACrB,mBAAc,GAAG,KAAK,CAAC;QAEvB,wCAAwC;QACxC,YAAO,GAA+C,IAAI,GAAG,EAAE,CAAC;QAEhE;;;;;;;WAOG;QACH,2DAA2D;QAC3D,wBAAmB,GAAuC,IAAI,OAAO,EAAE,CAAC;QAExE,0BAA0B;QAC1B,sBAAiB,GAAuD,IAAI,OAAO,EAAE,CAAC;QAEtF,YAAY;QACZ,iBAAY,GAA0B,SAAS,CAAC;QAChD,8DAA8D;QAC9D,qBAAgB,GAAqB,IAAI,CAAC;QAC1C,aAAa;QACb,wBAAmB,GAAG,IAAI,GAAG,EAAqB,CAAC;QACnD,oBAAoB;QACpB,qBAAgB,GAAyB,IAAI,CAAC;QAE9C,+BAA+B;QAC/B,iBAAY,GAAe,IAAI,GAAG,EAAE,CAAC,CAAC,6BAA6B;QAEnE,2CAA2C;QAC3C,WAAW;QACX,iBAAY,GAAc,IAAI,GAAG,EAAE,CAAC,CAAC,sBAAsB;QAE3D,sBAAsB;QACd,2BAAsB,GAAmE,IAAI,GAAG,EAAE,CAAC;QAE3G,wCAAwC;QACxC,gBAAW,GAAgC,IAAI,GAAG,EAAE,CAAC;QAErD,iBAAiB;QACjB,sBAAiB,GAAG,IAAI,KAAK,EAAU,CAAC;QAExC,uDAAuD;QACvD,iEAAiE;QACjE,+BAA+B;QAC/B,0BAAqB,GAAG,IAAI,GAAG,EAAsD,CAAC;QAOtF,6BAA6B;QAC7B,wBAAmB,GAA8E,EAAE,CAAC;QAEpG,YAAY;QACZ,4BAAuB,GAAG,IAAI,OAAO,EAAqB,CAAC;QAE3D,6CAA6C;QAC7C,6CAA6C;QAC7C,qBAAgB,GAAgC,IAAI,GAAG,EAAE,CAAC;QAE1D,cAAS,GAAiB,EAAE,CAAC;QAE7B,gBAAW,GAAsB,IAAI,CAAC;QAEtC,0DAA0D;QAC1D,+BAA0B,GAAW,CAAC,CAAC;QAEvC,gBAAW,GAAwB,OAAO,CAAC;QAE3C,aAAQ,GACsG,SAAS,CAAA,CAAC,6BAA6B;QAErJ,kBAAa,GAA+B,SAAS,CAAC,CAAC,YAAY;QAEnE,oBAAoB;QACpB,WAAM,GAAmC,SAAS,CAAC;QAEnD,0BAAqB,GAAgC,IAAI,GAAG,EAAE,CAAC,CAAC,kCAAkC;QAMlG,mBAAc,GAAY,IAAI,CAAA,CAAC,+FAA+F;QAE9H,YAAO,GAAY,IAAI,iBAAO,CAAC,IAAI,CAAC,CAAC;QACrC,aAAa;QACb,WAAM,GAAW,IAAI,CAAC;QAEtB,MAAM;QACN,oDAAoD;QACpD,eAAe;QACf,cAAS,GAA6C,IAAI,GAAG,EAAE,CAAC;QAEhE,OAAO;QACP,cAAS,GAA+B,IAAI,GAAG,EAAE,CAAC;QAElD,sDAAsD;QACtD,oBAAe,GAAoC,IAAI,OAAO,EAAE,CAAC;QAEjE,cAAS,GAAY,KAAK,CAAC;QAE3B,2DAA2D;QAC3D,cAAS,GAA6F,IAAI,OAAO,EAAE,CAAC;QA+DpH,sBAAiB,GAAG,IAAI,GAAG,EAAyG,CAAC;QAErI,wBAAmB,GAAG,CAAC,EAAc,EAAE,eAA+B,EAAE,IAAY,EAAE,WAA8B,EAAE,EAAE;YACtH,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YAClD,IAAI,CAAC,IAAI,CAAC,EAAC,eAAe,EAAE,IAAI,EAAE,mBAAmB,EAAE,WAAW,EAAC,CAAC,CAAC;YACrE,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACvC,CAAC,CAAA;QAED,wBAAmB,GAAG,CAAC,EAAc,EAAE,EAAE;YACvC,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAA;QAED,kCAA6B,GAAG,CAAC,EAAc,EAAE,EAAE;YACjD,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,CAAC,CAAA;QAED,2BAAsB,GAAG,GAAG,EAAE;YAC5B,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QACjC,CAAC,CAAA;QAoED;;;;WAIG;QACH,eAAU,GAAG,CAAC,EAAwB,EAA8B,EAAE;YACpE,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,OAAO,SAAS,CAAC;YACnB,CAAC;YACD,IAAI,EAAE,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;gBACpC,OAAO,EAAoB,CAAC;YAC9B,CAAC;YACD,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,yCAAyC;gBACxE,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACnC,CAAC;YACD;;;;;eAKG;YAEH,IAAI,oCAAgB,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC3D,mBAAmB;gBACnB,OAAO,EAAE,CAAC,gBAAgB,IAAI,EAAE,CAAC,cAAc,IAAI,IAAA,oCAAqB,EAAC,EAAuC,EAAE,IAAI,CAAC,CAAC;YAC1H,CAAC;YAED,MAAM,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,EAAgB,CAAC,CAAC;YAC9C,IAAI,CAAC,GAAG,EAAE,CAAC;gBACT,OAAQ,EAAU,CAAC,cAAc,IAAI,SAAS,CAAC;YACjD,CAAC;YAED,OAAO,GAAG,CAAC,gBAAgB,IAAI,mBAAmB;gBAChD,CAAC,oCAAgB,CAAC,gBAAgB,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC;oBACtD,CAAC,CAAC,IAAA,oCAAqB,EAAC,GAAwC,EAAE,IAAI,CAAC;oBACvE,CAAC,CAAC,SAAS,CAAC,CAAA;QAClB,CAAC,CAAA;QAED,WAAM,GAAG;YACP,KAAK,EAAE,CAAC,GAAY,EAAE,EAAE;gBACtB,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACrB,CAAC;SACF,CAAA;QAED;;;;;;;;;;;;WAYG;QACH,YAAO,GAAG,CAAC,EAAwB,EAA8B,EAAE;YACjE,IAAI,CAAC;gBACH,wDAAwD;gBACxD,sGAAsG;gBACtG,MAAM,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,CAAC,CAAC;gBACtC,IAAI,EAAE,EAAE,CAAC;oBACP,OAAO,SAAS,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;gBAC5B,CAAC;gBACD,OAAO,EAAE,CAAC;YACZ,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,2CAA2C,CAAC,CAAC;gBAC/D,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACrB,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC,CAAA;QAyBD,6BAAwB,GAAG,CAAC,SAAqB,EAAE,EAAQ,EAAE,EAAE;YAC7D,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;gBAC7B,IAAA,qBAAY,EAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC3D,CAAC,CAAC,CAAC;YACH,OAAO,GAAG,EAAE;gBACV,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAClC,EAAE,EAAE,EAAE,CAAC;YACT,CAAC,CAAC;QACJ,CAAC,CAAA;QAED,cAAS,GAAG,CAAC,EAAY,EAAE,EAAE;YAC3B,IAAA,sBAAa,EAAC,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAC1C,uEAAuE;QACzE,CAAC,CAAA;QAED,2BAA2B;QACnB,aAAQ,GAA+B,MAAM,CAAC;QAoB5C,sBAAiB,GAAkE,IAAI,GAAG,EAAE,CAAC;QAErG,yBAAoB,GAAG,CAAC,EAAY,EAAE,EAAE;YACtC,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,CAAC,CAAA;QAED,yBAAoB,GAAG,CAAC,EAAY,EAAE,GAAmD,EAAE,EAAE;YAC3F,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7C,CAAC,CAAA;QAMH,YAAO,GAAG,CAAC,EAAwB,EAAE,EAA8B,EAAE,EAAE;YACrE,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,OAAO;YACT,CAAC;YAED,oCAAoC;YACpC,iDAAiD;YACjD,gGAAgG;YAChG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,EAAE,CAAC,OAAO,KAAK,gBAAgB,EAAE,CAAC;gBACpC,IAAI,IAAA,iCAAgB,EAAC,EAAE,CAAC,EAAE,CAAC;oBACzB,EAAE,CAAC,gBAAgB,GAAG,EAAG,CAAC;gBAC5B,CAAC;qBAAM,CAAC,CAAC,mBAAmB;oBAC1B,EAAE,CAAC,gBAAgB,GAAG,SAAS,CAAC,CAAC,sBAAsB;gBACzD,CAAC;YACH,CAAC;YAED,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,IAAI,EAAE,EAAE,QAAQ,KAAK,WAAW,EAAE,CAAC;oBACjC,mBAAmB;oBACnB,EAAE,CAAC,IAAI,GAAG,EAAG,CAAC;gBAChB,CAAC;YACH,CAAC;QACH,CAAC,CAAA;QAED;;;WAGG;QACI,gBAAW,GAAG,CAAC,EAAwB,EAAE,EAAE;YAChD,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,OAAO;YACT,CAAC;YAED,IAAI,CAAC,MAAM,CAAC,cAAc,kCAAmB,CAAC;YAC9C,EAAE,EAAE,sBAAsB,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE;gBACrC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAChC,IAAI,CAAC,MAAM,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;YAC9C,CAAC,CAAC,CAAC;YACH,IAAI,CAAC,MAAM,CAAC,cAAc,GAAG,IAAI,CAAC;QACpC,CAAC,CAAA;QAED,mBAAc,GAAG,CAAC,QAA6B,EAAE,EAAE;YACjD,IAAI,QAAQ,KAAK,OAAO,EAAE,CAAC;gBACzB,IAAI,CAAC,WAAW,GAAG,kBAAQ,CAAC,KAAK,CAAC;YACpC,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,WAAW,GAAG,kBAAQ,CAAC,IAAI,CAAC;YACnC,CAAC;QACH,CAAC,CAAA;QAED,sBAAsB;QACf,kBAAa,GAAG,CAAC,KAAoB,EAAE,EAAE;YAC9C,MAAM,MAAM,GAAG,IAAA,oBAAU,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACvC,KAAK,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,EAAE,CAAC;gBACnE,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;YAC/C,CAAC;YACD,IAAI,CAAC,sBAAsB,CAAC,KAAK,EAAE,CAAC;QACtC,CAAC,CAAA;QAED,YAAO,GAAG,GAAG,EAAE;YACb,IAAA,yBAAgB,EAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpC,CAAC,CAAA;QAwBD;;WAEG;QACH,qBAAgB,GAAG,GAAG,EAAE;YACtB,cAAc;YACd,MAAM,KAAK,GAAwB;gBACjC,YAAY,EAAE,IAAI,CAAC,YAAY;gBAC/B,YAAY,EAAE,IAAI,CAAC,YAAY;aAChC,CAAC;YACF,MAAM,MAAM,GAAwB;gBAClC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,QAAQ,EAAE;aACjC,CAAC;YACF,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjD,IAAI,KAAK,YAAY,GAAG,EAAE,CAAC;oBACzB,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;oBAClC,IAAI,SAAS,GAAG,CAAC,CAAC;oBAClB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;wBAC/B,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;4BACrB,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC;wBACtB,CAAC;6BAAM,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC;4BAC5B,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC;wBACtB,CAAC;6BAAM,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;4BAC5B,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC;wBACxB,CAAC;wBACD,SAAS;wBACT,yCAAyC;wBACzC,wCAAwC;wBACxC,IAAI;6BACC,CAAC;4BACJ,SAAS,IAAI,CAAC,CAAC;wBACjB,CAAC;oBACH,CAAC;oBACD,MAAM,CAAC,GAAG,GAAG,WAAW,CAAC,GAAG,SAAS,CAAC;gBACxC,CAAC;qBAAM,IAAI,KAAK,YAAY,GAAG,EAAE,CAAC;oBAChC,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;oBAClC,MAAM,CAAC,GAAG,GAAG,WAAW,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC;gBACzC,CAAC;qBAAM,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBAChC,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;oBACpC,MAAM,CAAC,GAAG,GAAG,WAAW,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;gBAC3C,CAAC;gBACD,SAAS;gBACT,iDAAiD;gBACjD,oBAAoB;gBACpB,sDAAsD;gBACtD,IAAI;qBACC,CAAC;oBACJ,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;YACD,8BAA8B;YAC9B,OAAO,EAAE,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC;QACxD,CAAC,CAAA;QAlKC,IAAI,CAAC,eAAe,GAAG,IAAI,mCAAe,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3C,IAAI,CAAC,YAAY,GAAG,IAAI,2BAAW,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACvD,IAAI,CAAC,YAAY,GAAG,IAAI,qCAAY,EAAE,CAAC;QACvC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,KAAK,CAAC,eAAe,GAAG,GAAG,CAAC;QAC9B,CAAC;IACH,CAAC;IAcM,SAAS,CAAC,MAAwB;QACvC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;IAiED,QAAQ;QACN,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;QAC1B,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC;QAClC,IAAI,CAAC,qBAAqB,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,CAAC,YAAY,GAAG,IAAI,qCAAY,EAAE,CAAC;QACvC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC;QACxB,IAAI,CAAC,eAAe,GAAG,IAAI,mCAAe,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,uBAAuB,GAAG,IAAI,OAAO,EAAE,CAAC;QAC7C,IAAI,CAAC,mBAAmB,GAAG,EAAE,CAAC;QAC9B,IAAI,CAAC,SAAS,GAAG,IAAI,OAAO,EAAE,CAAC;QAC/B,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAC9B,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC;QAChB,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC;IAED,IAAI,CAAC,CAAiB,EAAE,CAAiB;QACvC,OAAO,IAAA,0BAAS,EAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC;CAsDF;AA1iBD,wBA0iBC;AAED,SAAgB,SAAS,CAAC,GAAW,EAAE,EAAkB;IACvD,IAAI,EAAE,CAAC,QAAQ,KAAK,eAAe,EAAE,CAAC;QACpC,8BAA8B;QAC9B,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,EAAE,EAAE,CAAC,UAAW,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,SAAU,CAAC,CAAC;QAC9B,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjC,OAAO,8BAAc,CAAC,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,6CAA6C;QACvF,IAAI,CAAC,IAAA,2BAAU,EAAC,GAAG,CAAC,IAAI,IAAA,wBAAO,EAAC,GAAG,CAAC,IAAI,IAAA,yBAAQ,EAAC,GAAG,CAAC,CAAC,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;YAClF,OAAO,yBAAU,CAAC;QACpB,CAAC;QACD,IAAI,IAAA,wBAAO,EAAC,GAAG,CAAC,EAAE,CAAC;YACjB,OAAO,wBAAS,CAAC;QACnB,CAAC;aAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,oBAAoB,EAAE,CAAC;YACjD,MAAM,cAAc,GAAG,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBAChD,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;YAC/B,CAAC,CAAC,CAAC;YACH,IAAI,cAAc,EAAE,cAAc,EAAE,CAAC;gBACnC,OAAO,SAAS,CAAC,GAAG,EAAE,cAAc,CAAC,cAAc,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;aAAM,IAAI,GAAG,CAAC,QAAQ,KAAK,WAAW,EAAE,CAAC;YACxC,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAA0B,CAAC;YACzD,MAAM,cAAc,GAAG,GAAG,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE;gBACjD,OAAO,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC;YAC/B,CAAC,CAAC,CAAC;YACH,IAAI,cAAc,EAAE,cAAc,EAAE,CAAC;gBACnC,OAAO,SAAS,CAAC,GAAG,EAAE,cAAc,CAAC,cAAc,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,IAAI,EAAE,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QAChE,MAAM,MAAM,GAAG,EAAE,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnE,EAAE,CAAC,aAAa,GAAG,MAAM,CAAC;IAC5B,CAAC;SAAM,IAAI,EAAE,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACrC,OAAO,IAAA,yCAAgB,EAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,IAAI,EAAE,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QAC5B,OAAO,IAAA,oCAA0B,EAAC,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAzCD,8BAyCC"}

package/out/typer/unifier.d.ts

@@ -37,9 +37,6 @@ export declare class Unifier {
     uSupAsDataSource: (ty1: TypeAnnotation, ty2: TypeAnnotation & {
         [TypeHintEnum.isFromDataSource]: true;
     }) => void;
-    isDataSourceTy: (ty: TypeAnnotation) => ty is TypeAnnotation & {
-        [isFromDataSource]: true;
-    };
     uGeneric: (ty1: TypeAnnotation, ty2: TypeAnnotation) => void;
     uReference: (ty1: TypeAnnotation, ty2: TypeAnnotation) => void;
     normalizeUnion: (tys: Array<TypeAnnotation>) => Array<TypeAnnotation>;

package/out/typer/unifier.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"unifier.d.ts","sourceRoot":"","sources":["../../src/typer/unifier.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,UAAU,EACV,cAAc,EACjB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAUH,KAAK,WAAW,EAOhB,MAAM,EAET,MAAM,SAAS,CAAC;AAKjB,OAAO,EAA4C,aAAa,EAAa,MAAM,gBAAgB,CAAC;AAKpG,OAAO,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAC;AAErE,qBAAa,OAAO;IAChB,UAAU,EAAE,MAAM,CAAK;IAEvB,aAAa,EAAE,MAAM,CAAK;IAE1B,EAAE,EAAE,WAAW,CAAa;IAE5B,mBAAmB,EAAE,cAAc,GAAG,SAAS,CAAC;IAEhD,GAAG,EAAE,MAAM,CAAC;IAEZ,oBAAoB,EAAE,OAAO,CAAS;IAEtC,IAAI,YAAY,YAEf;gBAEW,GAAG,EAAE,MAAM;IAMvB,aAAa,SAAU,OAAO,GAAG,MAAM,QAAO,MAAM,KAAO,MAAM,MAAM,CAAC,CAUvE;IAED,gBAAgB,eAIf;IAED,kBAAkB;IAQlB,aAAa;IAQb,sBAAsB;IAItB,eAAe,SAAU,OAAO,GAAG,MAAM,QAAO,MAAM,sBAErD;IAED,cAAc,SAAU,OAAO,GAAG,MAAM,oBAEvC;IAGD,iBAAiB,SAAU,OAAO,GAAG,MAAM,QAAO,MAAM,sBAEvD;IAED,gBAAgB,SAAU,OAAO,GAAG,MAAM,6CAEzC;IAED,OAAO,QAAS,cAAc,GAAG,SAAS,OAAO,cAAc,GAAG,SAAS,UAK1E;IAED,UAAU,QAAS,cAAc,OAAO,cAAc,UAoCrD;IAGD,iBAAiB,QAAS,cAAc,GAAG,SAAS,GAAG,IAAI,OAAO,cAAc,GAAG,SAAS,GAAG,IAAI,eAAe,UAAU,UAK3H;IAGD,KAAK,QAAS,cAAc,GAAG,SAAS,GAAG,IAAI,OAAO,cAAc,GAAG,SAAS,GAAG,IAAI,UAuCtF;IAED,kBAAkB,QAAS,cAAc,GAAG,SAAS,OAAO,cAAc,GAAG,SAAS,gBAAgB,UAAU,UAa/G;IAED,SAAS,QAAS,cAAc,OAAO,cAAc,UAapD;IAED,SAAS,QAAS,cAAc,OAAO,cAAc,UAapD;IAED,iBAAiB,QAAS,cAAc,OAAO,cAAc,UAwB5D;IAED,iBAAiB,QAAS,cAAc,OAAO,cAAc,UAqB5D;IAGD,WAAW,QAAS,cAAc,OAAO,cAAc,UAmBtD;IAGD,WAAW,QAAS,cAAc,OAAO,cAAc,UAetD;IAED,SAAS,QAAS,cAAc,OAAO,cAAc,UAKpD;IAGD,OAAO,QAAS,cAAc,OAAO,cAAc,UAQlD;IAED,MAAM,QAAS,cAAc,OAAO,cAAc,UAqCjD;IAGD,gBAAgB,QAAS,cAAc,OAAO,cAAc,GAAG;QAAC,CAAC,YAAY,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAA;KAAC,UAmCrG;IAED,cAAc,OAAQ,cAAc;4BAA4D,IAAI;MAAyE;IAE7K,QAAQ,QAAS,cAAc,OAAO,cAAc,UAYnD;IAGD,UAAU,QAAS,cAAc,OAAO,cAAc,UAKrD;IAED,cAAc,QAAS,MAAM,cAAc,CAAC,KAAG,MAAM,cAAc,CAAC,CAGnE;IAGD,eAAe,WAAY,cAAc,KAAG,IAAI,CAgB/C;IAED,QAAQ,uBAA6B;IAErC,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM;IAM9B,UAAU,CAAC,GAAG,EAAE,MAAM;IAStB,QAAQ,uBAAwB,MAAM,KAAK,cAAc,UAqBxD;IAED,QAAQ,uBAAwB,MAAM,KAAK,cAAc,UAsBxD;IAED,UAAU,mCACC,MAAM,MAAM,cAAc,mBAAyB;IAE9D,OAAO,aAEN;IACD,QAAQ,aAIP;IAED,aAAa,CAAC,CAAC,EAAE,cAAc;IAW/B,sBAAsB,OAAQ,cAAc,aAuB3C;IAED,mBAAmB,CAAC,CAAC,EAAE,cAAc;IAMrC,QAAQ;;;;CAoBX"}
+{"version":3,"file":"unifier.d.ts","sourceRoot":"","sources":["../../src/typer/unifier.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,UAAU,EACV,cAAc,EACjB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAUH,KAAK,WAAW,EAOhB,MAAM,EAET,MAAM,SAAS,CAAC;AAKjB,OAAO,EAAiC,aAAa,EAAa,MAAM,gBAAgB,CAAC;AAIzF,OAAO,EAAE,YAAY,EAAE,MAAM,uCAAuC,CAAC;AAErE,qBAAa,OAAO;IAChB,UAAU,EAAE,MAAM,CAAK;IAEvB,aAAa,EAAE,MAAM,CAAK;IAE1B,EAAE,EAAE,WAAW,CAAa;IAE5B,mBAAmB,EAAE,cAAc,GAAG,SAAS,CAAC;IAEhD,GAAG,EAAE,MAAM,CAAC;IAEZ,oBAAoB,EAAE,OAAO,CAAS;IAEtC,IAAI,YAAY,YAEf;gBAEW,GAAG,EAAE,MAAM;IAMvB,aAAa,SAAU,OAAO,GAAG,MAAM,QAAO,MAAM,KAAO,MAAM,MAAM,CAAC,CAUvE;IAED,gBAAgB,eAIf;IAED,kBAAkB;IAQlB,aAAa;IAQb,sBAAsB;IAItB,eAAe,SAAU,OAAO,GAAG,MAAM,QAAO,MAAM,sBAErD;IAED,cAAc,SAAU,OAAO,GAAG,MAAM,oBAEvC;IAGD,iBAAiB,SAAU,OAAO,GAAG,MAAM,QAAO,MAAM,sBAEvD;IAED,gBAAgB,SAAU,OAAO,GAAG,MAAM,6CAEzC;IAED,OAAO,QAAS,cAAc,GAAG,SAAS,OAAO,cAAc,GAAG,SAAS,UAK1E;IAED,UAAU,QAAS,cAAc,OAAO,cAAc,UAoCrD;IAGD,iBAAiB,QAAS,cAAc,GAAG,SAAS,GAAG,IAAI,OAAO,cAAc,GAAG,SAAS,GAAG,IAAI,eAAe,UAAU,UAK3H;IAGD,KAAK,QAAS,cAAc,GAAG,SAAS,GAAG,IAAI,OAAO,cAAc,GAAG,SAAS,GAAG,IAAI,UAuCtF;IAED,kBAAkB,QAAS,cAAc,GAAG,SAAS,OAAO,cAAc,GAAG,SAAS,gBAAgB,UAAU,UAa/G;IAED,SAAS,QAAS,cAAc,OAAO,cAAc,UAiBpD;IAED,SAAS,QAAS,cAAc,OAAO,cAAc,UAiBpD;IAED,iBAAiB,QAAS,cAAc,OAAO,cAAc,UAwB5D;IAED,iBAAiB,QAAS,cAAc,OAAO,cAAc,UAqB5D;IAGD,WAAW,QAAS,cAAc,OAAO,cAAc,UAmBtD;IAGD,WAAW,QAAS,cAAc,OAAO,cAAc,UAetD;IAED,SAAS,QAAS,cAAc,OAAO,cAAc,UAKpD;IAGD,OAAO,QAAS,cAAc,OAAO,cAAc,UAQlD;IAED,MAAM,QAAS,cAAc,OAAO,cAAc,UAqCjD;IAGD,gBAAgB,QAAS,cAAc,OAAO,cAAc,GAAG;QAAC,CAAC,YAAY,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAA;KAAC,UAmCrG;IAED,QAAQ,QAAS,cAAc,OAAO,cAAc,UAYnD;IAGD,UAAU,QAAS,cAAc,OAAO,cAAc,UAKrD;IAED,cAAc,QAAS,MAAM,cAAc,CAAC,KAAG,MAAM,cAAc,CAAC,CAGnE;IAGD,eAAe,WAAY,cAAc,KAAG,IAAI,CAgB/C;IAED,QAAQ,uBAA6B;IAErC,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM;IAM9B,UAAU,CAAC,GAAG,EAAE,MAAM;IAStB,QAAQ,uBAAwB,MAAM,KAAK,cAAc,UAqBxD;IAED,QAAQ,uBAAwB,MAAM,KAAK,cAAc,UAsBxD;IAED,UAAU,mCACC,MAAM,MAAM,cAAc,mBAAyB;IAE9D,OAAO,aAEN;IACD,QAAQ,aAIP;IAED,aAAa,CAAC,CAAC,EAAE,cAAc;IAW/B,sBAAsB,OAAQ,cAAc,aAuB3C;IAED,mBAAmB,CAAC,CAAC,EAAE,cAAc;IAMrC,QAAQ;;;;CAoBX"}

package/out/typer/unifier.js

@@ -9,7 +9,6 @@ const types_1 = require("../utils/types");
 const type_manager_1 = require("./type-manager");
 const type_predicate_1 = require("./type-predicate");
 const type_predicate_2 = require("./type-predicate");
-const type_predicate_3 = require("./type-predicate");
 const subster_1 = require("./subster");
 const type_hint_manager_1 = require("./type-hint-manager/type-hint-manager");
 class Unifier {
@@ -29,7 +28,7 @@ class Unifier {
                 const cnt = this.varCounter + n;
                 const tvName = kind === 'bound' ? `Tp+${cnt}` : `a+${cnt}`;
                 res.push(tvName);
-                this.trace(tvName, `创建`);
+                this.trace(tvName, `创建 ${tvName}`);
             }
             this.varCounter += num;
             return res;
@@ -104,7 +103,7 @@ class Unifier {
             if (!sub || !sup) {
                 return;
             }
-            if ((0, type_predicate_3.isAnyTy)(sub) || (0, type_predicate_3.isAnyTy)(sup)) {
+            if ((0, type_predicate_2.isAnyTy)(sub) || (0, type_predicate_2.isAnyTy)(sup)) {
                 return;
             }
             if ((0, index_1.isTyAnnTyParam)(sub)) {
@@ -122,7 +121,7 @@ class Unifier {
             else if ((0, index_1.isFuncTy)(sub) && (0, index_1.isFuncTy)(sup)) {
                 this.uFunction(sub, sup);
             }
-            else if (this.isDataSourceTy(sup)) {
+            else if (this.env.typeHintManager.isDataSourceTy(sup)) {
                 this.uSupAsDataSource(sub, sup);
             }
             else if ((0, index_1.isUnionTy)(sub) && (0, index_1.isUnionTy)(sup)) {
@@ -134,16 +133,16 @@ class Unifier {
             else if ((0, index_1.isAnonymousTy)(sub) && (0, index_1.isAnonymousTy)(sup)) {
                 this.uAnonymous(sub, sup);
             }
-            else if ((0, type_predicate_3.isAStructureTy)(sub)) {
+            else if ((0, type_predicate_2.isAStructureTy)(sub)) {
                 this.unify(sub.typeArguments[0], sup);
             }
-            else if ((0, type_predicate_3.isAStructureTy)(sup)) {
+            else if ((0, type_predicate_2.isAStructureTy)(sup)) {
                 this.unify(sub, sup.typeArguments[0]);
             }
-            else if ((0, type_predicate_3.isIndexedType)(sub)) {
+            else if ((0, type_predicate_2.isIndexedType)(sub)) {
                 return this.unifyLIndexedType(sub, sup);
             }
-            else if ((0, type_predicate_3.isIndexedType)(sup)) {
+            else if ((0, type_predicate_2.isIndexedType)(sup)) {
                 return this.unifyRIndexedType(sub, sup);
             }
             else if ((0, index_1.isSubTy)(this.env, sub, sup)) {
@@ -168,31 +167,37 @@ class Unifier {
             }
         };
         this.uLGeneric = (sub, sup) => {
-            if ((0, type_predicate_3.isListTy)(sub)) {
+            if ((0, type_predicate_2.isListTy)(sub)) {
                 const newSup = nasl_concepts_1.TypeAnnotation.createGeneric('DeList', { typeArguments: [sup] });
                 const newSub = sub.typeArguments[0];
                 this.unify(newSub, newSup);
                 return;
             }
-            else if ((0, type_predicate_3.isMapTy)(sub)) {
-                const newSup = nasl_concepts_1.TypeAnnotation.createGeneric('DeMapValue', { typeArguments: [sup] });
-                const newSub = sub.typeArguments?.[1];
-                this.unify(newSub, newSup);
+            else if ((0, type_predicate_2.isMapTy)(sub)) {
+                const valueSup = nasl_concepts_1.TypeAnnotation.createGeneric('DeMapValue', { typeArguments: [sup] });
+                const valueSub = sub.typeArguments?.[1];
+                this.unify(valueSub, valueSup);
+                const keySup = nasl_concepts_1.TypeAnnotation.createGeneric('DeMapKey', { typeArguments: [sup] });
+                const keySub = sub.typeArguments?.[0];
+                this.unify(keySub, keySup);
                 return;
             }
             mkUnificationPostErr(this.env, sub, sup, this.isUnifyContravariant);
         };
         this.uRGeneric = (sub, sup) => {
-            if ((0, type_predicate_3.isListTy)(sup)) {
+            if ((0, type_predicate_2.isListTy)(sup)) {
                 const newSub = nasl_concepts_1.TypeAnnotation.createGeneric('DeList', { typeArguments: [sub] });
                 const newSup = sup.typeArguments[0];
                 this.unify(newSub, newSup);
                 return;
             }
-            else if ((0, type_predicate_3.isMapTy)(sup)) {
-                const newSub = nasl_concepts_1.TypeAnnotation.createGeneric('DeMapValue', { typeArguments: [sub] });
-                const newSup = sup.typeArguments?.[1];
-                this.unify(newSub, newSup);
+            else if ((0, type_predicate_2.isMapTy)(sup)) {
+                const valueSub = nasl_concepts_1.TypeAnnotation.createGeneric('DeMapValue', { typeArguments: [sub] });
+                const valueSup = sup.typeArguments?.[1];
+                this.unify(valueSub, valueSup);
+                const keySub = nasl_concepts_1.TypeAnnotation.createGeneric('DeMapKey', { typeArguments: [sub] });
+                const keySup = sup.typeArguments?.[0];
+                this.unify(keySub, keySup);
                 return;
             }
             mkUnificationPostErr(this.env, sub, sup, this.isUnifyContravariant);
@@ -210,10 +215,10 @@ class Unifier {
                 // });
                 // newTy.ignored = true;
                 // this.unify(sub.objectType, newTy);
-                if ((0, type_predicate_3.isListTy)(sup)) {
+                if ((0, type_predicate_2.isListTy)(sup)) {
                     this.uRGeneric(sub, sup);
                 }
-                else if ((0, type_predicate_3.isMapTy)(sup)) {
+                else if ((0, type_predicate_2.isMapTy)(sup)) {
                     this.uRGeneric(sub, sup);
                 }
             }
@@ -260,10 +265,10 @@ class Unifier {
                 (0, assertion_1.assertTrusy)(ty2.typeName);
                 this.pushToLb(this.cs, ty2.typeName, ty1);
             }
-            else if ((0, type_predicate_3.isListTy)(ty2) || (0, type_predicate_3.isMapTy)(ty2)) {
+            else if ((0, type_predicate_2.isListTy)(ty2) || (0, type_predicate_2.isMapTy)(ty2)) {
                 this.uRGeneric(ty1, ty2);
             }
-            else if (this.isDataSourceTy(ty2)) {
+            else if (this.env.typeHintManager.isDataSourceTy(ty2)) {
                 this.uSupAsDataSource(ty1, ty2);
             }
             return;
@@ -281,7 +286,7 @@ class Unifier {
                 (0, assertion_1.assertTrusy)(ty1.typeName);
                 this.pushToUb(this.cs, ty1.typeName, ty2);
             }
-            else if ((0, type_predicate_3.isListTy)(ty1) || (0, type_predicate_3.isMapTy)(ty1)) {
+            else if ((0, type_predicate_2.isListTy)(ty1) || (0, type_predicate_2.isMapTy)(ty1)) {
                 this.uLGeneric(ty1, ty2);
             }
             return;
@@ -344,13 +349,13 @@ class Unifier {
             // 断言：以下两者必有其一。这个未证明，但是姑且可以这么假定
             // 1. ty2 形如 List<T> | { list: List<T>, total: Integer }
             // 2. ty2 形如 List<T>
-            const listTyInTy2 = (0, type_predicate_3.isListTy)(ty2) ? ty2 : ty2.typeArguments?.find(type_predicate_3.isListTy);
+            const listTyInTy2 = (0, type_predicate_2.isListTy)(ty2) ? ty2 : ty2.typeArguments?.find(type_predicate_2.isListTy);
             (0, assertion_1.assertTrusy)(listTyInTy2);
             if (ty1.typeKind === 'anonymousStructure') {
                 const listProp = ty1.properties?.find(p => p.name === 'list');
                 this.unify(listProp?.typeAnnotation, listTyInTy2);
             }
-            else if ((0, type_predicate_3.isListTy)(ty1)) {
+            else if ((0, type_predicate_2.isListTy)(ty1)) {
                 this.unify(ty1, listTyInTy2);
             }
             else if (ty1.typeKind === 'reference') {
@@ -365,7 +370,7 @@ class Unifier {
             else if ((0, index_1.isFuncTy)(ty1)) {
                 this.unify(ty1?.returnType?.[0], ty2);
             }
-            else if ((0, type_predicate_3.isIndexedType)(ty1)) {
+            else if ((0, type_predicate_2.isIndexedType)(ty1)) {
                 this.unifyLIndexedType(ty1, ty2);
                 const T = listTyInTy2?.typeArguments?.[0];
                 if (T) {
@@ -379,7 +384,6 @@ class Unifier {
                 }
             }
         };
-        this.isDataSourceTy = (ty) => this.env.typeHintManager.hasHint(ty, type_hint_manager_1.TypeHintEnum.isFromDataSource);
         this.uGeneric = (ty1, ty2) => {
             (0, assertion_1.assertTrusy)(ty1.typeName);
             (0, assertion_1.assertTrusy)(ty2.typeName);
@@ -395,7 +399,7 @@ class Unifier {
         };
         // 含 primitive
         this.uReference = (ty1, ty2) => {
-            if (!(0, type_predicate_2.isSameRefTy)(ty1, ty2)) {
+            if (!(0, type_predicate_1.isSameRefTy)(ty1, ty2)) {
                 mkUnificationPostErr(this.env, ty1, ty2, this.isUnifyContravariant);
                 return;
             }
@@ -427,13 +431,13 @@ class Unifier {
             if (this.traceEnabled) {
                 this.trace(k, `pushToUb(${vTyStr})`);
             }
-            const alreadyExists = ub.some(x => vTyStr === (0, index_1.showType)(x));
+            const alreadyExists = ub.some(x => vTyStr === (0, index_1.showType)(x.bound));
             if (k !== v.typeName && !alreadyExists) {
-                ub.push(v);
+                ub.push({ bound: v, boundary: this.env.errBoundary, fromPlayground: this.env.isPlayground });
                 const lb = cs.get(k).lb;
                 if (lb) {
                     for (const l of lb) {
-                        this.unify(l, v);
+                        this.unify(l.bound, v);
                     }
                 }
             }
@@ -448,13 +452,13 @@ class Unifier {
             if (this.traceEnabled) {
                 this.trace(k, `pushToLb(${vTyStr})`);
             }
-            const alreadyExists = lb.some(x => vTyStr === (0, index_1.showType)(x));
+            const alreadyExists = lb.some(x => vTyStr === (0, index_1.showType)(x.bound));
             if (k !== v.typeName && !alreadyExists) {
-                lb.push(v);
+                lb.push({ bound: v, boundary: this.env.errBoundary, fromPlayground: this.env.isPlayground });
                 const ub = cs.get(k).ub;
                 if (ub) {
                     for (const u of ub) {
-                        this.unify(v, u);
+                        this.unify(v, u.bound);
                     }
                 }
             }
@@ -561,6 +565,9 @@ class Unifier {
     }
 }
 exports.Unifier = Unifier;
+/**
+ * @deprecated 可以去掉 ignored 这个字段了，它没有用了
+ */
 const isIgnored = (sub, sup) => {
     return (
     // @ts-expect-error
@@ -572,6 +579,14 @@ const isIgnored = (sub, sup) => {
         (sup.typeKind === 'reference' && sup.typeName === 'Object'));
 };
 const mkUnificationPostErr = (env, sub, sup, isContravariant = false) => {
+    if (!env.errBoundary) {
+        return;
+    }
+    // debug 模式下保存错误堆栈，用于调试
+    let errorStack = null;
+    if (env.isDebugMode) {
+        errorStack = new Error();
+    }
     const postChk = (fileNode, errBoundary, severity, sub, sup) => (env, pSubst) => {
         if (isIgnored(sub, sup)) {
             return;
@@ -579,7 +594,15 @@ const mkUnificationPostErr = (env, sub, sup, isContravariant = false) => {
         const resolvedSubTy = (0, subster_1.normalizeWithSubst)(env, pSubst, sub);
         const resolvedSupTy = (0, subster_1.normalizeWithSubst)(env, pSubst, sup);
         if (!(0, type_predicate_1.isResolvedTy)(resolvedSubTy) || !(0, type_predicate_1.isResolvedTy)(resolvedSupTy) || !(0, index_1.isSubTy)(env, resolvedSubTy, resolvedSupTy)) {
-            env.addError((0, sem_diag_1.mkIncompatibleTyErr)(env, resolvedSubTy, resolvedSupTy), fileNode, errBoundary, severity);
+            if (env.isDebugMode) {
+                env.addError((0, sem_diag_1.mkIncompatibleTyErr)(env, resolvedSubTy, resolvedSupTy) +
+                    '\n' +
+                    (errorStack?.stack ?? '') +
+                    `\nOriginal types: ${(0, index_1.showType)(sub)} and ${(0, index_1.showType)(sup)}`, fileNode, errBoundary, severity);
+            }
+            else {
+                env.addError((0, sem_diag_1.mkIncompatibleTyErr)(env, resolvedSubTy, resolvedSupTy), fileNode, errBoundary, severity);
+            }
         }
     };
     if (isContravariant) {