@lcap/nasl-language-server-core 4.4.0-beta.17 → 4.4.0-beta.19

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,EAC4C,QAAQ,EAC5B,IAAI,EAQ+E,GAAG,EAMxH,QAAQ,EAGT,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;AAWpE,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;AAkPF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCA0kKpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BA4Df,UAAU;2BAyBb,UAAU;;iDAlwFY,GAAG,KAAG,IAAI;;iBA6wFjD,MAAM;kBACL,MAAM;kBACN,MAAM;qBACH,MAAM;;kBA3lKF,UAAU,WAAW,MAAM,YAAY,YAAY;sCAm1D/B,IAAI,GAAG,QAAQ;2CA2yGxC,UAAU,gBACV,CAAC,YAAY,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,KAAK,IAAI,gBAC/C,CAAC,GAAG,EAAE,UAAU,KAAK,OAAO,qBACvB,MAAM,EAAE,oBACT,CAAC,YAAY,EAAE,UAAU,KAAK,UAAU,EAAE,KAC3D,kBAAkB,GAAG,IAAI;EAwF7B;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,EAC4C,QAAQ,EAC5B,IAAI,EAQ+E,GAAG,EAMxH,QAAQ,EAGT,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;AAYpE,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;AAkPF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCAypKpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BA4Df,UAAU;2BAyBb,UAAU;;iDA9wFY,GAAG,KAAG,IAAI;;iBAyxFjD,MAAM;kBACL,MAAM;kBACN,MAAM;qBACH,MAAM;;kBA1qKF,UAAU,WAAW,MAAM,YAAY,YAAY;sCAu3D/B,IAAI,GAAG,QAAQ;2CAs1GxC,UAAU,gBACV,CAAC,YAAY,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,KAAK,IAAI,gBAC/C,CAAC,GAAG,EAAE,UAAU,KAAK,OAAO,qBACvB,MAAM,EAAE,oBACT,CAAC,YAAY,EAAE,UAAU,KAAK,UAAU,EAAE,KAC3D,kBAAkB,GAAG,IAAI;EAwF7B;AAqED,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

@@ -14,6 +14,7 @@ const lodash_1 = require("lodash");
 const asserts_1 = require("@lcap/nasl-concepts/asserts");
 const helper_1 = require("./typer/helper");
 const semantic_rules_1 = require("./semantic-rules");
+const view_element_field_attrs_1 = require("@lcap/nasl-concepts/view-element-field-attrs");
 const regeExp = new nasl_utils_1.ExpressionLexer();
 regeExp.profile = nasl_utils_1.profiles.js;
 var Severity;
@@ -775,6 +776,31 @@ function createErrorDiagnoser(context) {
         }
         return false;
     }
+    /**
+     * 获取 ViewElement 的数据源类型（T 或 T1）
+     * 参考 util.js 中的 getDataTypeOfViewElement 实现
+     */
+    function getDataSourceTypeAnnotation(viewElement) {
+        // 向上查找定义了数据源类型的祖先组件
+        let currentNode = viewElement;
+        let depth = 0;
+        const maxSearchDepth = 5;
+        while (currentNode?.concept === 'ViewElement' && depth <= maxSearchDepth) {
+            // 使用 __ViewElementTV 获取类型，与 IDE 前端 getDataTypeOfViewElement 保持一致
+            if (currentNode.__TypeAnnotation && currentNode.__ViewElementTV?.length) {
+                // 先查找 T1（动态列），若无再查找 T（普通数据源组件）
+                const t1 = currentNode.__ViewElementTV.find((x) => x.rawName === 'T1');
+                if (t1?.renamed)
+                    return t1.renamed;
+                const t = currentNode.__ViewElementTV.find((x) => x.rawName === 'T');
+                if (t?.renamed)
+                    return t.renamed;
+            }
+            currentNode = currentNode.parentNode;
+            depth++;
+        }
+        return undefined;
+    }
     /**
      * 是否在赋值左侧
      * @param node
@@ -1252,6 +1278,11 @@ function createErrorDiagnoser(context) {
                 });
             }
         }
+        if (node.interfaces?.length) {
+            yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.interfaces, function* (node) {
+                yield* checkNode(node);
+            });
+        }
         yield* checkNode(node.configuration);
         if (node.type === 'sharedApp') {
             const status = getStatusOfSharedApp(node);
@@ -1838,6 +1869,9 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkEnum(node) {
+        if (!node.valueType) {
+            error(node, `枚举 ${node.name} 缺少值类型定义`);
+        }
         if (node.enumItems?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.enumItems, function* (node) {
                 yield* checkNode(node);
@@ -1973,8 +2007,10 @@ function createErrorDiagnoser(context) {
                 yield* checkNode(node);
             });
         }
-        if (ensureNodeKeyExists(node, 'originLogicName')) {
-            if (nasl_concepts_1.asserts.isApp(node.parentNode)) {
+        // 仅对内部接口（app.interfaces，由 Logic 导出）校验 originLogicName；外部接口（interfaceDependencies 等）无此字段
+        const isInternalInterface = nasl_concepts_1.asserts.isApp(node.parentNode);
+        if (isInternalInterface) {
+            if (ensureNodeKeyExists(node, 'originLogicName')) {
                 const originLogicName = node.originLogicName;
                 const ref = app.logics.find((item) => item.name === originLogicName);
                 if (!ref) {
@@ -2346,6 +2382,31 @@ function createErrorDiagnoser(context) {
         }
         yield* checkPlayground(node.playground);
         yield* checkBindExpressions(node);
+        // 检查数据源上的字段属性是否在类型上存在
+        // 判断条件：
+        // 1. 属性的 setter 是 PropertySelectSetter（从组件定义的 ViewComponentDeclaration 中获取）
+        // 2. 或者属性在 FIELD_ATTRS_BY_COMPONENT 配置中（兼容老版本组件配置）
+        if (node.type === 'string' && typeof node.value === 'string' && node.value) {
+            const viewElement = node.parentNode;
+            if (viewElement?.concept === 'ViewElement') {
+                // 优先检查组件定义中的 PropertySelectSetter
+                const isPropertySelect = env.refMgr.compDefMgr.isPropertySelectSetter(viewElement.tag, node.name);
+                // 同时兼容 FIELD_ATTRS_BY_COMPONENT 配置
+                const needsFieldCheck = isPropertySelect || (0, view_element_field_attrs_1.shouldCheckFieldExists)(viewElement.tag, node.name);
+                if (needsFieldCheck) {
+                    const dataSourceType = getDataSourceTypeAnnotation(viewElement);
+                    if (dataSourceType) {
+                        const { exists, missingField } = checkFieldExistsInType(env, dataSourceType, node.value);
+                        if (!exists && missingField) {
+                            // 优先从组件定义中获取属性标题，兜底使用硬编码配置
+                            const attrTitle = env.refMgr.compDefMgr.getPropTitle(viewElement.tag, node.name)
+                                || (0, view_element_field_attrs_1.getFieldAttrTitle)(node.name);
+                            error(node, `${attrTitle} "${missingField}" 在数据类型上不存在`);
+                        }
+                    }
+                }
+            }
+        }
         // 检查不可复制属性开启双向绑定
         if ((node.model || node.sync) && node.expression) {
             const bindExpression = node.expression;
@@ -2441,6 +2502,11 @@ function createErrorDiagnoser(context) {
             // 任务完成人为空会有一个提示信息
             error(node, `${title}为空`);
         }
+        if (Array.isArray(node.fromLogics)) {
+            yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.fromLogics, function* (node) {
+                yield* checkNode(node);
+            });
+        }
     }
     /**
      * 检查 元素指令
@@ -3781,12 +3847,18 @@ function createErrorDiagnoser(context) {
      */
     function* checkForEachStatement(node) {
         env.enterScope(node);
+        if (ensureNodeKeyExists(node, 'item')) {
+            yield* checkNode(node.item);
+        }
         if (ensureNodeKeyExists(node, 'each')) {
             yield* checkNode(node.each);
         }
         if (ensureNodeKeyExists(node, 'start')) {
             yield* checkNode(node.start);
         }
+        if (node.end) {
+            yield* checkNode(node.end);
+        }
         if (node.body?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.body, function* (node) {
                 yield* checkNode(node);
@@ -4537,6 +4609,9 @@ function createErrorDiagnoser(context) {
                 yield* checkNode(node);
             });
         }
+        else {
+            error(node, 'Join 子句的关联关系不能为空');
+        }
         if (node.joinParts?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.joinParts, function* (node) {
                 yield* checkNode(node);
@@ -5157,6 +5232,10 @@ function createErrorDiagnoser(context) {
         // TODO: checkNodeIsFileModuleInIdeWithCache 也慢，后续可以优化
         const isFileModule = fileNodes.length ? (0, file_node_cache_1.checkNodeIsFileModuleInIdeWithCache)(node) : true;
         if (isFileModule) {
+            // 增量更新时按文件逐个 checkNode，需重置闭包状态；若本文件在 Module 内，inModule 需为 true（否则不会经过 checkModule，inModule 会失效）
+            inModule = !!node.getAncestor?.('Module');
+            inPlayground = 0;
+            inAuthLogic = false;
             fileNodes.push(node);
             let diagnostics = diagnosticMap.get(node);
             if (!diagnostics) {
@@ -5373,6 +5452,64 @@ function createErrorDiagnoser(context) {
     };
 }
 exports.createErrorDiagnoser = createErrorDiagnoser;
+/**
+ * 检查字段路径是否在类型上存在
+ * 类似于 s-component-attr-form.vue 中的 findPropertyNode 功能
+ * @param env 语义环境
+ * @param dataType 数据源类型
+ * @param fieldPath 字段路径，如 "name" 或 "user.name"
+ * @returns { exists: boolean, missingField?: string } 如果字段不存在，返回第一个不存在的字段名
+ */
+function checkFieldExistsInType(env, dataType, fieldPath) {
+    if (!dataType || !fieldPath) {
+        return { exists: true }; // 没有类型信息或字段路径时，跳过检查
+    }
+    const fieldParts = fieldPath.split('.');
+    let currentType = dataType;
+    for (const fieldName of fieldParts) {
+        if (!currentType) {
+            return { exists: false, missingField: fieldName };
+        }
+        // 获取类型的 properties
+        let properties;
+        if (currentType.typeKind === 'anonymousStructure') {
+            properties = currentType.properties;
+        }
+        else if (currentType.typeKind === 'reference') {
+            // 对于引用类型，需要解析引用
+            const resolved = env.resolveRef(currentType);
+            // @ts-expect-error
+            properties = resolved?.properties;
+        }
+        else if (currentType.typeKind === 'generic' && currentType.typeName === 'List') {
+            // 对于 List<T>，检查 T 的属性
+            currentType = currentType.typeArguments?.[0];
+            if (currentType?.typeKind === 'anonymousStructure') {
+                properties = currentType.properties;
+            }
+            else if (currentType?.typeKind === 'reference') {
+                const resolved = env.resolveRef(currentType);
+                // @ts-expect-error
+                properties = resolved?.properties;
+            }
+        }
+        if (!properties) {
+            // 类型没有 properties，可能是基本类型或未解析的类型
+            // 对于未解析的类型，跳过检查
+            if ((0, type_predicate_1.isTyAnnTyParam)(currentType) || (0, type_predicate_1.isAnyTy)(currentType)) {
+                return { exists: true };
+            }
+            return { exists: false, missingField: fieldName };
+        }
+        const prop = properties.find((p) => p.name === fieldName);
+        if (!prop) {
+            return { exists: false, missingField: fieldName };
+        }
+        // 继续检查下一级
+        currentType = prop.typeAnnotation;
+    }
+    return { exists: true };
+}
 function deduplicateDiagnostics(diagnostics) {
     return (0, lodash_1.uniqWith)(diagnostics, (a, b) => a.node === b.node && a.message === b.message);
 }