@lcap/nasl-language-server-core 4.0.0-rc.3 → 4.0.0-rc.4

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;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;oCAwiIpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BAsCf,UAAU;2BAuBb,UAAU;;kBAthInB,UAAU,WAAW,MAAM,YAAY,YAAY;EAwiIzE;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,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;AAiQF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCAglIpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BA4Df,UAAU;2BAuBb,UAAU;;kBAplInB,UAAU,WAAW,MAAM,YAAY,YAAY;EAsmIzE;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

@@ -803,7 +803,7 @@ function createErrorDiagnoser(context) {
     /**
      * 检查 调用表达式的参数
      * @param node
-     * @param ref
+     *( @param r) as anyef
      */
     function* checkCallExpressionParameters(node, ref) {
         // Handle both TypeAnnotation and FunctionDefinition formats
@@ -927,12 +927,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;
@@ -1867,6 +1866,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) {
@@ -1997,6 +1997,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?.();
     }
     /**
@@ -2433,7 +2448,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') {
@@ -2461,6 +2476,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) {
@@ -2641,6 +2660,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) {
@@ -2731,30 +2753,27 @@ function createErrorDiagnoser(context) {
             return;
         }
         yield* checkVoidCallUsedAsStatement(node);
-        const ref = env.resolvedCallInfo.get(node) ?? env.resolveRef(node);
-        const typeUnresolved = ref.ret
-            ? (0, type_manager_1.hasUnresolvedTyInCallInfo)(ref) // 其他
-            : (0, type_predicate_1.isUnResolvedTy)(ref); // 前端页面，TODO： 需要统一处理
-        // Handle the new FunctionDefinition structure
-        if (ref?.params && !typeUnresolved) {
-            // It's a FunctionDefinition object
-            yield* checkScopeOfUse(node, ref);
-            yield* checkCallExpressionParameters(node, ref);
-        }
-        else if (ref && !typeUnresolved) {
-            // 检查使用范围
-            yield* checkScopeOfUse(node, ref);
-            yield* checkCallExpressionParameters(node, ref);
-        }
-        else {
-            if (ref.depLibName) {
-                error(node, `找不到依赖库 ${ref.depLibName} 上的 ${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);
@@ -3127,18 +3146,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;
         }
     }
     /**
@@ -3285,7 +3315,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);
@@ -3437,7 +3467,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}。`);
                 }
             });
         }
@@ -4253,6 +4283,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
@@ -4344,4 +4394,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