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

package/out/index.d.ts

@@ -1,7 +1,7 @@
 export * from './module';
 export * from './symbol';
 export { dispatchAsyncDef, firstScreenCheckAndCompare, traverseListAndCompareType } from './typer/dispatch-all';
-export { printConstraints, printType, showType, printTySubst, TypingEnv, SemEnv, dispatchDef, parseTsFnToNaslQNameRefMaps, topoSortLogicAndSetTypes, findErrMutRecFns, createRefTyAnnFromDef, isEqualTy, divideBy } from './typer/index';
+export { printConstraints, printType, showType, printTySubst, TypingEnv, SemEnv, dispatchDef, parseTsFnToNaslQNameRefMaps, topoSortLogicAndSetTypes, findErrMutRecFns, createRefTyAnnFromDef, isEqualTy, divideBy, isUnResolvedTy, isResolvedUserTy } from './typer/index';
 export * from './typer/incremental-update';
 export * from './reference-manager/reference-manager';
 export * as checker from './checker';

package/out/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,OAAO,EAAE,gBAAgB,EAAE,0BAA0B,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAEhH,OAAO,EAAE,gBAAgB,EACrB,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,MAAM,EACN,WAAW,EACX,2BAA2B,EAC3B,wBAAwB,EACxB,gBAAgB,EAChB,qBAAqB,EACrB,SAAS,EACT,QAAQ,EACX,MAAM,eAAe,CAAC;AAEvB,cAAc,4BAA4B,CAAC;AAE3C,cAAc,uCAAuC,CAAC;AAEtD,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AAErC,cAAc,qBAAqB,CAAC;AAEpC,cAAc,yBAAyB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,OAAO,EAAE,gBAAgB,EAAE,0BAA0B,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAEhH,OAAO,EAAE,gBAAgB,EACrB,SAAS,EACT,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,MAAM,EACN,WAAW,EACX,2BAA2B,EAC3B,wBAAwB,EACxB,gBAAgB,EAChB,qBAAqB,EACrB,SAAS,EACT,QAAQ,EACR,cAAc,EACd,gBAAgB,EACnB,MAAM,eAAe,CAAC;AAEvB,cAAc,4BAA4B,CAAC;AAE3C,cAAc,uCAAuC,CAAC;AAEtD,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AAErC,cAAc,qBAAqB,CAAC;AAEpC,cAAc,yBAAyB,CAAC"}

package/out/index.js

@@ -26,7 +26,7 @@ var __importStar = (this && this.__importStar) || function (mod) {
     return result;
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.checker = exports.divideBy = exports.isEqualTy = exports.createRefTyAnnFromDef = exports.findErrMutRecFns = exports.topoSortLogicAndSetTypes = exports.parseTsFnToNaslQNameRefMaps = exports.dispatchDef = exports.SemEnv = exports.printTySubst = exports.showType = exports.printType = exports.printConstraints = exports.traverseListAndCompareType = exports.firstScreenCheckAndCompare = exports.dispatchAsyncDef = void 0;
+exports.checker = exports.isResolvedUserTy = exports.isUnResolvedTy = exports.divideBy = exports.isEqualTy = exports.createRefTyAnnFromDef = exports.findErrMutRecFns = exports.topoSortLogicAndSetTypes = exports.parseTsFnToNaslQNameRefMaps = exports.dispatchDef = exports.SemEnv = exports.printTySubst = exports.showType = exports.printType = exports.printConstraints = exports.traverseListAndCompareType = exports.firstScreenCheckAndCompare = exports.dispatchAsyncDef = void 0;
 __exportStar(require("./module"), exports);
 __exportStar(require("./symbol"), exports);
 var dispatch_all_1 = require("./typer/dispatch-all");
@@ -46,6 +46,8 @@ Object.defineProperty(exports, "findErrMutRecFns", { enumerable: true, get: func
 Object.defineProperty(exports, "createRefTyAnnFromDef", { enumerable: true, get: function () { return index_1.createRefTyAnnFromDef; } });
 Object.defineProperty(exports, "isEqualTy", { enumerable: true, get: function () { return index_1.isEqualTy; } });
 Object.defineProperty(exports, "divideBy", { enumerable: true, get: function () { return index_1.divideBy; } });
+Object.defineProperty(exports, "isUnResolvedTy", { enumerable: true, get: function () { return index_1.isUnResolvedTy; } });
+Object.defineProperty(exports, "isResolvedUserTy", { enumerable: true, get: function () { return index_1.isResolvedUserTy; } });
 __exportStar(require("./typer/incremental-update"), exports);
 __exportStar(require("./reference-manager/reference-manager"), exports);
 exports.checker = __importStar(require("./checker"));

package/out/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,2CAAyB;AACzB,2CAAyB;AACzB,qDAAgH;AAAvG,gHAAA,gBAAgB,OAAA;AAAE,0HAAA,0BAA0B,OAAA;AAAE,0HAAA,0BAA0B,OAAA;AAEjF,uCAauB;AAbd,yGAAA,gBAAgB,OAAA;AACrB,kGAAA,SAAS,OAAA;AACT,iGAAA,QAAQ,OAAA;AACR,qGAAA,YAAY,OAAA;AAEZ,+FAAA,MAAM,OAAA;AACN,oGAAA,WAAW,OAAA;AACX,oHAAA,2BAA2B,OAAA;AAC3B,iHAAA,wBAAwB,OAAA;AACxB,yGAAA,gBAAgB,OAAA;AAChB,8GAAA,qBAAqB,OAAA;AACrB,kGAAA,SAAS,OAAA;AACT,iGAAA,QAAQ,OAAA;AAGZ,6DAA2C;AAE3C,wEAAsD;AAEtD,qDAAqC;AAErC,sDAAoC;AAEpC,0DAAwC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAAA,2CAAyB;AACzB,2CAAyB;AACzB,qDAAgH;AAAvG,gHAAA,gBAAgB,OAAA;AAAE,0HAAA,0BAA0B,OAAA;AAAE,0HAAA,0BAA0B,OAAA;AAEjF,uCAeuB;AAfd,yGAAA,gBAAgB,OAAA;AACrB,kGAAA,SAAS,OAAA;AACT,iGAAA,QAAQ,OAAA;AACR,qGAAA,YAAY,OAAA;AAEZ,+FAAA,MAAM,OAAA;AACN,oGAAA,WAAW,OAAA;AACX,oHAAA,2BAA2B,OAAA;AAC3B,iHAAA,wBAAwB,OAAA;AACxB,yGAAA,gBAAgB,OAAA;AAChB,8GAAA,qBAAqB,OAAA;AACrB,kGAAA,SAAS,OAAA;AACT,iGAAA,QAAQ,OAAA;AACR,uGAAA,cAAc,OAAA;AACd,yGAAA,gBAAgB,OAAA;AAGpB,6DAA2C;AAE3C,wEAAsD;AAEtD,qDAAqC;AAErC,sDAAoC;AAEpC,0DAAwC"}

package/out/reference-manager/builtin-q-name.d.ts

@@ -1,7 +1,14 @@
-import { Module } from '@lcap/nasl-concepts';
+import { Module, Logic } from '@lcap/nasl-concepts';
 import { DefConcept } from './reference-manager';
 import { SemEnv } from '../typer';
 export declare function collectBuiltInStructsAndLogics(env: SemEnv, fileContent: string, nsp: string): void;
 export declare function collectProcessLibStructsAndLogics(qNameDefs: Map<string, DefConcept>, m: Module): void;
 export declare function collectAllNaslNameSpace(m: Map<string, DefConcept>): void;
+export declare const buildBuiltinTypeQNameDefs: (qNameDefs: Map<string, DefConcept>) => void;
+/**
+ * 为重载函数生成一份默认定义，方便排除报错 找不到xxx函数
+ * 'Convert', 'Length', 'CAST', 'MAX', 'MIN', 'SUM', 'LAST_DAY', 'ADD_MONTHS'
+ * @warning 'nasl.sqlFunction' 这个路径是不对的，真实的路径是 'nasl.sqlFunction.mysql' 等带数据库名的，但是一般用不到它
+ */
+export declare const createDefaultOverloadedFnDef: (fnName: string, nsp: 'nasl.util' | 'nasl.sqlFunction') => Logic;
 //# sourceMappingURL=builtin-q-name.d.ts.map

package/out/reference-manager/builtin-q-name.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"builtin-q-name.d.ts","sourceRoot":"","sources":["../../src/reference-manager/builtin-q-name.ts"],"names":[],"mappings":"AAGA,OAAO,EAAgD,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAG3F,OAAO,EAAE,UAAU,EAAyB,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,MAAM,EAA4B,MAAM,UAAU,CAAC;AAK5D,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAiClG;AAGD,wBAAgB,iCAAiC,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC,EAAE,MAAM,QAE9F;AAED,wBAAgB,uBAAuB,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,QA2C/D"}
+{"version":3,"file":"builtin-q-name.d.ts","sourceRoot":"","sources":["../../src/reference-manager/builtin-q-name.ts"],"names":[],"mappings":"AAGA,OAAO,EAAgD,MAAM,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAGlG,OAAO,EAAE,UAAU,EAAyB,MAAM,qBAAqB,CAAC;AACxE,OAAO,EAAE,MAAM,EAA2C,MAAM,UAAU,CAAC;AAK3E,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAiClG;AAGD,wBAAgB,iCAAiC,CAAC,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC,EAAE,MAAM,QAE9F;AAED,wBAAgB,uBAAuB,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,QA2C/D;AAEH,eAAO,MAAM,yBAAyB,cAAe,IAAI,MAAM,EAAE,UAAU,CAAC,SAmC3E,CAAA;AAGD;;;;GAIG;AACH,eAAO,MAAM,4BAA4B,WAAY,MAAM,OAAO,WAAW,GAAG,kBAAkB,UAejG,CAAA"}

package/out/reference-manager/builtin-q-name.js

@@ -4,7 +4,7 @@ var __importDefault = (this && this.__importDefault) || function (mod) {
     return (mod && mod.__esModule) ? mod : { "default": mod };
 };
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.collectAllNaslNameSpace = exports.collectProcessLibStructsAndLogics = exports.collectBuiltInStructsAndLogics = void 0;
+exports.createDefaultOverloadedFnDef = exports.buildBuiltinTypeQNameDefs = exports.collectAllNaslNameSpace = exports.collectProcessLibStructsAndLogics = exports.collectBuiltInStructsAndLogics = void 0;
 const nasl_concepts_1 = require("@lcap/nasl-concepts");
 const parseTsClassType_1 = require("../utils/parseTsClassType");
 const typescript_1 = __importDefault(require("typescript"));
@@ -88,4 +88,58 @@ function collectAllNaslNameSpace(m) {
     }));
 }
 exports.collectAllNaslNameSpace = collectAllNaslNameSpace;
+const buildBuiltinTypeQNameDefs = (qNameDefs) => {
+    const createNaslPrimTyDef = (name) => nasl_concepts_1.Structure.createProtoTypeOnly({ name, properties: [] });
+    ['Boolean', 'String', 'Long', 'Decimal', 'Date', 'DateTime', 'Time', 'Binary', 'Null', 'any', 'void'].forEach(str => {
+        const def = createNaslPrimTyDef(str);
+        if (def.name === 'String') {
+            def.properties.push(nasl_concepts_1.StructureProperty.createProtoTypeOnly({
+                name: 'length',
+                typeAnnotation: typer_1.naslLongTy
+            }));
+        }
+        // type namespace is nasl.core
+        qNameDefs.set(`nasl.core.${str}`, def);
+    });
+    const createNaslGenericTyDef = (name) => nasl_concepts_1.Structure.createProtoTypeOnly({
+        name,
+        properties: [nasl_concepts_1.StructureProperty.createProtoTypeOnly({ name: 'length', typeAnnotation: typer_1.naslLongTy })],
+    });
+    ['Map', 'List'].forEach(str => {
+        const def = createNaslGenericTyDef(str);
+        if (str === 'List') {
+            def.typeParams = [(0, typer_1.createTyParam)('T')];
+        }
+        else if (str === 'Map') {
+            def.typeParams = [(0, typer_1.createTyParam)('K'), (0, typer_1.createTyParam)('V')];
+        }
+        // type namespace is nasl.collection
+        qNameDefs.set(`nasl.collection.${str}`, def);
+    });
+    // Current<T>
+    collectAllNaslNameSpace(qNameDefs);
+};
+exports.buildBuiltinTypeQNameDefs = buildBuiltinTypeQNameDefs;
+/**
+ * 为重载函数生成一份默认定义，方便排除报错 找不到xxx函数
+ * 'Convert', 'Length', 'CAST', 'MAX', 'MIN', 'SUM', 'LAST_DAY', 'ADD_MONTHS'
+ * @warning 'nasl.sqlFunction' 这个路径是不对的，真实的路径是 'nasl.sqlFunction.mysql' 等带数据库名的，但是一般用不到它
+ */
+const createDefaultOverloadedFnDef = (fnName, nsp) => {
+    const lgc = nasl_concepts_1.Logic.createProtoTypeOnly({
+        name: `${nsp}.${fnName}`,
+        body: [],
+        variables: [],
+        returns: [],
+        params: [],
+        virtualParams: [],
+        typeParams: [],
+        playground: []
+    });
+    // Override the getNamespace method to return our namespace
+    // This will make calleewholeKey getter work properly
+    lgc.getNamespace = () => nsp || '';
+    return lgc;
+};
+exports.createDefaultOverloadedFnDef = createDefaultOverloadedFnDef;
 //# sourceMappingURL=builtin-q-name.js.map

package/out/reference-manager/builtin-q-name.js.map

@@ -1 +1 @@
-{"version":3,"file":"builtin-q-name.js","sourceRoot":"","sources":["../../src/reference-manager/builtin-q-name.ts"],"names":[],"mappings":";AAAA,mEAAmE;;;;;;AAGnE,uDAA2F;AAC3F,gEAAiF;AACjF,4DAA4B;AAC5B,2DAAwE;AACxE,oCAA4D;AAC5D,qDAA4D;AAG5D,mCAAmC;AACnC,SAAgB,8BAA8B,CAAC,GAAW,EAAE,WAAmB,EAAE,GAAW;IACxF,IAAI,CAAC,WAAW,EAAE,CAAC;QACf,OAAO;IACX,CAAC;IACD,MAAM,GAAG,GAAG,oBAAE,CAAC,gBAAgB,CAAC,GAAG,GAAG,KAAK,EAAE,WAAW,EAAE,oBAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACxF,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,IAAA,uDAAoC,EAAC,GAAG,CAAC,CAAC;IAC1F,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;QACrB,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,8BAA8B;QAClF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,IAAA,yCAAwB,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YAC9C,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;QACnB,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,iBAAiB;IACvE,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;QAC3B,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,iBAAiB;QACzE,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,OAAO,CAAC,CAAC,EACjB,IAAI,EACJ,cAAc,GACf,EAAE,EAAE;QACH,MAAM,KAAK,GAAG,IAAA,yCAAqB,EAAC,cAAc,CAAW,CAAC;QAC9D,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC;QAC9D,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,GAAiB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,gCAAgC;AACpC,CAAC;AAjCD,wEAiCC;AAED,6EAA6E;AAC7E,SAAgB,iCAAiC,CAAC,SAAkC,EAAE,CAAS;AAE/F,CAAC;AAFD,8EAEC;AAED,SAAgB,uBAAuB,CAAC,CAA0B;IAC9D,iDAAiD;IACjD,cAAc;IACd,CAAC,CAAC,GAAG,CACH,iBAAiB;IACjB,mBAAmB;IACnB,8BAAc,CAAC,mBAAmB,CAAC;QACjC,QAAQ,EAAE,SAAS;QACnB,aAAa,EAAE,SAAS;QACxB,QAAQ,EAAE,SAAS;QACnB,UAAU,EAAE,CAAC,8BAAc,CAAC,mBAAmB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;QACtF,UAAU,EAAE;YACV,8BAAc,CAAC,mBAAmB,CAAC;gBACjC,QAAQ,EAAE,oBAAoB;gBAC9B,UAAU,EAAE;oBACV,iCAAiB,CAAC,mBAAmB,CAAC;wBACpC,IAAI,EAAE,MAAM;wBACZ,cAAc,EAAE,8BAAc,CAAC,mBAAmB,CAAC;4BACjD,QAAQ,EAAE,GAAG;4BACb,QAAQ,EAAE,WAAW;yBACtB,CAAC;qBACH,CAAC;oBACF,iCAAiB,CAAC,mBAAmB,CAAC;wBACpC,IAAI,EAAE,OAAO;wBACb,cAAc,EAAE,kBAAU;qBAC3B,CAAC;oBACF,iCAAiB,CAAC,mBAAmB,CAAC;wBACpC,IAAI,EAAE,UAAU;wBAChB,cAAc,EAAE,kBAAU;qBAC3B,CAAC;oBACF,iCAAiB,CAAC,mBAAmB,CAAC;wBACpC,IAAI,EAAE,aAAa;wBACnB,cAAc,EAAE,kBAAU;qBAC3B,CAAC;oBACF,iCAAiB,CAAC,mBAAmB,CAAC;wBACpC,IAAI,EAAE,OAAO;wBACb,cAAc,EAAE,oBAAY;qBAC7B,CAAC;iBACH;aACF,CAAC;SACH;KACF,CAAC,CACH,CAAC;AACJ,CAAC;AA3CH,0DA2CG"}
+{"version":3,"file":"builtin-q-name.js","sourceRoot":"","sources":["../../src/reference-manager/builtin-q-name.ts"],"names":[],"mappings":";AAAA,mEAAmE;;;;;;AAGnE,uDAAkG;AAClG,gEAAiF;AACjF,4DAA4B;AAC5B,2DAAwE;AACxE,oCAA2E;AAC3E,qDAA4D;AAG5D,mCAAmC;AACnC,SAAgB,8BAA8B,CAAC,GAAW,EAAE,WAAmB,EAAE,GAAW;IACxF,IAAI,CAAC,WAAW,EAAE,CAAC;QACf,OAAO;IACX,CAAC;IACD,MAAM,GAAG,GAAG,oBAAE,CAAC,gBAAgB,CAAC,GAAG,GAAG,KAAK,EAAE,WAAW,EAAE,oBAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACxF,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,IAAA,uDAAoC,EAAC,GAAG,CAAC,CAAC;IAC1F,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;QACrB,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,8BAA8B;QAClF,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,IAAA,yCAAwB,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvE,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YAC9C,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;QACnB,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,iBAAiB;IACvE,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE;QAC3B,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,iBAAiB;QACzE,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,cAAc,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,OAAO,CAAC,CAAC,EACjB,IAAI,EACJ,cAAc,GACf,EAAE,EAAE;QACH,MAAM,KAAK,GAAG,IAAA,yCAAqB,EAAC,cAAc,CAAW,CAAC;QAC9D,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,cAAc,CAAC;QAC9D,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,GAAiB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,gCAAgC;AACpC,CAAC;AAjCD,wEAiCC;AAED,6EAA6E;AAC7E,SAAgB,iCAAiC,CAAC,SAAkC,EAAE,CAAS;AAE/F,CAAC;AAFD,8EAEC;AAED,SAAgB,uBAAuB,CAAC,CAA0B;IAC9D,iDAAiD;IACjD,cAAc;IACd,CAAC,CAAC,GAAG,CACH,iBAAiB;IACjB,mBAAmB;IACnB,8BAAc,CAAC,mBAAmB,CAAC;QACjC,QAAQ,EAAE,SAAS;QACnB,aAAa,EAAE,SAAS;QACxB,QAAQ,EAAE,SAAS;QACnB,UAAU,EAAE,CAAC,8BAAc,CAAC,mBAAmB,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;QACtF,UAAU,EAAE;YACV,8BAAc,CAAC,mBAAmB,CAAC;gBACjC,QAAQ,EAAE,oBAAoB;gBAC9B,UAAU,EAAE;oBACV,iCAAiB,CAAC,mBAAmB,CAAC;wBACpC,IAAI,EAAE,MAAM;wBACZ,cAAc,EAAE,8BAAc,CAAC,mBAAmB,CAAC;4BACjD,QAAQ,EAAE,GAAG;4BACb,QAAQ,EAAE,WAAW;yBACtB,CAAC;qBACH,CAAC;oBACF,iCAAiB,CAAC,mBAAmB,CAAC;wBACpC,IAAI,EAAE,OAAO;wBACb,cAAc,EAAE,kBAAU;qBAC3B,CAAC;oBACF,iCAAiB,CAAC,mBAAmB,CAAC;wBACpC,IAAI,EAAE,UAAU;wBAChB,cAAc,EAAE,kBAAU;qBAC3B,CAAC;oBACF,iCAAiB,CAAC,mBAAmB,CAAC;wBACpC,IAAI,EAAE,aAAa;wBACnB,cAAc,EAAE,kBAAU;qBAC3B,CAAC;oBACF,iCAAiB,CAAC,mBAAmB,CAAC;wBACpC,IAAI,EAAE,OAAO;wBACb,cAAc,EAAE,oBAAY;qBAC7B,CAAC;iBACH;aACF,CAAC;SACH;KACF,CAAC,CACH,CAAC;AACJ,CAAC;AA3CH,0DA2CG;AAEI,MAAM,yBAAyB,GAAG,CAAC,SAAkC,EAAE,EAAE;IAC9E,MAAM,mBAAmB,GAAG,CAAC,IAAY,EAAE,EAAE,CACzC,yBAAS,CAAC,mBAAmB,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;IAE5D,CAAC,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;QAChH,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACxB,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,iCAAiB,CAAC,mBAAmB,CAAC;gBACtD,IAAI,EAAE,QAAQ;gBACd,cAAc,EAAE,kBAAU;aAC7B,CAAC,CAAC,CAAC;QACR,CAAC;QACD,8BAA8B;QAC9B,SAAS,CAAC,GAAG,CAAC,aAAa,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAE,EAAE,CAC5C,yBAAS,CAAC,mBAAmB,CAAC;QAC1B,IAAI;QACJ,UAAU,EAAE,CAAC,iCAAiB,CAAC,mBAAmB,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,EAAE,kBAAU,EAAE,CAAC,CAAC;KACtG,CAAC,CAAC;IAEP,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;QAC1B,MAAM,GAAG,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;QACxC,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;YACjB,GAAG,CAAC,UAAU,GAAG,CAAC,IAAA,qBAAa,EAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,CAAC;aAAM,IAAI,GAAG,KAAK,KAAK,EAAE,CAAC;YACvB,GAAG,CAAC,UAAU,GAAG,CAAC,IAAA,qBAAa,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAa,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9D,CAAC;QACD,oCAAoC;QACpC,SAAS,CAAC,GAAG,CAAC,mBAAmB,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,aAAa;IACb,uBAAuB,CAAC,SAAS,CAAC,CAAC;AACrC,CAAC,CAAA;AAnCY,QAAA,yBAAyB,6BAmCrC;AAGD;;;;GAIG;AACI,MAAM,4BAA4B,GAAG,CAAC,MAAc,EAAE,GAAqC,EAAE,EAAE;IACpG,MAAM,GAAG,GAAG,qBAAK,CAAC,mBAAmB,CAAC;QAClC,IAAI,EAAE,GAAG,GAAG,IAAI,MAAM,EAAE;QACxB,IAAI,EAAE,EAAE;QACR,SAAS,EAAE,EAAE;QACb,OAAO,EAAE,EAAE;QACX,MAAM,EAAE,EAAE;QACV,aAAa,EAAE,EAAE;QACjB,UAAU,EAAE,EAAE;QACd,UAAU,EAAE,EAAE;KACjB,CAAC,CAAC;IACH,2DAA2D;IAC3D,qDAAqD;IACrD,GAAG,CAAC,YAAY,GAAG,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC;IACnC,OAAO,GAAG,CAAC;AACb,CAAC,CAAA;AAfY,QAAA,4BAA4B,gCAexC"}

package/out/reference-manager/reference-manager.d.ts

@@ -151,7 +151,7 @@ export declare class ReferenceManager {
     slowBuildSymbolRefsForApp: (env: SemEnv, app: App) => void;
     private fastBuildQNameDefs;
     /**
-     * FIXME wudengke rename this
+     * FIXME wudengke rename this to collectFullDefs
      * @param app
      */
     addQNameDefs: (app: App) => void;
@@ -217,6 +217,7 @@ export declare class ReferenceManager {
     handleRefOp: (env: SemEnv, mode: Operation, refNd: RefConcept, qName: string) => void;
     handleSymbolImplicitRefs: (nd: SyntaxNode | undefined) => void;
     private handleNewCompositeNode;
+    private handleForeignKeyRef;
     /**
      * 无论根节点是 ref 还是 def，都要递归收集下层所有的引用节点
      * 会打散 a.b.c、A | B、x.a.b 等结构，并记录必要的信息
@@ -264,6 +265,7 @@ export declare class ReferenceManager {
      */
     private splitPolyType;
     private splitQueryLike;
+    private splitFieldPermissionV2;
     static getEntityLogicQNames(nd: Entity): string[];
     clearAll(): void;
     /**

package/out/reference-manager/reference-manager.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reference-manager.d.ts","sourceRoot":"","sources":["../../src/reference-manager/reference-manager.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,MAAM,EACN,cAAc,EACd,IAAI,EACJ,UAAU,EAGV,oBAAoB,EACpB,mBAAmB,EACnB,mBAAmB,EAEnB,SAAS,EACT,iBAAiB,EACjB,KAAK,UAAU,EACf,cAAc,EAId,GAAG,EACH,QAAQ,EACR,WAAW,EAaX,gBAAgB,EAKnB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AA2BxC,OAAO,EAA+D,KAAK,MAAM,EAAE,MAAM,UAAU,CAAC;AAGpG,OAAO,EAAE,mBAAmB,EAAkC,MAAM,sDAAsD,CAAC;AAC3H,OAAO,EAAE,qBAAqB,EAAE,mCAAmC,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACpH,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,kBAAkB,EAAE,KAAK,EAAE,WAAW,EAAmF,SAAS,EAAuB,MAAM,eAAe,CAAC;AAS7N,OAAO,EAAE,qBAAqB,EAAE,mCAAmC,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;AAGhG,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,kBAAkB,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AAGvF,MAAM,MAAM,SAAS,GAAG,oBAAoB,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;AAEzF;;;;;;;;;;;;GAYG;AAGH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6DE;AAIF;;;;;;;GAOG;AAEH;;GAEG;AAKH;;;;;GAKG;AAEH;;;;;;GAMG;AACH,qBAAa,gBAAgB;IACzB,OAAc,UAAU,WAAc,CAAC,eAAe;IACtD,OAAc,gBAAgB,WAAoB,CAAC,eAAe;IAClE,OAAc,eAAe,WAAmB,CAAC,eAAe;IAChE,OAAc,UAAU,WAAc,CAAC,eAAe;IACtD,OAAc,oBAAoB,WAAwB,CAAE,eAAe;IAGpE,SAAS,0BAA+B;IAG/C;;;;;;OAMG;IACH,OAAO,CAAC,UAAU,CAAwC;IAGnD,aAAa,UAAW,UAAU,KAAG,IAAI,UAAU,CAAC,GAAG,SAAS,CAGtE;IAEM,aAAa,UAAW,UAAU,QAAQ,IAAI,UAAU,CAAC,KAAG,IAAI,CAGtE;IAEM,gBAAgB,UAAW,UAAU,KAAG,OAAO,CAGrD;IAEM,eAAe,QAAO,IAAI,CAEhC;IAEM,iBAAiB,QAAO,MAAM,CAEpC;IAGM,cAAc,EAAE,SAAS,GAAG,IAAI,CAAQ;IAE/C;;;OAGG;IACH,OAAO,CAAC,kBAAkB,CAA4C;IAEtE,OAAO,CAAC,oBAAoB,CAO3B;IAEM,qBAAqB,SAAU,UAAU,KAAG,IAAI,UAAU,CAAC,CASjE;IAGM,qBAAqB,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAa;IAEhE,UAAU,EAAE,mBAAmB,CAAC;IAGvC,OAAO,CAAC,YAAY,CAAmC;IACvD,OAAO,CAAC,cAAc,CAAiC;IACvD,OAAO,CAAC,eAAe,CAA0C;IAC1D,iBAAiB,UAAQ;IAGhC,WAAW,EAAE,UAAU,GAAG,SAAS,CAAa;IAEhD,OAAc,aAAa,SAAqB;;IAOzC,oBAAoB,CAAC,GAAG,CAAC,EAAE,GAAG;IAM9B,qBAAqB,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,WAAW,CAAC,EAAE,WAAW;IAQ9E,OAAc,OAAO,QAAS,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,cAAc,QAAQ,MAAM,KAC5E,cAAc,GAAG,iBAAiB,GAAG,QAAQ,GAAG,SAAS,CAUlE;IAED,OAAO,CAAC,8BAA8B,CAMrC;IAGM,yBAAyB,QAAS,MAAM,OAAO,GAAG,UAiCxD;IAED,OAAO,CAAC,kBAAkB,CA8BxB;IAGF;;;OAGG;IACI,YAAY,QAAS,GAAG,UAW7B;IAEF,WAAW,UAAW,MAAM,OAAO,UAAU,UAE5C;IAED,aAAa,UAAW,MAAM,4BAM7B;IAEM,gBAAgB,QAAS,MAAM,OAAO,kBAAkB,eAAe,MAAM,UA4BnF;IAED;;;;OAIG;IACI,mBAAmB,OAAQ,cAAc,KAAG,SAAS,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAYvF;IAED;;;;OAIG;IACI,UAAU,QAAS,UAAU,GAAG,UAAU,KAAG,UAAU,GAAG,SAAS,CAGzE;IAED;;;;OAIG;IACI,aAAa,QAAS,MAAM,QAAQ,UAAU,KAAG,MAAM,UAAU,CAAC,CA2BxE;IAGD,OAAO,CAAC,sBAAsB,CAM7B;IAID,OAAO,CAAC,mBAAmB,CA+C1B;IAGD;;;;;;;;;OASG;IACI,kBAAkB,QAAS,MAAM,QAAQ,WAAW,GAAG,gBAAgB,GAAG,SAAS,KAAG,MAAM,UAAU,CAAC,CAqC7G;IAED;;OAEG;IACI,qBAAqB,QAAS,MAAM,QAAQ,gBAAgB,GAAG,SAAS,KAAG,MAAM,UAAU,CAAC,CA4BlG;IAGD;;;;;;;;;;;OAWG;IACI,gBAAgB,aACT,MAAM,YACN,MAAM,QACV,QAAQ,GAAG,aAAa,GAAG,IAAI,UAiCvC;IAEK,wBAAwB,0DAA4B;IAE1D;;MAEE;IACI,WAAW,SAAU,SAAS,WAAW,UAAU,SAAS,MAAM,UAkCxE;IAED;;OAEG;IACI,WAAW,QAAS,MAAM,QAAQ,SAAS,SAAS,UAAU,SAAS,MAAM,UA6BnF;IAEM,wBAAwB,OAAQ,UAAU,GAAG,SAAS,UA4C5D;IAED,OAAO,CAAC,sBAAsB,CA+B7B;IAED;;;;;;OAMG;IACH;;;;;;;OAOG;IACH,OAAO,CAAC,WAAW,CAoElB;IAEM,oBAAoB,OAAQ,UAAU,KAAG,IAAI,UAAU,EAAE,KAAK,CAAC,CAerE;IAED;;;OAGG;IACI,sBAAsB,QAAS,MAAM,QAAQ,UAAU,UA6B7D;IAED;;;OAGG;IACI,mBAAmB,QAAS,MAAM,MAAM,UAAU,UAkBxD;IAEM,iBAAiB,OAAQ,UAAU,UAKzC;IAED;;;;;;;;OAQG;IACH,OAAO,CAAC,WAAW,CA6IlB;IAED;;;;;;OAMG;IACH,OAAO,CAAC,aAAa,CAuBpB;IAGD,OAAO,CAAC,cAAc,CAuCpB;IAEF,MAAM,CAAC,oBAAoB,CAAC,EAAE,EAAE,MAAM;IAS/B,QAAQ;IAaf;;OAEG;IACH,cAAc,4BAiDb;IAEM,oBAAoB,6BAA8B,CAAC,KAAG,CAAC,CAsB7D;CACJ;AAsID,eAAO,MAAM,eAAe,UAAW,MAAM,WAAW,MAAM,KAAG,MAWhE,CAAC;AAkBF;;GAEG;AACH,eAAO,MAAM,aAAa,OAAQ,UAAU,GAAG,IAAI,GAAG,SAAS,KAAG,OACuB,CAAC;AAE1F,eAAO,MAAM,kBAAkB,QAAS,MAAM,WAK7C,CAAA;AAGD;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,OACxB,cAAc,YACR,iBAAiB,GAAG,SAAS,SAChC,UAAU,KAClB,CAAC,UAAU,EAAE,KAAK,CAAC,GAAG,SAQxB,CAAA;AAsCD,eAAO,MAAM,kBAAkB,SAAU,MAAM,WAErC,CAAC;AAEX;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,QAAS,UAAU,WActD,CAAA"}
+{"version":3,"file":"reference-manager.d.ts","sourceRoot":"","sources":["../../src/reference-manager/reference-manager.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,MAAM,EACN,cAAc,EACd,IAAI,EACJ,UAAU,EAGV,oBAAoB,EACpB,mBAAmB,EACnB,mBAAmB,EAEnB,SAAS,EACT,iBAAiB,EACjB,KAAK,UAAU,EACf,cAAc,EAId,GAAG,EACH,QAAQ,EACR,WAAW,EAaX,gBAAgB,EAMnB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AA6BxC,OAAO,EAA+D,KAAK,MAAM,EAAE,MAAM,UAAU,CAAC;AAGpG,OAAO,EAAE,mBAAmB,EAAkC,MAAM,sDAAsD,CAAC;AAC3H,OAAO,EAAE,qBAAqB,EAAE,mCAAmC,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACpH,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,kBAAkB,EAAE,KAAK,EAAE,WAAW,EAAmF,SAAS,EAAuB,MAAM,eAAe,CAAC;AAU7N,OAAO,EAAE,qBAAqB,EAAE,mCAAmC,EAAE,YAAY,EAAE,UAAU,EAAE,CAAC;AAGhG,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,kBAAkB,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AAGvF,MAAM,MAAM,SAAS,GAAG,oBAAoB,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;AAEzF;;;;;;;;;;;;GAYG;AAGH;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA6DE;AAIF;;;;;;;GAOG;AAEH;;GAEG;AAKH;;;;;GAKG;AAEH;;;;;;GAMG;AACH,qBAAa,gBAAgB;IACzB,OAAc,UAAU,WAAc,CAAC,eAAe;IACtD,OAAc,gBAAgB,WAAoB,CAAC,eAAe;IAClE,OAAc,eAAe,WAAmB,CAAC,eAAe;IAChE,OAAc,UAAU,WAAc,CAAC,eAAe;IACtD,OAAc,oBAAoB,WAAwB,CAAE,eAAe;IAGpE,SAAS,0BAA+B;IAG/C;;;;;;OAMG;IACH,OAAO,CAAC,UAAU,CAAwC;IAGnD,aAAa,UAAW,UAAU,KAAG,IAAI,UAAU,CAAC,GAAG,SAAS,CAGtE;IAEM,aAAa,UAAW,UAAU,QAAQ,IAAI,UAAU,CAAC,KAAG,IAAI,CAGtE;IAEM,gBAAgB,UAAW,UAAU,KAAG,OAAO,CAGrD;IAEM,eAAe,QAAO,IAAI,CAEhC;IAEM,iBAAiB,QAAO,MAAM,CAEpC;IAGM,cAAc,EAAE,SAAS,GAAG,IAAI,CAAQ;IAE/C;;;OAGG;IACH,OAAO,CAAC,kBAAkB,CAA4C;IAEtE,OAAO,CAAC,oBAAoB,CAO3B;IAEM,qBAAqB,SAAU,UAAU,KAAG,IAAI,UAAU,CAAC,CASjE;IAGM,qBAAqB,EAAE,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC,CAAa;IAEhE,UAAU,EAAE,mBAAmB,CAAC;IAGvC,OAAO,CAAC,YAAY,CAAmC;IACvD,OAAO,CAAC,cAAc,CAAiC;IACvD,OAAO,CAAC,eAAe,CAA0C;IAC1D,iBAAiB,UAAQ;IAGhC,WAAW,EAAE,UAAU,GAAG,SAAS,CAAa;IAEhD,OAAc,aAAa,SAAqB;;IAOzC,oBAAoB,CAAC,GAAG,CAAC,EAAE,GAAG;IAM9B,qBAAqB,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,WAAW,CAAC,EAAE,WAAW;IAQ9E,OAAc,OAAO,QAAS,MAAM,GAAG,SAAS,GAAG,IAAI,GAAG,cAAc,QAAQ,MAAM,KAC5E,cAAc,GAAG,iBAAiB,GAAG,QAAQ,GAAG,SAAS,CAUlE;IAED,OAAO,CAAC,8BAA8B,CAMrC;IAGM,yBAAyB,QAAS,MAAM,OAAO,GAAG,UAsHxD;IAED,OAAO,CAAC,kBAAkB,CAwCxB;IAGF;;;OAGG;IACI,YAAY,QAAS,GAAG,UAU7B;IAEF,WAAW,UAAW,MAAM,OAAO,UAAU,UAE5C;IAED,aAAa,UAAW,MAAM,4BAM7B;IAEM,gBAAgB,QAAS,MAAM,OAAO,kBAAkB,eAAe,MAAM,UA4BnF;IAED;;;;OAIG;IACI,mBAAmB,OAAQ,cAAc,KAAG,SAAS,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAYvF;IAED;;;;OAIG;IACI,UAAU,QAAS,UAAU,GAAG,UAAU,KAAG,UAAU,GAAG,SAAS,CAGzE;IAED;;;;OAIG;IACI,aAAa,QAAS,MAAM,QAAQ,UAAU,KAAG,MAAM,UAAU,CAAC,CA2BxE;IAGD,OAAO,CAAC,sBAAsB,CAM7B;IAID,OAAO,CAAC,mBAAmB,CA+C1B;IAGD;;;;;;;;;OASG;IACI,kBAAkB,QAAS,MAAM,QAAQ,WAAW,GAAG,gBAAgB,GAAG,SAAS,KAAG,MAAM,UAAU,CAAC,CAqC7G;IAED;;OAEG;IACI,qBAAqB,QAAS,MAAM,QAAQ,gBAAgB,GAAG,SAAS,KAAG,MAAM,UAAU,CAAC,CA4BlG;IAGD;;;;;;;;;;;OAWG;IACI,gBAAgB,aACT,MAAM,YACN,MAAM,QACV,QAAQ,GAAG,aAAa,GAAG,IAAI,UAiCvC;IAEK,wBAAwB,0DAA4B;IAE1D;;MAEE;IACI,WAAW,SAAU,SAAS,WAAW,UAAU,SAAS,MAAM,UAwCxE;IAED;;OAEG;IACI,WAAW,QAAS,MAAM,QAAQ,SAAS,SAAS,UAAU,SAAS,MAAM,UA6BnF;IAEM,wBAAwB,OAAQ,UAAU,GAAG,SAAS,UA4C5D;IAED,OAAO,CAAC,sBAAsB,CA+B7B;IAED,OAAO,CAAC,mBAAmB,CAa1B;IAED;;;;;;OAMG;IACH;;;;;;;OAOG;IACH,OAAO,CAAC,WAAW,CAyElB;IAEM,oBAAoB,OAAQ,UAAU,KAAG,IAAI,UAAU,EAAE,KAAK,CAAC,CAerE;IAED;;;OAGG;IACI,sBAAsB,QAAS,MAAM,QAAQ,UAAU,UAiC7D;IAED;;;OAGG;IACI,mBAAmB,QAAS,MAAM,MAAM,UAAU,UAsBxD;IAEM,iBAAiB,OAAQ,UAAU,UAKzC;IAED;;;;;;;;OAQG;IACH,OAAO,CAAC,WAAW,CA6IlB;IAED;;;;;;OAMG;IACH,OAAO,CAAC,aAAa,CAuBpB;IAGD,OAAO,CAAC,cAAc,CAuCpB;IAEF,OAAO,CAAC,sBAAsB,CAoB5B;IAEF,MAAM,CAAC,oBAAoB,CAAC,EAAE,EAAE,MAAM;IAS/B,QAAQ;IAaf;;OAEG;IACH,cAAc,4BAiDb;IAEM,oBAAoB,6BAA8B,CAAC,KAAG,CAAC,CAsB7D;CACJ;AAgGD,eAAO,MAAM,eAAe,UAAW,MAAM,WAAW,MAAM,KAAG,MAWhE,CAAC;AAkBF;;GAEG;AACH,eAAO,MAAM,aAAa,OAAQ,UAAU,GAAG,IAAI,GAAG,SAAS,KAAG,OACuB,CAAC;AAE1F,eAAO,MAAM,kBAAkB,QAAS,MAAM,WAK7C,CAAA;AAGD;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,OACxB,cAAc,YACR,iBAAiB,GAAG,SAAS,SAChC,UAAU,KAClB,CAAC,UAAU,EAAE,KAAK,CAAC,GAAG,SAQxB,CAAA;AAsCD,eAAO,MAAM,kBAAkB,SAAU,MAAM,WAErC,CAAC;AAEX;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,QAAS,UAAU,WActD,CAAA"}

package/out/reference-manager/reference-manager.js

@@ -21,6 +21,7 @@ const set_1 = require("mnemonist/set");
 const nasl_predicate_1 = require("../typer/nasl-predicate");
 const type_manager_1 = require("../typer/type-manager");
 const oql_1 = require("../utils/oql");
+const parseTsClassType_1 = require("../utils/parseTsClassType");
 /**
  * 考虑这样一个例子：
  * x = f(...)
@@ -202,20 +203,62 @@ class ReferenceManager {
         // 约 20 万节点 200ms
         this.slowBuildSymbolRefsForApp = (env, app) => {
             this.modeForCollect = "create" /* Operation.Create */;
-            const allRefs = this.collectRefs(env, app);
-            // 如果 QA 说查找引用要能看到实体逻辑里的类型啥的，再给注释去掉
-            // 处理一下实体逻辑
-            // app.dataSources.forEach(ds => {
-            //     ds.entities.forEach(e => {
-            //         e.logics.forEach((l: Logic) => {
-            //             const refsInLogic = this.collectRefs(env, l);
-            //             refsInLogic.forEach((qName, ref) => {
-            //                 console.log('xx')
-            //                 allRefs.set(ref, qName);
-            //             });
-            //         });
-            //     });
-            // });
+            const allRefs = new Array();
+            for (const dataSource of app.dataSources) {
+                allRefs.push(...this.collectRefs(env, dataSource));
+            }
+            for (const structure of app.structures) {
+                allRefs.push(...this.collectRefs(env, structure));
+            }
+            for (const e of app.enums) {
+                allRefs.push(...this.collectRefs(env, e));
+            }
+            for (const l of app.logics) {
+                allRefs.push(...this.collectRefs(env, l));
+            }
+            for (const ol of app.overriddenLogics) {
+                allRefs.push(...this.collectRefs(env, ol));
+            }
+            for (const i of app.interfaces) {
+                allRefs.push(...this.collectRefs(env, i));
+            }
+            // 见下面
+            // for (const frontendType of app.frontendTypes) {
+            //     allRefs.push(...this.collectRefs(env, frontendType));
+            // }
+            for (const process of app.processes) {
+                allRefs.push(...this.collectRefs(env, process));
+            }
+            // 见下面
+            // for (const processV2 of app.processV2s) {
+            //     allRefs.push(...this.collectRefs(env, processV2));
+            // }
+            for (const role of app.roles) {
+                allRefs.push(...this.collectRefs(env, role));
+            }
+            for (const connectorDependency of app.connectorDependencies) {
+                allRefs.push(...this.collectRefs(env, connectorDependency));
+            }
+            for (const interfaceDependency of app.interfaceDependencies) {
+                allRefs.push(...this.collectRefs(env, interfaceDependency));
+            }
+            for (const sharedAppDependency of app?.sharedAppDependencies) {
+                allRefs.push(...this.collectRefs(env, sharedAppDependency));
+            }
+            for (const authLogic of app.authLogics) {
+                allRefs.push(...this.collectRefs(env, authLogic));
+            }
+            for (const triggerLauncher of app.triggerLaunchers) {
+                allRefs.push(...this.collectRefs(env, triggerLauncher));
+            }
+            for (const metadataType of app.metadataTypes) {
+                allRefs.push(...this.collectRefs(env, metadataType));
+            }
+            // for (const preference of app.preferenceMap) {
+            //     allRefs.push(...this.collectRefs(env, preference as any as ValidExtInp));
+            // }
+            app.integration && allRefs.push(...this.collectRefs(env, app.integration));
+            app.backend && allRefs.push(...this.collectRefs(env, app.backend));
             allRefs.forEach(([ref, qName]) => {
                 if (!ref) {
                     return;
@@ -233,6 +276,42 @@ class ReferenceManager {
                     }
                 }
             });
+            // 如果 QA 说查找引用要能看到实体逻辑里的类型啥的，再给注释去掉
+            // 处理一下实体逻辑
+            // app.dataSources.forEach(ds => {
+            //     ds.entities.forEach(e => {
+            //         e.logics.forEach((l: Logic) => {
+            //             const refsInLogic = this.collectRefs(env, l);
+            //             refsInLogic.forEach((qName, ref) => {
+            //                 console.log('xx')
+            //                 allRefs.set(ref, qName);
+            //             });
+            //         });
+            //     });
+            // });
+            // 暂时特殊处理一下流程，应该不会太慢
+            for (const p of app.processV2s) {
+                this.addRefsForGlobalSym(env, p);
+            }
+            for (const fet of app.frontendTypes) {
+                for (const bc of fet.businessComponents) {
+                    this.addRefsForGlobalSym(env, bc);
+                }
+                for (const cd of fet.componentDependencies) {
+                    this.addRefsForGlobalSym(env, cd);
+                }
+                for (const fe of fet.frontends) {
+                    for (const v of fe.views) {
+                        this.addRefsForGlobalSym(env, v);
+                    }
+                    for (const be of fe.bindEvents) {
+                        this.addRefsForGlobalSym(env, be);
+                    }
+                    for (const v of fe.variables) {
+                        this.addRefsForGlobalSym(env, v);
+                    }
+                }
+            }
             this.modeForCollect = null;
         };
         this.fastBuildQNameDefs = (app) => {
@@ -242,7 +321,15 @@ class ReferenceManager {
                 this.addQNameDefs(app);
             }
             // Build builtin types
-            buildBuiltinTypeQNameDefs(this.qNameDefs);
+            (0, builtin_q_name_1.buildBuiltinTypeQNameDefs)(this.qNameDefs);
+            for (const fn of parseTsClassType_1.overloadedBuiltinFns) {
+                const def = (0, builtin_q_name_1.createDefaultOverloadedFnDef)(fn, 'nasl.util');
+                this.addQNameDef(def.name, def); // name 已经带了 namespace
+            }
+            for (const fn of parseTsClassType_1.overloadedSqlFns) {
+                const def = (0, builtin_q_name_1.createDefaultOverloadedFnDef)(fn, 'nasl.sqlFunction');
+                this.addQNameDef(def.name, def); // name 已经带了 namespace
+            }
             // Process enums
             const processEnumCollection = (0, collect_q_name_1.adhocBuildProcessEnum)();
             processEnumCollection.forEach(([qName, def]) => {
@@ -262,7 +349,7 @@ class ReferenceManager {
         };
         // Update the addQNameDefs method to use the new collection functions
         /**
-         * FIXME wudengke rename this
+         * FIXME wudengke rename this to collectFullDefs
          * @param app
          */
         this.addQNameDefs = (app) => {
@@ -270,11 +357,9 @@ class ReferenceManager {
                 const qNameDefs = (0, collect_q_name_1.collectAllQNames)('')(app);
                 qNameDefs.forEach(([qName, def]) => {
                     if ((0, component_def_manager_1.isGeneralViewElementDefinition)(def)) {
-                        this.compDefMgr.add(def, 'referenceManager addQNameDefs');
-                    }
-                    else {
-                        this.addQNameDef(qName, def);
+                        this.compDefMgr.add(def, 'referenceManager#addQNameDefs');
                     }
+                    this.addQNameDef(qName, def);
                 });
             }
         };
@@ -567,6 +652,9 @@ class ReferenceManager {
                         oldRefs && this.setSymbolRefs(defNode, oldRefs);
                         // qName 链接到新的 defNode 的 mem addr
                         this.addQNameDef(qName, defNode);
+                        if ((0, component_def_manager_1.isGeneralViewElementDefinition)(defNode)) {
+                            this.compDefMgr.add(defNode, 'handleDefOp');
+                        }
                         // 删除缓存
                         this.cachedQNameSymbolRefs.delete(qName);
                     }
@@ -582,6 +670,9 @@ class ReferenceManager {
                         const refs = this.getSymbolRefs(defNode);
                         refs && this.cachedQNameSymbolRefs.set(qName, refs);
                         this.qNameDefs.delete(qName);
+                        if ((0, component_def_manager_1.isGeneralViewElementDefinition)(defNode)) {
+                            this.compDefMgr.removeComponentGroup(defNode);
+                        }
                         this.deleteSymbolRefs(defNode);
                     }
                     break;
@@ -669,7 +760,7 @@ class ReferenceManager {
             }
         };
         this.handleNewCompositeNode = (nd) => {
-            if (nd.concept !== 'NewComposite' || !nd.typeAnnotation) {
+            if (!nd.typeAnnotation) {
                 return;
             }
             if (!(0, type_predicate_1.isEntityTy)(nd.typeAnnotation) && !(0, type_predicate_1.isStructureTy)(nd.typeAnnotation)) {
@@ -698,6 +789,19 @@ class ReferenceManager {
                 }
             }
         };
+        this.handleForeignKeyRef = (env, nd) => {
+            const relNsp = nd.relationNamespace;
+            const relEntity = nd.relationEntity;
+            const relProperty = nd.relationProperty;
+            if (!relNsp || !relEntity || !relProperty) {
+                return;
+            }
+            const relEntityQName = `${relNsp}.${relEntity}`;
+            // RefConcept 里暂时没有加 EntityProperty，因为它是个 Definition
+            this.handleRefOp(env, this.modeForCollect, nd, relEntityQName);
+            const relPropQName = (0, get_q_name_1.getPropQName)(`${relNsp}.${relEntity}`, `${relProperty}`, 'Entity');
+            this.handleRefOp(env, this.modeForCollect, nd, relPropQName);
+        };
         /**
          * 无论根节点是 ref 还是 def，都要递归收集下层所有的引用节点
          * 会打散 a.b.c、A | B、x.a.b 等结构，并记录必要的信息
@@ -720,7 +824,8 @@ class ReferenceManager {
                 // 隐式引用 - 来自 __TypeAnnotation
                 this.handleSymbolImplicitRefs(n);
                 // New 左侧不是成员访问，需单独特殊处理，但也不用终止子树迭代
-                this.handleNewCompositeNode(n);
+                n.concept === 'NewComposite' && this.handleNewCompositeNode(n);
+                n.concept === 'EntityProperty' && this.handleForeignKeyRef(env, n);
                 if (!symbol_type_1.refConcept.includes(n.concept)) {
                     return;
                 }
@@ -735,7 +840,8 @@ class ReferenceManager {
             const compositeNodePred = (n) => n.concept === 'MemberExpression' ||
                 n.concept === 'QueryFieldExpression' ||
                 n.concept === 'TypeAnnotation' ||
-                n.concept === 'OqlQueryComponent';
+                n.concept === 'OqlQueryComponent' ||
+                n.concept === 'FieldPermissionV2';
             // 会终止子树迭代
             const compositeNodeCb = (n) => {
                 let qNameRefs = new Array();
@@ -760,6 +866,9 @@ class ReferenceManager {
                             qNameRefs.push([n, qName]);
                         }
                         break;
+                    case 'FieldPermissionV2':
+                        qNameRefs = this.splitFieldPermissionV2(env, n);
+                        break;
                     default: break;
                 }
                 for (const [ref, qName] of qNameRefs) {
@@ -801,6 +910,9 @@ class ReferenceManager {
             if (rmNd.concept === 'View' || rmNd.concept === 'BusinessComponent') {
                 env.viewAssocProcess = env.processViewBindings.get((0, get_q_name_1.getTokenQualifiedName)(rmNd)) ?? null;
             }
+            if (rmNd.concept === 'ProcessV2') {
+                env.processAssocBind = rmNd.bind;
+            }
             const localVars = env.localVars.get(rmNd) ?? [];
             const refAndQNames = this.collectRefs(env, rmNd);
             for (const [ref, qName] of refAndQNames) {
@@ -823,6 +935,7 @@ class ReferenceManager {
                 (0, update_nasl_fragment_1.removeBindAttrRef)(this, rmNd);
             }
             env.viewAssocProcess = null;
+            env.processAssocBind = null;
         };
         /**
          * @warning Only handle global symbols
@@ -835,6 +948,9 @@ class ReferenceManager {
                 // 如果是 null，则设置为 null，否则会报错
                 env.viewAssocProcess = env.processViewBindings.get((0, get_q_name_1.getTokenQualifiedName)(nd)) ?? null;
             }
+            if (nd.concept === 'ProcessV2') {
+                env.processAssocBind = nd.bind;
+            }
             const refAndQNames = this.collectRefs(env, nd);
             const localVars = env.localVars.get(nd) ?? [];
             for (const [ref, qName] of refAndQNames) {
@@ -846,6 +962,7 @@ class ReferenceManager {
             this.modeForCollect = null;
             this.curFileNode = undefined;
             env.viewAssocProcess = null;
+            env.processAssocBind = null;
         };
         this.removeLocalSymbol = (nd) => {
             const qName = (0, get_q_name_1.getTokenQualifiedName)(nd);
@@ -1053,6 +1170,24 @@ class ReferenceManager {
             }
             return res;
         };
+        this.splitFieldPermissionV2 = (env, nd) => {
+            const res = [];
+            const bind = env.processAssocBind;
+            if (!bind) {
+                return res;
+            }
+            const entityRef = bind.typeAnnotation.properties.find(p => p.name === nd.propertyName);
+            if (!entityRef) {
+                return res;
+            }
+            const entityQName = nd.propertyName === 'data'
+                ? (0, get_q_name_1.getTokenQualifiedName)(entityRef.typeAnnotation) // data 是 Entity
+                : (0, get_q_name_1.getTokenQualifiedName)(entityRef.typeAnnotation.typeArguments[0]); // relation_data 是 List<Entity>
+            for (const sub of nd.subFieldPermissions) {
+                res.push([sub, (0, get_q_name_1.getPropQName)(entityQName, sub.propertyName, 'Entity')]);
+            }
+            return res;
+        };
         /**
          * 获取 Reference Manager 的内存统计信息
          */
@@ -1177,37 +1312,6 @@ class ReferenceManager {
     }
 }
 exports.ReferenceManager = ReferenceManager;
-const buildBuiltinTypeQNameDefs = (qNameDefs) => {
-    const createNaslPrimTyDef = (name) => nasl_concepts_1.Structure.createProtoTypeOnly({ name, properties: [] });
-    ['Boolean', 'String', 'Long', 'Decimal', 'Date', 'DateTime', 'Time', 'Binary', 'Null', 'any', 'void'].forEach(str => {
-        const def = createNaslPrimTyDef(str);
-        if (def.name === 'String') {
-            def.properties.push(nasl_concepts_1.StructureProperty.createProtoTypeOnly({
-                name: 'length',
-                typeAnnotation: typer_1.naslLongTy
-            }));
-        }
-        // type namespace is nasl.core
-        qNameDefs.set(`nasl.core.${str}`, def);
-    });
-    const createNaslGenericTyDef = (name) => nasl_concepts_1.Structure.createProtoTypeOnly({
-        name,
-        properties: [nasl_concepts_1.StructureProperty.createProtoTypeOnly({ name: 'length', typeAnnotation: typer_1.naslLongTy })],
-    });
-    ['Map', 'List'].forEach(str => {
-        const def = createNaslGenericTyDef(str);
-        if (str === 'List') {
-            def.typeParams = [(0, typer_1.createTyParam)('T')];
-        }
-        else if (str === 'Map') {
-            def.typeParams = [(0, typer_1.createTyParam)('K'), (0, typer_1.createTyParam)('V')];
-        }
-        // type namespace is nasl.collection
-        qNameDefs.set(`nasl.collection.${str}`, def);
-    });
-    // Current<T>
-    (0, builtin_q_name_1.collectAllNaslNameSpace)(qNameDefs);
-};
 // prependStr moved to get-q-name.ts
 // getTokenQualifiedName moved to get-q-name.ts
 // getTokenQualifiedNameForMatchedExpr moved to get-q-name.ts
@@ -1401,8 +1505,14 @@ const cheapTestLocalSymbol = (qName) => {
     if (qName.startsWith('a+') || qName.startsWith('Tp+') ||
         qName.startsWith('nasl.core') || qName.startsWith('elements.') ||
         qName.startsWith('nasl.util') ||
-        qName.startsWith('nasl.collection') ||
-        qName.indexOf('.') === -1) {
+        qName.startsWith('nasl.collection')) {
+        return true;
+    }
+    // 页面下引用的 Process 的 qName
+    // if (qName.startsWith('Process_')) {
+    //     return false;
+    // }
+    if (qName.indexOf('.') === -1) {
         return true;
     }
     return false;