@lcap/nasl-language-server-core 3.14.0-beta.1 → 3.14.0-beta.10

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 { SemEnv } from './typer';
+import { type SemEnv } from './typer';
 export declare enum Severity {
     WARN = "warning",
     ERROR = "error"

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;AAC7B,OAAO,EACgE,cAAc,EAEpF,MAAM,qBAAqB,CAAC;AAM7B,OAAO,EAAgB,MAAM,EAAE,MAAM,SAAS,CAAC;AAE/C,oBAAY,QAAQ;IAClB,IAAI,YAAY;IAChB,KAAK,UAAU;CAChB;AAED,MAAM,WAAW,UAAU;IAEzB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAEpB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,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;AA8OF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCA4yHpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAdjD,UAAU,GAAG,SAAS;;;6BAoChB,UAAU;2BAsBZ,UAAU;kBAlzHnB,UAAU,WAAW,MAAM,YAAY,YAAY;EAk0HzE;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"}
+{"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,EAEpF,MAAM,qBAAqB,CAAC;AAQ7B,OAAO,EAA4B,KAAK,MAAM,EAAE,MAAM,SAAS,CAAC;AAKhE,oBAAY,QAAQ;IAClB,IAAI,YAAY;IAChB,KAAK,UAAU;CAChB;AAED,MAAM,WAAW,UAAU;IAEzB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAEpB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,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;AAuPF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCA07HpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAfjD,UAAU,GAAG,SAAS;;;6BAqChB,UAAU;2BAsBZ,UAAU;kBA/7HnB,UAAU,WAAW,MAAM,YAAY,YAAY;EA+8HzE;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"}

package/out/checker.js

@@ -6,6 +6,9 @@ const nasl_concepts_1 = require("@lcap/nasl-concepts");
 const service_1 = require("@lcap/nasl-concepts/service");
 const nasl_utils_1 = require("@lcap/nasl-utils");
 const typer_1 = require("./typer");
+const type_predicate_1 = require("./typer/type-predicate");
+const type_manager_1 = require("./typer/type-manager");
+const nasl_predicate_1 = require("./typer/nasl-predicate");
 var Severity;
 (function (Severity) {
     Severity["WARN"] = "warning";
@@ -38,6 +41,12 @@ function isControlFlowNode(node) {
 function isCallExpression(node) {
     return nasl_concepts_1.asserts.isCallFunction(node) || nasl_concepts_1.asserts.isCallInterface(node) || nasl_concepts_1.asserts.isCallLogic(node) || nasl_concepts_1.asserts.isCallConnector(node) || nasl_concepts_1.asserts.isCallEvent(node);
 }
+const isEnd = (node) => node.concept === 'End';
+const isAbort = (node) => node.concept === 'Abort';
+const isBreak = (node) => node.concept === 'Break';
+const isContinue = (node) => node.concept === 'Continue';
+const fastIsControlFlowNode = (node) => isEnd(node) || isAbort(node) || isBreak(node) || isContinue(node);
+const isArgument = (node) => node.concept === 'Argument';
 function getExpressionNodeName(concept) {
     const expressionNodeName = {
         CallFunction: '内置函数',
@@ -250,8 +259,9 @@ function createErrorDiagnoser(context) {
     const diagnosticMap = new Map();
     // 文件级别节点
     const fileNodes = [];
-    let inPlayground = false;
+    let inPlayground = 0;
     let inAuthLogic = false;
+    let dbType = '';
     let curVarCounter = 0;
     /**
      * 获取当前文件节点
@@ -276,7 +286,7 @@ function createErrorDiagnoser(context) {
         if (diagnostics) {
             const diagnostic = {
                 message,
-                severity: inPlayground ? Severity.WARN : severity ?? Severity.ERROR,
+                severity: inPlayground > 0 ? Severity.WARN : (severity ?? Severity.ERROR),
                 ...others,
             };
             if (isDebug) {
@@ -314,7 +324,7 @@ function createErrorDiagnoser(context) {
      */
     function getStatusOfSharedApp(sharedApp) {
         const version = latestVersionsOfSharedApp?.find((item) => item.name === sharedApp.name && item.provider === sharedApp.provider);
-        if (!version) {
+        if (!version || !version.version) {
             return 'delete';
         }
         else if (version.version !== sharedApp.version) {
@@ -441,6 +451,15 @@ function createErrorDiagnoser(context) {
             message = 'SQL查询：语句不能为空。';
         }
         else if (nasl_concepts_1.asserts.isDestination(node)) {
+            chkDest(node);
+        }
+        else if (node.concept === 'Argument' && nasl_concepts_1.asserts.isDestination(node.parentNode)) {
+            chkDest(node.parentNode);
+        }
+        if (message) {
+            error(node, message);
+        }
+        function chkDest(node) {
             const processElement = node.getAncestor('ProcessElementV2') ?? node.getAncestor('ProcessElement');
             if (processElement) {
                 message = '任务未关联页面';
@@ -450,9 +469,6 @@ function createErrorDiagnoser(context) {
                 message = '';
             }
         }
-        if (message) {
-            error(node, message);
-        }
     }
     /**
      * 创建一个未找到定义的实体的错误信息
@@ -577,14 +593,11 @@ function createErrorDiagnoser(context) {
      */
     function getMinArgsCount(params) {
         const paramLen = params?.length;
-        let minArgsCount = paramLen;
-        for (let i = paramLen - 1; i >= 0; i--) {
+        let minArgsCount = 0;
+        for (let i = 0; i < paramLen; i++) {
             const param = params[i];
-            if (isNonRequiredParam(param)) {
-                minArgsCount--;
-            }
-            else { // 如果参数有默认值，则跳过
-                break;
+            if (!isNonRequiredParam(param)) {
+                minArgsCount++; // 如果参数有默认值，则跳过
             }
         }
         return minArgsCount;
@@ -688,10 +701,12 @@ function createErrorDiagnoser(context) {
      * @param ref
      */
     function* checkCallExpressionParameters(node, ref) {
-        const params = nasl_concepts_1.asserts.isTypeAnnotation(ref) ? ref.typeArguments : ref.params;
+        // Handle both TypeAnnotation and FunctionDefinition formats
+        const params = ref.params ?? ref.typeArguments;
         const { arguments: args } = node;
         const paramsLen = params?.length || 0;
         const argsLen = args?.length || 0;
+        // For FunctionDefinition format, check spread and optional params
         const spreadParamIndex = params?.findIndex((param) => param.spread);
         const hasSpreadParam = spreadParamIndex !== -1;
         const minArgsCount = getMinArgsCount(params);
@@ -702,18 +717,19 @@ function createErrorDiagnoser(context) {
             error(node, `预期 ${minArgsCount} 个参数，但传入了 ${argsLen} 个。`);
         }
         yield* (0, nasl_utils_1.wrapForEachToGenerator)(args, function* (arg, index) {
-            arg.paramRequired = true;
             const param = params?.[index];
-            if ((hasSpreadParam && index > spreadParamIndex) || isNonRequiredParam(param)) {
-                arg.paramRequired = false;
-            }
-            const paramType = (nasl_concepts_1.asserts.isTypeAnnotation(param) ? param : env.getType(param));
+            if (!param)
+                return;
+            const isParamRequired = !(hasSpreadParam && index > spreadParamIndex) && !isNonRequiredParam(param);
+            arg.paramRequired = isParamRequired;
+            const paramType = param.typeAnnotation ??
+                (nasl_concepts_1.asserts.isTypeAnnotation(param) ? param : env.getType(param));
             const argType = yield* checkNode(arg);
             if (paramType?.typeKind === 'function' && argType?.typeKind === 'function') {
                 const argTypeArgs = argType?.typeArguments || [];
                 const paramTypeArgs = paramType?.typeArguments || [];
-                if (argTypeArgs?.length !== paramTypeArgs?.length) {
-                    error(node, `高阶函数: 参数个数不匹配，期望 ${paramTypeArgs.length} 个, 实际传入 ${argTypeArgs?.length || 0} 个!`);
+                if (argTypeArgs.length !== paramTypeArgs.length) {
+                    error(node, `高阶函数: 参数个数不匹配，期望 ${paramTypeArgs.length} 个, 实际传入 ${argTypeArgs.length} 个!`);
                 }
             }
         });
@@ -724,7 +740,7 @@ function createErrorDiagnoser(context) {
      */
     function* checkVariableType(node) {
         const type = env.getType(node);
-        if (isUninstantiatedType(type)) {
+        if (isUnresolvedType(type)) {
             const logic = node.getAncestor('SubLogic') || node.getAncestor('Logic');
             let used = false;
             logic.traverseStrictChildren((item) => {
@@ -781,19 +797,20 @@ function createErrorDiagnoser(context) {
      */
     function* checkPlayground(playground) {
         if (playground?.length) {
-            inPlayground = true;
+            inPlayground++;
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(playground, function* (node) {
                 yield* checkNode(node);
             });
-            inPlayground = false;
+            inPlayground--;
         }
     }
     /**
      * 未推导出的类型
+     * 这个可能有问题，因为可能是 type 的嵌套结构没有推导出类型，看使用场景了
      * @param type
      * @returns
      */
-    function isUninstantiatedType(type) {
+    function isUnresolvedType(type) {
         return !type || type?.typeKind === 'typeParam' || type?.typeName === 'Null' || type?.typeName === 'void';
     }
     /**
@@ -803,9 +820,14 @@ function createErrorDiagnoser(context) {
      */
     function* checkNonNullExpression(node) {
         const type = yield* checkNode(node);
-        if (isUninstantiatedType(type)) {
+        if (isUnresolvedType(type)) {
             const scope = node?.constructor?.nodeTitle;
-            error(node, `${scope}：所选择的内容未定义。`);
+            if (node.concept === 'Identifier') {
+                error(node, `${scope}：${node.name} 未定义。`);
+            }
+            else {
+                error(node, `${scope}：所选择的内容未定义。`);
+            }
             return errorType;
         }
         return type;
@@ -1136,7 +1158,8 @@ function createErrorDiagnoser(context) {
      */
     function* checkVariable(node) {
         yield* checkNode(node.defaultValue);
-        yield* checkVariableType(node);
+        // 前面加了报错，省点时间，报错不用那么精确
+        // yield* checkVariableType(node);
     }
     /**
      * 检查 前端全局变量
@@ -1178,6 +1201,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkDataSource(node) {
+        dbType = node.dataSourceSqlType;
         if (node.entities?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.entities, function* (node) {
                 yield* checkNode(node);
@@ -1230,6 +1254,7 @@ function createErrorDiagnoser(context) {
         if (duplidateEntities.length) {
             error(node, `数据源${node.name}存在重名实体：${duplidateEntities.join(', ')}`);
         }
+        dbType = '';
     }
     /**
      * 检查 实体
@@ -1254,6 +1279,69 @@ function createErrorDiagnoser(context) {
             error(node, '共享范围为指定应用时，必须指定共享应用');
         }
     }
+    function getCurrentDataBaseType(node) {
+        if (node.databaseTypeAnnotation) {
+            const databaseTypeMap = node.dataBaseTypeMap || {};
+            const { typeName } = node.databaseTypeAnnotation;
+            return databaseTypeMap[typeName];
+        }
+        const { typeName } = node.typeAnnotation;
+        if (typeName === 'String') {
+            const defaultDataBaseName = getInferredDefaultDataBaseName(node);
+            if (defaultDataBaseName && defaultDataBaseName !== node.defaultDataBaseType?.type) {
+                return {
+                    ...(node.dataBaseTypeMap?.[defaultDataBaseName] ?? {}),
+                };
+            }
+        }
+        return node.defaultDataBaseType;
+    }
+    function getInferredDefaultDataBaseName(ndoe) {
+        let defaultDataBaseName;
+        const { typeName } = ndoe.typeAnnotation;
+        if (typeName === 'String') {
+            const dataSourceSqlType = dbType;
+            let maxLength;
+            const { rules } = ndoe;
+            if (Array.isArray(rules)) {
+                // 是否需要更新规则
+                rules.forEach((rule) => {
+                    const match = rule.match(/^([^()]+)\(([\d\-.]+)\)$/);
+                    if (match) {
+                        const [, key, value] = match;
+                        if (key === 'maxLength') {
+                            maxLength = value;
+                        }
+                    }
+                });
+            }
+            // 不同数据库 最大长度 短、中、长 对应的默认储存类型
+            const sqlMap = {
+                mysql: {
+                    255: 'varchar',
+                    4000: 'text',
+                    16777215: 'mediumtext',
+                },
+                oracle: {
+                    255: 'varchar2',
+                    4000: 'clob',
+                    16777215: 'clob',
+                },
+                dameng: {
+                    255: 'varchar2',
+                    4000: 'text',
+                    16777215: 'text',
+                },
+                db2: {
+                    255: 'varchar',
+                    4000: 'clob',
+                    16777215: 'clob',
+                },
+            };
+            defaultDataBaseName = sqlMap?.[dataSourceSqlType]?.[maxLength];
+        }
+        return defaultDataBaseName;
+    }
     /**
      * 检查 实体属性
      * @param node
@@ -1262,7 +1350,6 @@ function createErrorDiagnoser(context) {
         yield* checkNode(node.defaultValue);
         yield* checkNode(node.typeAnnotation);
         const entity = node.getAncestor('Entity');
-        const dbType = entity.dataSource.dataSourceSqlType;
         const { origin } = entity || {};
         if (dbType && !['excel', 'table'].includes(origin)) {
             const { typeAnnotation, databaseTypeAnnotation, rules } = node;
@@ -1277,7 +1364,7 @@ function createErrorDiagnoser(context) {
                 });
             }
             let message = '';
-            const dataBaseTyp = node.currentDataBaseType;
+            const dataBaseTyp = getCurrentDataBaseType(node);
             if (!dataBaseTyp && databaseTypeAnnotation) {
                 const { typeName: databaseTypeName } = databaseTypeAnnotation;
                 const errorMsg = `平台目前暂不支持${dbType}数据库的${databaseTypeName}存储类型`;
@@ -1414,7 +1501,9 @@ function createErrorDiagnoser(context) {
                                 const value = numeric.value;
                                 const decimalPlaces = value?.split('.')[1]?.length || 0;
                                 if (decimalPlaces > +scale) {
-                                    error(node, `实体字段${node.name}默认值的小数位数不能大于设置的小数位数${scale}，否则将会按照小数位数自动截断`);
+                                    error(node, `实体字段${node.name}默认值的小数位数不能大于设置的小数位数${scale}，否则将会按照小数位数自动截断`, {
+                                        severity: Severity.WARN,
+                                    });
                                 }
                             }
                             break;
@@ -1591,7 +1680,8 @@ function createErrorDiagnoser(context) {
      */
     function* checkReturn(node) {
         yield* checkNode(node.defaultValue);
-        yield* checkVariableType(node);
+        // 前面加了报错，省点时间，报错不用那么精确
+        // yield* checkVariableType(node);
     }
     /**
      * 检查 接口
@@ -1822,6 +1912,10 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkViewElement(node) {
+        // lcap-login 组件需要完全不做任何检查，不报任何错误。里面一大堆脏数据。
+        if (node.tag === 'lcap-login') {
+            return;
+        }
         const shouldProvideCurrentCtx = !!(node.slotScope);
         let unbindVariables;
         if (shouldProvideCurrentCtx) {
@@ -1875,10 +1969,9 @@ function createErrorDiagnoser(context) {
         const isTempWarningMode = node.parentNode?.concept === 'ViewElement' &&
             node.parentNode?.tag === 'u-table-view-expander';
         if (isTempWarningMode) {
-            const oldInPlayground = inPlayground;
-            inPlayground = true;
+            inPlayground++;
             yield* checkNode(node.expression);
-            inPlayground = oldInPlayground;
+            inPlayground--;
         }
         else {
             yield* checkNode(node.expression);
@@ -1929,7 +2022,9 @@ function createErrorDiagnoser(context) {
         if (processElement || node.type === 'dynamic') {
             yield* checkNode(node.destination);
         }
-        yield* checkNode(node.externalDestination);
+        if (node.name === 'externalDestination' && node.type === 'dynamic') {
+            yield* checkNode(node.externalDestination);
+        }
         if (node.rules?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.rules, function* (node) {
                 yield* checkNode(node);
@@ -2019,7 +2114,7 @@ function createErrorDiagnoser(context) {
             error(node, '流程暂不支持可变参数');
         }
         if (node.includeTypeArgs) {
-            error(node, '流程暂不支持范型参数');
+            error(node, '流程暂不支持泛型参数');
         }
         const unbindVariables = env.temporarilyBindVariables([
             ...(node?.params || []),
@@ -2133,7 +2228,7 @@ function createErrorDiagnoser(context) {
             error(node, '流程暂不支持可变参数');
         }
         if (node.includeTypeArgs) {
-            error(node, '流程暂不支持范型参数');
+            error(node, '流程暂不支持泛型参数');
         }
     }
     /**
@@ -2221,6 +2316,8 @@ function createErrorDiagnoser(context) {
                 yield* checkNode(node);
             });
         }
+        // 无人审批策略
+        yield* checkNode(node.unmannedApprovalStrategy);
         if (node.fieldPermissions?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.fieldPermissions, function* (node) {
                 yield* checkNode(node);
@@ -2239,6 +2336,40 @@ function createErrorDiagnoser(context) {
         }
         unbindVariables();
     }
+    /**
+     * 检查 无人时，自动转派审批策略
+     * @param node
+     */
+    function* checkReassignUnmannedV2(node) {
+        return yield* checkNode(node.assignees);
+    }
+    /**
+     * 检查 用户经办人
+     * @param node
+     */
+    function* checkUserAssignees(node) {
+        if (!node.users?.length) {
+            error(node, '转派人员为空');
+        }
+    }
+    /**
+     * 检查 角色经办人
+     * @param node
+     */
+    function* checkRoleAssignees(node) {
+        if (!node.roles?.length) {
+            error(node, '转派角色为空');
+        }
+    }
+    /**
+     * 检查 部门经办人
+     * @param node
+     */
+    function* checkDepartmentAssignees(node) {
+        if (!node.departments?.length) {
+            error(node, '转派部门为空');
+        }
+    }
     /**
      * 检查 字段权限控制详情
      * @param node
@@ -2362,7 +2493,7 @@ function createErrorDiagnoser(context) {
                     if (logicReturns[0].name !== itfReturns[0].name) {
                         isSame = false;
                     }
-                    else if (!(logicReturns[0]?.typeAnnotation ?? env.getType(logicReturns[0]))?.isSame?.(itfReturns[0]?.typeAnnotation)) {
+                    else if (!(0, type_predicate_1.isEqualTy)(env, env.getType(logicReturns[0]), env.getType(itfReturns[0]))) {
                         isSame = false;
                     }
                 }
@@ -2574,8 +2705,14 @@ function createErrorDiagnoser(context) {
         if (!ensureNodeKeyExists(node, 'calleeName')) {
             return;
         }
-        const ref = env.resolvedCallTypeBindings.get(node) ?? env.resolveRef(node);
-        if (ref) {
+        const ref = env.resolvedCallInfo.get(node) ?? env.resolveRef(node);
+        // Handle the new FunctionDefinition structure
+        if (ref?.params && !(0, type_manager_1.hasUnresolvedTyInCallInfo)(ref)) {
+            // It's a FunctionDefinition object
+            yield* checkScopeOfUse(node, ref);
+            yield* checkCallExpressionParameters(node, ref);
+        }
+        else if (ref && !(0, type_predicate_1.isUnResolvedTy)(ref)) {
             // 检查使用范围
             yield* checkScopeOfUse(node, ref);
             yield* checkCallExpressionParameters(node, ref);
@@ -2631,7 +2768,7 @@ function createErrorDiagnoser(context) {
             node.parentKey !== 'consequent' &&
             node.parentNode?.parentNode?.concept !== 'CallInterface' &&
             node.parentNode.concept !== 'Block' &&
-            isUninstantiatedType(type)) {
+            isUnresolvedType(type)) {
             let showErr = false;
             if (node.parentNode?.parentNode?.concept === 'CallLogic') {
                 // calllogic 中别的类型会强校验，但是内置函数，不会强制校验，下面这几个其实是走的内置函数的实现，所以需要手动增加一下校验
@@ -2910,7 +3047,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkMatchCase(node) {
-        const match = node.getAncestor('Match');
+        const match = toRaw(node.getAncestor('Match'));
         if (node.patterns?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.patterns, function* (node) {
                 yield* checkNode(node);
@@ -2923,7 +3060,7 @@ function createErrorDiagnoser(context) {
                 // 先使用ts原始的报错，这个先注释掉
                 if (nasl_concepts_1.asserts.isTypeAnnotation(node) && matchExpressionType?.typeKind === 'union') {
                     (0, service_1.transformUnionTypeAnnotation)(matchExpressionType, match?.app);
-                    const haveType = matchExpressionType?.typeArguments.find((item) => item.sortedTypeKey === node.sortedTypeKey);
+                    const haveType = !!matchExpressionType?.typeArguments?.some(item => env.isEq(item, node));
                     if (!haveType) {
                         message = '匹配：选择类型不存在';
                         titleTip = '该类型已被删除';
@@ -3050,19 +3187,25 @@ function createErrorDiagnoser(context) {
                 ? getPropertyOfType(node.parentNode.typeAnnotation, node.name)
                 : env.resolveRef(node);
             if (!ref) {
-                if (node.name === 'it') {
+                if (node.namespace === 'backend') {
+                    /**
+                     * 参考类型检查器的 {@link tpIdentifier}方法
+                     */
+                    return typer_1.naslLongTy;
+                }
+                else if (node.name === 'it') {
                     return env.getType(node);
                 }
                 else {
                     const { name } = node;
                     // 之前有一些脏数据，先兼容
-                    if (['true', 'false'].includes(name)) {
-                        return new nasl_concepts_1.TypeAnnotation({
-                            typeKind: 'primitive',
-                            typeName: 'Boolean',
-                            typeNamespace: 'nasl.core',
-                        });
-                    }
+                    // if (['true', 'false'].includes(name)) {
+                    //   return new TypeAnnotation({
+                    //     typeKind: 'primitive',
+                    //     typeName: 'Boolean',
+                    //     typeNamespace: 'nasl.core',
+                    //   });
+                    // }
                     if (
                     // name 是 A.B.C
                     name?.split('.')?.length > 1
@@ -3232,7 +3375,7 @@ function createErrorDiagnoser(context) {
                 const prop = getPropertyOfType(type, propertyName);
                 if (prop) {
                     const propertyType = yield* checkNode(property);
-                    if (isUninstantiatedType(propertyType)) {
+                    if (isUnresolvedType(propertyType)) {
                         error(node, `${property.name}推导不出类型！请连线或手动设置`);
                     }
                     else if (type.typeKind === 'anonymousStructure') {
@@ -3597,20 +3740,6 @@ function createErrorDiagnoser(context) {
         if (ensureNodeKeyExists(node, 'argument')) {
             yield* checkNode(node.argument);
         }
-        if (node.operator === 'isNull' && !!node.getAncestor('CallQueryComponent')) {
-            function useVariable(node) {
-                let res = false;
-                node.traverseStrictChildren((child) => {
-                    if (child.concept === 'Identifier' && child.namespace !== 'inner') {
-                        res = true;
-                    }
-                });
-                return res;
-            }
-            if (useVariable(node)) {
-                error(node, '空值匹配组件暂不支持使用变量');
-            }
-        }
         return env.getType(node);
     }
     /**
@@ -3693,7 +3822,7 @@ function createErrorDiagnoser(context) {
             if (ensureNodeKeyExists(node, 'typeName') && node.typeKind === 'reference') {
                 const ref = env.resolveRef(node);
                 if (!ref) {
-                    error(node, `找不到类型${node.typeName}`);
+                    error(node, `找不到类型 ${node.typeName}`);
                 }
             }
         }
@@ -3729,12 +3858,8 @@ function createErrorDiagnoser(context) {
     }
     function* dispatchNode(node) {
         try {
-            // 控制流节点
-            if (isControlFlowNode(node)) {
-                return yield* checkControlFlowNode(node);
-            }
             // 调用表达式
-            if (isCallExpression(node)) {
+            if ((0, nasl_predicate_1.isNaslCallExpr)(node)) {
                 return yield* checkCallExpression(node);
             }
             const { concept } = node;
@@ -3841,6 +3966,14 @@ function createErrorDiagnoser(context) {
                     return yield* checkProcessDefinitionV2(node);
                 case 'ProcessElementV2':
                     return yield* checkProcessElementV2(node);
+                case 'ReassignUnmannedV2':
+                    return yield* checkReassignUnmannedV2(node);
+                case 'UserAssignees':
+                    return yield* checkUserAssignees(node);
+                case 'RoleAssignees':
+                    return yield* checkRoleAssignees(node);
+                case 'DepartmentAssignees':
+                    return yield* checkDepartmentAssignees(node);
                 case 'FieldPermissionV2':
                     return yield* checkFieldPermissionV2(node);
                 case 'MsgTriggerLauncher':
@@ -3954,9 +4087,13 @@ function createErrorDiagnoser(context) {
                 case 'Start':
                     return;
                 case 'SqlQueryComponent':
-                    return;
+                    return env.getType(node);
                 default:
-                    console.log(node);
+                // isDebugMode && console.log(node);
+            }
+            // 控制流节点，低频或没啥人用的东西放后面判断
+            if (fastIsControlFlowNode(node)) {
+                return yield* checkControlFlowNode(node);
             }
         }
         catch (err) {
@@ -3969,6 +4106,7 @@ function createErrorDiagnoser(context) {
      * @returns 清理函数
      */
     function handleFileNode(node) {
+        // TODO: checkNodeIsFileModuleInIde 也慢，后续可以优化
         const isFileModule = fileNodes.length ? (0, service_1.checkNodeIsFileModuleInIde)(node) : true;
         if (isFileModule) {
             fileNodes.push(node);
@@ -3988,7 +4126,8 @@ function createErrorDiagnoser(context) {
      * @returns
      */
     function* checkNode(node) {
-        if (!nasl_concepts_1.asserts.isBaseNode(node)) {
+        // fast weak basenode check
+        if (!node || !node.concept) {
             return;
         }
         const cleanup = handleFileNode(node);
@@ -4062,7 +4201,7 @@ const transformDiagnosticsToRecords = (fileNode, diagnostics) => {
     const records = [];
     let filePath;
     try {
-        filePath = fileNode.getEmbeddedFilePath();
+        filePath = fileNode.concept !== 'App' ? fileNode.getEmbeddedFilePath() : undefined;
     }
     catch (err) {
         console.log(err);
@@ -4096,4 +4235,6 @@ const transformDiagnosticsToRecords = (fileNode, diagnostics) => {
     return records;
 };
 exports.transformDiagnosticsToRecords = transformDiagnosticsToRecords;
+// @ts-expect-error
+const toRaw = (nd) => nd.__v_raw ?? nd;
 //# sourceMappingURL=checker.js.map