@lcap/nasl-language-server-core 4.3.0-beta.9 → 4.3.0-creator.1

package/out/checker.d.ts

@@ -42,7 +42,7 @@ export declare function createErrorDiagnoser(context: DiagnoseContext): {
     clearDiagnostics: (node?: SyntaxNode) => void;
     getDiagnostics: (node: SyntaxNode) => NodeDiagnosticsMap | undefined;
     getAllDiagnostics: () => FileDiagnosticsMap;
-    getDebugDiagnostics: () => {
+    getDebugDiagnostics: (normalize?: boolean) => {
         message: string;
         severity: string;
         nodePath: string;

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,EAU2G,GAAG,EAMxH,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;AAKpE,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;AA4OF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCAmuIpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BA4Df,UAAU;2BAuBb,UAAU;;;iBAW3B,MAAM;kBACL,MAAM;kBACN,MAAM;qBACH,MAAM;;kBArvIF,UAAU,WAAW,MAAM,YAAY,YAAY;EAuxIzE;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"}
+{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../src/checker.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,UAAU,EAU2G,GAAG,EAMxH,QAAQ,EAET,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;AA4OF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCA0yIpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BA4Df,UAAU;2BAuBb,UAAU;;;iBAW3B,MAAM;kBACL,MAAM;kBACN,MAAM;qBACH,MAAM;;kBA3zIF,UAAU,WAAW,MAAM,YAAY,YAAY;EA81IzE;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

@@ -10,8 +10,10 @@ 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 service_2 = require("@lcap/nasl-concepts/service");
+const asserts_1 = require("@lcap/nasl-concepts/asserts");
 const lodash_1 = require("lodash");
 const helper_1 = require("./typer/helper");
+const semantic_rules_1 = require("./semantic-rules");
 var Severity;
 (function (Severity) {
     Severity["WARN"] = "warning";
@@ -261,13 +263,14 @@ function createErrorDiagnoser(context) {
     const nodeNameCache = new Map();
     const nodeNameGetterMap = {
         View: 'getViewExistingNames',
+        BusinessComponent: 'getBusinessComponentExistingNames',
         Logic: 'getLogicExistingNames',
         AuthLogic: 'getAuthLogicExistingNames',
         AuthLogicForCallInterface: 'getAuthLogicForCallInterfaceExistingNames',
         Param: 'getVarExistingNames',
         Return: 'getVarExistingNames',
         Variable: 'getVarExistingNames',
-        Enum: 'getEnumItemExistingNames',
+        Enum: 'getEnumExistingNames',
         EnumItem: 'getEnumItemExistingNames',
         EnumItemInteger: 'getEnumItemExistingNames',
         DataSource: 'getDataSourceExistingNames',
@@ -2500,6 +2503,7 @@ function createErrorDiagnoser(context) {
     function* checkLogic(node) {
         env.enterScope(node);
         checkVariableAndReturnTypeAnnotations(node.variables ?? [], node.returns ?? []);
+        yield* semantic_rules_1.ExtraSemanticRules.rejectFileTypes(node, env, error);
         const module = node.getAncestor('Module');
         if (!(module?.parentKey === 'dependencies')) {
             if (node.params?.length) {
@@ -2703,36 +2707,59 @@ function createErrorDiagnoser(context) {
         const ancestorSubLogic = node.getAncestor('SubLogic');
         const shouldReportAsyncAsError = !(ancestorSubLogic && ancestorSubLogic !== node) && (0, type_predicate_1.isSyncFuncTy)(ty);
         const subLogicNode = node;
+        function isAsyncNode(node) {
+            switch (node.concept) {
+                case 'CallLogic': {
+                    if (!node.calleeName) {
+                        return false;
+                    }
+                    else {
+                        const syncMap = {
+                            jsonSerialize: 'nasl.util',
+                            jsonDeserialize: 'nasl.util',
+                            INFO: 'nasl.logging',
+                            WARN: 'nasl.logging',
+                            ERROR: 'nasl.logging',
+                            DEBUG: 'nasl.logging',
+                            showMessage: 'nasl.ui',
+                        };
+                        if (syncMap[node.calleeName] === node.calleeNamespace) {
+                            return false;
+                        }
+                    }
+                    const callee = context.env.resolveRef(node);
+                    if (callee) {
+                        const funTy = context.env.getType(callee);
+                        if (funTy) {
+                            return (0, type_predicate_1.isAsyncFuncTy)(funTy);
+                        }
+                    }
+                    return false;
+                }
+                case 'CallFunction': {
+                    if (!node.calleeName) {
+                        return false;
+                    }
+                    // fallthrough
+                }
+                case 'Unparsed':
+                case 'CallConnector':
+                case 'JSBlock':
+                case 'CallInterface': {
+                    return true;
+                }
+                default: {
+                    return false;
+                }
+            }
+        }
         function checkAsync(current, subLogicNode) {
             if (shouldReportAsyncAsError) {
                 current.traverseStrictChildren((n) => {
                     if (!n)
                         return;
                     if (isAsyncNode(n)) {
-                        error(n, `同步执行的子逻辑 ${subLogicNode.name} 中不支持使用 ${formatNodeConcept(n)}`);
-                    }
-                    function isAsyncNode(node) {
-                        switch (node.concept) {
-                            case 'CallLogic': {
-                                const callee = context.env.resolveRef(node);
-                                if (callee) {
-                                    const funTy = context.env.getType(callee);
-                                    if (funTy) {
-                                        return (0, type_predicate_1.isAsyncFuncTy)(funTy);
-                                    }
-                                }
-                            }
-                            case 'Unparsed':
-                            case 'CallConnector':
-                            case 'CallFunction':
-                            case 'JSBlock':
-                            case 'CallInterface': {
-                                return true;
-                            }
-                            default: {
-                                return false;
-                            }
-                        }
+                        error(n, `同步执行的子逻辑 ${subLogicNode.name} 中不支持使用该${formatNodeConcept(n)}`);
                     }
                 });
             }
@@ -2858,6 +2885,7 @@ function createErrorDiagnoser(context) {
         if (node.calleeName === 'ListSort' || node.calleeName === 'ListSortAsync') {
             checkListSort(node);
         }
+        yield* semantic_rules_1.ExtraSemanticRules.rejectFileTypes(node, env, error);
         if (node.typeArguments?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.typeArguments, function* (node) {
                 yield* checkNode(node);
@@ -2927,13 +2955,13 @@ function createErrorDiagnoser(context) {
         // HACK 取这个字段会修复 arguments 中 keyword 为空的问题
         // 参考：流程回退接口报错500 http://projectmanage.netease-official.lcap.163yun.com/dashboard/BugDetail?id=3127862102823424
         node.completeArguments;
+        yield* semantic_rules_1.ExtraSemanticRules.rejectFileTypes(node, env, error);
         if (inAuthLogic && node.calleeNamespace?.startsWith?.('app.logics')) {
             const authLogic = node.getAncestor('AuthLogic');
             error(authLogic, `鉴权逻辑 ${authLogic.name} 不允许调用 服务端逻辑`);
         }
         const viewElement = node.getAncestor('ViewElement');
         if (viewElement && viewElement.tag === 'u-download' && node.parentNode.name === 'dataSource') {
-            // node.Pa
             const args = ['page', 'size'];
             const values = [];
             node.arguments && node.arguments.forEach((arg) => {
@@ -3408,9 +3436,16 @@ function createErrorDiagnoser(context) {
         if (node.typeAnnotation?.typeKind === 'primitive' && node.typeAnnotation?.typeName === 'Long') {
             const MIN_LONG = -9223372036854775808n;
             const MAX_LONG = 9223372036854775807n;
-            const value = BigInt(node.value);
-            if (value < MIN_LONG || value > MAX_LONG) {
-                error(node, `整数数值超出合法范围，最小值：${MIN_LONG}，最大值：${MAX_LONG}。`);
+            try {
+                // AI完全可以构造出node.value="2.2"而ty显式指定为Long的东西，让BigInt报错。
+                // 因此需要try catch
+                const value = BigInt(node.value);
+                if (value < MIN_LONG || value > MAX_LONG) {
+                    error(node, `整数数值超出合法范围，最小值：${MIN_LONG}，最大值：${MAX_LONG}。`);
+                }
+            }
+            catch (error) {
+                console.error(error);
             }
         }
         return env.getType(node);
@@ -3430,6 +3465,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkStringInterpolation(node) {
+        yield* semantic_rules_1.ExtraSemanticRules.rejectFileTypes(node, env, error);
         if (node.expressions?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.expressions, function* (node) {
                 yield* checkNode(node);
@@ -3463,6 +3499,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkNewList(node) {
+        yield* semantic_rules_1.ExtraSemanticRules.rejectFileTypes(node, env, error);
         // 匿名函数返回值有可能是newList，需要过滤。代码来源：AnonymousFunction.__ts
         const grandParent = node.parentNode?.parentNode?.parentNode;
         if (isEntityUpdate(grandParent)) {
@@ -3482,13 +3519,33 @@ function createErrorDiagnoser(context) {
                 });
             }
         }
-        return env.getType(node);
+        const ty = env.getType(node);
+        function isConcreteTy(ty) {
+            if (ty.typeKind === 'generic') {
+                return !!ty.typeArguments?.every(x => isConcreteTy(x));
+            }
+            else if (ty.typeKind === 'primitive') {
+                return ty !== type_manager_1.naslAnyTy;
+            }
+            return true;
+        }
+        if (!ty || !isConcreteTy(ty)) {
+            const p = node.parentNode;
+            if (p && p.name === 'dataSourceWatch' && (0, asserts_1.isBindAttribute)(p)) {
+                // 🐮
+            }
+            else {
+                error(node, `NewList 无法推导类型，请添加手动类型标注或添加元素`);
+            }
+        }
+        return ty;
     }
     /**
      * 检查 Map 构造器
      * @param node
      */
     function* checkNewMap(node) {
+        yield* semantic_rules_1.ExtraSemanticRules.rejectFileTypes(node, env, error);
         if (node.keys?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.keys, function* (node) {
                 yield* checkNode(node);
@@ -3520,6 +3577,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkNewComposite(node) {
+        yield* semantic_rules_1.ExtraSemanticRules.rejectFileTypes(node, env, error);
         const type = env.getType(node);
         if (node.properties?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.properties, function* (property, index) {
@@ -3555,6 +3613,9 @@ function createErrorDiagnoser(context) {
         }
         return type;
     }
+    function checkNewRegex(node) {
+        return env.getType(node);
+    }
     /**
      * 检查 赋值语句
      * @param node
@@ -3856,6 +3917,12 @@ function createErrorDiagnoser(context) {
                 env.addDiagnosticsFor(e.message, node);
             });
         }
+        else {
+            // 无错误时，需要手动根据 codeSourceMap oqlSyntaxError 报错
+            if (node.codeSourceMap?.oqlSyntaxError) {
+                error(node, `SQL查询：语句可能有异常。`);
+            }
+        }
         return env.getType(node);
     }
     /**
@@ -3884,6 +3951,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkBinaryExpression(node) {
+        yield* semantic_rules_1.ExtraSemanticRules.rejectFileTypes(node, env, error);
         if (ensureNodeKeyExists(node, 'left')) {
             yield* checkNode(node.left);
         }
@@ -4267,6 +4335,8 @@ function createErrorDiagnoser(context) {
                     return yield* checkNewMap(node);
                 case 'NewComposite':
                     return yield* checkNewComposite(node);
+                case 'NewRegex':
+                    return checkNewRegex(node);
                 case 'Assignment':
                     return yield* checkAssignment(node);
                 case 'BatchAssignment':
@@ -4447,7 +4517,7 @@ function createErrorDiagnoser(context) {
     function getAllDiagnostics() {
         return diagnosticMap;
     }
-    function getDebugDiagnostics() {
+    function getDebugDiagnostics(normalize = false) {
         const diagMap = getAllDiagnostics();
         const flattenedDiags = [];
         diagMap.forEach((item) => {
@@ -4456,11 +4526,12 @@ function createErrorDiagnoser(context) {
                     if (!x.message || !x.severity) {
                         return [];
                     }
+                    const msg = normalize ? (0, lodash_1.sortBy)(x.message).join('') : x.message;
                     return [{
-                            message: x.message,
+                            message: msg,
                             severity: x.severity,
                             nodePath: node.nodePath,
-                            nodeConcept: node.concept,
+                            nodeConcept: node.concept
                         }];
                 });
             })));