@lcap/nasl-language-server-core 4.1.0-beta.2 → 4.1.0-beta.20

package/out/checker.d.ts

@@ -1,6 +1,6 @@
 import type { SyntaxNode, App, BaseNode } from '@lcap/nasl-concepts';
 import { TypeAnnotation } from '@lcap/nasl-concepts';
-import { type SemEnv } from './typer';
+import { type SemEnv } from './typer/typer';
 import { Diagnostic as NaslTypeDiagnostic } from '@lcap/nasl-types';
 export declare enum Severity {
     WARN = "warning",
@@ -54,7 +54,7 @@ export interface DiagnosticRecord {
     semanticDiagnostics: Array<Diagnostic>;
     suggestionDiagnostics: Array<Diagnostic>;
 }
-export declare const transformDiagnosticsToRecords: (fileNode: SyntaxNode, diagnostics: NodeDiagnosticsMap) => Array<DiagnosticRecord>;
+export declare const transformDiagnosticsToRecords: (fileNode: SyntaxNode, diagnostics: NodeDiagnosticsMap, deduplication?: boolean) => Array<DiagnosticRecord>;
 export type ErrorDiagnoser = ReturnType<typeof createErrorDiagnoser>;
 export {};
 //# sourceMappingURL=checker.d.ts.map

package/out/checker.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../src/checker.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,UAAU,EAU0F,GAAG,EAMvG,QAAQ,EACT,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACgE,cAAc,EAGpF,MAAM,qBAAqB,CAAC;AAS7B,OAAO,EAA4B,KAAK,MAAM,EAAE,MAAM,SAAS,CAAC;AAIhE,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAIpE,oBAAY,QAAQ;IAClB,IAAI,YAAY;IAChB,KAAK,UAAU;CAChB;AAED,MAAM,MAAM,UAAU,GAAG,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;AAEnE,KAAK,YAAY,GAAG;IAClB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB,CAAC;AAMF,MAAM,MAAM,kBAAkB,GAAG,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAEpE,MAAM,MAAM,kBAAkB,GAAG,GAAG,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;AAMrE,KAAK,gBAAgB,GAAG;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAqBF,KAAK,eAAe,GAAG;IACrB,GAAG,EAAE,GAAG,CAAC;IACT,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,OAAO,CAAC;IACf,yBAAyB,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC/C,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB,CAAC;AAiQF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCAmmIpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BA4Df,UAAU;2BAuBb,UAAU;;kBAvmInB,UAAU,WAAW,MAAM,YAAY,YAAY;EAynIzE;AAGD,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IAEX,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,iBAAiB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACrC,mBAAmB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACvC,qBAAqB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;CAC1C;AAED,eAAO,MAAM,6BAA6B,aAAc,UAAU,sCAAoC,MAAM,gBAAgB,CAmC3H,CAAA;AAMD,MAAM,MAAM,cAAc,GAAG,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC"}
+{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../src/checker.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,UAAU,EAU0F,GAAG,EAMvG,QAAQ,EACT,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACgE,cAAc,EAGpF,MAAM,qBAAqB,CAAC;AAS7B,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,eAAe,CAAC;AAK5C,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAOpE,oBAAY,QAAQ;IAClB,IAAI,YAAY;IAChB,KAAK,UAAU;CAChB;AAED,MAAM,MAAM,UAAU,GAAG,kBAAkB,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;AAEnE,KAAK,YAAY,GAAG;IAClB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IACpB,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB,CAAC;AAMF,MAAM,MAAM,kBAAkB,GAAG,GAAG,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;AAEpE,MAAM,MAAM,kBAAkB,GAAG,GAAG,CAAC,UAAU,EAAE,kBAAkB,CAAC,CAAC;AAMrE,KAAK,gBAAgB,GAAG;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC;AAqBF,KAAK,eAAe,GAAG;IACrB,GAAG,EAAE,GAAG,CAAC;IACT,GAAG,EAAE,MAAM,CAAC;IACZ,KAAK,EAAE,OAAO,CAAC;IACf,yBAAyB,CAAC,EAAE,gBAAgB,EAAE,CAAC;IAC/C,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;CACpB,CAAC;AAiQF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCAomIpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BA4Df,UAAU;2BAuBb,UAAU;;kBAxmInB,UAAU,WAAW,MAAM,YAAY,YAAY;EA0nIzE;AAGD,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IAEX,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,iBAAiB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACrC,mBAAmB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACvC,qBAAqB,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;CAC1C;AAMD,eAAO,MAAM,6BAA6B,aAC9B,UAAU,+DAGnB,MAAM,gBAAgB,CAyCxB,CAAC;AAMF,MAAM,MAAM,cAAc,GAAG,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC"}

package/out/checker.js

@@ -6,10 +6,12 @@ const nasl_concepts_1 = require("@lcap/nasl-concepts");
 const service_1 = require("@lcap/nasl-concepts/service");
 const file_node_cache_1 = require("./utils/file-node-cache");
 const nasl_utils_1 = require("@lcap/nasl-utils");
-const typer_1 = require("./typer");
+const sem_diag_1 = require("./typer/sem-diag");
 const type_predicate_1 = require("./typer/type-predicate");
 const type_manager_1 = require("./typer/type-manager");
-const nasl_predicate_1 = require("./typer/nasl-predicate");
+const service_2 = require("@lcap/nasl-concepts/service");
+const lodash_1 = require("lodash");
+const helper_1 = require("./typer/helper");
 var Severity;
 (function (Severity) {
     Severity["WARN"] = "warning";
@@ -333,7 +335,7 @@ function createErrorDiagnoser(context) {
                 currentNode = currentNode.parentNode;
             }
             const finalNode = memberExpression ?? node;
-            (0, typer_1.createOnPush)(diagnostics, finalNode, diagnostic);
+            (0, helper_1.createOnPush)(diagnostics, finalNode, diagnostic);
             finalNode.tsErrorDetail = diagnostic;
         }
         else { }
@@ -1125,6 +1127,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkConnector(node) {
+        env.enterScope(node);
         yield* checkModule(node);
         if (node.triggerLaunchers?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.triggerLaunchers, function* (node) {
@@ -1151,6 +1154,7 @@ function createErrorDiagnoser(context) {
                 yield* checkNode(node);
             });
         }
+        env.exitScope();
     }
     /**
      * 检查 连接器触发器
@@ -1265,11 +1269,14 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkStructure(node) {
+        const pConn = node.getAncestor('Connector');
+        pConn && env.enterScope(pConn);
         if (node.properties?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.properties, function* (node) {
                 yield* checkNode(node);
             });
         }
+        pConn && env.exitScope();
     }
     /**
      * 检查 数据结构属性
@@ -1744,11 +1751,9 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkInterface(node) {
-        const unbindVariables = env.temporarilyBindVariables([
-            ...(node.params || []),
-            ...(node.returns || []),
-            ...(node.protocolParams || [])
-        ]);
+        const pConn = node.getAncestor('Connector');
+        pConn && env.enterScope(pConn);
+        env.enterScope(node);
         if (node.params?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.params, function* (node) {
                 yield* checkNode(node);
@@ -1766,18 +1771,17 @@ function createErrorDiagnoser(context) {
         }
         yield* checkNode(node.validation);
         yield* checkTimeout(node);
-        unbindVariables();
+        env.exitScope();
+        pConn && env.exitScope();
     }
     /**
      * 检查 鉴权接口
      * @param node
      */
     function* checkAuthInterface(node) {
-        const unbindVariables = env.temporarilyBindVariables([
-            ...(node.params || []),
-            ...(node.returns || []),
-            ...(node.protocolParams || [])
-        ]);
+        const pConn = node.getAncestor('Connector');
+        pConn && env.enterScope(pConn);
+        env.enterScope(node);
         if (node.params?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.params, function* (node) {
                 yield* checkNode(node);
@@ -1795,7 +1799,8 @@ function createErrorDiagnoser(context) {
         }
         yield* checkNode(node.validation);
         yield* checkTimeout(node);
-        unbindVariables();
+        env.exitScope();
+        pConn && env.exitScope();
     }
     /**
      * 检查 接口参数
@@ -1856,7 +1861,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkFrontend(node) {
-        const unbindVariables = env.temporarilyBindVariables(node.variables);
+        env.enterScope(node);
         if (node.variables?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.variables, function* (node) {
                 yield* checkNode(node);
@@ -1872,18 +1877,14 @@ function createErrorDiagnoser(context) {
                 yield* checkNode(node);
             });
         }
-        unbindVariables();
+        env.exitScope();
     }
     /**
      * 检查 页面
      * @param node
      */
     function* checkView(node) {
-        const unbindVariables = env.temporarilyBindVariables([
-            ...(node.params || []),
-            ...(node.variables || []),
-            ...(node.logics || []),
-        ]);
+        env.enterScope(node);
         checkVariableAndReturnTypeAnnotations(node.variables, [], false);
         const module = node.getAncestor('Module');
         if (!(module?.parentKey === 'dependencies')) {
@@ -1926,18 +1927,14 @@ function createErrorDiagnoser(context) {
                 yield* checkNode(node);
             });
         }
-        unbindVariables();
+        env.exitScope();
     }
     /**
      * 检查 业务组件
      * @param node
      */
     function* checkBusinessComponent(node) {
-        const unbindVariables = env.temporarilyBindVariables([
-            ...(node.params || []),
-            ...(node.variables || []),
-            ...(node.logics || []),
-        ]);
+        env.enterScope(node);
         // 组件元素
         if (node.elements?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.elements, function* (node) {
@@ -1962,7 +1959,7 @@ function createErrorDiagnoser(context) {
                 yield* checkNode(node);
             });
         }
-        unbindVariables();
+        env.exitScope();
     }
     /**
      * 检查 页面元素
@@ -1974,18 +1971,14 @@ function createErrorDiagnoser(context) {
             return;
         }
         const shouldProvideCurrentCtx = !!(node.slotScope);
-        let unbindVariables;
+        let scopeEntered = false;
         if (shouldProvideCurrentCtx) {
             const name = curVarCounter > 0 ? node.slotScope + curVarCounter : node.slotScope;
-            const variable = new nasl_concepts_1.Variable({
-                name,
-            });
+            const variable = new nasl_concepts_1.Variable({ name });
             curVarCounter++;
-            unbindVariables = env.temporarilyBindVariables([
-                variable,
-            ], () => {
-                curVarCounter--;
-            });
+            // @ts-expect-error ViewElement 引入的 current 目前没有加入 refMgr，VE 也没当做 ScopeNode
+            env.enterScope(node, [variable]);
+            scopeEntered = true;
         }
         if (node.bindAttrs?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.bindAttrs, function* (node) {
@@ -2030,7 +2023,10 @@ function createErrorDiagnoser(context) {
         if (!dsFilled && !hasSubComponents) {
             error(errNode, '数据源不能为空');
         }
-        unbindVariables?.();
+        if (scopeEntered) {
+            env.exitScope();
+            curVarCounter--;
+        }
     }
     /**
      * 检查 元素绑定属性
@@ -2188,10 +2184,7 @@ function createErrorDiagnoser(context) {
         if (node.includeTypeArgs) {
             error(node, '流程暂不支持泛型参数');
         }
-        const unbindVariables = env.temporarilyBindVariables([
-            ...(node?.params || []),
-            ...(node?.returns || []),
-        ]);
+        // env.enterScope(node); 尚不支持流程 1.0
         if (node.params?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.params, function* (node) {
                 yield* checkNode(node);
@@ -2217,17 +2210,14 @@ function createErrorDiagnoser(context) {
                 yield* checkNode(node);
             });
         }
-        unbindVariables();
+        // env.exitScope();
     }
     /**
      * 检查 流程元素
      * @param node
      */
     function* checkProcessElement(node) {
-        const unbindVariables = env.temporarilyBindVariables([
-            ...(node?.variables || []),
-            ...(node?.returns || []),
-        ]);
+        // env.enterScope(node); 尚不支持流程1.0
         if (node.returns?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.returns, function* (node) {
                 yield* checkNode(node);
@@ -2272,7 +2262,7 @@ function createErrorDiagnoser(context) {
                 yield* checkNode(node);
             });
         }
-        unbindVariables();
+        // env.exitScope();
     }
     /**
      * 检查 常量
@@ -2287,6 +2277,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkProcessV2(node) {
+        env.enterScope(node);
         yield* checkNode(node.bind);
         if (node.processDefinitions?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.processDefinitions, function* (node) {
@@ -2303,6 +2294,7 @@ function createErrorDiagnoser(context) {
         if (node.includeTypeArgs) {
             error(node, '流程暂不支持泛型参数');
         }
+        env.exitScope();
     }
     /**
      * 检查 绑定实体或数据结构
@@ -2316,14 +2308,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkProcessDefinitionV2(node) {
-        const unbindVariables = env.temporarilyBindVariables([
-            ...(node.variables || []),
-            ...['custom', 'processSystem'].map((name) => {
-                return new nasl_concepts_1.Variable({
-                    name,
-                });
-            }),
-        ]);
+        env.enterScope(node);
         if (node.variables?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.variables, function* (node) {
                 yield* checkNode(node);
@@ -2339,20 +2324,14 @@ function createErrorDiagnoser(context) {
                 yield* checkNode(node);
             });
         }
-        unbindVariables();
+        env.exitScope();
     }
     /**
      * 检查 流程元素
      * @param node
      */
     function* checkProcessElementV2(node) {
-        const unbindVariables = env.temporarilyBindVariables([
-            ...['custom', 'processSystem'].map((name) => {
-                return new nasl_concepts_1.Variable({
-                    name,
-                });
-            }),
-        ]);
+        env.enterScope(node);
         yield* checkNode(node.logic);
         yield* checkNode(node.flowCondition);
         if (node.bindEvents?.length) {
@@ -2407,7 +2386,7 @@ function createErrorDiagnoser(context) {
         else if (!service_1.ProcessesV2.isFromStartNode(node)) {
             error(node, '节点未关联到流程图');
         }
-        unbindVariables();
+        env.exitScope();
     }
     /**
      * 检查 无人时，自动转派审批策略
@@ -2489,16 +2468,8 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkLogic(node) {
-        const unbindVariables = env.temporarilyBindVariables([
-            ...(node.params || []),
-            ...(node.returns || []),
-            ...(node.variables || []),
-            ...(node.virtualParams || [])
-        ]);
-        // 仅检查用户写的逻辑
-        // if (node.nodePath?.startsWith('app.logics')) {
+        env.enterScope(node);
         checkVariableAndReturnTypeAnnotations(node.variables ?? [], node.returns ?? []);
-        // }
         const module = node.getAncestor('Module');
         if (!(module?.parentKey === 'dependencies')) {
             if (node.params?.length) {
@@ -2589,34 +2560,38 @@ function createErrorDiagnoser(context) {
         if (!likeComponent) {
             yield* checkTrigger(node);
         }
-        unbindVariables();
+        env.exitScope();
     }
     /**
      * 检查 鉴权逻辑
      * @param node
      */
     function* checkAuthLogic(node) {
+        const pConn = node.getAncestor('Connector');
+        pConn && env.enterScope(pConn);
         inAuthLogic = true;
+        // checkLogic 会 enter scope
         yield* checkLogic(node);
         inAuthLogic = false;
+        pConn && env.exitScope();
     }
     /**
      * 检查 调用接口的鉴权逻辑
      * @param node
      */
     function* checkAuthLogicForCallInterface(node) {
-        const unbindVariables = env.temporarilyBindVariables([
-            ...(node.authParams || []),
-        ]);
+        // authLogic 会打开 Connector 的局部-全局变量
         yield* checkAuthLogic(node);
-        unbindVariables();
     }
     /**
      * 检查 调用接口的鉴权逻辑
      * @param node
      */
     function* checkConnectorLogic(node) {
+        const pConn = node.getAncestor('Connector');
+        pConn && env.enterScope(pConn);
         yield* checkLogic(node);
+        pConn && env.exitScope();
     }
     /**
      * 检查 业务组件逻辑
@@ -2630,12 +2605,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkOverriddenLogic(node) {
-        const unbindVariables = env.temporarilyBindVariables([
-            ...(node.params || []),
-            ...(node.returns || []),
-            ...(node.variables || []),
-            ...(node.virtualParams || [])
-        ]);
+        env.enterScope(node);
         const module = node.getAncestor('Module');
         if (!(module?.parentKey === 'dependencies')) {
             if (node.params?.length) {
@@ -2661,7 +2631,7 @@ function createErrorDiagnoser(context) {
             });
         }
         yield* checkPlayground(node.playground);
-        unbindVariables();
+        env.exitScope();
         yield* checkTrigger(node);
     }
     /**
@@ -2674,14 +2644,8 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkSubLogic(node) {
-        const unbindVariables = env.temporarilyBindVariables([
-            ...(node.params || []),
-            ...(node.returns || []),
-            ...(node.variables || []),
-        ]);
-        // if (nd.nodePath?.startsWith('app.logics')) {
+        env.enterScope(node);
         checkVariableAndReturnTypeAnnotations(node.variables, node.returns);
-        // }
         const module = node.getAncestor('Module');
         if (!(module?.parentKey === 'dependencies')) {
             if (node.params?.length) {
@@ -2707,7 +2671,7 @@ function createErrorDiagnoser(context) {
             });
         }
         yield* checkPlayground(node.playground);
-        unbindVariables();
+        env.exitScope();
         return env.getType(node);
     }
     /**
@@ -2774,7 +2738,7 @@ function createErrorDiagnoser(context) {
         yield* checkVoidCallUsedAsStatement(node);
         const ref = env.resolveRef(node); // 前端
         // TODO: sql 函数的 namespace 带有数据库名 nasl.sqlFunction.mysql nasl.sqlFunction.oracle ...
-        // 暂时不在 qNameDefs 里，用 isBuiltInCall 简单判断了
+        // 暂时不在 gQNameDefs 里，用 isBuiltInCall 简单判断了
         if (!ref && !isBuiltInCall(node)) {
             const depLibName = getExtensionLibName(node);
             if (depLibName) {
@@ -2816,6 +2780,9 @@ function createErrorDiagnoser(context) {
         if (node.calleeName === 'Clear' && type?.typeKind === 'union') {
             error(node, `传入类型错误，接收类型：非union类型`);
         }
+        if (node.calleeName === 'ListSort' || node.calleeName === 'ListSortAsync') {
+            checkListSort(node);
+        }
         if (node.typeArguments?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.typeArguments, function* (node) {
                 yield* checkNode(node);
@@ -2859,6 +2826,23 @@ function createErrorDiagnoser(context) {
             }
         }
         return type;
+        function checkListSort(nd) {
+            for (let i = 1; i < nd.arguments.length; i++) {
+                const expr = nd.arguments[i].expression;
+                let resTy;
+                if (expr?.concept === 'AnonymousFunction') {
+                    resTy = env.getType(expr.body);
+                }
+                else if (expr?.concept === 'SubLogic') {
+                    resTy = env.getType(expr.returns?.[0]);
+                }
+                const byTy = resTy?.properties?.find((prop) => prop.name === 'by')?.typeAnnotation;
+                if (byTy?.typeKind === 'union') {
+                    // 这里使用 node.arguments[i] 则无红框，猜测是 ListSort 的特殊交互导致的问题
+                    error(node, (0, sem_diag_1.mkIncompatibleTyErr)(env, byTy, '非 union 的基础类型：如字符串、整数、布尔等'));
+                }
+            }
+        }
     }
     /**
      * 检查 调用逻辑
@@ -3222,10 +3206,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkForEachStatement(node) {
-        const unbindVariables = env.temporarilyBindVariables([
-            node.item,
-            node.index,
-        ]);
+        env.enterScope(node);
         if (ensureNodeKeyExists(node, 'each')) {
             yield* checkNode(node.each);
         }
@@ -3247,7 +3228,7 @@ function createErrorDiagnoser(context) {
                 error(node, `ForEach：循环列表：参数类型不匹配！结束值自动推导失败。`);
             }
         }
-        unbindVariables();
+        env.exitScope();
     }
     /**
      * 检查 循环分支
@@ -3277,7 +3258,7 @@ function createErrorDiagnoser(context) {
                     /**
                      * 参考类型检查器的 {@link tpIdentifier}方法
                      */
-                    return typer_1.naslLongTy;
+                    return type_manager_1.naslLongTy;
                 }
                 else if (node.name === 'it') {
                     return env.getType(node);
@@ -3699,7 +3680,7 @@ function createErrorDiagnoser(context) {
         const { entityAsName } = node;
         const entityNamespace = node.entityNamespace ?? node.getAncestor('CallQueryComponent')?.from?.entityNamespace;
         const entityQName = `${entityNamespace}.${entityAsName}`;
-        const ref = referenceManager.qNameDefs.get(entityQName);
+        const ref = referenceManager.gQNameDefs.get(entityQName);
         if (!ref) {
             error(node, `找不到实体 ${entityAsName}。`);
             return;
@@ -3833,6 +3814,18 @@ function createErrorDiagnoser(context) {
         }
         return env.getType(node);
     }
+    function* checkVariadicExpression(node) {
+        if (!node.expressions?.[0]) {
+            error(node, '表达式不能为空！');
+        }
+        if (!node.expressions?.[1]) {
+            error(node, '表达式不能为空！');
+        }
+        yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.expressions, function* (node) {
+            yield* checkNode(node);
+        });
+        return env.getType(node);
+    }
     /**
      * 检查 一元表达式
      * @param node
@@ -3869,14 +3862,14 @@ function createErrorDiagnoser(context) {
      */
     function* checkFunction(node) {
         if (ensureNodeKeyExists(node, 'returnExpression')) {
-            const unbindVariables = env.temporarilyBindVariables(node.params);
+            env.enterScope(node);
             if (node.params?.length) {
                 yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.params, function* (node) {
                     yield* checkNode(node);
                 });
             }
             yield* checkNode(node.returnExpression);
-            unbindVariables();
+            env.exitScope();
         }
     }
     /**
@@ -3884,7 +3877,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkAnonymousFunction(node) {
-        const unbindVariables = env.temporarilyBindVariables(node.params);
+        env.enterScope(node);
         if (node.params?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.params, function* (node) {
                 yield* checkNode(node);
@@ -3893,7 +3886,7 @@ function createErrorDiagnoser(context) {
         if (ensureNodeKeyExists(node, 'body')) {
             yield* checkNode(node.body);
         }
-        unbindVariables();
+        env.exitScope();
     }
     /**
      * 检查 验证规则
@@ -4011,7 +4004,7 @@ function createErrorDiagnoser(context) {
     function* dispatchNode(node) {
         try {
             // 调用表达式
-            if ((0, nasl_predicate_1.isNaslCallExpr)(node)) {
+            if ((0, service_2.isNaslCallExpr)(node)) {
                 return yield* checkCallExpression(node);
             }
             const { concept } = node;
@@ -4222,6 +4215,8 @@ function createErrorDiagnoser(context) {
                     return yield* checkPaginate(node);
                 case 'BinaryExpression':
                     return yield* checkBinaryExpression(node);
+                case 'VariadicExpression':
+                    return yield* checkVariadicExpression(node);
                 case 'UnaryExpression':
                     return yield* checkUnaryExpression(node);
                 case 'Comment':
@@ -4372,8 +4367,10 @@ function createErrorDiagnoser(context) {
     };
 }
 exports.createErrorDiagnoser = createErrorDiagnoser;
-const transformDiagnosticsToRecords = (fileNode, diagnostics) => {
-    const records = [];
+function deduplicateDiagnostics(diagnostics) {
+    return (0, lodash_1.uniqWith)(diagnostics, (a, b) => a.node === b.node && a.message === b.message);
+}
+const transformDiagnosticsToRecords = (fileNode, diagnostics, deduplication = true) => {
     let filePath;
     try {
         filePath = fileNode.concept !== 'App' ? fileNode.getEmbeddedFilePath() : undefined;
@@ -4381,10 +4378,8 @@ const transformDiagnosticsToRecords = (fileNode, diagnostics) => {
     catch (err) {
         nasl_utils_1.isDebugMode && console.error(err);
     }
-    const semanticDiagnostics = [];
-    const suggestionDiagnostics = [];
-    const syntaxDiagnostics = [];
-    //
+    let semanticDiagnostics = [];
+    let suggestionDiagnostics = [];
     diagnostics.forEach((err, node) => {
         if (err.length) {
             err.forEach((item) => {
@@ -4397,17 +4392,25 @@ const transformDiagnosticsToRecords = (fileNode, diagnostics) => {
         }
     });
     if (filePath) {
-        records.push({
-            filePath,
-            id: fileNode.id,
-            node: fileNode,
-            semanticDiagnostics,
-            suggestionDiagnostics,
-            syntaxDiagnostics,
-            message: '',
-        });
-    }
-    return records;
+        if (deduplication) {
+            if (semanticDiagnostics.length) {
+                semanticDiagnostics = deduplicateDiagnostics(semanticDiagnostics);
+            }
+            if (suggestionDiagnostics.length) {
+                suggestionDiagnostics = deduplicateDiagnostics(suggestionDiagnostics);
+            }
+        }
+        return [{
+                filePath,
+                id: fileNode.id,
+                node: fileNode,
+                semanticDiagnostics,
+                suggestionDiagnostics,
+                syntaxDiagnostics: [],
+                message: '',
+            }];
+    }
+    return [];
 };
 exports.transformDiagnosticsToRecords = transformDiagnosticsToRecords;
 // @ts-expect-error