@lcap/nasl-language-server-core 4.4.0-beta.18 → 4.4.0-beta.20

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;oCAslKpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BA4Df,UAAU;2BAyBb,UAAU;;iDAtwFY,GAAG,KAAG,IAAI;;iBAixFjD,MAAM;kBACL,MAAM;kBACN,MAAM;qBACH,MAAM;;kBAvmKF,UAAU,WAAW,MAAM,YAAY,YAAY;sCA21D/B,IAAI,GAAG,QAAQ;2CA+yGxC,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;oCAoqKpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BA4Df,UAAU;2BAyBb,UAAU;;iDAzxFY,GAAG,KAAG,IAAI;;iBAoyFjD,MAAM;kBACL,MAAM;kBACN,MAAM;qBACH,MAAM;;kBArrKF,UAAU,WAAW,MAAM,YAAY,YAAY;sCAu3D/B,IAAI,GAAG,QAAQ;2CAi2GxC,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
@@ -1843,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);
@@ -2353,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;
@@ -2448,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);
+            });
+        }
     }
     /**
      * 检查 元素指令
@@ -3021,8 +3080,8 @@ function createErrorDiagnoser(context) {
                         }
                     }
                     if (!isSame) {
-                        const macthed = exportInterface.concept === 'McpInterface';
-                        const key = macthed ? 'exportMcpInterface' : 'exportInterface';
+                        const matched = exportInterface.concept === 'McpInterface';
+                        const key = matched ? 'exportMcpInterface' : 'exportInterface';
                         error(node, `逻辑已变更，请确认请求类型无误后重新导出${'${event}'}`, {
                             severity: Severity.ERROR,
                             events: [
@@ -3383,17 +3442,30 @@ function createErrorDiagnoser(context) {
             for (let i = 1; i < nd.arguments.length; i++) {
                 const expr = nd.arguments[i].expression;
                 let resTy;
+                const reportArgError = (targetExpr) => {
+                    const actualTy = targetExpr ? env.getType(targetExpr) || type_manager_1.naslAnyTy : type_manager_1.naslAnyTy;
+                    error(nd.arguments[i], (0, sem_diag_1.mkIncompatibleTyErr)(env, actualTy, expectTy));
+                };
                 if (expr?.concept === 'AnonymousFunction') {
                     resTy = env.getType(expr.body);
                     if (!nasl_concepts_1.asserts.isNewComposite(expr.body)) {
-                        error(nd.arguments[i], (0, sem_diag_1.mkIncompatibleTyErr)(env, env.getType(expr) || type_manager_1.naslAnyTy, expectTy));
+                        reportArgError(expr);
                     }
                 }
                 else if (expr?.concept === 'SubLogic') {
                     resTy = env.getType(expr.returns?.[0]);
                 }
+                else if (expr?.concept === 'Identifier') {
+                    const ty = env.getType(expr);
+                    if ((0, type_predicate_1.isFuncTy)(ty)) {
+                        resTy = ty;
+                    }
+                    else {
+                        reportArgError(expr);
+                    }
+                }
                 else {
-                    error(nd.arguments[i], (0, sem_diag_1.mkIncompatibleTyErr)(env, env.getType(expr) || type_manager_1.naslAnyTy, expectTy));
+                    reportArgError(expr);
                 }
                 const byTy = resTy?.properties?.find((prop) => prop.name === 'by')?.typeAnnotation;
                 if (byTy?.typeKind === 'union') {
@@ -3788,12 +3860,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);
@@ -4544,6 +4622,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);
@@ -5384,6 +5465,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);
 }