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

package/out/typer/dispatch-stmt.js

@@ -8,6 +8,7 @@ const type_predicate_2 = require("./type-predicate");
 const asserts_1 = require("@lcap/nasl-concepts/asserts");
 const dispatch_expr_1 = require("./dispatch-expr");
 const subster_1 = require("./subster");
+const nasl_type_manipulation_1 = require("../utils/nasl-type-manipulation");
 function dispatchStmt(env, nd) {
     if (!nd) {
         return;
@@ -214,6 +215,9 @@ function tpBatchAssignment(env, nd) {
         return;
         // 报错
     }
+    if (nd.left.expression && (0, nasl_type_manipulation_1.isEnumIdentifier)(nd.left.expression)) {
+        env.addError(`批量赋值中 ${nd.left.expression.toNaturalTS()} 枚举类不能直接使用，请取它的枚举项`, undefined, nd.left.expression);
+    }
     // 左侧连的是 x.a x.b x.c 这样的
     if (nd.left.members.length) {
         // 与 NewComposite 十分相似但是不一样，这里左侧列表是 a.b 这样的 MemberExpression，NewComposite 左侧是属性名 Identifier
@@ -223,6 +227,9 @@ function tpBatchAssignment(env, nd) {
             const lIdx = line.leftIndex[1];
             const lNode = (0, exports.toRaw)(nd.left.members[lIdx]);
             const lPropName = lNode.property.name;
+            if (right && (0, nasl_type_manipulation_1.isEnumIdentifier)(right)) {
+                env.addError(`批量赋值中 ${right.toNaturalTS()} 枚举类不能直接使用，请取它的枚举项`, undefined, right);
+            }
             if (nd.left.expression && lPropName) {
                 /**
                  * member expr 要标注 nd, nd.object, nd.property 三个，直接 set nd 自己还不够
@@ -239,6 +246,9 @@ function tpBatchAssignment(env, nd) {
         if (line) {
             const right = (0, dispatch_expr_1.getRightByLine)(nd, line.rightIndex[0], line.rightIndex.length > 1 ? line.rightIndex[1] : undefined);
             const rTy = env.getRawType(right);
+            if (right && (0, nasl_type_manipulation_1.isEnumIdentifier)(right)) {
+                env.addError(`批量赋值中 ${right.toNaturalTS()} 枚举类不能直接使用，请取它的枚举项`, undefined, right);
+            }
             env.unifier.unifyWithBoundary(rTy, lIdentTy, right);
             // 上面 const lIdentTy = dispatchExpr(nd.left.expression, undefined); 已经处理过
         }
@@ -249,7 +259,6 @@ function tpBatchAssignment(env, nd) {
         if (!env.typeBindings.get(mem.property)) {
             const propName = mem.property.name;
             if (!propName) {
-                // FIXME wudengke 没有属性名
                 continue;
             }
             (0, index_1.dispatchExpr)(env, mem, undefined);

package/out/typer/dispatch-stmt.js.map

@@ -1 +1 @@
-{"version":3,"file":"dispatch-stmt.js","sourceRoot":"","sources":["../../src/typer/dispatch-stmt.ts"],"names":[],"mappings":";;;AAOA,mCAiBiB;AAEjB,qDAG0B;AAC1B,iDAA0D;AAC1D,qDAA4C;AAC5C,yDAAqD;AAErD,mDAAgE;AAChE,uCAAkD;AAElD,SAAgB,YAAY,CAAC,GAAW,EAAE,EAAc;IACtD,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,OAAO;IACT,CAAC;IAED,MAAM,cAAc,GAAG,GAAG,CAAC,WAAW,CAAC;IACvC,GAAG,CAAC,WAAW,GAAG,EAAE,CAAC;IACrB,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU;QAC9B,KAAK,YAAY;YAAE,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAChD,KAAK,iBAAiB;YAAE,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAC1D,KAAK,aAAa;YAAE,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAClD,KAAK,iBAAiB;YAAE,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAC1D,KAAK,YAAY;YAAE,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAChD,KAAK,kBAAkB;YAAE,kBAAkB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAC5D,KAAK,gBAAgB;YAAE,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAExD,KAAK,WAAW;YAAE,IAAA,mBAAW,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAAC,MAAM;QACzD,KAAK,cAAc;YAAE,IAAA,sBAAc,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAAC,MAAM;QAC/D,KAAK,eAAe;YAAE,IAAA,uBAAe,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAAC,MAAM;QACjE,KAAK,mBAAmB;YAAE,IAAA,2BAAmB,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAAC,MAAM;QACzE,iFAAiF;QACjF,aAAa;QACb,KAAK,eAAe;YAAE,IAAA,uBAAe,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAAC,MAAM;QAEjE,KAAK,OAAO;YAAE,IAAA,eAAO,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAAC,MAAM;QAEjD,KAAK,OAAO;YAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QACtC,KAAK,aAAa;YAAE,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAClD,KAAK,qBAAqB;YAAE,qBAAqB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAClE,KAAK,SAAS,CAAC,CAAC,MAAM;QACtB,KAAK,SAAS,CAAC,CAAC,MAAM;QACtB,KAAK,gBAAgB;YAAE,qBAAqB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAC7D,KAAK,OAAO,CAAC,CAAC,MAAM;QACpB,KAAK,OAAO,CAAC,CAAC,MAAM;QACpB,KAAK,KAAK,CAAC,CAAC,MAAM;QAClB,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC,QAAQ;QACjC,kBAAkB;QAClB,OAAO,CAAC,CAAC,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;IAC5C,CAAC;IACD,GAAG,CAAC,WAAW,GAAG,cAAc,CAAC;AACnC,CAAC;AAxCD,oCAwCC;AAED,SAAgB,qBAAqB,CAAC,GAAW,EAAE,EAAuB;IACxE,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,oBAAY,CAAC,CAAC;IACzC,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,oBAAY,CAAC,CAAC;AAC7C,CAAC;AAHD,sDAGC;AACD,SAAgB,aAAa,CAAC,GAAW,EAAE,EAAe;IACxD,IAAG,CAAC,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAC,CAAC;QACpC,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACnC,IAAI,CAAC,IAAA,gBAAM,EAAC,OAAO,CAAC,EAAE,CAAC;QACrB,cAAc;QACd,OAAO;IACT,CAAC;IACD,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,oBAAY,CAAC,CAAC;IAC3C,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QACvB,IAAG,CAAC,CAAC,OAAO,EAAC,CAAC;YACZ,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC;YAC/E,IAAA,oBAAY,EAAC,GAAG,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAhBD,sCAgBC;AAED,MAAM,aAAa,GAAG,CAAC,GAAW,EAAE,IAAgB,EAAE,EAAE;IACtD,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAExB,IAAI,CAAC,IAAA,wBAAgB,EAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,2BAA2B;QAC3B,IAAG,CAAC,GAAG,CAAC,MAAM,EAAC,CAAC;YACd,IAAA,+BAAqB,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACjC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACtB,qBAAqB;YACrB,gCAAgC;YAChC,IAAI;QACN,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,SAAgB,cAAc,CAAC,GAAW,EAAE,IAAuB;IACjE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AACjD,CAAC;AAFD,wCAEC;AAED,SAAgB,mBAAmB,CAAC,GAAW,EAAE,IAAuB;IACtE,MAAM,gBAAgB,GAAG,GAAG,CAAC,YAAY,CAAC;IAC1C,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC;IACxB,MAAM,YAAY,GAAG,GAAG,CAAC,WAAW,CAAC;IACrC,8BAA8B;IAC9B,8BAA8B;IAC9B,GAAG,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IAC9B,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;QAChB,IAAI,IAAA,mBAAW,EAAC,EAAE,CAAC,EAAE,CAAC;YACpB,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,wBAAwB;IACxB,GAAG,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;IACjC,GAAG,CAAC,YAAY,GAAG,gBAAgB,CAAC;AACtC,CAAC;AAjBD,kDAiBC;AAED,SAAS,aAAa,CAAC,GAAW,EAAE,EAAe;IACjD,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,qBAAa,CAAC,CAAC;IAC3C,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IACnC,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW,EAAE,EAAmB;IACzD,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,YAAY,CAAC,GAAW,EAAE,EAAc;IAC/C,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;QACZ,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,qBAAa,CAAC,CAAC;IAC7C,CAAC;IACD,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAW,EAAE,EAAkB;IACvD,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,qBAAa,CAAC,CAAC;IAC3C,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAW,EAAE,EAAoB;IAC3D,wBAAwB;IACxB,MAAM,MAAM,GAAG,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACtD,IAAI,IAAA,yBAAQ,EAAC,MAAM,CAAC,EAAE,CAAC;QACrB,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,MAAO,CAAC,aAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;IAClE,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QACnD,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7B,0BAA0B;QAC1B,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAA,uBAAe,EAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IACvD,CAAC;IACA,aAAa;IACd,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,kBAAU,CAAC,CAAC,CAAC,cAAc;IAEjD,IAAA,oBAAY,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IACtD,IAAA,oBAAY,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IACxD,EAAE,CAAC,KAAK,IAAI,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,KAAK,EAAE,kBAAU,CAAC,CAAC;IACrD,EAAE,CAAC,GAAG,IAAI,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,kBAAU,CAAC,CAAC;IAEjD,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IACD,IAAA,qBAAa,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAA,qBAAa,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,YAAY,CAAC,GAAW,EAAE,EAAc;IAC/C,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;IACrB,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IAEvB,IAAI,IAAI,IAAA,oBAAY,EAAC,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAC3C,KAAK,IAAI,IAAA,oBAAY,EAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAExD,+CAA+C;IAC/C,0CAA0C;IAC1C,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QAClB,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACjC,+BAA+B;QAC/B,IAAI,CAAC,IAAA,yBAAQ,EAAC,GAAG,CAAC,EAAE,CAAC;YACnB,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW,EAAE,EAAmB;IACzD,0FAA0F;IAC1F,mEAAmE;IACnE,gGAAgG;IAChG,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC/B,IAAA,oBAAY,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,MAAM,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC;QACvD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAA,oBAAY,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAClE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,wBAAS,CAAC,CAAC;QAC3B,OAAO;QACP,KAAK;IACP,CAAC;IAGD,wBAAwB;IACxB,IAAI,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAC3B,2FAA2F;QAC3F,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,eAAe,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,IAAA,8BAAc,EAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAClH,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAElC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAA,aAAK,EAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3C,MAAM,SAAS,GAAI,KAA0B,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC5D,IAAI,EAAE,CAAC,IAAI,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC;gBACpC;;;mBAGG;gBACH,MAAM,GAAG,GAAG,IAAA,oBAAY,EAAC,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,gBAAgB;gBACjE,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,sBAAsB;QACtB,MAAM,IAAI,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,KAAK,GAAG,IAAA,8BAAc,EAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAClH,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAClC,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YACpD,yEAAyE;QAC3E,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,IAAA,aAAK,EAAC,KAAK,CAAqB,CAAC,CAAC,aAAa;QAC3D,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YACnC,IAAG,CAAC,QAAQ,EAAC,CAAC;gBACZ,uBAAuB;gBACvB,SAAS;YACX,CAAC;YACD,IAAA,oBAAY,EAAC,GAAG,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;AACH,CAAC;AAED,gCAAgC;AAChC,SAAS,OAAO,CAAC,GAAW,EAAE,EAAS;IACrC,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;AACrC,CAAC;AAED,SAAgB,qBAAqB,CAAC,GAAW,EAAE,EAAkB;IACnE,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACxC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAA,oBAAY,EAAC,GAAG,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;IAC/D,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,CAAC,YAAY,EAAE,oBAAY,CAAC,CAAC;IACjD,+BAA+B;IAC/B,qBAAqB;AACvB,CAAC;AAND,sDAMC;AAEM,MAAM,KAAK,GAAG,CAAI,EAAK,EAAK,EAAE;IACnC,mBAAmB;IACnB,OAAO,EAAE,EAAE,OAAO,IAAI,EAAE,CAAC;AAC3B,CAAC,CAAC;AAHW,QAAA,KAAK,SAGhB"}
+{"version":3,"file":"dispatch-stmt.js","sourceRoot":"","sources":["../../src/typer/dispatch-stmt.ts"],"names":[],"mappings":";;;AAOA,mCAiBiB;AAEjB,qDAI0B;AAC1B,iDAA6E;AAC7E,qDAA4C;AAC5C,yDAAqD;AAErD,mDAAgE;AAChE,uCAAkD;AAClD,4EAAmE;AAEnE,SAAgB,YAAY,CAAC,GAAW,EAAE,EAAc;IACtD,IAAI,CAAC,EAAE,EAAE,CAAC;QACR,OAAO;IACT,CAAC;IAED,MAAM,cAAc,GAAG,GAAG,CAAC,WAAW,CAAC;IACvC,GAAG,CAAC,WAAW,GAAG,EAAE,CAAC;IACrB,QAAQ,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,UAAU;QAC9B,KAAK,YAAY;YAAE,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAChD,KAAK,iBAAiB;YAAE,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAC1D,KAAK,aAAa;YAAE,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAClD,KAAK,iBAAiB;YAAE,iBAAiB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAC1D,KAAK,YAAY;YAAE,YAAY,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAChD,KAAK,kBAAkB;YAAE,kBAAkB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAC5D,KAAK,gBAAgB;YAAE,gBAAgB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAExD,KAAK,WAAW;YAAE,IAAA,mBAAW,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAAC,MAAM;QACzD,KAAK,cAAc;YAAE,IAAA,sBAAc,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAAC,MAAM;QAC/D,KAAK,eAAe;YAAE,IAAA,uBAAe,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAAC,MAAM;QACjE,KAAK,mBAAmB;YAAE,IAAA,2BAAmB,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAAC,MAAM;QACzE,iFAAiF;QACjF,aAAa;QACb,KAAK,eAAe;YAAE,IAAA,uBAAe,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAAC,MAAM;QAEjE,KAAK,OAAO;YAAE,IAAA,eAAO,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;YAAC,MAAM;QAEjD,KAAK,OAAO;YAAE,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QACtC,KAAK,aAAa;YAAE,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAClD,KAAK,qBAAqB;YAAE,qBAAqB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAClE,KAAK,SAAS,CAAC,CAAC,MAAM;QACtB,KAAK,SAAS,CAAC,CAAC,MAAM;QACtB,KAAK,gBAAgB;YAAE,qBAAqB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAAC,MAAM;QAC7D,KAAK,OAAO,CAAC,CAAC,MAAM;QACpB,KAAK,OAAO,CAAC,CAAC,MAAM;QACpB,KAAK,KAAK,CAAC,CAAC,MAAM;QAClB,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC,QAAQ;QACjC,kBAAkB;QAClB,OAAO,CAAC,CAAC,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;IAC5C,CAAC;IACD,GAAG,CAAC,WAAW,GAAG,cAAc,CAAC;AACnC,CAAC;AAxCD,oCAwCC;AAED,SAAgB,qBAAqB,CAAC,GAAW,EAAE,EAAuB;IACxE,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,oBAAY,CAAC,CAAC;IACzC,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,oBAAY,CAAC,CAAC;AAC7C,CAAC;AAHD,sDAGC;AACD,SAAgB,aAAa,CAAC,GAAW,EAAE,EAAe;IACxD,IAAG,CAAC,EAAE,CAAC,aAAa,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAC,CAAC;QACpC,OAAO;IACT,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IACnC,IAAI,CAAC,IAAA,gBAAM,EAAC,OAAO,CAAC,EAAE,CAAC;QACrB,cAAc;QACd,OAAO;IACT,CAAC;IACD,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,oBAAY,CAAC,CAAC;IAC3C,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QACvB,IAAG,CAAC,CAAC,OAAO,EAAC,CAAC;YACZ,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC;YAC/E,IAAA,oBAAY,EAAC,GAAG,EAAE,CAAC,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAhBD,sCAgBC;AAED,MAAM,aAAa,GAAG,CAAC,GAAW,EAAE,IAAgB,EAAE,EAAE;IACtD,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAExB,IAAI,CAAC,IAAA,wBAAgB,EAAC,IAAI,CAAC,EAAE,CAAC;QAC5B,2BAA2B;QAC3B,IAAG,CAAC,GAAG,CAAC,MAAM,EAAC,CAAC;YACd,IAAA,+BAAqB,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YACjC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;YACtB,qBAAqB;YACrB,gCAAgC;YAChC,IAAI;QACN,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,SAAgB,cAAc,CAAC,GAAW,EAAE,IAAuB;IACjE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;AACjD,CAAC;AAFD,wCAEC;AAED,SAAgB,mBAAmB,CAAC,GAAW,EAAE,IAAuB;IACtE,MAAM,gBAAgB,GAAG,GAAG,CAAC,YAAY,CAAC;IAC1C,GAAG,CAAC,YAAY,GAAG,IAAI,CAAC;IACxB,MAAM,YAAY,GAAG,GAAG,CAAC,WAAW,CAAC;IACrC,8BAA8B;IAC9B,8BAA8B;IAC9B,GAAG,CAAC,cAAc,CAAC,SAAS,CAAC,CAAC;IAC9B,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE;QAChB,IAAI,IAAA,mBAAW,EAAC,EAAE,CAAC,EAAE,CAAC;YACpB,aAAa,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACzB,CAAC;aAAM,CAAC;YACN,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,EAAE,SAAS,CAAC,CAAC;QACpC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,wBAAwB;IACxB,GAAG,CAAC,cAAc,CAAC,YAAY,CAAC,CAAC;IACjC,GAAG,CAAC,YAAY,GAAG,gBAAgB,CAAC;AACtC,CAAC;AAjBD,kDAiBC;AAED,SAAS,aAAa,CAAC,GAAW,EAAE,EAAe;IACjD,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,qBAAa,CAAC,CAAC;IAC3C,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;IACnC,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW,EAAE,EAAmB;IACzD,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,YAAY,CAAC,GAAW,EAAE,EAAc;IAC/C,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;QACZ,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,qBAAa,CAAC,CAAC;IAC7C,CAAC;IACD,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,gBAAgB,CAAC,GAAW,EAAE,EAAkB;IACvD,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,qBAAa,CAAC,CAAC;IAC3C,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,kBAAkB,CAAC,GAAW,EAAE,EAAoB;IAC3D,wBAAwB;IACxB,MAAM,MAAM,GAAG,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACtD,IAAI,IAAA,yBAAQ,EAAC,MAAM,CAAC,EAAE,CAAC;QACrB,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,MAAO,CAAC,aAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;IAClE,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QACnD,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7B,0BAA0B;QAC1B,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAA,uBAAe,EAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IACvD,CAAC;IACA,aAAa;IACd,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,kBAAU,CAAC,CAAC,CAAC,cAAc;IAEjD,IAAA,oBAAY,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IACtD,IAAA,oBAAY,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC;IACxD,EAAE,CAAC,KAAK,IAAI,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,KAAK,EAAE,kBAAU,CAAC,CAAC;IACrD,EAAE,CAAC,GAAG,IAAI,IAAA,6BAAa,EAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,kBAAU,CAAC,CAAC;IAEjD,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC;IACD,IAAA,qBAAa,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,IAAA,qBAAa,EAAC,GAAG,CAAC,YAAY,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AACjD,CAAC;AAED,SAAS,YAAY,CAAC,GAAW,EAAE,EAAc;IAC/C,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;IACrB,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IAEvB,IAAI,IAAI,IAAA,oBAAY,EAAC,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IAC3C,KAAK,IAAI,IAAA,oBAAY,EAAC,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IAExD,+CAA+C;IAC/C,0CAA0C;IAC1C,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QAClB,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAEjC,+BAA+B;QAC/B,IAAI,CAAC,IAAA,yBAAQ,EAAC,GAAG,CAAC,EAAE,CAAC;YACnB,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,GAAW,EAAE,EAAmB;IACzD,0FAA0F;IAC1F,mEAAmE;IACnE,gGAAgG;IAChG,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC/B,IAAA,oBAAY,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,MAAM,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC,CAAC;QAEvD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACjC,IAAA,oBAAY,EAAC,GAAG,EAAE,IAAA,aAAK,EAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAG,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IAElE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,wBAAS,CAAC,CAAC;QAC3B,OAAO;QACP,KAAK;IACP,CAAC;IAED,IAAI,EAAE,CAAC,IAAI,CAAC,UAAU,IAAI,IAAA,yCAAgB,EAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/D,GAAG,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,oBAAoB,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7G,CAAC;IAED,wBAAwB;IACxB,IAAI,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAC3B,2FAA2F;QAC3F,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,eAAe,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,IAAA,8BAAc,EAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAClH,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAClC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,IAAA,aAAK,EAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3C,MAAM,SAAS,GAAI,KAA0B,CAAC,QAAQ,CAAC,IAAI,CAAC;YAE5D,IAAI,KAAK,IAAI,IAAA,yCAAgB,EAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,GAAG,CAAC,QAAQ,CAAC,SAAS,KAAK,CAAC,WAAW,EAAE,oBAAoB,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;YACnF,CAAC;YAED,IAAI,EAAE,CAAC,IAAI,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC;gBACpC;;;mBAGG;gBACH,MAAM,GAAG,GAAG,IAAA,oBAAY,EAAC,GAAG,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,gBAAgB;gBAEjE,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,sBAAsB;QACtB,MAAM,IAAI,GAAG,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,EAAE,CAAC;YACT,MAAM,KAAK,GAAG,IAAA,8BAAc,EAAC,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAClH,MAAM,GAAG,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YAElC,IAAI,KAAK,IAAI,IAAA,yCAAgB,EAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,GAAG,CAAC,QAAQ,CAAC,SAAS,KAAK,CAAC,WAAW,EAAE,oBAAoB,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;YACnF,CAAC;YAED,GAAG,CAAC,OAAO,CAAC,iBAAiB,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YACpD,yEAAyE;QAC3E,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,GAAG,GAAG,IAAA,aAAK,EAAC,KAAK,CAAqB,CAAC,CAAC,aAAa;QAC3D,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;YACxC,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;YACnC,IAAG,CAAC,QAAQ,EAAC,CAAC;gBACZ,SAAS;YACX,CAAC;YACD,IAAA,oBAAY,EAAC,GAAG,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;AACH,CAAC;AAED,gCAAgC;AAChC,SAAS,OAAO,CAAC,GAAW,EAAE,EAAS;IACrC,cAAc,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;AACrC,CAAC;AAED,SAAgB,qBAAqB,CAAC,GAAW,EAAE,EAAkB;IACnE,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACxC,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAA,oBAAY,EAAC,GAAG,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;IAC/D,IAAA,oBAAY,EAAC,GAAG,EAAE,EAAE,CAAC,YAAY,EAAE,oBAAY,CAAC,CAAC;IACjD,+BAA+B;IAC/B,qBAAqB;AACvB,CAAC;AAND,sDAMC;AAEM,MAAM,KAAK,GAAG,CAAI,EAAK,EAAK,EAAE;IACnC,mBAAmB;IACnB,OAAO,EAAE,EAAE,OAAO,IAAI,EAAE,CAAC;AAC3B,CAAC,CAAC;AAHW,QAAA,KAAK,SAGhB"}

package/out/typer/dispatch-view.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"dispatch-view.d.ts","sourceRoot":"","sources":["../../src/typer/dispatch-view.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,iBAAiB,EAIjB,iBAAiB,EACjB,UAAU,EACV,cAAc,EACd,cAAc,EAGd,SAAS,EAOV,MAAM,qBAAqB,CAAC;AA8B7B,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAC;AAWtC;;GAEG;AACH,wBAAsB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAY7E;AAyGD,wBAAiB,mBAAmB,CAClC,GAAG,EAAE,MAAM,EACX,EAAE,EAAE,iBAAiB,GACpB,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAuHhC;AAED,wBAAgB,WAAW,CACzB,GAAG,EAAE,MAAM,EACX,EAAE,EAAE,SAAS,EACb,KAAK,EAAE,cAAc,GAAG,SAAS,GAChC,cAAc,CAsBhB;AAswBD,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,GAAG,cAAc,CAMpF;AA6BD,eAAO,MAAM,cAAc,mBAGzB,CAAC;AACH,eAAO,MAAM,iBAAiB,mBAG5B,CAAC;AACH,eAAO,MAAM,oBAAoB,mBAG/B,CAAC;AACH,eAAO,MAAM,cAAc,mBAGzB,CAAC;AAmBH,wBAAgB,aAAa,CAAC,OAAO,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,uBAUvE;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,WAMpD"}
+{"version":3,"file":"dispatch-view.d.ts","sourceRoot":"","sources":["../../src/typer/dispatch-view.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,iBAAiB,EAIjB,iBAAiB,EACjB,UAAU,EACV,cAAc,EACd,cAAc,EAGd,SAAS,EAOV,MAAM,qBAAqB,CAAC;AAiC7B,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAC;AAWtC;;GAEG;AACH,wBAAsB,YAAY,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,CAY7E;AAkHD,wBAAiB,mBAAmB,CAClC,GAAG,EAAE,MAAM,EACX,EAAE,EAAE,iBAAiB,GACpB,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAuHhC;AAED,wBAAgB,WAAW,CACzB,GAAG,EAAE,MAAM,EACX,EAAE,EAAE,SAAS,EACb,KAAK,EAAE,cAAc,GAAG,SAAS,GAChC,cAAc,CAsBhB;AA4vBD,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,cAAc,GAAG,cAAc,CAMpF;AA6BD,eAAO,MAAM,cAAc,mBAGzB,CAAC;AACH,eAAO,MAAM,iBAAiB,mBAG5B,CAAC;AACH,eAAO,MAAM,oBAAoB,mBAG/B,CAAC;AACH,eAAO,MAAM,cAAc,mBAGzB,CAAC;AAqBH,wBAAgB,aAAa,CAAC,OAAO,EAAE;IAAE,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,uBAUvE;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,WAMpD"}

package/out/typer/dispatch-view.js

@@ -5,6 +5,7 @@ const nasl_concepts_1 = require("@lcap/nasl-concepts");
 const type_manager_1 = require("./type-manager");
 const type_predicate_1 = require("./type-predicate");
 const assertion_1 = require("../utils/assertion");
+const get_q_name_1 = require("../reference-manager/get-q-name");
 const reference_manager_1 = require("../reference-manager/reference-manager");
 const types_1 = require("../utils/types");
 const asserts_1 = require("@lcap/nasl-concepts/asserts");
@@ -97,6 +98,15 @@ function* dispatchViewGenerator(env, nd) {
     }
 }
 function* tpFrontendType(env, nd) {
+    // HACK: 跑两遍。因为业务组件可能可以互相引用。跑两遍可以解开长度为 2 的循环引用和前向引用。
+    env.suppressErrorReporting();
+    yield* (0, nasl_utils_1.wrapForEachToGenerator)(nd.businessComponents, function* (bc) {
+        yield* dispatchViewGenerator(env, bc);
+    });
+    env.enableErrorReporting();
+    yield* (0, nasl_utils_1.wrapForEachToGenerator)(nd.businessComponents, function* (bc) {
+        yield* dispatchViewGenerator(env, bc);
+    });
     yield* (0, nasl_utils_1.wrapForEachToGenerator)(nd.frontends, function* (fe) {
         yield* dispatchViewGenerator(env, fe);
     });
@@ -141,7 +151,7 @@ function* tpBusinessComponent(env, nd) {
     const isViewCopy = env.isView;
     env.isView = true;
     env.unifier.clearCs();
-    const assocProcess = env.processViewBindings.get((0, reference_manager_1.getTokenQualifiedName)(nd));
+    const assocProcess = env.processViewBindings.get((0, get_q_name_1.getTokenQualifiedName)(nd));
     const allocatedProcessVars = new Array();
     if (assocProcess) {
         env.viewAssocProcess = assocProcess;
@@ -165,7 +175,7 @@ function* tpBusinessComponent(env, nd) {
         traverseViewElements(e, (ve) => {
             const ty = env.unifier.nextFreshTyAnn('free');
             env.setType(ve, ty);
-            const qName = (0, reference_manager_1.getTokenQualifiedName)(ve);
+            const qName = (0, get_q_name_1.getTokenQualifiedName)(ve);
             (0, assertion_1.assertTrusy)(qName);
             env.allocatedVEQNames.push(qName);
             env.refMgr.addQNameDef(qName, 
@@ -177,7 +187,7 @@ function* tpBusinessComponent(env, nd) {
     const dropList = [];
     const sortedLogics = sortLogicsForFrontendDomain(env, nd.logics);
     yield* (0, nasl_utils_1.wrapForEachToGenerator)(sortedLogics, function* (l) {
-        env.refMgr.qNameDefs.set((0, reference_manager_1.getTokenQualifiedName)(l), l);
+        env.refMgr.qNameDefs.set((0, get_q_name_1.getTokenQualifiedName)(l), l);
         (0, helper_1.createOnPush)(env.nameBindings, l.name, l);
         dropList.push(l);
         (0, helper_1.createOnPush)(env.allocatedVirtualNodes, env.getCurFileNode(), l);
@@ -191,6 +201,7 @@ function* tpBusinessComponent(env, nd) {
     yield* (0, nasl_utils_1.wrapForEachToGenerator)(nd.elements, function* (e) {
         yield* tpViewElementFirstPass(env, e);
     });
+    (0, subster_1.traverseSubstRunCheck)(env, nd);
     // 从logics字段中筛选isPublic=true的元素
     const readableProps = nd.logics
         .filter((logic) => logic.isPublic === true)
@@ -225,11 +236,10 @@ function* tpBusinessComponent(env, nd) {
         returnType: [
             nasl_concepts_1.TypeAnnotation.createTypeAnonymousStructure([...eventHandlers, ...readableProps].map((x) => {
                 return nasl_concepts_1.StructureProperty.createProtoTypeOnly({ name: x.name, typeAnnotation: x.type });
-            }), { id: 'placeholder' }),
+            })),
         ],
     });
     env.refMgr.compDefMgr.overwriteBusinessComponentDef(nd, ty);
-    (0, subster_1.traverseSubstRunCheck)(env, nd);
     yield;
     for (const nd of dropList) {
         (0, helper_1.removeLastOne)(env.nameBindings, nd.name);
@@ -272,7 +282,7 @@ function* tpView(env, nd) {
     const isViewCopy = env.isView;
     env.isView = true;
     env.unifier.clearCs();
-    const assocProcess = env.processViewBindings.get((0, reference_manager_1.getTokenQualifiedName)(nd));
+    const assocProcess = env.processViewBindings.get((0, get_q_name_1.getTokenQualifiedName)(nd));
     const allocatedProcessVars = new Array();
     if (assocProcess) {
         env.viewAssocProcess = assocProcess;
@@ -303,7 +313,7 @@ function* tpView(env, nd) {
         traverseViewElements(e, (ve) => {
             const ty = env.unifier.nextFreshTyAnn('free');
             env.setType(ve, ty);
-            const qName = (0, reference_manager_1.getTokenQualifiedName)(ve);
+            const qName = (0, get_q_name_1.getTokenQualifiedName)(ve);
             (0, assertion_1.assertTrusy)(qName);
             env.allocatedVEQNames.push(qName);
             env.refMgr.addQNameDef(qName, 
@@ -313,7 +323,7 @@ function* tpView(env, nd) {
     });
     const sortedLogics = sortLogicsForFrontendDomain(env, nd.logics);
     yield* (0, nasl_utils_1.wrapForEachToGenerator)(sortedLogics, (l) => {
-        const qName = (0, reference_manager_1.getTokenQualifiedName)(l);
+        const qName = (0, get_q_name_1.getTokenQualifiedName)(l);
         env.refMgr.qNameDefs.set(qName, l);
         dropList.push(l);
         (0, helper_1.createOnPush)(env.nameBindings, l.name, l);
@@ -422,93 +432,59 @@ function* tpViewElementFirstPass(env, nd) {
         if (!env.strict) {
             if (name === 'text') {
                 // HACK Vue2 文本组件
-                return;
+                return type_manager_1.naslAnyTy;
             }
             else if (name === 'children' && nd.tag === 'Text') {
                 // HACK React 文本组件
-                return;
+                return type_manager_1.naslAnyTy;
             }
         }
-        return initProp?.properties?.find((prop) => prop.name === name);
+        const prop = initProp?.properties?.find((prop) => prop.name === name);
+        // 如果属性标记为implicitToString，则返回any类型
+        if (prop && componentDef?.isPropertyImplicitToString(name)) {
+            return type_manager_1.naslAnyTy;
+        }
+        return prop?.typeAnnotation ?? type_manager_1.naslAnyTy;
     };
     const typeParamWrappers = componentDef?.getRenamedTypeParamWrappers() ?? [];
     function makeCurrentManager(nd) {
-        // TODO wudengke 从组件的slot方法的类型定义上计算得到是否有数据源、是否创建和创建什么上下文变量
-        const shouldProvideCurrentCtx = nd.bindAttrs?.some((x) => x.name === 'dataSource') ||
-            nd.children.some((x) => x.tag === 'template' && x.slotScope === 'current');
-        const isDynamicColumn = 'u-table-view-column-dynamic' === nd.tag;
-        const thisDataSourceTVWrapper = isDynamicColumn
-            ? typeParamWrappers.find((x) => x.rawName === 'T1')
-            : typeParamWrappers.find((x) => x.rawName === 'T');
-        if (componentDef && thisDataSourceTVWrapper) {
-            const hasDataSourceInInitProp = !!componentDef
-                .getInitPropsTypeAnnotation()
-                ?.properties?.some((x) => x.name === 'dataSource');
-            const shouldStealAncestorT = !hasDataSourceInInitProp;
-            if (shouldStealAncestorT) {
-                const ancestorTableTypeParam = findAncestorWhichHasTypeParamT(env, nd)?.renamed ?? type_manager_1.naslAnyTy;
-                env.unifier.unify(thisDataSourceTVWrapper.renamed, ancestorTableTypeParam);
-            }
+        // currentManager机制分为两部分：
+        // 1. 维护类型变元的约束
+        // 2. current变量的创建和销毁
+        // FIXME wudengke 这个判断可以去掉得到更加泛化的机制
+        const T1 = typeParamWrappers.find((x) => x.rawName === 'T1');
+        const T = typeParamWrappers.find((x) => x.rawName === 'T');
+        if (!(componentDef && T)) {
+            return;
         }
-        if (componentDef && shouldProvideCurrentCtx && thisDataSourceTVWrapper) {
-            // FIXME wudengke debug用。形如 Tp_current_of_app.frontendTypes.pc.frontends.pc.views.dashboard.views.pm.views.poOrderPage.table_view1
-            const curTy = (0, type_manager_1.createTyParamAnn)(`Tp_current_of_${(0, reference_manager_1.getTokenQualifiedName)(nd)}`);
-            if (isDynamicColumn) {
-                const ancestorTableTypeParam = findAncestorWhichHasTypeParamT(env, nd)?.renamed ?? type_manager_1.naslAnyTy;
-                const columnItemProp = nasl_concepts_1.StructureProperty.createProtoTypeOnly({
-                    name: 'columnItem',
-                    typeAnnotation: thisDataSourceTVWrapper.renamed,
-                    id: 'placeholder',
-                });
-                const anonStruct = nasl_concepts_1.TypeAnnotation.createProtoTypeOnly({
-                    typeKind: 'anonymousStructure',
-                    properties: [
-                        nasl_concepts_1.StructureProperty.createProtoTypeOnly({
-                            name: 'item',
-                            typeAnnotation: ancestorTableTypeParam,
-                            id: 'placeholder',
-                        }),
-                        exports.singletonIndex,
-                        exports.singletonRowIndex,
-                        exports.singletonColumnIndex,
-                        exports.singletonValue,
-                        columnItemProp,
-                    ],
-                });
-                env.unifier.unifyEq(curTy, anonStruct);
-            }
-            else {
-                const itemProp = nasl_concepts_1.StructureProperty.createProtoTypeOnly({
-                    name: 'item',
-                    typeAnnotation: thisDataSourceTVWrapper.renamed,
-                    id: 'placeholder',
-                });
-                const anonStruct = nasl_concepts_1.TypeAnnotation.createProtoTypeOnly({
-                    typeKind: 'anonymousStructure',
-                    properties: [
-                        itemProp,
-                        exports.singletonIndex,
-                        exports.singletonRowIndex,
-                        exports.singletonColumnIndex,
-                        exports.singletonValue,
-                    ],
-                });
-                env.unifier.unifyEq(curTy, anonStruct);
-            }
-            return {
-                create: (options) => {
+        if (T1) {
+            // 如果T1存在，那么就从祖先组件中获取T
+            const ancestorTableTypeParam = findAncestorWhichHasTypeParamT(env, nd)?.renamed ?? type_manager_1.naslAnyTy;
+            env.unifier.unify(T.renamed, ancestorTableTypeParam);
+        }
+        const hasDataSourceInInitProp = !!componentDef
+            .getInitPropsTypeAnnotation()
+            ?.properties?.some((x) => x.name === 'dataSource');
+        const shouldStealAncestorT = !hasDataSourceInInitProp;
+        if (shouldStealAncestorT) {
+            const ancestorTableTypeParam = findAncestorWhichHasTypeParamT(env, nd)?.renamed ?? type_manager_1.naslAnyTy;
+            env.unifier.unify(T.renamed, ancestorTableTypeParam);
+        }
+        return {
+            create: (options) => {
+                if (options.templateElement?.tag !== 'template') {
+                    return undefined;
+                }
+                const slotTarget = options.templateElement?.slotTarget ?? 'default';
+                const slotScopeType = componentDef?.getSlotScopeTypeBySlotTarget(slotTarget);
+                // 如果curTy非空，那么才需要引入current变量。否则完全不需要引入。
+                let curTy = slotScopeType?.[0]?.type;
+                if (curTy) {
                     // 引入变量 current_i: CurTy
-                    function getCurName() {
-                        return env.unifier.nextFreshCurrent();
-                    }
-                    let curName = undefined;
-                    let curVar = undefined;
-                    if (!options?.noPushToNameBindings) {
-                        curName = getCurName();
-                        curVar = (0, collectGlobalDefs_1.createVarAndSetParentNode)(curName, curTy, nd);
-                        env.setType(curVar, curTy);
-                        (0, helper_1.createOnPush)(env.nameBindings, curName, curVar);
-                    }
+                    const curName = env.unifier.nextFreshCurrent();
+                    const curVar = (0, collectGlobalDefs_1.createVarAndSetParentNode)(curName, curTy, nd);
+                    env.setType(curVar, curTy);
+                    (0, helper_1.createOnPush)(env.nameBindings, curName, curVar);
                     return {
                         createdVar: curVar,
                         revoke: () => {
@@ -518,10 +494,9 @@ function* tpViewElementFirstPass(env, nd) {
                             }
                         },
                     };
-                },
-            };
-        }
-        return undefined;
+                }
+            },
+        };
     }
     yield;
     const readableProps = instanceProps
@@ -539,10 +514,13 @@ function* tpViewElementFirstPass(env, nd) {
     }) ?? [], { id: 'placeholder' });
     const references = env.getForwardReference(nd);
     if (references) {
-        references.forEach((x) => {
-            const prop = veTy.properties?.find((i) => i.name === x.name);
+        references.forEach((refRecord) => {
+            const prop = veTy.properties?.find((i) => i.name === refRecord.name);
             if (prop) {
-                env.unifier.unify(prop.typeAnnotation, x.placeholderFnTy);
+                const oldBoundary = env.errBoundary;
+                env.errBoundary = refRecord.errBoundarySnapshot;
+                env.unifier.unify(prop.typeAnnotation, refRecord.placeholderFnTy);
+                env.errBoundary = oldBoundary;
             }
         });
         env.removeForwardReferenceForNode(nd);
@@ -574,7 +552,10 @@ function* tpViewElementFirstPass(env, nd) {
         return !excludedViewElementPropNames.has(x.name);
     });
     yield* (0, nasl_utils_1.wrapForEachToGenerator)(bindAttrsToBeChecked, (attr) => {
+        const oldBoundary = env.errBoundary;
+        env.errBoundary = attr;
         collectTypeConstraints(attr);
+        env.errBoundary = oldBoundary;
     });
     // FIXME wudengke 和收集约束合并?
     bindAttrsToBeChecked.forEach((attr) => {
@@ -607,15 +588,16 @@ function* tpViewElementFirstPass(env, nd) {
     const currentManager = makeCurrentManager(nd);
     yield;
     yield* (0, nasl_utils_1.wrapForEachToGenerator)(nd.children, function* (e) {
-        // 仅有此种情况需要往值空间引入变量，其他情况都只需要在类型空间维护类型变量和current计数器即可
-        const pushToNameBindings = e.tag === 'template' && e.slotScope;
-        const popper = currentManager?.create({ noPushToNameBindings: !pushToNameBindings });
+        const popper = currentManager?.create({
+            templateElement: e,
+        });
         if (popper?.createdVar) {
-            if (env.isDebugMode) {
-                env.introducedVars.set(e, [popper.createdVar]);
-            }
+            env.addPostCheckTask(nd, (env, pSubst) => {
+                const curTy = pSubst(env.getRawType(popper.createdVar));
+                env.scopeManager.collectVariable(e, popper.createdVar.name, curTy, `slot:${e.slotTarget}:${nd.tag}`);
+            });
             dropList.push(popper.createdVar);
-            (0, helper_1.createOnPush)(env.allocatedVirtualNodes, env.getCurFileNode(), popper?.createdVar);
+            (0, helper_1.createOnPush)(env.allocatedVirtualNodes, env.getCurFileNode(), popper.createdVar);
         }
         yield* tpViewElementFirstPass(env, e);
         popper?.revoke();
@@ -668,7 +650,8 @@ function* tpViewElementFirstPass(env, nd) {
         !!vThisLevel &&
         env.unifier.containsEmptyBounds(vThisLevel);
     yield* (0, nasl_utils_1.wrapForEachToGenerator)(nd.children, function* (e) {
-        if (shouldVThisLevelBeInferred) {
+        // HACK: 简单的关联组件判断，后续可以考虑更复杂的判断
+        if (shouldVThisLevelBeInferred && e.tag.startsWith(nd.tag)) {
             const vChild = env.getDataSourceTyParam(e)?.find((x) => x.rawName === 'V')?.renamed;
             if (vChild) {
                 env.unifier.unify(vChild, vThisLevel);
@@ -683,11 +666,6 @@ function* tpViewElementFirstPass(env, nd) {
     dropList.forEach((x) => {
         (0, helper_1.removeLastOne)(env.nameBindings, x.name);
     });
-    // 先不要删，待确认流程变量使用范围
-    // for (const v of allocatedProcessVars) {
-    //   removeLastOne(env.nameBindings, v.name);
-    //   env.typeBindings.delete(v);
-    // }
     // TODO wudengke 考虑一下这个规则是否放在solver里面
     // 确保任何声明了的类型变元都至少有一条有效约束(非indexedType引入的约束)，保证可以至少被推成顶类型。
     // 否则约束集中不会有它存在。
@@ -748,20 +726,31 @@ function* tpViewElementFirstPass(env, nd) {
             }
         }
     });
+    env.addPostCheckTask(nd, (_, pSubst) => {
+        nd.__ViewElementTV = typeParamWrappers.map((w) => ({
+            rawName: w.rawName,
+            renamed: pSubst(w.renamed),
+        }));
+    });
     /**
      * @deprecated
      * 存在一种ts类型标注为(item: T) => V，但prop里面存了个string的情况。这种情况需要hack
      */
     function handleStringPropForSpecialCase(tgtTy, prop) {
+        if (!(prop.value && typeof prop.value === 'string')) {
+            return;
+        }
+        if (prop.name === 'sorting' && tgtTy.typeKind === 'anonymousStructure') {
+            // HACK: sorting 有一些脏数据
+            return;
+        }
         const args = (0, nasl_type_manipulation_1.extractArgPairsFromFnTy)(tgtTy);
         if (prop.type === 'string' &&
             tgtTy.typeKind === 'function' &&
             args &&
             args.length === 1 &&
             args[0].name === 'item' &&
-            tgtTy.returnType?.length === 1 &&
-            typeof prop.value === 'string' &&
-            prop.value) {
+            tgtTy.returnType?.length === 1) {
             // 若类型标注为(item: T) => V，
             // prop中存的值为"a.b"，此时应该将它等效地视作 item => item.a.b
             // 应当将 T['a']['b'] 和 V 进行 unify
@@ -830,9 +819,12 @@ function* tpViewElementFirstPass(env, nd) {
                 });
             }
         }
+        else if (tgtTy.typeKind !== 'function') {
+            env.unifier.unify(type_manager_1.naslStringTy, tgtTy);
+        }
     }
     function collectTypeConstraints(prop) {
-        const tgtTy = getPropType(prop.name)?.typeAnnotation ?? type_manager_1.naslAnyTy;
+        const tgtTy = getPropType(prop.name);
         // HACK 此组件存在脏数据，有未定义的属性
         if (!env.strict) {
             if (prop.name === 'item' && nd.tag === 'u-table-view-expander') {
@@ -847,8 +839,11 @@ function* tpViewElementFirstPass(env, nd) {
                     args &&
                     args.length === 1 &&
                     args[0].name === 'item' &&
-                    tgtTy.returnType?.length === 1) {
-                    // 特殊case: 类型标注为(item: T) => V，但prop里面存了个表达式的情形。需要把 V 拿出来
+                    tgtTy.returnType?.length === 1 &&
+                    // HACK: 如果nasl上放的是一个 anonymousFunction (例如 TableView 的 canDropinHandler 的属性)，不需要走这个特殊逻辑
+                    // 注意：如果表达式是一个指向函数的 Identifier，那么也无能为力
+                    !(0, asserts_1.isAnonymousFunction)(expr)) {
+                    // HACK: 类型标注为(item: T) => V，但prop里面存了个非 AnonymousFunction 表达式的情形，需要把 V 拿出来，和 expr 的类型进行unify
                     (0, dispatch_expr_1.dispatchExpr)(env, expr, tgtTy.returnType[0]);
                 }
                 else {
@@ -859,7 +854,11 @@ function* tpViewElementFirstPass(env, nd) {
                         if (prop.name === 'dataSource') {
                             env.typeHintManager.setHint(tgtTy, type_hint_manager_1.TypeHintEnum.isFromDataSource);
                         }
-                        if (prop.name === 'field') {
+                        if (prop.name === 'sorting' && tgtTy.typeKind === 'anonymousStructure') {
+                            // HACK: sorting 中放置新建匿名数据结构，无法取名field字段。因此先忽略
+                            (0, dispatch_expr_1.dispatchExpr)(env, expr, undefined);
+                        }
+                        else if (prop.name === 'field') {
                             (0, dispatch_expr_1.dispatchExpr)(env, expr, undefined);
                         }
                         else {
@@ -891,10 +890,10 @@ function* tpViewElementFirstPass(env, nd) {
         // 选择1. 需要拼on-，再做名字转换(先用这个)
         // 选择2. 读组件的ViewComponentDeclaration定义来找?
         const properEventName = (0, nasl_concepts_1.kebab2Camel2)(`on-${nd.name}`);
-        const propDef = getPropType(properEventName)?.typeAnnotation ?? type_manager_1.naslAnyTy;
+        const propTy = getPropType(properEventName) ?? type_manager_1.naslAnyTy;
         nd.logics.forEach((l) => {
             l.virtualParams = [];
-            const args = (0, nasl_type_manipulation_1.extractArgPairsFromFnTy)(propDef);
+            const args = (0, nasl_type_manipulation_1.extractArgPairsFromFnTy)(propTy);
             args?.forEach((arg) => {
                 // pointToSymbol机制要求类型必须是类型变元才会被替换
                 const ty = env.unifier.nextFreshTyAnn('bound');
@@ -958,7 +957,7 @@ function* tpViewElementFirstPass(env, nd) {
                 return params;
             }
             const logicTy = (0, dispatch_def_1.tpLogic)(env, l);
-            env.unifier.unify(logicTy, propDef);
+            env.unifier.unify(logicTy, propTy);
         });
     }
 }
@@ -1011,6 +1010,7 @@ exports.singletonValue = nasl_concepts_1.StructureProperty.createProtoTypeOnly({
     typeAnnotation: type_manager_1.naslStringTy,
 });
 const ignoreAll = Symbol();
+// TODO wudengke 目前已经尊重了 implicitToString。这些属性或许不需要 hardcode 在这了
 const skipCheckDataBase = {
     'u-input': ['value', 'placeholder'],
     'u-capsule': ['value', 'placeholder'],