@lcap/nasl-language-server-core 4.1.0-rc.7 → 4.1.0-rc.9
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/out/checker.d.ts +1 -1
- package/out/checker.d.ts.map +1 -1
- package/out/checker.js +87 -121
- package/out/checker.js.map +1 -1
- package/out/index.d.ts +2 -2
- package/out/index.d.ts.map +1 -1
- package/out/index.js +4 -3
- package/out/index.js.map +1 -1
- package/out/reference-manager/builtin-q-name.d.ts +1 -2
- package/out/reference-manager/builtin-q-name.d.ts.map +1 -1
- package/out/reference-manager/builtin-q-name.js +1 -5
- package/out/reference-manager/builtin-q-name.js.map +1 -1
- package/out/reference-manager/collect-q-name.d.ts.map +1 -1
- package/out/reference-manager/collect-q-name.js +8 -7
- package/out/reference-manager/collect-q-name.js.map +1 -1
- package/out/reference-manager/helper.d.ts +1 -1
- package/out/reference-manager/helper.d.ts.map +1 -1
- package/out/reference-manager/helper.js +11 -1
- package/out/reference-manager/helper.js.map +1 -1
- package/out/reference-manager/reference-manager.d.ts +64 -7
- package/out/reference-manager/reference-manager.d.ts.map +1 -1
- package/out/reference-manager/reference-manager.js +198 -56
- package/out/reference-manager/reference-manager.js.map +1 -1
- package/out/reference-manager/remove-q-name.js +8 -8
- package/out/reference-manager/remove-q-name.js.map +1 -1
- package/out/reference-manager/rename-q-name.d.ts.map +1 -1
- package/out/reference-manager/rename-q-name.js +6 -6
- package/out/reference-manager/rename-q-name.js.map +1 -1
- package/out/reference-manager/update-nasl-fragment.d.ts +0 -1
- package/out/reference-manager/update-nasl-fragment.d.ts.map +1 -1
- package/out/reference-manager/update-nasl-fragment.js +2 -33
- package/out/reference-manager/update-nasl-fragment.js.map +1 -1
- package/out/typer/component-def-manager/utils.js +1 -1
- package/out/typer/component-def-manager/utils.js.map +1 -1
- package/out/typer/dispatch-all.d.ts +10 -3
- package/out/typer/dispatch-all.d.ts.map +1 -1
- package/out/typer/dispatch-all.js +44 -7
- package/out/typer/dispatch-all.js.map +1 -1
- package/out/typer/dispatch-call.d.ts +14 -0
- package/out/typer/dispatch-call.d.ts.map +1 -0
- package/out/typer/dispatch-call.js +637 -0
- package/out/typer/dispatch-call.js.map +1 -0
- package/out/typer/dispatch-def.d.ts +9 -3
- package/out/typer/dispatch-def.d.ts.map +1 -1
- package/out/typer/dispatch-def.js +101 -91
- package/out/typer/dispatch-def.js.map +1 -1
- package/out/typer/dispatch-expr.d.ts +3 -15
- package/out/typer/dispatch-expr.d.ts.map +1 -1
- package/out/typer/dispatch-expr.js +94 -677
- package/out/typer/dispatch-expr.js.map +1 -1
- package/out/typer/dispatch-process.d.ts.map +1 -1
- package/out/typer/dispatch-process.js +28 -11
- package/out/typer/dispatch-process.js.map +1 -1
- package/out/typer/dispatch-stmt.d.ts.map +1 -1
- package/out/typer/dispatch-stmt.js +39 -38
- package/out/typer/dispatch-stmt.js.map +1 -1
- package/out/typer/dispatch-view.d.ts.map +1 -1
- package/out/typer/dispatch-view.js +22 -16
- package/out/typer/dispatch-view.js.map +1 -1
- package/out/typer/get-oql-files.d.ts +13 -0
- package/out/typer/get-oql-files.d.ts.map +1 -0
- package/out/typer/get-oql-files.js +136 -0
- package/out/typer/get-oql-files.js.map +1 -0
- package/out/typer/helper.d.ts +2 -2
- package/out/typer/helper.d.ts.map +1 -1
- package/out/typer/helper.js +5 -5
- package/out/typer/helper.js.map +1 -1
- package/out/typer/incremental-update.d.ts +0 -12
- package/out/typer/incremental-update.d.ts.map +1 -1
- package/out/typer/incremental-update.js +99 -193
- package/out/typer/incremental-update.js.map +1 -1
- package/out/typer/index.d.ts +6 -4
- package/out/typer/index.d.ts.map +1 -1
- package/out/typer/index.js +9 -10
- package/out/typer/index.js.map +1 -1
- package/out/typer/subster.d.ts +0 -1
- package/out/typer/subster.d.ts.map +1 -1
- package/out/typer/subster.js +3 -23
- package/out/typer/subster.js.map +1 -1
- package/out/typer/topo-sort.d.ts +4 -4
- package/out/typer/topo-sort.d.ts.map +1 -1
- package/out/typer/topo-sort.js +5 -1
- package/out/typer/topo-sort.js.map +1 -1
- package/out/typer/type-manager.d.ts +2 -2
- package/out/typer/type-manager.d.ts.map +1 -1
- package/out/typer/type-manager.js +32 -9
- package/out/typer/type-manager.js.map +1 -1
- package/out/typer/type-predicate.d.ts +6 -1
- package/out/typer/type-predicate.d.ts.map +1 -1
- package/out/typer/type-predicate.js +22 -4
- package/out/typer/type-predicate.js.map +1 -1
- package/out/typer/typer.d.ts +27 -6
- package/out/typer/typer.d.ts.map +1 -1
- package/out/typer/typer.js +69 -18
- package/out/typer/typer.js.map +1 -1
- package/out/typer/unifier.d.ts +1 -1
- package/out/typer/unifier.d.ts.map +1 -1
- package/out/typer/unifier.js +48 -69
- package/out/typer/unifier.js.map +1 -1
- package/out/utils/string.d.ts.map +1 -1
- package/out/utils/string.js +1 -0
- package/out/utils/string.js.map +1 -1
- package/package.json +5 -5
- package/out/typer/nasl-predicate.d.ts +0 -8
- package/out/typer/nasl-predicate.d.ts.map +0 -1
- package/out/typer/nasl-predicate.js +0 -25
- package/out/typer/nasl-predicate.js.map +0 -1
|
@@ -0,0 +1,136 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
exports.getOldTsFilePath = exports.getOqlFiles = void 0;
|
|
4
|
+
const nasl_utils_1 = require("@lcap/nasl-utils");
|
|
5
|
+
const service_1 = require("@lcap/nasl-concepts/service");
|
|
6
|
+
const service_2 = require("@lcap/nasl-concepts/service");
|
|
7
|
+
const collect_q_name_1 = require("../reference-manager/collect-q-name");
|
|
8
|
+
const helper_1 = require("../reference-manager/helper");
|
|
9
|
+
/**
|
|
10
|
+
* 确定是否需要运行 tsOql 检查
|
|
11
|
+
* @param checkFiles 粗布判定需要检查的文件集合
|
|
12
|
+
* @param removeFiles 需要删除的节点集合
|
|
13
|
+
* @param createdFiles NASL 上创建的节点集合
|
|
14
|
+
* @returns 是否包含 oql 节点,是否要运行 ts 的 oql 检查
|
|
15
|
+
* 目前做得比较简单,如果有一个含有 Oql,则全部都生成 ts,免得缺少文件。
|
|
16
|
+
*/
|
|
17
|
+
const getOqlFiles = (env, __chkFiles, removedNodes) => {
|
|
18
|
+
nasl_utils_1.isDebugMode && console.time('\x1b[44m\x1b[97m Get Oql Related Files');
|
|
19
|
+
// 使用 Map 作为当次调用的 memoization 缓存,直接使用对象引用作为键
|
|
20
|
+
const memoizedFileNodes = new Map();
|
|
21
|
+
// 专门优化的函数,只查找可能包含 OQL 相关节点的引用
|
|
22
|
+
const getOqlRefFileNodes = (nd) => {
|
|
23
|
+
// 如果已经计算过这个节点的引用,直接返回缓存结果
|
|
24
|
+
if (memoizedFileNodes.has(nd)) {
|
|
25
|
+
return memoizedFileNodes.get(nd);
|
|
26
|
+
}
|
|
27
|
+
const res = new Set();
|
|
28
|
+
// 如果当前节点是 OQL 相关节点,添加到结果集
|
|
29
|
+
if (isOqlRelatedFileNode(nd)) {
|
|
30
|
+
res.add(nd);
|
|
31
|
+
}
|
|
32
|
+
// 如果是可调用的 NASL 逻辑,检查是否包含 OqlQueryComponent
|
|
33
|
+
if ((0, service_2.isCallableNaslLogic)(nd)) {
|
|
34
|
+
let hasOql = false;
|
|
35
|
+
nd.traverseStrictChildrenStopWhen?.((child) => {
|
|
36
|
+
if (child.concept === 'OqlQueryComponent') {
|
|
37
|
+
hasOql = true;
|
|
38
|
+
return true;
|
|
39
|
+
}
|
|
40
|
+
}, (child) => child.concept === 'OqlQueryComponent');
|
|
41
|
+
if (hasOql) {
|
|
42
|
+
res.add(nd);
|
|
43
|
+
}
|
|
44
|
+
}
|
|
45
|
+
// 查找直接引用
|
|
46
|
+
const nsp = (0, helper_1.getNamespaceWithoutLast)(nd);
|
|
47
|
+
const qNames = (0, collect_q_name_1.getQNamesOfCreateAction)(nsp, nd);
|
|
48
|
+
for (const qName of qNames) {
|
|
49
|
+
// 检查缓存的引用
|
|
50
|
+
const cachedRefs = env.refMgr.gCachedQNameSymbolRefs.get(qName[0]) ?? new Set();
|
|
51
|
+
for (const ref of cachedRefs) {
|
|
52
|
+
const fNode = (0, service_1.getFileNode)(ref);
|
|
53
|
+
if (fNode && !removedNodes.has(fNode)) {
|
|
54
|
+
res.add(fNode);
|
|
55
|
+
}
|
|
56
|
+
}
|
|
57
|
+
// 检查当前引用
|
|
58
|
+
const def = env.refMgr.gQNameDefs.get(qName[0]);
|
|
59
|
+
if (def) {
|
|
60
|
+
const refs = env.refMgr.getSymbolRefs(def) ?? new Set();
|
|
61
|
+
for (const ref of refs) {
|
|
62
|
+
const fNode = (0, service_1.getFileNode)(ref);
|
|
63
|
+
if (fNode && !removedNodes.has(fNode)) {
|
|
64
|
+
res.add(fNode);
|
|
65
|
+
}
|
|
66
|
+
}
|
|
67
|
+
}
|
|
68
|
+
}
|
|
69
|
+
// 缓存结果
|
|
70
|
+
memoizedFileNodes.set(nd, res);
|
|
71
|
+
return res;
|
|
72
|
+
};
|
|
73
|
+
// 递归查找可能包含 OQL 的引用闭包
|
|
74
|
+
const getOqlFileTransitiveClosure = (startNodes) => {
|
|
75
|
+
const result = new Set();
|
|
76
|
+
const visited = new Set();
|
|
77
|
+
const queue = [...startNodes];
|
|
78
|
+
while (queue.length > 0) {
|
|
79
|
+
const current = queue.shift();
|
|
80
|
+
if (visited.has(current)) {
|
|
81
|
+
continue;
|
|
82
|
+
}
|
|
83
|
+
visited.add(current);
|
|
84
|
+
// 如果当前节点是 OQL 相关节点或包含 OQL 查询组件,添加到结果
|
|
85
|
+
if (isOqlRelatedFileNode(current) || hasOqlQueryComponent(current)) {
|
|
86
|
+
result.add(current);
|
|
87
|
+
}
|
|
88
|
+
// 获取直接引用并加入队列
|
|
89
|
+
const refs = getOqlRefFileNodes(current);
|
|
90
|
+
for (const ref of refs) {
|
|
91
|
+
if (!visited.has(ref) && !removedNodes.has(ref)) {
|
|
92
|
+
queue.push(ref);
|
|
93
|
+
}
|
|
94
|
+
}
|
|
95
|
+
}
|
|
96
|
+
return result;
|
|
97
|
+
};
|
|
98
|
+
// 检查节点是否包含 OqlQueryComponent
|
|
99
|
+
const hasOqlQueryComponent = (node) => {
|
|
100
|
+
if (!(0, service_2.isCallableNaslLogic)(node)) {
|
|
101
|
+
return false;
|
|
102
|
+
}
|
|
103
|
+
let result = false;
|
|
104
|
+
node.traverseStrictChildrenStopWhen?.((nd) => {
|
|
105
|
+
if (nd.concept === 'OqlQueryComponent') {
|
|
106
|
+
result = true;
|
|
107
|
+
return true;
|
|
108
|
+
}
|
|
109
|
+
}, (nd) => nd.concept === 'OqlQueryComponent');
|
|
110
|
+
return result;
|
|
111
|
+
};
|
|
112
|
+
// 开始处理,使用优化后的引用查找
|
|
113
|
+
const chkFiles = new Set(__chkFiles);
|
|
114
|
+
const oqlRelatedNodes = getOqlFileTransitiveClosure(chkFiles);
|
|
115
|
+
// 过滤掉已移除的节点
|
|
116
|
+
const result = Array.from(oqlRelatedNodes).filter(node => !removedNodes.has(node));
|
|
117
|
+
nasl_utils_1.isDebugMode && console.timeEnd('\x1b[44m\x1b[97m Get Oql Related Files');
|
|
118
|
+
return result;
|
|
119
|
+
};
|
|
120
|
+
exports.getOqlFiles = getOqlFiles;
|
|
121
|
+
const isOqlRelatedFileNode = (nd) => nd.concept === 'Entity' ||
|
|
122
|
+
nd.concept === 'Structure' ||
|
|
123
|
+
nd.concept === 'Enum' ||
|
|
124
|
+
nd.concept === 'BackendVariable';
|
|
125
|
+
const getOldTsFilePath = (filePath, oldQName) => {
|
|
126
|
+
const lastDotIndex = filePath.lastIndexOf('.');
|
|
127
|
+
const lastSlashIndex = filePath.lastIndexOf('/');
|
|
128
|
+
if (lastDotIndex > lastSlashIndex) {
|
|
129
|
+
const basePath = filePath.substring(0, lastSlashIndex + 1);
|
|
130
|
+
const extension = filePath.substring(lastDotIndex);
|
|
131
|
+
return basePath + oldQName + extension;
|
|
132
|
+
}
|
|
133
|
+
return filePath;
|
|
134
|
+
};
|
|
135
|
+
exports.getOldTsFilePath = getOldTsFilePath;
|
|
136
|
+
//# sourceMappingURL=get-oql-files.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"get-oql-files.js","sourceRoot":"","sources":["../../src/typer/get-oql-files.ts"],"names":[],"mappings":";;;AAAA,iDAA+C;AAE/C,yDAA0D;AAE1D,yDAAkE;AAElE,wEAA8E;AAC9E,wDAAsE;AAEtE;;;;;;;GAOG;AACI,MAAM,WAAW,GAAG,CACvB,GAAW,EACX,UAA2B,EAC3B,YAA6B,EACZ,EAAE;IACnB,wBAAW,IAAI,OAAO,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACtE,4CAA4C;IAC5C,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAA+B,CAAC;IAEjE,8BAA8B;IAC9B,MAAM,kBAAkB,GAAG,CAAC,EAAc,EAAmB,EAAE;QAC3D,0BAA0B;QAC1B,IAAI,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5B,OAAO,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;QACtC,CAAC;QAED,MAAM,GAAG,GAAG,IAAI,GAAG,EAAc,CAAC;QAClC,0BAA0B;QAC1B,IAAI,oBAAoB,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3B,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChB,CAAC;QAED,2CAA2C;QAC3C,IAAI,IAAA,6BAAmB,EAAC,EAAE,CAAC,EAAE,CAAC;YAC1B,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,EAAE,CAAC,8BAA8B,EAAE,CAAC,CAAC,KAAK,EAAE,EAAE;gBAC1C,IAAI,KAAK,CAAC,OAAO,KAAK,mBAAmB,EAAE,CAAC;oBACxC,MAAM,GAAG,IAAI,CAAC;oBACd,OAAO,IAAI,CAAC;gBAChB,CAAC;YACL,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,mBAAmB,CAAC,CAAC;YAErD,IAAI,MAAM,EAAE,CAAC;gBACT,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,CAAC;QACL,CAAC;QAED,SAAS;QACT,MAAM,GAAG,GAAG,IAAA,gCAAuB,EAAC,EAAgB,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,IAAA,wCAAuB,EAAC,GAAG,EAAE,EAAgB,CAAC,CAAC;QAC9D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YACzB,UAAU;YACV,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,sBAAsB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;YAChF,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC3B,MAAM,KAAK,GAAG,IAAA,qBAAW,EAAC,GAAG,CAAe,CAAC;gBAC7C,IAAI,KAAK,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBACpC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACnB,CAAC;YACL,CAAC;YAED,SAAS;YACT,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,IAAI,GAAG,EAAE,CAAC;gBACN,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,EAAc,CAAC;gBACpE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;oBACrB,MAAM,KAAK,GAAG,IAAA,qBAAW,EAAC,GAAG,CAAe,CAAC;oBAC7C,IAAI,KAAK,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;wBACpC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBACnB,CAAC;gBACL,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO;QACP,iBAAiB,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC/B,OAAO,GAAG,CAAC;IACf,CAAC,CAAC;IAEF,qBAAqB;IACrB,MAAM,2BAA2B,GAAG,CAAC,UAA2B,EAAmB,EAAE;QACjF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAc,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAc,CAAC;QACtC,MAAM,KAAK,GAAiB,CAAC,GAAG,UAAU,CAAC,CAAC;QAE5C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAE/B,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvB,SAAS;YACb,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAErB,qCAAqC;YACrC,IAAI,oBAAoB,CAAC,OAAO,CAAC,IAAI,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACjE,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACxB,CAAC;YAED,cAAc;YACd,MAAM,IAAI,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;YACzC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACrB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC9C,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACpB,CAAC;YACL,CAAC;QACL,CAAC;QAED,OAAO,MAAM,CAAC;IAClB,CAAC,CAAC;IAEF,6BAA6B;IAC7B,MAAM,oBAAoB,GAAG,CAAC,IAAgB,EAAW,EAAE;QACvD,IAAI,CAAC,IAAA,6BAAmB,EAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO,KAAK,CAAC;QACjB,CAAC;QAED,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,IAAI,CAAC,8BAA8B,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE;YACzC,IAAI,EAAE,CAAC,OAAO,KAAK,mBAAmB,EAAE,CAAC;gBACrC,MAAM,GAAG,IAAI,CAAC;gBACd,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,OAAO,KAAK,mBAAmB,CAAC,CAAC;QAE/C,OAAO,MAAM,CAAC;IAClB,CAAC,CAAC;IAEF,kBAAkB;IAClB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAa,UAAU,CAAC,CAAC;IACjD,MAAM,eAAe,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC;IAE9D,YAAY;IACZ,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAEnF,wBAAW,IAAI,OAAO,CAAC,OAAO,CAAC,wCAAwC,CAAC,CAAC;IACzE,OAAO,MAAM,CAAC;AAClB,CAAC,CAAA;AA7HY,QAAA,WAAW,eA6HvB;AAED,MAAM,oBAAoB,GAAG,CAAC,EAAc,EAAW,EAAE,CACrD,EAAE,CAAC,OAAO,KAAK,QAAQ;IACvB,EAAE,CAAC,OAAO,KAAK,WAAW;IAC1B,EAAE,CAAC,OAAO,KAAK,MAAM;IACrB,EAAE,CAAC,OAAO,KAAK,iBAAiB,CAAC;AAE9B,MAAM,gBAAgB,GAAG,CAAC,QAAgB,EAAE,QAAgB,EAAU,EAAE;IAC3E,MAAM,YAAY,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC/C,MAAM,cAAc,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACjD,IAAI,YAAY,GAAG,cAAc,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,CAAC;QAC3D,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QACnD,OAAO,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC3C,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC,CAAC;AATW,QAAA,gBAAgB,oBAS3B"}
|
package/out/typer/helper.d.ts
CHANGED
|
@@ -2,8 +2,8 @@ import { Constraints, OrderedConstraints, TyVarSolution } from "./type-manager";
|
|
|
2
2
|
export declare function createOnPush<K extends WeakKey, V>(m: WeakMap<K, Array<V>>, k: K, v: V): void;
|
|
3
3
|
export declare function createOnPush<K, V>(m: Map<K, Array<V>>, k: K, v: V): void;
|
|
4
4
|
export declare function createSetOnPush<K, V>(m: Map<K, Set<V>>, k: K, v: V): void;
|
|
5
|
-
export declare function
|
|
6
|
-
export declare function
|
|
5
|
+
export declare function mRemoveLastOne<K, V>(m: Map<K, Array<V>>, k: K): void;
|
|
6
|
+
export declare function mGetLastOne<K, V>(m: Map<K, Array<V>>, k: K): V | undefined;
|
|
7
7
|
export declare function modifyLastOne<K, V>(m: Map<K, Array<V>>, k: K, v: V): void;
|
|
8
8
|
export declare const zipWith: <T1, T2, T3>(lam: (_0: T1, _1: T2) => T3, a: Array<T1>, b: Array<T2>) => Array<T3>;
|
|
9
9
|
export declare const zipWith_: <T1, T2, T3>(lam: (_0: T1, _1: T2) => T3, a: Array<T1>, b: Array<T2>) => void;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"helper.d.ts","sourceRoot":"","sources":["../../src/typer/helper.ts"],"names":[],"mappings":"AACA,OAAO,EAEH,WAAW,EACX,kBAAkB,EAClB,aAAa,EAEhB,MAAM,gBAAgB,CAAC;AAGxB,wBAAgB,YAAY,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;AAC9F,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;AAU1E,wBAAgB,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAMzE;AAED,wBAAgB,
|
|
1
|
+
{"version":3,"file":"helper.d.ts","sourceRoot":"","sources":["../../src/typer/helper.ts"],"names":[],"mappings":"AACA,OAAO,EAEH,WAAW,EACX,kBAAkB,EAClB,aAAa,EAEhB,MAAM,gBAAgB,CAAC;AAGxB,wBAAgB,YAAY,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;AAC9F,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;AAU1E,wBAAgB,eAAe,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAMzE;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAKpE;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,SAAS,CAK1E;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAMzE;AAED,eAAO,MAAM,OAAO,oBAAqB,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,CAAC,KAAK,MAAM,EAAE,CAAC,KAAG,MAAM,EAAE,CAMrG,CAAA;AAED,eAAO,MAAM,QAAQ,oBAAqB,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,CAAC,KAAK,MAAM,EAAE,CAAC,KAAG,IAM9F,CAAA;AAED,eAAO,MAAM,uBAAuB,oBAC1B,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,QACtB,CAAC,EAAE,EAAE,EAAE,KAAK,OAAO,KACtB,MAAM,EAAE,CAAC,KACT,MAAM,EAAE,CAAC,KAAG,OAUlB,CAAA;AAED,eAAO,MAAM,mBAAmB,gBACtB,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,OAAO,KAC9B,MAAM,EAAE,CAAC,KACT,MAAM,EAAE,CAAC,KAAG,OAUlB,CAAA;AAED,wBAAgB,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAG,CAAC,KAAK,OAAO,YAQvE;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAG9C;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAGhD;AAGD,wBAAgB,YAAY,CAAC,CAAC,EAAE,aAAa,QAI5C;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,WAAW,QAI/C;AAED,wBAAgB,eAAe,CAAC,EAAE,EAAE,WAAW,UAO9C;AAGD,wBAAgB,uBAAuB,CAAC,EAAE,EAAE,kBAAkB,QAI7D;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,CAAC,EAAG,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,CAAC,GAAG,SAAS,CAM5E;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAAG,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,MAAM,GAAG,SAAS,CAOtF;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAWpF;AAGD,wBAAgB,sBAAsB,CAAC,IAAI,KAAA,QAM1C;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAMrD;AAED,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAEzD;AAGD,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAQnF;AAED,eAAO,MAAM,KAAK,MAAO,OAAO,YAAO,CAAC;AAmBxC,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAanD;AAGD,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,eAAY,UAiDtD"}
|
package/out/typer/helper.js
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
"use strict";
|
|
2
2
|
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
-
exports.estimateSize = exports.compTagToName = exports.isNot = exports.removeDupBy = exports.getListLast = exports.copyMap = exports.eraseAllTypeAnnotation = exports.divideBy = exports.findIndexBy = exports.findBy = exports.printOrderedConstraints = exports.showConstraints = exports.printConstraints = exports.printTySubst = exports.isInteger = exports.isFloat = exports.getAllIndexes = exports.fastZipWithAndEvery = exports.fastZipWithAndEveryTest = exports.zipWith_ = exports.zipWith = exports.modifyLastOne = exports.
|
|
3
|
+
exports.estimateSize = exports.compTagToName = exports.isNot = exports.removeDupBy = exports.getListLast = exports.copyMap = exports.eraseAllTypeAnnotation = exports.divideBy = exports.findIndexBy = exports.findBy = exports.printOrderedConstraints = exports.showConstraints = exports.printConstraints = exports.printTySubst = exports.isInteger = exports.isFloat = exports.getAllIndexes = exports.fastZipWithAndEvery = exports.fastZipWithAndEveryTest = exports.zipWith_ = exports.zipWith = exports.modifyLastOne = exports.mGetLastOne = exports.mRemoveLastOne = exports.createSetOnPush = exports.createOnPush = void 0;
|
|
4
4
|
const type_manager_1 = require("./type-manager");
|
|
5
5
|
function createOnPush(m, k, v) {
|
|
6
6
|
if (m.has(k)) {
|
|
@@ -20,21 +20,21 @@ function createSetOnPush(m, k, v) {
|
|
|
20
20
|
}
|
|
21
21
|
}
|
|
22
22
|
exports.createSetOnPush = createSetOnPush;
|
|
23
|
-
function
|
|
23
|
+
function mRemoveLastOne(m, k) {
|
|
24
24
|
const v = m.get(k);
|
|
25
25
|
if (!v)
|
|
26
26
|
return;
|
|
27
27
|
v.pop();
|
|
28
28
|
v.length === 0 && m.delete(k);
|
|
29
29
|
}
|
|
30
|
-
exports.
|
|
31
|
-
function
|
|
30
|
+
exports.mRemoveLastOne = mRemoveLastOne;
|
|
31
|
+
function mGetLastOne(m, k) {
|
|
32
32
|
const vs = m.get(k);
|
|
33
33
|
if (vs?.length) {
|
|
34
34
|
return vs[vs.length - 1];
|
|
35
35
|
}
|
|
36
36
|
}
|
|
37
|
-
exports.
|
|
37
|
+
exports.mGetLastOne = mGetLastOne;
|
|
38
38
|
function modifyLastOne(m, k, v) {
|
|
39
39
|
const vs = m.get(k);
|
|
40
40
|
if (vs?.length) {
|
package/out/typer/helper.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"helper.js","sourceRoot":"","sources":["../../src/typer/helper.ts"],"names":[],"mappings":";;;AACA,iDAMwB;AAKxB,SAAgB,YAAY,CAAO,CAA4C,EAAE,CAAI,EAAE,CAAI;IACvF,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACX,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;SAAM,CAAC;QACJ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACL,CAAC;AAND,oCAMC;AAGD,SAAgB,eAAe,CAAO,CAAiB,EAAE,CAAI,EAAE,CAAI;IAC/D,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACX,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;SAAM,CAAC;QACJ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;AACL,CAAC;AAND,0CAMC;AAED,SAAgB,
|
|
1
|
+
{"version":3,"file":"helper.js","sourceRoot":"","sources":["../../src/typer/helper.ts"],"names":[],"mappings":";;;AACA,iDAMwB;AAKxB,SAAgB,YAAY,CAAO,CAA4C,EAAE,CAAI,EAAE,CAAI;IACvF,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACX,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC;SAAM,CAAC;QACJ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACL,CAAC;AAND,oCAMC;AAGD,SAAgB,eAAe,CAAO,CAAiB,EAAE,CAAI,EAAE,CAAI;IAC/D,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACX,CAAC,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;SAAM,CAAC;QACJ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;AACL,CAAC;AAND,0CAMC;AAED,SAAgB,cAAc,CAAO,CAAmB,EAAE,CAAI;IAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACnB,IAAI,CAAC,CAAC;QAAE,OAAO;IACf,CAAC,CAAC,GAAG,EAAE,CAAC;IACR,CAAC,CAAC,MAAM,KAAK,CAAC,IAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;AACnC,CAAC;AALD,wCAKC;AAED,SAAgB,WAAW,CAAO,CAAmB,EAAE,CAAI;IACvD,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC;QACb,OAAO,EAAE,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7B,CAAC;AACL,CAAC;AALD,kCAKC;AAED,SAAgB,aAAa,CAAO,CAAmB,EAAE,CAAI,EAAE,CAAI;IAC/D,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC;QACb,MAAM,IAAI,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;QAC3B,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;AACL,CAAC;AAND,sCAMC;AAEM,MAAM,OAAO,GAAG,CAAa,GAA2B,EAAE,CAAY,EAAE,CAAY,EAAa,EAAE;IACtG,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACvB,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO;IACjD,CAAC;SAAM,CAAC;QACJ,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC;AACL,CAAC,CAAA;AANY,QAAA,OAAO,WAMnB;AAEM,MAAM,QAAQ,GAAG,CAAa,GAA2B,EAAE,CAAY,EAAE,CAAY,EAAQ,EAAE;IAClG,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACvB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC;SAAM,CAAC;QACJ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC;AACL,CAAC,CAAA;AANY,QAAA,QAAQ,YAMpB;AAEM,MAAM,uBAAuB,GAAG,CAClC,GAA2B,EAC5B,IAAyB,EACzB,CAAY,EACZ,CAAY,EAAW,EAAE;IACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,GAAG,GAAY,IAAI,CAAC;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,MAAM;QACV,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC,CAAA;AAdY,QAAA,uBAAuB,2BAcnC;AAEM,MAAM,mBAAmB,GAAG,CAC9B,GAAgC,EACjC,CAAY,EACZ,CAAY,EAAW,EAAE;IACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,GAAG,GAAY,IAAI,CAAC;IACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,GAAG,EAAE,CAAC;YACP,MAAM;QACV,CAAC;IACL,CAAC;IACD,OAAO,GAAG,CAAC;AACf,CAAC,CAAA;AAbY,QAAA,mBAAmB,uBAa/B;AAED,SAAgB,aAAa,CAAI,GAAa,EAAE,IAAwB;IACpE,IAAI,OAAO,GAAG,EAAE,EAAE,CAAC,CAAC;IACpB,KAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACf,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AARD,sCAQC;AAED,SAAgB,OAAO,CAAC,KAAa;IACjC,MAAM,UAAU,GAAG,gCAAgC,CAAC;IACpD,OAAO,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAClC,CAAC;AAHD,0BAGC;AAED,SAAgB,SAAS,CAAC,KAAa;IACnC,MAAM,QAAQ,GAAG,YAAY,CAAC;IAC9B,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAHD,8BAGC;AAGD,SAAgB,YAAY,CAAC,CAAgB;IACzC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACf,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,IAAA,uBAAQ,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACP,CAAC;AAJD,oCAIC;AAED,SAAgB,gBAAgB,CAAC,EAAe;IAC5C,EAAE,CAAC,OAAO,CAAC,CAAC,EAAC,EAAE,EAAE,EAAE,EAAC,EAAE,KAAK,EAAE,EAAE;QAC3B,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,uBAAQ,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,uBAAQ,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAClI,CAAC,CAAC,CAAC;AACP,CAAC;AAJD,4CAIC;AAED,SAAgB,eAAe,CAAC,EAAe;IAC7C,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,EAAE,CAAC,OAAO,CAAC,CAAC,EAAC,EAAE,EAAE,EAAE,EAAC,EAAE,KAAK,EAAE,EAAE;QAC3B,GAAG,IAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,uBAAQ,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,uBAAQ,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACxH,GAAG,IAAE,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAA;AACZ,CAAC;AAPD,0CAOC;AAGD,SAAgB,uBAAuB,CAAC,EAAsB;IAC1D,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,EAAC,EAAE,EAAE,EAAE,EAAC,CAAC,EAAE,EAAE;QAC7B,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,uBAAQ,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAA,uBAAQ,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAClI,CAAC,CAAC,CAAC;AACP,CAAC;AAJD,0DAIC;AAED,SAAgB,MAAM,CAAI,CAAY,EAAE,EAAqB;IACzD,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAChB,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACR,OAAO,CAAC,CAAC;QACb,CAAC;IACL,CAAC;AACL,CAAC;AAND,wBAMC;AAED,SAAgB,WAAW,CAAI,CAAY,EAAE,EAAqB;IAC9D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACX,OAAO,CAAC,CAAC;QACb,CAAC;IACL,CAAC;IACD,OAAO,SAAS,CAAC;AACrB,CAAC;AAPD,kCAOC;AAED,SAAgB,QAAQ,CAAI,CAAW,EAAE,EAAqB;IAC1D,MAAM,EAAE,GAAa,EAAE,CAAC;IACxB,MAAM,EAAE,GAAa,EAAE,CAAC;IACxB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QACV,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACR,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACf,CAAC;aAAM,CAAC;YACJ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACf,CAAC;IACL,CAAC,CAAC,CAAA;IACF,OAAO,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AACpB,CAAC;AAXD,4BAWC;AAED,aAAa;AACb,SAAgB,sBAAsB,CAAC,IAAI;IACvC,IAAI,CAAC,gBAAgB,CAAC,CAAC,EAAE,EAAE,EAAE;QACzB,IAAI,EAAE,EAAE,gBAAgB,EAAE,CAAC;YACvB,EAAE,CAAC,gBAAgB,GAAG,SAAS,CAAC;QACpC,CAAC;IACL,CAAC,CAAC,CAAA;AACN,CAAC;AAND,wDAMC;AAED,SAAgB,OAAO,CAAO,CAAY;IACtC,MAAM,EAAE,GAAG,IAAI,GAAG,EAAQ,CAAC;IAC3B,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACf,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjB,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,CAAC;AACd,CAAC;AAND,0BAMC;AAED,SAAgB,WAAW,CAAI,CAAW;IACtC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AAC3B,CAAC;AAFD,kCAEC;AAED,QAAQ;AACR,SAAgB,WAAW,CAAI,CAAW,EAAE,EAA6B;IACrE,MAAM,EAAE,GAAa,EAAE,CAAC;IACxB,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QACV,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;YAC5B,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACf,CAAC;IACL,CAAC,CAAC,CAAA;IACF,OAAO,EAAE,CAAC;AACd,CAAC;AARD,kCAQC;AAEM,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;AAA3B,QAAA,KAAK,SAAsB;AAExC,qCAAqC;AAErC,+BAA+B;AAC/B,qBAAqB;AACrB,kCAAkC;AAElC,iEAAiE;AACjE,yCAAyC;AACzC,sCAAsC;AACtC,qCAAqC;AACrC,oCAAoC;AACpC,gBAAgB;AAChB,cAAc;AACd,SAAS;AACT,IAAI;AAGJ,SAAgB,aAAa,CAAC,KAAa;IACzC,IAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAC,CAAC;QAC3B,yEAAyE;QACzE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC;SAC7B,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACV,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACnF,OAAO,eAAe,CAAC;IAC3B,CAAC,CAAC;SACD,IAAI,CAAC,EAAE,CAAC,CAAC;IACd,8CAA8C;IAC9C,OAAO,WAAW,SAAS,EAAE,CAAC;AAChC,CAAC;AAbD,sCAaC;AAGD,SAAgB,YAAY,CAAC,GAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,EAAE;IACnD,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACpC,OAAO,CAAC,CAAC;IACb,CAAC;IAED,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,OAAO,GAAG,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO,CAAC,CAAC;QACb,CAAC;aAAM,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC;QAC1B,CAAC;aAAM,IAAI,OAAO,GAAG,KAAK,UAAU,EAAE,CAAC;YACnC,OAAO,CAAC,CAAC;QACb,CAAC;IACL,CAAC;IAED,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;QAChB,OAAO,CAAC,CAAC;IACb,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAEd,IAAI,IAAI,GAAG,CAAC,CAAC;IAEb,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACrB,IAAI,IAAI,EAAE,CAAC;QACX,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACrB,IAAI,IAAI,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrC,CAAC;IACL,CAAC;SAAM,IAAI,GAAG,YAAY,GAAG,EAAE,CAAC;QAC5B,IAAI,IAAI,EAAE,CAAC;QACX,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,GAAG,EAAE,CAAC;YAC7B,IAAI,IAAI,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAChE,CAAC;IACL,CAAC;SAAM,IAAI,GAAG,YAAY,GAAG,EAAE,CAAC;QAC5B,IAAI,IAAI,EAAE,CAAC;QACX,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;YACrB,IAAI,IAAI,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrC,CAAC;IACL,CAAC;SAAM,IAAI,GAAG,YAAY,MAAM,EAAE,CAAC;QAC/B,IAAI,IAAI,EAAE,CAAC;QACX,KAAK,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;YACpB,IAAI,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1B,IAAI,IAAI,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;YACnE,CAAC;QACL,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAjDD,oCAiDC"}
|
|
@@ -29,9 +29,6 @@ export declare const preProcessOther: (env: SemEnv, nd: SyntaxNode, typerCheckFi
|
|
|
29
29
|
* @warning 改动这个文件中的逻辑时很容易引发增量检查问题、查找引用问题、内存泄漏,请谨慎;如单元测试 UT 发生错误,更要谨慎
|
|
30
30
|
*/
|
|
31
31
|
export declare const preProcessDefRename: (env: SemEnv, nd: DefConcept, typerCheckFiles: Set<SyntaxNode>, oldName: string, mode: 'rename-only' | 'update' | null, oqlRemoveNodesTsPath: Set<string>) => boolean;
|
|
32
|
-
/**
|
|
33
|
-
* Parameters for the checkUpdateRefsDiag function
|
|
34
|
-
*/
|
|
35
32
|
export interface CheckUpdateRefsDiagParams {
|
|
36
33
|
env: SemEnv;
|
|
37
34
|
diagMgr: DiagnosticManager | undefined;
|
|
@@ -51,14 +48,5 @@ export interface CheckUpdateRefsDiagParams {
|
|
|
51
48
|
* @warning 改动这个文件中的逻辑时很容易引发增量检查问题、查找引用问题、内存泄漏,请谨慎;如单元测试 UT 发生错误,更要谨慎
|
|
52
49
|
*/
|
|
53
50
|
export declare function checkUpdateRefsDiag(params: CheckUpdateRefsDiagParams): Promise<Array<DiagnosticRecord>>;
|
|
54
|
-
/**
|
|
55
|
-
* 确定是否需要运行 tsOql 检查
|
|
56
|
-
* @param checkFiles 粗布判定需要检查的文件集合
|
|
57
|
-
* @param removeFiles 需要删除的节点集合
|
|
58
|
-
* @param createdFiles NASL 上创建的节点集合
|
|
59
|
-
* @returns 是否包含 oql 节点,是否要运行 ts 的 oql 检查
|
|
60
|
-
* 目前做得比较简单,如果有一个含有 Oql,则全部都生成 ts,免得缺少文件。
|
|
61
|
-
*/
|
|
62
|
-
export declare const getOqlFiles: (env: SemEnv, __chkFiles: Set<SyntaxNode>, removedNodes: Set<SyntaxNode>) => Array<SyntaxNode>;
|
|
63
51
|
export {};
|
|
64
52
|
//# sourceMappingURL=incremental-update.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"incremental-update.d.ts","sourceRoot":"","sources":["../../src/typer/incremental-update.ts"],"names":[],"mappings":"AAEA,OAAO,
|
|
1
|
+
{"version":3,"file":"incremental-update.d.ts","sourceRoot":"","sources":["../../src/typer/incremental-update.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAwC,UAAU,EAAkB,MAAM,qBAAqB,CAAC;AAGlH,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAGjC,OAAO,EAAiC,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAE7E,OAAO,EAAE,KAAK,UAAU,EAA8B,MAAM,kCAAkC,CAAC;AAO/F,OAAO,EAAE,UAAU,IAAI,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAQ7D,KAAK,iBAAiB,GAAG,kBAAkB,CAAC,iBAAiB,CAAC;AAG9D,MAAM,WAAW,gBAAgB;IAC7B,eAAe,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IACjC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAClC,gBAAgB,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;CACrC;AAED;;;GAGG;AACH,eAAO,MAAM,eAAe,QAAS,MAAM,MAAM,UAAU,mBAAmB,IAAI,UAAU,CAAC,KAAG,OAO/F,CAAA;AAED;;;;;;;;;GASG;AACH;;GAEG;AACH,eAAO,MAAM,mBAAmB,QACvB,MAAM,MACP,UAAU,mBACG,IAAI,UAAU,CAAC,WACvB,MAAM,QACT,aAAa,GAAG,QAAQ,GAAG,IAAI,wBACf,IAAI,MAAM,CAAC,KAC9B,OAgDN,CAAA;AA4ID,MAAM,WAAW,yBAAyB;IACtC,GAAG,EAAE,MAAM,CAAC;IACZ,OAAO,EAAE,iBAAiB,GAAG,SAAS,CAAC;IACvC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC1B,WAAW,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC7B,WAAW,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;IAC7B,aAAa,EAAE,qBAAqB,EAAE,CAAC;IACvC,iBAAiB,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC;IACnC,YAAY,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,CAAC;CAClC;AAED;;;;GAIG;AACH;;GAEG;AACH,wBAAsB,mBAAmB,CAAC,MAAM,EAAE,yBAAyB,GAAG,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAiK7G"}
|