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

package/README.md

@@ -1,3 +1,88 @@
 # Nasl Language Server
 
 Nasl 语言服务
+
+## 描述
+
+NetEase Application Specific Language (NASL) 语言服务器核心包，提供 NASL 语言的类型检查、语法分析和其他语言服务功能。
+
+## 技术栈
+
+### 核心技术
+- **TypeScript 5.4.4** - 主要开发语言
+- **Node.js 18+** - 运行环境
+
+### 主要依赖
+- **@lcap/nasl-concepts** - NASL 概念定义
+- **@lcap/nasl-types** - NASL 类型系统
+- **@lcap/nasl-utils** - NASL 工具库
+- **decimal.js** - 精确数值计算
+- **json5** - JSON5 格式支持
+- **lodash** - 实用工具库
+- **mnemonist** - 数据结构库
+
+### 开发工具
+- **Vitest 3.2.4** - 现代测试框架
+- **Chai 4.3.7** - 断言库
+- **Mocha** - 传统测试框架（通过 @lcap/nasl-test-toolkit）
+
+## 开发
+
+### 构建
+```bash
+# 清理输出目录
+npm run clear
+
+# 构建项目
+npm run build
+
+# 监听模式构建
+npm run watch
+```
+
+### 测试
+
+#### Vitest 测试（推荐）
+```bash
+# 运行所有 Vitest 测试
+npm run test:vite
+
+# 监听模式运行测试
+npm run test:watch
+
+# 启动测试 UI 界面
+npm run test:ui
+```
+
+#### Mocha 测试 (遗留)
+
+注意:
+- Mocha 测试框架已经废弃，对于新的单元测试的编写，请使用 Vitest 测试框架。
+- Mocha 测试框架的测试用例，请迁移到 Vitest 测试框架。请参考 [TESTING_MIGRATION.md](./tests/TESTING_MIGRATION.md) 文件，让LLM自动化地完成迁移。
+
+```bash
+# 运行标准 Mocha 测试套件
+npm run test
+
+# 运行应用测试
+npm run test:apps
+
+# 运行 CI 测试
+npm run test:ci
+
+# 更新测试快照
+npm run test:update
+
+# 运行性能测试
+npm run test:perf
+```
+
+### 其他工具
+```bash
+# 压缩测试数据
+npm run compress-test-data
+```
+
+## 许可证
+
+MIT

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",

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;AAQ7B,OAAO,EAA4B,KAAK,MAAM,EAAE,MAAM,SAAS,CAAC;AAIhE,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAEpE,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;oCAgiIpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BAsCf,UAAU;2BAuBb,UAAU;;kBA9gInB,UAAU,WAAW,MAAM,YAAY,YAAY;EAgiIzE;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;AAMpE,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;oCAsoIpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BA4Df,UAAU;2BAuBb,UAAU;;kBA1oInB,UAAU,WAAW,MAAM,YAAY,YAAY;EA4pIzE;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"}

package/out/checker.js

@@ -4,11 +4,13 @@ exports.transformDiagnosticsToRecords = exports.createErrorDiagnoser = exports.S
 const decimal_js_1 = require("decimal.js");
 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 helper_1 = require("./typer/helper");
 var Severity;
 (function (Severity) {
     Severity["WARN"] = "warning";
@@ -91,7 +93,7 @@ function getExpressionNodeName(concept) {
 function isDescendant(node, rangeNode) {
     let currentNode = node;
     while (currentNode) {
-        if (currentNode === rangeNode) {
+        if (toRaw(currentNode) === toRaw(rangeNode)) {
             return true;
         }
         currentNode = currentNode.parentNode;
@@ -332,11 +334,20 @@ 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 { }
     }
+    function scopedError(node, message, context) {
+        const scope = node?.constructor?.nodeTitle;
+        if (scope) {
+            error(node, `${scope}：${message}`, context);
+        }
+        else {
+            error(node, message, context);
+        }
+    }
     /**
      * 获取当前错误信息
      * @param node
@@ -671,7 +682,7 @@ function createErrorDiagnoser(context) {
                         // 允许在当前业务组件中访问
                         businessComponent,
                     ],
-                    errMsg: `“${node.name}”是私有的，只能在“${businessComponent.name}”中访问。`,
+                    errMsg: `"${node.name}"是私有的，只能在"${businessComponent.name}"中访问。`,
                 } : null;
             case 'ConfigProperty':
                 return node.isPrivate ? {
@@ -690,7 +701,7 @@ function createErrorDiagnoser(context) {
      * @returns
      */
     function isNonRequiredParam(param) {
-        return param?.defaultValue?.expression || param?.defaultExpression || param?.optional || param?.spread || (nasl_concepts_1.asserts.isInterfaceParam(param) && !param.required);
+        return param?.defaultValue?.expression || param?.defaultExpression || param?.optional || (nasl_concepts_1.asserts.isInterfaceParam(param) && !param.required);
     }
     /**
      * 确定函数签名中所需的最小参数数量
@@ -700,6 +711,9 @@ function createErrorDiagnoser(context) {
         let minArgsCount = 0;
         for (let i = 0; i < paramLen; i++) {
             const param = params[i];
+            if (param?.spread) {
+                continue;
+            }
             if (!isNonRequiredParam(param)) {
                 minArgsCount++; // 如果参数有默认值，则跳过
             }
@@ -802,7 +816,7 @@ function createErrorDiagnoser(context) {
     /**
      * 检查 调用表达式的参数
      * @param node
-     * @param ref
+     *( @param r) as anyef
      */
     function* checkCallExpressionParameters(node, ref) {
         // Handle both TypeAnnotation and FunctionDefinition formats
@@ -822,13 +836,17 @@ function createErrorDiagnoser(context) {
         }
         yield* (0, nasl_utils_1.wrapForEachToGenerator)(args, function* (arg, index) {
             const param = params?.[index];
-            if (!param)
-                return;
-            const isParamRequired = !(hasSpreadParam && index > spreadParamIndex) && !isNonRequiredParam(param);
+            // 若 param 的定义不存在，则默认是必填的。
+            const isParamRequired = param ? !isNonRequiredParam(param) : true;
             arg.paramRequired = isParamRequired;
+            // 即便是 param 的定义不存在，也需要检查 arg。这样可以检查出 arg 是否引用了一些未定义的变量
+            const argType = yield* checkNode(arg);
+            if (!param) {
+                return;
+            }
             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 || [];
@@ -926,12 +944,11 @@ function createErrorDiagnoser(context) {
         const type = yield* checkNode(node);
         if (isUnresolvedType(type)) {
             const scope = node?.constructor?.nodeTitle;
-            if (node.concept === 'Identifier') {
-                error(node, `${scope}：${node.name} 未定义。`);
-            }
-            else {
-                error(node, `${scope}：所选择的内容未定义。`);
-            }
+            // if (node.concept === 'Identifier') {
+            //   error(node, `${scope}：${node.name} 未定义。`);
+            // } else {
+            error(node, `${scope}：所选择的内容未定义。`);
+            // }
             return errorType;
         }
         return type;
@@ -1094,8 +1111,8 @@ function createErrorDiagnoser(context) {
             const status = getStatusOfSharedApp(node);
             if (status) {
                 const msgMap = {
-                    update: `共享数据 ${node.name} 已在“${node.provider}应用”中更新，请同步更新`,
-                    delete: `共享数据 ${node.name} 已在“${node.provider}应用”中被删除，请同步删除`,
+                    update: `共享数据 ${node.name} 已在"${node.provider}应用"中更新，请同步更新`,
+                    delete: `共享数据 ${node.name} 已在"${node.provider}应用"中被删除，请同步删除`,
                 };
                 error(node, msgMap[status], {
                     severity: Severity.WARN,
@@ -1219,13 +1236,14 @@ function createErrorDiagnoser(context) {
         }
     }
     /**
-     * 检查 变量
+     * 检查【局部】变量
      * @param node
      */
     function* checkVariable(node) {
         yield* checkNode(node.defaultValue);
         // 前面加了报错，省点时间，报错不用那么精确
         // yield* checkVariableType(node);
+        yield* checkNode(node.typeAnnotation);
     }
     /**
      * 检查 前端全局变量
@@ -1720,6 +1738,7 @@ function createErrorDiagnoser(context) {
         yield* checkNode(node.defaultValue);
         // 前面加了报错，省点时间，报错不用那么精确
         // yield* checkVariableType(node);
+        yield* checkNode(node.typeAnnotation);
     }
     /**
      * 检查 接口
@@ -1866,6 +1885,7 @@ function createErrorDiagnoser(context) {
             ...(node.variables || []),
             ...(node.logics || []),
         ]);
+        checkVariableAndReturnTypeAnnotations(node.variables, [], false);
         const module = node.getAncestor('Module');
         if (!(module?.parentKey === 'dependencies')) {
             if (node.params?.length) {
@@ -1996,6 +2016,21 @@ function createErrorDiagnoser(context) {
         if (node._foldInView) {
             error(node, `组件${node.name}已经极速折叠`);
         }
+        // 已知：选择器会漏报，因为 children 里是两个空 template。暂时先这样吧。
+        let dsFilled = true;
+        let errNode = node;
+        const ds = node.bindAttrs.find(nd => nd.name === 'dataSource');
+        if (ds) {
+            if (ds.type === 'dynamic' && !ds.expression) {
+                dsFilled = false;
+                errNode = ds;
+            }
+        }
+        const hasSubComponents = node.children.filter(c => c.tag !== 'template').length > 0 ||
+            node.children.filter(c => c.tag === 'template').some(cc => cc.children.length > 0);
+        if (!dsFilled && !hasSubComponents) {
+            error(errNode, '数据源不能为空');
+        }
         unbindVariables?.();
     }
     /**
@@ -2256,7 +2291,8 @@ function createErrorDiagnoser(context) {
         yield* checkNode(node.bind);
         if (node.processDefinitions?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.processDefinitions, function* (node) {
-                yield* checkNode(node);
+                // 现有流程版本 [v1, v2]，加个 v3 后，变成了 [proxy(v1), proxy(v2), v3]，无法理解
+                yield* checkNode(toRaw(node));
             });
         }
         if (node?.subLogics?.length) {
@@ -2432,7 +2468,7 @@ function createErrorDiagnoser(context) {
                 const prop = getPropertyOfType(type, propertyName);
                 if (!prop) {
                     const scope = item?.constructor?.nodeTitle;
-                    error(item, `${scope}：找不到 ${type?.typeTitle} 上的 ${propertyName}。`);
+                    error(item, `${scope}：找不到 ${(0, type_manager_1.showUserLevelType)(type)} 上的 ${propertyName}。`);
                 }
                 type = env.getType(prop);
                 if (type?.typeKind === 'generic' && type.typeName === 'List') {
@@ -2460,6 +2496,10 @@ function createErrorDiagnoser(context) {
             ...(node.variables || []),
             ...(node.virtualParams || [])
         ]);
+        // 仅检查用户写的逻辑
+        // if (node.nodePath?.startsWith('app.logics')) {
+        checkVariableAndReturnTypeAnnotations(node.variables ?? [], node.returns ?? []);
+        // }
         const module = node.getAncestor('Module');
         if (!(module?.parentKey === 'dependencies')) {
             if (node.params?.length) {
@@ -2640,6 +2680,9 @@ function createErrorDiagnoser(context) {
             ...(node.returns || []),
             ...(node.variables || []),
         ]);
+        // if (nd.nodePath?.startsWith('app.logics')) {
+        checkVariableAndReturnTypeAnnotations(node.variables, node.returns);
+        // }
         const module = node.getAncestor('Module');
         if (!(module?.parentKey === 'dependencies')) {
             if (node.params?.length) {
@@ -2730,22 +2773,27 @@ function createErrorDiagnoser(context) {
             return;
         }
         yield* checkVoidCallUsedAsStatement(node);
-        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);
-        }
-        else {
-            error(node, `找不到${getExpressionNodeName(node.concept)} ${node.calleeName}。`);
+        const ref = env.resolveRef(node); // 前端
+        // TODO: sql 函数的 namespace 带有数据库名 nasl.sqlFunction.mysql nasl.sqlFunction.oracle ...
+        // 暂时不在 qNameDefs 里，用 isBuiltInCall 简单判断了
+        if (!ref && !isBuiltInCall(node)) {
+            const depLibName = getExtensionLibName(node);
+            if (depLibName) {
+                error(node, `找不到依赖库 ${depLibName} 上的 ${getExpressionNodeName(node.concept)} ${node.calleeName}。`);
+            }
+            else {
+                error(node, `找不到${getExpressionNodeName(node.concept)} ${node.calleeName}。`);
+            }
             return errorType;
         }
+        /**
+         * 目前的 callInfo：所有内置函数 + 服务端调用。前端因为有组件库调用，还没统一
+         * 排除未求解出类型变元等引发的报错，这些不应该报 '找不到'
+         */
+        // FIXME: wudengke 帮帮忙，行行好
+        const callInfo = env.resolvedCallInfo.get(node);
+        yield* checkScopeOfUse(node, (callInfo ?? ref));
+        yield* checkCallExpressionParameters(node, (callInfo ?? ref));
         switch (node.concept) {
             case 'CallFunction':
                 return yield* checkCallFunction(node);
@@ -2769,6 +2817,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);
@@ -2812,6 +2863,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 的基础类型：如字符串、整数、布尔等'));
+                }
+            }
+        }
     }
     /**
      * 检查 调用逻辑
@@ -3118,18 +3186,29 @@ function createErrorDiagnoser(context) {
                 }
             });
         }
+        else if (!isOtherCase(node)) {
+            // pattern 为空时，如果不是其他就报错
+            error(node, '匹配分支：匹配模式不能为空', {
+                titleTip: '匹配模式不能为空',
+            });
+        }
         if (node.body?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.body, function* (node) {
                 yield* checkNode(node);
             });
         }
-        if (match?.isExpression && node.body.length === 0) {
-            // 如果不是其他就标红
-            if (node?.getIndexOfParent() !== (match?.cases?.length || 0) - 1) {
-                error(node, '匹配分支：返回内容不能为空', {
-                    titleTip: '返回内容不能为空',
-                });
+        if (match?.isExpression && node.body.length === 0 && !isOtherCase(node)) {
+            // 如果不是其他就报错
+            error(node, '匹配分支：返回内容不能为空', {
+                titleTip: '返回内容不能为空',
+            });
+        }
+        function isOtherCase(node) {
+            const indexInParent = node.getIndexOfParent();
+            if (indexInParent === -1) {
+                return false;
             }
+            return indexInParent === match.cases.length - 1;
         }
     }
     /**
@@ -3219,21 +3298,13 @@ function createErrorDiagnoser(context) {
                     /**
                      * 参考类型检查器的 {@link tpIdentifier}方法
                      */
-                    return typer_1.naslLongTy;
+                    return type_manager_1.naslLongTy;
                 }
                 else if (node.name === 'it') {
                     return env.getType(node);
                 }
                 else {
                     const { name } = node;
-                    // 之前有一些脏数据，先兼容
-                    // if (['true', 'false'].includes(name)) {
-                    //   return new TypeAnnotation({
-                    //     typeKind: 'primitive',
-                    //     typeName: 'Boolean',
-                    //     typeNamespace: 'nasl.core',
-                    //   });
-                    // }
                     if (
                     // name 是 A.B.C
                     name?.split('.')?.length > 1
@@ -3248,6 +3319,13 @@ function createErrorDiagnoser(context) {
                     return errorType;
                 }
             }
+            if (node.namespace === 'app.enums' &&
+                node.parentNode?.concept !== 'MemberExpression' &&
+                node.parentNode?.concept !== 'SelectMembers') {
+                // 判断枚举类是否直接被使用
+                scopedError(node, `${node.toNaturalTS()} 枚举类不能直接使用，请取它的枚举项`);
+                return errorType;
+            }
             // 检查使用范围
             yield* checkScopeOfUse(node, ref);
             return env.getType(node);
@@ -3276,7 +3354,7 @@ function createErrorDiagnoser(context) {
                 }
                 else {
                     const scope = node?.constructor?.nodeTitle;
-                    error(node, `${scope}：找不到 ${type?.typeTitle} 上的 ${nodeProperty?.name}。`);
+                    error(node, `${scope}：找不到 ${(0, type_manager_1.showUserLevelType)(type)} 上的 ${nodeProperty?.name}。`);
                     return errorType;
                 }
                 return env.getType(node);
@@ -3428,7 +3506,7 @@ function createErrorDiagnoser(context) {
                 }
                 else {
                     const scope = property?.constructor?.nodeTitle;
-                    error(property, `${scope}：找不到 ${type?.typeTitle} 上的 ${propertyName}。`);
+                    error(property, `${scope}：找不到 ${(0, type_manager_1.showUserLevelType)(type)} 上的 ${propertyName}。`);
                 }
             });
         }
@@ -3481,7 +3559,7 @@ function createErrorDiagnoser(context) {
         if (ensureNodeKeyExists(node, 'members')) {
             if (node.members?.length) {
                 yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.members, function* (node) {
-                    yield* checkNode(node);
+                    yield* checkNode(toRaw(node));
                 });
             }
         }
@@ -3776,6 +3854,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
@@ -3883,7 +3973,7 @@ function createErrorDiagnoser(context) {
         }
         // 元数据
         if (!metadataTypeEnable && node.typeNamespace?.endsWith('.metadataTypes')) {
-            error(node, '未启用元数据功能，请在“偏好设置”中启用元数据。');
+            error(node, '未启用元数据功能，请在"偏好设置"中启用元数据。');
         }
         if (node.typeArguments?.length) {
             // 有同名的
@@ -4165,6 +4255,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':
@@ -4201,8 +4293,8 @@ function createErrorDiagnoser(context) {
      * @returns 清理函数
      */
     function handleFileNode(node) {
-        // TODO: checkNodeIsFileModuleInIde 也慢，后续可以优化
-        const isFileModule = fileNodes.length ? (0, service_1.checkNodeIsFileModuleInIde)(node) : true;
+        // TODO: checkNodeIsFileModuleInIdeWithCache 也慢，后续可以优化
+        const isFileModule = fileNodes.length ? (0, file_node_cache_1.checkNodeIsFileModuleInIdeWithCache)(node) : true;
         if (isFileModule) {
             fileNodes.push(node);
             let diagnostics = diagnosticMap.get(node);
@@ -4244,6 +4336,26 @@ function createErrorDiagnoser(context) {
     function setMetadataTypeEnable(enable) {
         metadataTypeEnable = enable;
     }
+    const checkVariableAndReturnTypeAnnotations = (variables, returns, inLogic = true) => {
+        for (const v of variables) {
+            if (v.typeAnnotation)
+                continue;
+            const tyAnn = v.__TypeAnnotation;
+            if (!(0, type_predicate_1.isResolvedUserTy)(tyAnn)) {
+                error(v, `局部变量 ${v.name} 未设置类型，在非草稿区正常使用可自动推断类型`);
+                v.__TypeAnnotation = undefined;
+            }
+        }
+        for (const r of returns) {
+            if (r.typeAnnotation)
+                continue;
+            const tyAnn = r.__TypeAnnotation;
+            if (!(0, type_predicate_1.isResolvedUserTy)(tyAnn)) {
+                error(r, `输出参数 ${r.name} 未设置类型，在非草稿区正常使用可自动推断类型`);
+                r.__TypeAnnotation = undefined;
+            }
+        }
+    };
     /**
      * 诊断App
      * @param app
@@ -4335,4 +4447,8 @@ const transformDiagnosticsToRecords = (fileNode, diagnostics) => {
 exports.transformDiagnosticsToRecords = transformDiagnosticsToRecords;
 // @ts-expect-error
 const toRaw = (nd) => nd.__v_raw ?? nd;
+// 是否来自系统内置
+const isBuiltInCall = (nd) => nd.calleeNamespace.startsWith('nasl.');
+// 是否来自依赖库
+const getExtensionLibName = (nd) => nd.calleeNamespace.startsWith('extensions.') ? nd.calleeNamespace.split('.')[1] : undefined;
 //# sourceMappingURL=checker.js.map