@lcap/nasl-language-server-core 4.4.0-beta.23 → 4.4.0-beta.27

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;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;AAOF,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;oCA0rKpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BA4Df,UAAU;2BAyBb,UAAU;;iDA/xFY,GAAG,KAAG,IAAI;;iBA0yFjD,MAAM;kBACL,MAAM;kBACN,MAAM;qBACH,MAAM;;kBAzsKF,UAAU,WAAW,MAAM,YAAY,YAAY;sCAq4D/B,IAAI,GAAG,QAAQ;2CAu2GxC,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"}
+{"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;AAOF,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;AAmPF;;;GAGG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,eAAe;oCAowKpB,OAAO;sDAPW,gBAAgB,EAAE;;;;sBAhBjD,UAAU,GAAG,SAAS;;;8BA4Df,UAAU;2BAyBb,UAAU;;iDAl2FY,GAAG,KAAG,IAAI;;iBA62FjD,MAAM;kBACL,MAAM;kBACN,MAAM;qBACH,MAAM;;kBAjxKF,UAAU,WAAW,MAAM,YAAY,YAAY;sCA04D/B,IAAI,GAAG,QAAQ;2CA06GxC,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

@@ -74,6 +74,7 @@ function getExpressionNodeName(concept) {
         CallMicroserviceInterface: '微服务接口',
         CallGatewayInterface: '网关接口',
         CallEvent: '事件',
+        Destination: '页面',
     };
     return expressionNodeName[concept];
 }
@@ -269,6 +270,8 @@ function createErrorDiagnoser(context) {
     let inModule = false;
     let inPlayground = 0;
     let inAuthLogic = false;
+    let inFrontendType = false;
+    let currentFrontendKind = '';
     let dbType = '';
     let curVarCounter = 0;
     const listComponentStack = [];
@@ -895,7 +898,8 @@ function createErrorDiagnoser(context) {
             if (param?.spread) {
                 continue;
             }
-            if (!isNonRequiredParam(param)) {
+            // 严格模式非必填也需要有Argument占位
+            if (isStrictMode || !isNonRequiredParam(param)) {
                 minArgsCount++; // 如果参数有默认值，则跳过
             }
         }
@@ -1013,7 +1017,11 @@ function createErrorDiagnoser(context) {
             error(node, `预期 ${paramsLen} 个参数，但传入了 ${argsLen} 个。`);
         }
         else if (argsLen < minArgsCount) {
-            error(node, `预期 ${minArgsCount} 个参数，但传入了 ${argsLen} 个。`);
+            let msg = `传入参数的个数 ${argsLen} 与 ${getExpressionNodeName(node.concept)} 定义的参数个数 ${paramsLen} 不符。`;
+            if (isStrictMode) {
+                msg += `可选参数和默认值参数必须用 undefined 占位`;
+            }
+            error(node, msg);
         }
         yield* (0, nasl_utils_1.wrapForEachToGenerator)(args, function* (arg, index) {
             const param = params?.[index];
@@ -3353,7 +3361,7 @@ function createErrorDiagnoser(context) {
             return;
         }
         yield* checkVoidCallUsedAsStatement(node);
-        const ref = env.resolveRef(node); // 前端
+        const ref = env.resolveRef(node) ?? env.quickGetLibDef(node, node.calleeName, undefined); // 前端
         // TODO: sql 函数的 namespace 带有数据库名 nasl.sqlFunction.mysql nasl.sqlFunction.oracle ...
         // 暂时不在 gQNameDefs 里，用 isBuiltInCall 简单判断了
         if (!ref && !isBuiltInCall(node)) {
@@ -3514,6 +3522,29 @@ function createErrorDiagnoser(context) {
                 error(node, '下载组件必须为page和size指定入参,且不能重复');
             }
         }
+        const map = {
+            frontend: {
+                scope: '前端',
+                forbiddenScope: '服务端',
+                forbiddenCalleeNamesMap: {
+                    'nasl.auth': ['getCurrentUser', 'generateUserId', 'validatePassword', 'encryptPassword'],
+                },
+            },
+            backend: {
+                scope: '服务端',
+                forbiddenScope: '前端',
+                forbiddenCalleeNamespaces: ['nasl.browser', 'nasl.io'],
+                forbiddenCalleeNamesMap: {
+                    'nasl.auth': ['decryptByAES', 'encryptByAES', 'logout', 'hasAuth'],
+                    'nasl.configuration': ['getCurrentIp', 'getUserLanguage', 'getI18nList', 'setI18nLocale'],
+                },
+            },
+        };
+        const config = inFrontendType ? map.frontend : map.backend;
+        const { scope, forbiddenScope, forbiddenCalleeNamespaces, forbiddenCalleeNamesMap } = config;
+        if (forbiddenCalleeNamespaces?.includes(node.calleeNamespace) || forbiddenCalleeNamesMap?.[node.calleeNamespace]?.includes(node.calleeName)) {
+            error(node, `不能在${scope}作用域下使用${forbiddenScope}系统逻辑`);
+        }
         return env.getType(node);
     }
     /**
@@ -3973,6 +4004,36 @@ function createErrorDiagnoser(context) {
                 scopedError(node, `${node.toNaturalTS()} 枚举类不能直接使用，请取它的枚举项`);
                 return errorType;
             }
+            const map = {
+                frontend: {
+                    scope: '前端',
+                    forbiddenScope: '服务端',
+                    prefix: 'app.frontendTypes',
+                    forbiddenPrefix: 'app.backend',
+                },
+                backend: {
+                    scope: '服务端',
+                    forbiddenScope: '前端',
+                    prefix: 'app.backend',
+                    forbiddenPrefix: 'app.frontendTypes',
+                    forbiddenCalleeNamesMap: {
+                        'nasl.auth': ['userInfo']
+                    }
+                },
+            };
+            const config = inFrontendType ? map.frontend : map.backend;
+            const { scope, forbiddenScope, prefix, forbiddenPrefix, forbiddenCalleeNamesMap } = config;
+            // 互斥的端类型 (pc <-> h5)
+            const forbiddenKind = currentFrontendKind === 'pc' ? 'h5' : 'pc';
+            if (node.namespace?.startsWith(forbiddenPrefix)) {
+                error(node, `不能在${scope}作用域下使用${forbiddenScope}全局变量`);
+            }
+            else if (inFrontendType && node.namespace?.startsWith(`${prefix}.${forbiddenKind}`)) {
+                error(node, `不能在${currentFrontendKind}作用域下使用${forbiddenKind}作用域下的前端变量`);
+            }
+            if (forbiddenCalleeNamesMap?.[node.namespace]?.includes(node.name)) {
+                error(node, '不能在服务端作用域下使用前端公共变量');
+            }
             // 检查使用范围
             yield* checkScopeOfUse(node, ref);
             return env.getType(node);
@@ -5267,6 +5328,9 @@ function createErrorDiagnoser(context) {
             inModule = !!node.getAncestor?.('Module');
             inPlayground = 0;
             inAuthLogic = false;
+            const frontendType = node.getAncestor?.('FrontendType');
+            inFrontendType = !!frontendType;
+            currentFrontendKind = frontendType?.kind || '';
             fileNodes.push(node);
             let diagnostics = diagnosticMap.get(node);
             if (!diagnostics) {
@@ -5590,7 +5654,7 @@ exports.transformDiagnosticsToRecords = transformDiagnosticsToRecords;
 // @ts-expect-error
 const toRaw = (nd) => nd.__v_raw ?? nd;
 // 是否来自系统内置
-const isBuiltInCall = (nd) => !!nd.calleeNamespace?.startsWith('nasl.');
+const isBuiltInCall = (nd) => !!nd.calleeNamespace?.startsWith('nasl.') && !['nasl.auth'].includes(nd.calleeNamespace);
 // 获取依赖库名
 const getExtensionLibName = (nd) => nd.calleeNamespace?.startsWith('extensions.') ? nd.calleeNamespace.split('.')[1] : undefined;
 //# sourceMappingURL=checker.js.map