@lcap/nasl-language-server-core 3.14.0-beta.2 → 3.14.0-beta.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;AAC7B,OAAO,EACgE,cAAc,EAEpF,MAAM,qBAAqB,CAAC;AAM7B,OAAO,EAAgB,MAAM,EAAE,MAAM,SAAS,CAAC;AAE/C,oBAAY,QAAQ;IAClB,IAAI,YAAY;IAChB,KAAK,UAAU;CAChB;AAED,MAAM,WAAW,UAAU;IAEzB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAEpB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,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;AA8OF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCA4yHpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAdjD,UAAU,GAAG,SAAS;;;6BAoChB,UAAU;2BAsBZ,UAAU;kBAlzHnB,UAAU,WAAW,MAAM,YAAY,YAAY;EAk0HzE;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"}
+{"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;AAC7B,OAAO,EACgE,cAAc,EAEpF,MAAM,qBAAqB,CAAC;AAM7B,OAAO,EAAgC,MAAM,EAAE,MAAM,SAAS,CAAC;AAE/D,oBAAY,QAAQ;IAClB,IAAI,YAAY;IAChB,KAAK,UAAU;CAChB;AAED,MAAM,WAAW,UAAU;IAEzB,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAEpB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,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;oCAo3HpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAfjD,UAAU,GAAG,SAAS;;;6BAqChB,UAAU;2BAsBZ,UAAU;kBAz3HnB,UAAU,WAAW,MAAM,YAAY,YAAY;EAy4HzE;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"}

package/out/checker.js

@@ -38,6 +38,21 @@ function isControlFlowNode(node) {
 function isCallExpression(node) {
     return nasl_concepts_1.asserts.isCallFunction(node) || nasl_concepts_1.asserts.isCallInterface(node) || nasl_concepts_1.asserts.isCallLogic(node) || nasl_concepts_1.asserts.isCallConnector(node) || nasl_concepts_1.asserts.isCallEvent(node);
 }
+// fast cheap unsafe checks
+// 不判断空指针让它更快
+const isCallFunction = (node) => node.concept === 'CallFunction';
+const isCallLogic = (node) => node.concept === 'CallLogic' || node.concept === 'CallConnector';
+const isCallInterface = (node) => node.concept === 'CallInterface' || node.concept === 'CallMicroserviceInterface' || node.concept === 'CallAuthInterface';
+const isCallAuthInterface = (node) => node.concept === 'CallAuthInterface';
+const isCallConnector = (node) => node.concept === 'CallConnector';
+const isCallEvent = (node) => node.concept === 'CallEvent';
+// order matters as for speed
+const fastIsCallExpression = (node) => isCallLogic(node) || isCallFunction(node) || isCallEvent(node) || isCallInterface(node) || isCallAuthInterface(node) || isCallConnector(node);
+const isEnd = (node) => node.concept === 'End';
+const isAbort = (node) => node.concept === 'Abort';
+const isBreak = (node) => node.concept === 'Break';
+const isContinue = (node) => node.concept === 'Continue';
+const fastIsControlFlowNode = (node) => isEnd(node) || isAbort(node) || isBreak(node) || isContinue(node);
 function getExpressionNodeName(concept) {
     const expressionNodeName = {
         CallFunction: '内置函数',
@@ -250,8 +265,9 @@ function createErrorDiagnoser(context) {
     const diagnosticMap = new Map();
     // 文件级别节点
     const fileNodes = [];
-    let inPlayground = false;
+    let inPlayground = 0;
     let inAuthLogic = false;
+    let dbType = '';
     let curVarCounter = 0;
     /**
      * 获取当前文件节点
@@ -276,7 +292,7 @@ function createErrorDiagnoser(context) {
         if (diagnostics) {
             const diagnostic = {
                 message,
-                severity: inPlayground ? Severity.WARN : severity ?? Severity.ERROR,
+                severity: inPlayground > 0 ? Severity.WARN : severity ?? Severity.ERROR,
                 ...others,
             };
             if (isDebug) {
@@ -702,18 +718,18 @@ function createErrorDiagnoser(context) {
             error(node, `预期 ${minArgsCount} 个参数，但传入了 ${argsLen} 个。`);
         }
         yield* (0, nasl_utils_1.wrapForEachToGenerator)(args, function* (arg, index) {
-            arg.paramRequired = true;
             const param = params?.[index];
-            if ((hasSpreadParam && index > spreadParamIndex) || isNonRequiredParam(param)) {
-                arg.paramRequired = false;
-            }
+            const isParamRequired = !(hasSpreadParam && index > spreadParamIndex) && !isNonRequiredParam(param);
+            arg.paramRequired = isParamRequired;
+            if (!param)
+                return;
             const paramType = (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 || [];
-                if (argTypeArgs?.length !== paramTypeArgs?.length) {
-                    error(node, `高阶函数: 参数个数不匹配，期望 ${paramTypeArgs.length} 个, 实际传入 ${argTypeArgs?.length || 0} 个!`);
+                if (argTypeArgs.length !== paramTypeArgs.length) {
+                    error(node, `高阶函数: 参数个数不匹配，期望 ${paramTypeArgs.length} 个, 实际传入 ${argTypeArgs.length} 个!`);
                 }
             }
         });
@@ -781,11 +797,11 @@ function createErrorDiagnoser(context) {
      */
     function* checkPlayground(playground) {
         if (playground?.length) {
-            inPlayground = true;
+            inPlayground++;
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(playground, function* (node) {
                 yield* checkNode(node);
             });
-            inPlayground = false;
+            inPlayground--;
         }
     }
     /**
@@ -1178,6 +1194,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkDataSource(node) {
+        dbType = node.dataSourceSqlType;
         if (node.entities?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.entities, function* (node) {
                 yield* checkNode(node);
@@ -1230,6 +1247,7 @@ function createErrorDiagnoser(context) {
         if (duplidateEntities.length) {
             error(node, `数据源${node.name}存在重名实体：${duplidateEntities.join(', ')}`);
         }
+        dbType = '';
     }
     /**
      * 检查 实体
@@ -1254,6 +1272,69 @@ function createErrorDiagnoser(context) {
             error(node, '共享范围为指定应用时，必须指定共享应用');
         }
     }
+    function getCurrentDataBaseType(node) {
+        if (node.databaseTypeAnnotation) {
+            const databaseTypeMap = node.dataBaseTypeMap || {};
+            const { typeName } = node.databaseTypeAnnotation;
+            return databaseTypeMap[typeName];
+        }
+        const { typeName } = node.typeAnnotation;
+        if (typeName === 'String') {
+            const defaultDataBaseName = getInferredDefaultDataBaseName(node);
+            if (defaultDataBaseName && defaultDataBaseName !== node.defaultDataBaseType?.type) {
+                return {
+                    ...(node.dataBaseTypeMap?.[defaultDataBaseName] ?? {}),
+                };
+            }
+        }
+        return node.defaultDataBaseType;
+    }
+    function getInferredDefaultDataBaseName(ndoe) {
+        let defaultDataBaseName;
+        const { typeName } = ndoe.typeAnnotation;
+        if (typeName === 'String') {
+            const dataSourceSqlType = dbType;
+            let maxLength;
+            const { rules } = ndoe;
+            if (Array.isArray(rules)) {
+                // 是否需要更新规则
+                rules.forEach((rule) => {
+                    const match = rule.match(/^([^()]+)\(([\d\-.]+)\)$/);
+                    if (match) {
+                        const [, key, value] = match;
+                        if (key === 'maxLength') {
+                            maxLength = value;
+                        }
+                    }
+                });
+            }
+            // 不同数据库 最大长度 短、中、长 对应的默认储存类型
+            const sqlMap = {
+                mysql: {
+                    255: 'varchar',
+                    4000: 'text',
+                    16777215: 'mediumtext',
+                },
+                oracle: {
+                    255: 'varchar2',
+                    4000: 'clob',
+                    16777215: 'clob',
+                },
+                dameng: {
+                    255: 'varchar2',
+                    4000: 'text',
+                    16777215: 'text',
+                },
+                db2: {
+                    255: 'varchar',
+                    4000: 'clob',
+                    16777215: 'clob',
+                },
+            };
+            defaultDataBaseName = sqlMap?.[dataSourceSqlType]?.[maxLength];
+        }
+        return defaultDataBaseName;
+    }
     /**
      * 检查 实体属性
      * @param node
@@ -1262,7 +1343,6 @@ function createErrorDiagnoser(context) {
         yield* checkNode(node.defaultValue);
         yield* checkNode(node.typeAnnotation);
         const entity = node.getAncestor('Entity');
-        const dbType = entity.dataSource.dataSourceSqlType;
         const { origin } = entity || {};
         if (dbType && !['excel', 'table'].includes(origin)) {
             const { typeAnnotation, databaseTypeAnnotation, rules } = node;
@@ -1277,7 +1357,7 @@ function createErrorDiagnoser(context) {
                 });
             }
             let message = '';
-            const dataBaseTyp = node.currentDataBaseType;
+            const dataBaseTyp = getCurrentDataBaseType(node);
             if (!dataBaseTyp && databaseTypeAnnotation) {
                 const { typeName: databaseTypeName } = databaseTypeAnnotation;
                 const errorMsg = `平台目前暂不支持${dbType}数据库的${databaseTypeName}存储类型`;
@@ -1822,6 +1902,10 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkViewElement(node) {
+        // lcap-login 组件需要完全不做任何检查，不报任何错误。里面一大堆脏数据。
+        if (node.tag === 'lcap-login') {
+            return;
+        }
         const shouldProvideCurrentCtx = !!(node.slotScope);
         let unbindVariables;
         if (shouldProvideCurrentCtx) {
@@ -1875,10 +1959,9 @@ function createErrorDiagnoser(context) {
         const isTempWarningMode = node.parentNode?.concept === 'ViewElement' &&
             node.parentNode?.tag === 'u-table-view-expander';
         if (isTempWarningMode) {
-            const oldInPlayground = inPlayground;
-            inPlayground = true;
+            inPlayground++;
             yield* checkNode(node.expression);
-            inPlayground = oldInPlayground;
+            inPlayground--;
         }
         else {
             yield* checkNode(node.expression);
@@ -2575,7 +2658,7 @@ function createErrorDiagnoser(context) {
             return;
         }
         const ref = env.resolvedCallTypeBindings.get(node) ?? env.resolveRef(node);
-        if (ref) {
+        if (ref && !(0, typer_1.isUnResolvedTy)(ref)) {
             // 检查使用范围
             yield* checkScopeOfUse(node, ref);
             yield* checkCallExpressionParameters(node, ref);
@@ -2910,7 +2993,7 @@ function createErrorDiagnoser(context) {
      * @param node
      */
     function* checkMatchCase(node) {
-        const match = node.getAncestor('Match');
+        const match = toRaw(node.getAncestor('Match'));
         if (node.patterns?.length) {
             yield* (0, nasl_utils_1.wrapForEachToGenerator)(node.patterns, function* (node) {
                 yield* checkNode(node);
@@ -2923,7 +3006,7 @@ function createErrorDiagnoser(context) {
                 // 先使用ts原始的报错，这个先注释掉
                 if (nasl_concepts_1.asserts.isTypeAnnotation(node) && matchExpressionType?.typeKind === 'union') {
                     (0, service_1.transformUnionTypeAnnotation)(matchExpressionType, match?.app);
-                    const haveType = matchExpressionType?.typeArguments.find((item) => item.sortedTypeKey === node.sortedTypeKey);
+                    const haveType = !!matchExpressionType?.typeArguments?.some(item => env.isEq(item, node));
                     if (!haveType) {
                         message = '匹配：选择类型不存在';
                         titleTip = '该类型已被删除';
@@ -3729,12 +3812,8 @@ function createErrorDiagnoser(context) {
     }
     function* dispatchNode(node) {
         try {
-            // 控制流节点
-            if (isControlFlowNode(node)) {
-                return yield* checkControlFlowNode(node);
-            }
             // 调用表达式
-            if (isCallExpression(node)) {
+            if (fastIsCallExpression(node)) {
                 return yield* checkCallExpression(node);
             }
             const { concept } = node;
@@ -3954,9 +4033,13 @@ function createErrorDiagnoser(context) {
                 case 'Start':
                     return;
                 case 'SqlQueryComponent':
-                    return;
+                    return env.getType(node);
                 default:
-                    console.log(node);
+                // isDebugMode && console.log(node);
+            }
+            // 控制流节点，低频或没啥人用的东西放后面判断
+            if (fastIsControlFlowNode(node)) {
+                return yield* checkControlFlowNode(node);
             }
         }
         catch (err) {
@@ -3969,6 +4052,7 @@ function createErrorDiagnoser(context) {
      * @returns 清理函数
      */
     function handleFileNode(node) {
+        // TODO: checkNodeIsFileModuleInIde 也慢，后续可以优化
         const isFileModule = fileNodes.length ? (0, service_1.checkNodeIsFileModuleInIde)(node) : true;
         if (isFileModule) {
             fileNodes.push(node);
@@ -3988,7 +4072,8 @@ function createErrorDiagnoser(context) {
      * @returns
      */
     function* checkNode(node) {
-        if (!nasl_concepts_1.asserts.isBaseNode(node)) {
+        // fast weak basenode check
+        if (!node || !node.concept) {
             return;
         }
         const cleanup = handleFileNode(node);
@@ -4096,4 +4181,6 @@ const transformDiagnosticsToRecords = (fileNode, diagnostics) => {
     return records;
 };
 exports.transformDiagnosticsToRecords = transformDiagnosticsToRecords;
+// @ts-expect-error
+const toRaw = (nd) => nd.__v_raw ?? nd;
 //# sourceMappingURL=checker.js.map