@lcap/nasl-language-server-core 3.14.0-rc.4 → 3.14.0-rc.6

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,EAEpF,MAAM,qBAAqB,CAAC;AAS7B,OAAO,EAA4B,KAAK,MAAM,EAAE,MAAM,SAAS,CAAC;AAIhE,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAGpE,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;AAuPF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCAu/HpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAfjD,UAAU,GAAG,SAAS;;;8BA2Df,UAAU;2BAsBb,UAAU;;kBAlhInB,UAAU,WAAW,MAAM,YAAY,YAAY;EAoiIzE;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,EAEpF,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;AAuPF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCA2kIpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAfjD,UAAU,GAAG,SAAS;;;8BA2Df,UAAU;2BAsBb,UAAU;;kBAtmInB,UAAU,WAAW,MAAM,YAAY,YAAY;EAwnIzE;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

@@ -6,10 +6,11 @@ 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";
@@ -301,11 +302,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
@@ -581,7 +591,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);
     }
     /**
      * 确定函数签名中所需的最小参数数量
@@ -591,6 +601,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++; // 如果参数有默认值，则跳过
             }
@@ -713,13 +726,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 || [];
@@ -1147,13 +1164,14 @@ function createErrorDiagnoser(context) {
         }
     }
     /**
-     * 检查 变量
+     * 检查【局部】变量
      * @param node
      */
     function* checkVariable(node) {
         yield* checkNode(node.defaultValue);
         // 前面加了报错，省点时间，报错不用那么精确
         // yield* checkVariableType(node);
+        yield* checkNode(node.typeAnnotation);
     }
     /**
      * 检查 前端全局变量
@@ -1562,6 +1580,30 @@ function createErrorDiagnoser(context) {
                 error(node, message);
             }
         }
+        const relationEntity = node.relationEntity;
+        const relationNamespace = node.relationNamespace;
+        const relationProperty = node.relationProperty;
+        if (relationEntity && relationNamespace && relationProperty) {
+            const releationEntityQName = `${relationNamespace}.${relationEntity}`;
+            const releationEntityPropertyQName = `${releationEntityQName}.properties.${relationProperty}`;
+            const entityEntityDef = env.refMgr.queryQNameDef(releationEntityQName);
+            const entityPropertyDef = env.refMgr.queryQNameDef(releationEntityPropertyQName);
+            if (entityPropertyDef) {
+                const equal = (0, type_predicate_1.isEqualTy)(env, entityPropertyDef.typeAnnotation, node.typeAnnotation);
+                if (equal) {
+                    return;
+                }
+                const content = (0, sem_diag_1.mkIncompatibleTyErr)(env, entityPropertyDef.typeAnnotation, node.typeAnnotation);
+                const message = `关联属性${content}`;
+                error(node, message);
+            }
+            else {
+                const message = entityEntityDef
+                    ? `找不到 ${relationEntity} 上的 ${relationProperty}`
+                    : `找不到实体 ${relationEntity}`;
+                error(node, message);
+            }
+        }
     }
     /**
      * 检查 枚举
@@ -1678,6 +1720,7 @@ function createErrorDiagnoser(context) {
         yield* checkNode(node.defaultValue);
         // 前面加了报错，省点时间，报错不用那么精确
         // yield* checkVariableType(node);
+        yield* checkNode(node.typeAnnotation);
     }
     /**
      * 检查 接口
@@ -1878,6 +1921,17 @@ function createErrorDiagnoser(context) {
             ...(node.variables || []),
             ...(node.logics || []),
         ]);
+        if (node.params?.length) {
+            yield* checkParams(node.params);
+            yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.params, function* (node) {
+                yield* checkNode(node);
+            });
+        }
+        if (node.variables?.length) {
+            yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.variables, function* (node) {
+                yield* checkNode(node);
+            });
+        }
         // 组件元素
         if (node.elements?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.elements, function* (node) {
@@ -2230,7 +2284,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) {
@@ -2768,6 +2823,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);
@@ -2811,6 +2869,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 的基础类型：如字符串、整数、布尔等'));
+                }
+            }
+        }
     }
     /**
      * 检查 调用逻辑
@@ -3229,21 +3304,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
@@ -3258,6 +3325,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);
@@ -3942,6 +4016,8 @@ function createErrorDiagnoser(context) {
                     return yield* checkBackendVariable(node);
                 case 'Param':
                     return yield* checkParam(node);
+                case 'ParamWithGroup':
+                    return yield* checkParam(node);
                 case 'Return':
                     return yield* checkReturn(node);
                 case 'DefaultValue':