arkanalyzer 1.0.19 → 1.0.21

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.
Files changed (290) hide show
  1. package/lib/Config.d.ts +70 -70
  2. package/lib/Config.js +198 -198
  3. package/lib/Scene.d.ts +316 -310
  4. package/lib/Scene.d.ts.map +1 -1
  5. package/lib/Scene.js +1316 -1271
  6. package/lib/callgraph/algorithm/AbstractAnalysis.d.ts +28 -28
  7. package/lib/callgraph/algorithm/AbstractAnalysis.js +144 -144
  8. package/lib/callgraph/algorithm/ClassHierarchyAnalysis.d.ts +10 -10
  9. package/lib/callgraph/algorithm/ClassHierarchyAnalysis.js +69 -69
  10. package/lib/callgraph/algorithm/RapidTypeAnalysis.d.ts +15 -15
  11. package/lib/callgraph/algorithm/RapidTypeAnalysis.js +146 -146
  12. package/lib/callgraph/common/Statistics.d.ts +57 -57
  13. package/lib/callgraph/common/Statistics.js +228 -228
  14. package/lib/callgraph/model/CallGraph.d.ts +96 -96
  15. package/lib/callgraph/model/CallGraph.js +354 -354
  16. package/lib/callgraph/model/builder/CallGraphBuilder.d.ts +15 -15
  17. package/lib/callgraph/model/builder/CallGraphBuilder.js +106 -106
  18. package/lib/callgraph/pointerAnalysis/Context.d.ts +37 -37
  19. package/lib/callgraph/pointerAnalysis/Context.js +155 -155
  20. package/lib/callgraph/pointerAnalysis/DummyCallCreator.d.ts +22 -22
  21. package/lib/callgraph/pointerAnalysis/DummyCallCreator.js +104 -104
  22. package/lib/callgraph/pointerAnalysis/PTAUtils.d.ts +5 -5
  23. package/lib/callgraph/pointerAnalysis/PTAUtils.js +46 -46
  24. package/lib/callgraph/pointerAnalysis/Pag.d.ts +261 -261
  25. package/lib/callgraph/pointerAnalysis/Pag.js +930 -930
  26. package/lib/callgraph/pointerAnalysis/PagBuilder.d.ts +157 -157
  27. package/lib/callgraph/pointerAnalysis/PagBuilder.d.ts.map +1 -1
  28. package/lib/callgraph/pointerAnalysis/PagBuilder.js +1399 -1397
  29. package/lib/callgraph/pointerAnalysis/PointerAnalysis.d.ts +72 -72
  30. package/lib/callgraph/pointerAnalysis/PointerAnalysis.js +573 -573
  31. package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.d.ts +15 -15
  32. package/lib/callgraph/pointerAnalysis/PointerAnalysisConfig.js +81 -81
  33. package/lib/callgraph/pointerAnalysis/PtsDS.d.ts +80 -80
  34. package/lib/callgraph/pointerAnalysis/PtsDS.js +308 -308
  35. package/lib/core/base/Constant.d.ts +48 -48
  36. package/lib/core/base/Constant.js +103 -103
  37. package/lib/core/base/Decorator.d.ts +15 -15
  38. package/lib/core/base/Decorator.js +46 -46
  39. package/lib/core/base/DefUseChain.d.ts +8 -8
  40. package/lib/core/base/DefUseChain.js +25 -25
  41. package/lib/core/base/Expr.d.ts +340 -340
  42. package/lib/core/base/Expr.js +917 -917
  43. package/lib/core/base/Local.d.ts +104 -104
  44. package/lib/core/base/Local.js +176 -176
  45. package/lib/core/base/Position.d.ts +30 -30
  46. package/lib/core/base/Position.js +147 -147
  47. package/lib/core/base/Ref.d.ts +173 -173
  48. package/lib/core/base/Ref.js +374 -374
  49. package/lib/core/base/Stmt.d.ts +237 -237
  50. package/lib/core/base/Stmt.js +525 -525
  51. package/lib/core/base/Trap.d.ts +8 -8
  52. package/lib/core/base/Trap.js +30 -30
  53. package/lib/core/base/Type.d.ts +308 -308
  54. package/lib/core/base/Type.js +639 -639
  55. package/lib/core/base/TypeExpr.d.ts +71 -71
  56. package/lib/core/base/TypeExpr.js +155 -155
  57. package/lib/core/base/Value.d.ts +32 -32
  58. package/lib/core/base/Value.js +16 -16
  59. package/lib/core/common/ArkError.d.ts +14 -14
  60. package/lib/core/common/ArkError.js +28 -28
  61. package/lib/core/common/ArkIRTransformer.d.ts +67 -67
  62. package/lib/core/common/ArkIRTransformer.js +690 -690
  63. package/lib/core/common/ArkValueTransformer.d.ts +89 -89
  64. package/lib/core/common/ArkValueTransformer.js +1478 -1478
  65. package/lib/core/common/Builtin.d.ts +36 -36
  66. package/lib/core/common/Builtin.js +81 -81
  67. package/lib/core/common/Const.d.ts +21 -21
  68. package/lib/core/common/Const.js +43 -43
  69. package/lib/core/common/DummyMainCreater.d.ts +46 -42
  70. package/lib/core/common/DummyMainCreater.d.ts.map +1 -1
  71. package/lib/core/common/DummyMainCreater.js +319 -300
  72. package/lib/core/common/EtsConst.d.ts +73 -73
  73. package/lib/core/common/EtsConst.js +1021 -1021
  74. package/lib/core/common/ExprUseReplacer.d.ts +21 -21
  75. package/lib/core/common/ExprUseReplacer.js +124 -124
  76. package/lib/core/common/IRInference.d.ts +36 -36
  77. package/lib/core/common/IRInference.d.ts.map +1 -1
  78. package/lib/core/common/IRInference.js +651 -648
  79. package/lib/core/common/IRUtils.d.ts +18 -18
  80. package/lib/core/common/IRUtils.js +141 -141
  81. package/lib/core/common/ModelUtils.d.ts +70 -70
  82. package/lib/core/common/ModelUtils.js +712 -712
  83. package/lib/core/common/RefUseReplacer.d.ts +13 -13
  84. package/lib/core/common/RefUseReplacer.js +52 -52
  85. package/lib/core/common/SdkUtils.d.ts +8 -8
  86. package/lib/core/common/SdkUtils.js +105 -105
  87. package/lib/core/common/StmtDefReplacer.d.ts +12 -12
  88. package/lib/core/common/StmtDefReplacer.js +41 -41
  89. package/lib/core/common/StmtUseReplacer.d.ts +16 -16
  90. package/lib/core/common/StmtUseReplacer.js +108 -108
  91. package/lib/core/common/TSConst.d.ts +18 -18
  92. package/lib/core/common/TSConst.js +36 -36
  93. package/lib/core/common/TypeInference.d.ts +102 -102
  94. package/lib/core/common/TypeInference.js +748 -748
  95. package/lib/core/common/ValueUtil.d.ts +12 -12
  96. package/lib/core/common/ValueUtil.js +54 -54
  97. package/lib/core/common/VisibleValue.d.ts +36 -36
  98. package/lib/core/common/VisibleValue.js +212 -212
  99. package/lib/core/dataflow/DataflowProblem.d.ts +20 -20
  100. package/lib/core/dataflow/DataflowProblem.js +20 -20
  101. package/lib/core/dataflow/DataflowResult.d.ts +7 -7
  102. package/lib/core/dataflow/DataflowResult.js +26 -26
  103. package/lib/core/dataflow/DataflowSolver.d.ts +43 -43
  104. package/lib/core/dataflow/DataflowSolver.js +307 -307
  105. package/lib/core/dataflow/Edge.d.ts +11 -11
  106. package/lib/core/dataflow/Edge.js +31 -31
  107. package/lib/core/dataflow/Fact.d.ts +6 -6
  108. package/lib/core/dataflow/Fact.js +24 -24
  109. package/lib/core/dataflow/GenericDataFlow.d.ts +143 -0
  110. package/lib/core/dataflow/GenericDataFlow.d.ts.map +1 -0
  111. package/lib/core/dataflow/GenericDataFlow.js +109 -0
  112. package/lib/core/dataflow/ReachingDef.d.ts +63 -0
  113. package/lib/core/dataflow/ReachingDef.d.ts.map +1 -0
  114. package/lib/core/dataflow/ReachingDef.js +168 -0
  115. package/lib/core/dataflow/UndefinedVariable.d.ts +45 -45
  116. package/lib/core/dataflow/UndefinedVariable.js +288 -288
  117. package/lib/core/dataflow/Util.d.ts +9 -9
  118. package/lib/core/dataflow/Util.js +64 -64
  119. package/lib/core/graph/BaseExplicitGraph.d.ts +58 -63
  120. package/lib/core/graph/BaseExplicitGraph.d.ts.map +1 -1
  121. package/lib/core/graph/BaseExplicitGraph.js +157 -157
  122. package/lib/core/graph/BaseImplicitGraph.d.ts +78 -0
  123. package/lib/core/graph/BaseImplicitGraph.d.ts.map +1 -0
  124. package/lib/core/graph/BaseImplicitGraph.js +78 -0
  125. package/lib/core/graph/BasicBlock.d.ts +104 -104
  126. package/lib/core/graph/BasicBlock.js +280 -280
  127. package/lib/core/graph/Cfg.d.ts +59 -59
  128. package/lib/core/graph/Cfg.js +282 -282
  129. package/lib/core/graph/DependsGraph.d.ts +35 -35
  130. package/lib/core/graph/DependsGraph.js +87 -87
  131. package/lib/core/graph/DominanceFinder.d.ts +15 -15
  132. package/lib/core/graph/DominanceFinder.js +121 -121
  133. package/lib/core/graph/DominanceTree.d.ts +12 -12
  134. package/lib/core/graph/DominanceTree.js +70 -70
  135. package/lib/core/graph/GraphTraits.d.ts +8 -0
  136. package/lib/core/graph/GraphTraits.d.ts.map +1 -0
  137. package/lib/core/graph/GraphTraits.js +16 -0
  138. package/lib/core/graph/Scc.d.ts +61 -60
  139. package/lib/core/graph/Scc.d.ts.map +1 -1
  140. package/lib/core/graph/Scc.js +222 -222
  141. package/lib/core/graph/ViewTree.d.ts +114 -114
  142. package/lib/core/graph/ViewTree.js +16 -16
  143. package/lib/core/graph/builder/CfgBuilder.d.ts +176 -176
  144. package/lib/core/graph/builder/CfgBuilder.js +1139 -1139
  145. package/lib/core/graph/builder/ConditionBuilder.d.ts +15 -15
  146. package/lib/core/graph/builder/ConditionBuilder.js +252 -252
  147. package/lib/core/graph/builder/LoopBuilder.d.ts +20 -20
  148. package/lib/core/graph/builder/LoopBuilder.js +251 -251
  149. package/lib/core/graph/builder/SwitchBuilder.d.ts +11 -11
  150. package/lib/core/graph/builder/SwitchBuilder.js +152 -152
  151. package/lib/core/graph/builder/TrapBuilder.d.ts +16 -16
  152. package/lib/core/graph/builder/TrapBuilder.js +272 -272
  153. package/lib/core/graph/builder/ViewTreeBuilder.d.ts +203 -203
  154. package/lib/core/graph/builder/ViewTreeBuilder.js +1055 -1055
  155. package/lib/core/model/ArkBaseModel.d.ts +59 -59
  156. package/lib/core/model/ArkBaseModel.js +274 -274
  157. package/lib/core/model/ArkBody.d.ts +24 -24
  158. package/lib/core/model/ArkBody.js +65 -65
  159. package/lib/core/model/ArkClass.d.ts +206 -206
  160. package/lib/core/model/ArkClass.js +439 -439
  161. package/lib/core/model/ArkExport.d.ts +72 -72
  162. package/lib/core/model/ArkExport.js +147 -147
  163. package/lib/core/model/ArkField.d.ts +62 -62
  164. package/lib/core/model/ArkField.js +113 -113
  165. package/lib/core/model/ArkFile.d.ts +131 -131
  166. package/lib/core/model/ArkFile.js +267 -267
  167. package/lib/core/model/ArkImport.d.ts +44 -44
  168. package/lib/core/model/ArkImport.js +108 -108
  169. package/lib/core/model/ArkMetadata.d.ts +31 -31
  170. package/lib/core/model/ArkMetadata.js +55 -55
  171. package/lib/core/model/ArkMethod.d.ts +261 -261
  172. package/lib/core/model/ArkMethod.js +592 -592
  173. package/lib/core/model/ArkNamespace.d.ts +66 -66
  174. package/lib/core/model/ArkNamespace.js +209 -209
  175. package/lib/core/model/ArkSignature.d.ts +162 -162
  176. package/lib/core/model/ArkSignature.js +379 -379
  177. package/lib/core/model/builder/ArkClassBuilder.d.ts +12 -12
  178. package/lib/core/model/builder/ArkClassBuilder.js +454 -454
  179. package/lib/core/model/builder/ArkExportBuilder.d.ts +24 -24
  180. package/lib/core/model/builder/ArkExportBuilder.js +210 -210
  181. package/lib/core/model/builder/ArkFieldBuilder.d.ts +8 -8
  182. package/lib/core/model/builder/ArkFieldBuilder.js +193 -193
  183. package/lib/core/model/builder/ArkFileBuilder.d.ts +9 -9
  184. package/lib/core/model/builder/ArkFileBuilder.js +165 -165
  185. package/lib/core/model/builder/ArkImportBuilder.d.ts +4 -4
  186. package/lib/core/model/builder/ArkImportBuilder.js +128 -128
  187. package/lib/core/model/builder/ArkMethodBuilder.d.ts +63 -63
  188. package/lib/core/model/builder/ArkMethodBuilder.js +486 -486
  189. package/lib/core/model/builder/ArkNamespaceBuilder.d.ts +5 -5
  190. package/lib/core/model/builder/ArkNamespaceBuilder.js +205 -205
  191. package/lib/core/model/builder/ArkSignatureBuilder.d.ts +8 -8
  192. package/lib/core/model/builder/ArkSignatureBuilder.js +40 -40
  193. package/lib/core/model/builder/BodyBuilder.d.ts +55 -30
  194. package/lib/core/model/builder/BodyBuilder.d.ts.map +1 -1
  195. package/lib/core/model/builder/BodyBuilder.js +542 -371
  196. package/lib/core/model/builder/builderUtils.d.ts +18 -18
  197. package/lib/core/model/builder/builderUtils.js +558 -558
  198. package/lib/index.d.ts +82 -80
  199. package/lib/index.d.ts.map +1 -1
  200. package/lib/index.js +201 -196
  201. package/lib/save/ArkStream.d.ts +23 -23
  202. package/lib/save/ArkStream.js +83 -83
  203. package/lib/save/DotPrinter.d.ts +43 -43
  204. package/lib/save/DotPrinter.js +170 -170
  205. package/lib/save/GraphPrinter.d.ts +16 -15
  206. package/lib/save/GraphPrinter.d.ts.map +1 -1
  207. package/lib/save/GraphPrinter.js +134 -134
  208. package/lib/save/JsonPrinter.d.ts +30 -30
  209. package/lib/save/JsonPrinter.js +580 -580
  210. package/lib/save/Printer.d.ts +12 -12
  211. package/lib/save/Printer.js +27 -27
  212. package/lib/save/PrinterBuilder.d.ts +53 -53
  213. package/lib/save/PrinterBuilder.js +145 -145
  214. package/lib/save/ViewTreePrinter.d.ts +14 -14
  215. package/lib/save/ViewTreePrinter.js +123 -123
  216. package/lib/save/arkir/ArkIRClassPrinter.d.ts +13 -13
  217. package/lib/save/arkir/ArkIRClassPrinter.js +92 -92
  218. package/lib/save/arkir/ArkIRFieldPrinter.d.ts +11 -11
  219. package/lib/save/arkir/ArkIRFieldPrinter.js +64 -64
  220. package/lib/save/arkir/ArkIRFilePrinter.d.ts +12 -12
  221. package/lib/save/arkir/ArkIRFilePrinter.js +54 -54
  222. package/lib/save/arkir/ArkIRMethodPrinter.d.ts +16 -16
  223. package/lib/save/arkir/ArkIRMethodPrinter.js +159 -159
  224. package/lib/save/arkir/ArkIRNamespacePrinter.d.ts +11 -11
  225. package/lib/save/arkir/ArkIRNamespacePrinter.js +66 -66
  226. package/lib/save/base/BasePrinter.d.ts +23 -23
  227. package/lib/save/base/BasePrinter.js +70 -70
  228. package/lib/save/base/ExportPrinter.d.ts +8 -8
  229. package/lib/save/base/ExportPrinter.js +67 -67
  230. package/lib/save/base/ImportPrinter.d.ts +9 -9
  231. package/lib/save/base/ImportPrinter.js +92 -92
  232. package/lib/save/base/PrinterUtils.d.ts +24 -24
  233. package/lib/save/base/PrinterUtils.js +208 -208
  234. package/lib/save/serializeArkIR.d.ts +8 -8
  235. package/lib/save/serializeArkIR.js +294 -294
  236. package/lib/save/source/SourceBase.d.ts +22 -22
  237. package/lib/save/source/SourceBase.js +64 -64
  238. package/lib/save/source/SourceBody.d.ts +58 -58
  239. package/lib/save/source/SourceBody.js +296 -296
  240. package/lib/save/source/SourceClass.d.ts +25 -25
  241. package/lib/save/source/SourceClass.js +187 -187
  242. package/lib/save/source/SourceField.d.ts +13 -13
  243. package/lib/save/source/SourceField.js +73 -73
  244. package/lib/save/source/SourceFilePrinter.d.ts +12 -12
  245. package/lib/save/source/SourceFilePrinter.js +69 -69
  246. package/lib/save/source/SourceMethod.d.ts +22 -22
  247. package/lib/save/source/SourceMethod.d.ts.map +1 -1
  248. package/lib/save/source/SourceMethod.js +196 -193
  249. package/lib/save/source/SourceNamespace.d.ts +11 -11
  250. package/lib/save/source/SourceNamespace.js +83 -83
  251. package/lib/save/source/SourceStmt.d.ts +178 -178
  252. package/lib/save/source/SourceStmt.js +838 -838
  253. package/lib/save/source/SourceTransformer.d.ts +46 -46
  254. package/lib/save/source/SourceTransformer.js +446 -446
  255. package/lib/transformer/FunctionTransformer.d.ts +2 -2
  256. package/lib/transformer/FunctionTransformer.js +17 -17
  257. package/lib/transformer/SceneTransformer.d.ts +2 -2
  258. package/lib/transformer/SceneTransformer.js +17 -17
  259. package/lib/transformer/StaticSingleAssignmentFormer.d.ts +12 -12
  260. package/lib/transformer/StaticSingleAssignmentFormer.js +259 -259
  261. package/lib/transformer/Transformer.d.ts +6 -6
  262. package/lib/transformer/Transformer.js +22 -22
  263. package/lib/utils/AstTreeUtils.d.ts +4 -4
  264. package/lib/utils/AstTreeUtils.js +26 -26
  265. package/lib/utils/CfgStructualAnalysis.d.ts +110 -110
  266. package/lib/utils/CfgStructualAnalysis.js +1277 -1277
  267. package/lib/utils/FileUtils.d.ts +18 -18
  268. package/lib/utils/FileUtils.js +135 -135
  269. package/lib/utils/SparseBitVector.d.ts +100 -100
  270. package/lib/utils/SparseBitVector.d.ts.map +1 -1
  271. package/lib/utils/SparseBitVector.js +445 -444
  272. package/lib/utils/callGraphUtils.d.ts +30 -30
  273. package/lib/utils/callGraphUtils.js +205 -205
  274. package/lib/utils/crypto_utils.d.ts +5 -5
  275. package/lib/utils/crypto_utils.js +57 -57
  276. package/lib/utils/entryMethodUtils.d.ts +13 -13
  277. package/lib/utils/entryMethodUtils.js +110 -110
  278. package/lib/utils/getAllFiles.d.ts +9 -9
  279. package/lib/utils/getAllFiles.js +90 -90
  280. package/lib/utils/json5parser.d.ts +6 -6
  281. package/lib/utils/json5parser.js +146 -146
  282. package/lib/utils/logger.d.ts +18 -18
  283. package/lib/utils/logger.d.ts.map +1 -1
  284. package/lib/utils/logger.js +97 -90
  285. package/lib/utils/pathTransfer.d.ts +1 -1
  286. package/lib/utils/pathTransfer.js +25 -25
  287. package/node_modules/json5/lib/cli.js +0 -0
  288. package/node_modules/ohos-typescript/bin/tsc +0 -0
  289. package/node_modules/ohos-typescript/bin/tsserver +0 -0
  290. package/package.json +3 -2
@@ -1,444 +1,445 @@
1
- "use strict";
2
- /*
3
- * Copyright (c) 2024 Huawei Device Co., Ltd.
4
- * Licensed under the Apache License, Version 2.0 (the "License");
5
- * you may not use this file except in compliance with the License.
6
- * You may obtain a copy of the License at
7
- *
8
- * http://www.apache.org/licenses/LICENSE-2.0
9
- *
10
- * Unless required by applicable law or agreed to in writing, software
11
- * distributed under the License is distributed on an "AS IS" BASIS,
12
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13
- * See the License for the specific language governing permissions and
14
- * limitations under the License.
15
- */
16
- Object.defineProperty(exports, "__esModule", { value: true });
17
- exports.SparseBitVector = void 0;
18
- const BITWORD_SIZE = 32; // bits of a Word
19
- class SparseBitVectorElement {
20
- constructor(elementSize = 128) {
21
- this.ELEMENT_SIZE = elementSize;
22
- this.BITWORDS_NUM = Math.ceil(this.ELEMENT_SIZE / BITWORD_SIZE);
23
- this.bits = new Uint32Array(this.BITWORDS_NUM);
24
- }
25
- word(idx) {
26
- return this.bits[idx];
27
- }
28
- clone() {
29
- return new Uint32Array(this.bits);
30
- }
31
- get elementSize() {
32
- return this.ELEMENT_SIZE;
33
- }
34
- get bitWordNum() {
35
- return this.BITWORDS_NUM;
36
- }
37
- // Check if the element is empty (all bits are zero)
38
- isEmpty() {
39
- return this.isZero();
40
- }
41
- // Set a bit at the given index
42
- set(bitIdx) {
43
- const wordIndex = Math.floor(bitIdx / BITWORD_SIZE);
44
- const bitOffset = bitIdx % BITWORD_SIZE;
45
- this.bits[wordIndex] |= (1 << bitOffset);
46
- }
47
- setWord(word) {
48
- this.bits = word;
49
- }
50
- // Reset a bit at the given index
51
- reset(bitIdx) {
52
- const wordIndex = Math.floor(bitIdx / BITWORD_SIZE);
53
- const bitOffset = bitIdx % BITWORD_SIZE;
54
- this.bits[wordIndex] &= ~(1 << bitOffset);
55
- }
56
- // Test if a bit is set
57
- test(bitIdx) {
58
- const wordIndex = Math.floor(bitIdx / BITWORD_SIZE);
59
- const bitOffset = bitIdx % BITWORD_SIZE;
60
- return (this.bits[wordIndex] & (1 << bitOffset)) !== 0;
61
- }
62
- // Set if not existing, else return
63
- test_and_set(bitIdx) {
64
- let old = this.test(bitIdx);
65
- if (!old) {
66
- this.set(bitIdx);
67
- return true;
68
- }
69
- return false;
70
- }
71
- // Count the number of set bits in this element
72
- count() {
73
- let numBits = 0;
74
- this.bits.forEach(word => {
75
- numBits += this.countBits(word);
76
- });
77
- return numBits;
78
- }
79
- // Find the index of the first set bit in this element
80
- findFirst() {
81
- for (let i = 0; i < this.bits.length; i++) {
82
- if (this.bits[i] !== 0) {
83
- return i * BITWORD_SIZE + this.countTrailingZeros(this.bits[i]);
84
- }
85
- }
86
- return -1; // No bits are set
87
- }
88
- // Find the next set bit after the given index
89
- findNext(bitIdx) {
90
- bitIdx++;
91
- let wordIndex = Math.floor(bitIdx / BITWORD_SIZE);
92
- let bitOffset = bitIdx % BITWORD_SIZE;
93
- // Check the current word
94
- // Mask off previous bits
95
- let word = this.bits[wordIndex] & (~0 << bitOffset);
96
- if (word !== 0) {
97
- return wordIndex * BITWORD_SIZE + this.countTrailingZeros(word);
98
- }
99
- // Check subsequent words
100
- for (let i = wordIndex + 1; i < this.bits.length; i++) {
101
- if (this.bits[i] !== 0) {
102
- return i * BITWORD_SIZE + this.countTrailingZeros(this.bits[i]);
103
- }
104
- }
105
- return -1; // No more bits are set
106
- }
107
- // Comparison
108
- equals(rhs) {
109
- for (let i = 0; i < this.BITWORDS_NUM; i++) {
110
- if (this.bits[i] !== rhs.word(i)) {
111
- return false;
112
- }
113
- }
114
- return true;
115
- }
116
- // Union this element with another element and return true if this one changed
117
- unionWith(other) {
118
- let changed = false;
119
- for (let i = 0; i < this.bits.length; i++) {
120
- const oldWord = changed ? 0 : this.bits[i];
121
- this.bits[i] |= other.bits[i];
122
- if (!changed && oldWord !== this.bits[i]) {
123
- changed = true;
124
- }
125
- }
126
- return changed;
127
- }
128
- // Intersect this element with another element and return true if this one changed.
129
- intersectWith(other) {
130
- let changed = false;
131
- for (let i = 0; i < this.bits.length; i++) {
132
- const oldWord = changed ? 0 : this.bits[i];
133
- this.bits[i] &= other.bits[i];
134
- if (!changed && oldWord !== this.bits[i]) {
135
- changed = true;
136
- }
137
- }
138
- return changed;
139
- }
140
- // Subtract another SparseBitVectorElement from this one.
141
- subtractWith(rhs) {
142
- let changed = false;
143
- // Perform subtraction: this = this & ~rhs
144
- for (let i = 0; i < this.bits.length; i++) {
145
- const oldWord = this.bits[i];
146
- this.bits[i] &= ~rhs.bits[i];
147
- // If any bit was changed, mark as changed
148
- if (this.bits[i] !== oldWord) {
149
- changed = true;
150
- }
151
- }
152
- return changed;
153
- }
154
- // Count the number of set bits in a word
155
- countBitsV2(word) {
156
- let count = 0;
157
- while (word !== 0) {
158
- word &= word - 1;
159
- count++;
160
- }
161
- return count;
162
- }
163
- // Count the number of set bits in a word
164
- countBits(word) {
165
- // assume the value is treated as a unsigned integer
166
- let v = word;
167
- // Step 1: Pairwise addition of bits
168
- v = v - ((v >> 1) & 0x55555555);
169
- // Step 2: Group bits into 4-bit chunks and add
170
- v = (v & 0x33333333) + ((v >> 2) & 0x33333333);
171
- // Step 3: Group bits into 8-bit chunks and add
172
- v = (v + (v >> 4)) & 0xF0F0F0F;
173
- // Step 4: Multiply by a magic number to sum all 8-bit chunks into the highest byte
174
- v = (v * 0x1010101) >> 24;
175
- return v;
176
- }
177
- isZero() {
178
- for (let i = 0; i < this.BITWORDS_NUM; i++) {
179
- if (this.bits[i] !== 0) {
180
- return false;
181
- }
182
- }
183
- return true;
184
- }
185
- // Count trailing zeros in a word
186
- countTrailingZeros(word) {
187
- if (word === 0) {
188
- return BITWORD_SIZE;
189
- }
190
- if ((word & 1) !== 0) {
191
- return 0;
192
- }
193
- let zeroBits = 0;
194
- let shift = BITWORD_SIZE / 2; // Start with half the bit width
195
- let mask = (1 << shift) - 1; // Mask for the lower half
196
- while (shift > 0) {
197
- if ((word & mask) === 0) {
198
- word >>= shift;
199
- zeroBits |= Number(shift);
200
- }
201
- shift >>= 1;
202
- mask >>= shift;
203
- }
204
- return zeroBits;
205
- }
206
- }
207
- class SparseBitVector {
208
- constructor(elementsSize = 128) {
209
- // Unordered storage of elements.
210
- // key is actually the element index (normally it is in element)
211
- this.elements = new Map();
212
- this.ELEMENT_SIZE = elementsSize;
213
- }
214
- get elementSize() {
215
- return this.ELEMENT_SIZE;
216
- }
217
- get elems() {
218
- return this.elements;
219
- }
220
- // Set a bit at the given index
221
- set(bitIdx) {
222
- const elementIndex = Math.floor(bitIdx / this.ELEMENT_SIZE);
223
- let element = this.elements.get(elementIndex);
224
- if (!element) {
225
- element = new SparseBitVectorElement(this.ELEMENT_SIZE);
226
- this.elements.set(elementIndex, element);
227
- }
228
- element.set(bitIdx % this.ELEMENT_SIZE);
229
- }
230
- // Test if a bit is set
231
- test(bitIdx) {
232
- const elementIndex = Math.floor(bitIdx / this.ELEMENT_SIZE);
233
- const element = this.elements.get(elementIndex);
234
- return element ? element.test(bitIdx % this.ELEMENT_SIZE) : false;
235
- }
236
- // Set a bit if not existing. Else return
237
- testAndSet(bitIdx) {
238
- let old = this.test(bitIdx);
239
- if (!old) {
240
- this.set(bitIdx);
241
- return true;
242
- }
243
- return false;
244
- }
245
- // Reset a bit at the given index
246
- reset(bitIdx) {
247
- const elementIndex = Math.floor(bitIdx / this.ELEMENT_SIZE);
248
- let element = this.elements.get(elementIndex);
249
- if (element) {
250
- element.reset(bitIdx % this.ELEMENT_SIZE);
251
- if (element.isEmpty()) {
252
- this.elements.delete(elementIndex);
253
- }
254
- }
255
- }
256
- // Clear all elements
257
- clear() {
258
- this.elements.clear();
259
- }
260
- // Clone, return a deep copied object
261
- clone() {
262
- const newVector = new SparseBitVector(this.elementSize);
263
- for (const [idx, element] of this.elements) {
264
- const newElement = new SparseBitVectorElement(this.elementSize);
265
- newElement.setWord(element.clone());
266
- newVector.elems.set(idx, newElement);
267
- }
268
- return newVector;
269
- }
270
- // Find the first set bit in the vector
271
- findFirst() {
272
- if (this.elements.size === 0)
273
- return -1;
274
- const firstElement = this.elements.entries().next().value;
275
- if (firstElement) {
276
- const firstBit = firstElement[1].findFirst();
277
- return firstElement[0] * this.ELEMENT_SIZE + firstBit;
278
- }
279
- else {
280
- return -1;
281
- }
282
- }
283
- // Count the number of set bits in the vector
284
- count() {
285
- let count = 0;
286
- this.elements.forEach((elem, _) => {
287
- count += elem.count();
288
- });
289
- return count;
290
- }
291
- // Check if the vector is empty
292
- isEmpty() {
293
- return this.elements.size === 0;
294
- }
295
- [Symbol.iterator]() {
296
- let iter = this.elements.entries();
297
- let next = iter.next();
298
- const elementSize = this.ELEMENT_SIZE;
299
- let element = next.value;
300
- if (!element) {
301
- return {
302
- next() {
303
- return { value: undefined, done: true };
304
- },
305
- [Symbol.iterator]() {
306
- return this; // Make the iterator itself iterable
307
- },
308
- };
309
- }
310
- let bitIndex = element[1].findFirst();
311
- return {
312
- next() {
313
- if (element) {
314
- let v = element[0] * elementSize + bitIndex;
315
- bitIndex = element[1].findNext(bitIndex);
316
- if (bitIndex === -1) {
317
- next = iter.next();
318
- element = next.value;
319
- if (element) {
320
- bitIndex = element[1].findFirst();
321
- }
322
- }
323
- return { value: v, done: false };
324
- }
325
- return { value: undefined, done: true };
326
- },
327
- [Symbol.iterator]() {
328
- return this; // Make the iterator itself iterable
329
- },
330
- };
331
- }
332
- /**
333
- * Check if this SparseBitVector is equal to another SparseBitVector.
334
- */
335
- equals(rhs) {
336
- if (this.ELEMENT_SIZE !== rhs.ELEMENT_SIZE || this.elems.size !== rhs.elems.size) {
337
- return false;
338
- }
339
- let rhsElems = rhs.elems;
340
- for (let p of this.elements) {
341
- let rhsElem = rhsElems.get(p[0]);
342
- if (!rhsElem) {
343
- return false;
344
- }
345
- if (!rhsElem.equals(p[1])) {
346
- return false;
347
- }
348
- }
349
- return true;
350
- }
351
- /**
352
- * Perform a union operation with another SparseBitVector.
353
- * Returns True if this vector was changed, false otherwise.
354
- */
355
- unionWith(rhs) {
356
- if (this.equals(rhs) || rhs.elems.size === 0) {
357
- return false;
358
- }
359
- let changed = false;
360
- let newElems = new Map();
361
- for (let p of rhs.elems) {
362
- let elem = this.elements.get(p[0]);
363
- if (elem) {
364
- changed = elem.unionWith(p[1]) || changed;
365
- }
366
- else {
367
- newElems.set(p[0], p[1]);
368
- }
369
- }
370
- if (newElems.size > 0) {
371
- newElems.forEach((v, k) => this.elements.set(k, v));
372
- changed = true;
373
- }
374
- return changed;
375
- }
376
- /**
377
- * Perform an intersection operation with another SparseBitVector.
378
- * Returns True if this vector was changed, false otherwise.
379
- */
380
- intersectWith(rhs) {
381
- if (this.equals(rhs) || rhs.elems.size === 0) {
382
- return false;
383
- }
384
- let changed = false;
385
- // If either vector is empty, the result is empty
386
- if (this.elements.size === 0 || rhs.elems.size === 0) {
387
- if (this.elements.size > 0) {
388
- this.elements = new Map();
389
- changed = true;
390
- }
391
- return changed;
392
- }
393
- let needDeleteIdx = new Set();
394
- for (let p of this.elems) {
395
- let elem = rhs.elems.get(p[0]);
396
- if (elem) {
397
- changed = p[1].intersectWith(elem) || changed;
398
- if (changed && p[1].isZero()) {
399
- needDeleteIdx.add(p[0]);
400
- }
401
- }
402
- else {
403
- needDeleteIdx.add(p[0]);
404
- }
405
- }
406
- if (needDeleteIdx.size > 0) {
407
- needDeleteIdx.forEach(idx => this.elements.delete(idx));
408
- changed = true;
409
- }
410
- return changed;
411
- }
412
- /**
413
- * Subtract another SparseBitVector from this one.
414
- * This operation modifies the current SparseBitVector in place.
415
- * Return True if the current SparseBitVector was modified, false otherwise.
416
- */
417
- subtractWith(rhs) {
418
- if (this.elementSize !== rhs.elementSize || this.isEmpty() || rhs.isEmpty()) {
419
- return false;
420
- }
421
- let needDeleteIdx = new Set();
422
- let changed = false;
423
- for (const [elementIndex, element] of this.elements) {
424
- const rhsElement = rhs.elements.get(elementIndex);
425
- if (rhsElement) {
426
- changed = element.subtractWith(rhsElement) || changed;
427
- if (element.isEmpty()) {
428
- needDeleteIdx.add(elementIndex);
429
- }
430
- }
431
- }
432
- if (needDeleteIdx.size > 0) {
433
- needDeleteIdx.forEach(idx => this.elements.delete(idx));
434
- changed = true;
435
- }
436
- return changed;
437
- }
438
- // Dump as string
439
- toString() {
440
- let ar = [...this];
441
- return ar.toString();
442
- }
443
- }
444
- exports.SparseBitVector = SparseBitVector;
1
+ "use strict";
2
+ /*
3
+ * Copyright (c) 2024 Huawei Device Co., Ltd.
4
+ * Licensed under the Apache License, Version 2.0 (the "License");
5
+ * you may not use this file except in compliance with the License.
6
+ * You may obtain a copy of the License at
7
+ *
8
+ * http://www.apache.org/licenses/LICENSE-2.0
9
+ *
10
+ * Unless required by applicable law or agreed to in writing, software
11
+ * distributed under the License is distributed on an "AS IS" BASIS,
12
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13
+ * See the License for the specific language governing permissions and
14
+ * limitations under the License.
15
+ */
16
+ Object.defineProperty(exports, "__esModule", { value: true });
17
+ exports.SparseBitVector = void 0;
18
+ const BITWORD_SIZE = 16; // bits of a Word
19
+ const DEFAULT_SIZE = 64;
20
+ class SparseBitVectorElement {
21
+ constructor(elementSize = DEFAULT_SIZE) {
22
+ this.ELEMENT_SIZE = elementSize;
23
+ this.BITWORDS_NUM = Math.ceil(this.ELEMENT_SIZE / BITWORD_SIZE);
24
+ this.bits = new Uint16Array(this.BITWORDS_NUM);
25
+ }
26
+ word(idx) {
27
+ return this.bits[idx];
28
+ }
29
+ clone() {
30
+ return new Uint16Array(this.bits);
31
+ }
32
+ get elementSize() {
33
+ return this.ELEMENT_SIZE;
34
+ }
35
+ get bitWordNum() {
36
+ return this.BITWORDS_NUM;
37
+ }
38
+ // Check if the element is empty (all bits are zero)
39
+ isEmpty() {
40
+ return this.isZero();
41
+ }
42
+ // Set a bit at the given index
43
+ set(bitIdx) {
44
+ const wordIndex = Math.floor(bitIdx / BITWORD_SIZE);
45
+ const bitOffset = bitIdx % BITWORD_SIZE;
46
+ this.bits[wordIndex] |= 1 << bitOffset;
47
+ }
48
+ setWord(word) {
49
+ this.bits = word;
50
+ }
51
+ // Reset a bit at the given index
52
+ reset(bitIdx) {
53
+ const wordIndex = Math.floor(bitIdx / BITWORD_SIZE);
54
+ const bitOffset = bitIdx % BITWORD_SIZE;
55
+ this.bits[wordIndex] &= ~(1 << bitOffset);
56
+ }
57
+ // Test if a bit is set
58
+ test(bitIdx) {
59
+ const wordIndex = Math.floor(bitIdx / BITWORD_SIZE);
60
+ const bitOffset = bitIdx % BITWORD_SIZE;
61
+ return (this.bits[wordIndex] & (1 << bitOffset)) !== 0;
62
+ }
63
+ // Set if not existing, else return
64
+ test_and_set(bitIdx) {
65
+ let old = this.test(bitIdx);
66
+ if (!old) {
67
+ this.set(bitIdx);
68
+ return true;
69
+ }
70
+ return false;
71
+ }
72
+ // Count the number of set bits in this element
73
+ count() {
74
+ let numBits = 0;
75
+ this.bits.forEach((word) => {
76
+ numBits += this.countBits(word);
77
+ });
78
+ return numBits;
79
+ }
80
+ // Find the index of the first set bit in this element
81
+ findFirst() {
82
+ for (let i = 0; i < this.bits.length; i++) {
83
+ if (this.bits[i] !== 0) {
84
+ return i * BITWORD_SIZE + this.countTrailingZeros(this.bits[i]);
85
+ }
86
+ }
87
+ return -1; // No bits are set
88
+ }
89
+ // Find the next set bit after the given index
90
+ findNext(bitIdx) {
91
+ bitIdx++;
92
+ let wordIndex = Math.floor(bitIdx / BITWORD_SIZE);
93
+ let bitOffset = bitIdx % BITWORD_SIZE;
94
+ // Check the current word
95
+ // Mask off previous bits
96
+ let word = this.bits[wordIndex] & (~0 << bitOffset);
97
+ if (word !== 0) {
98
+ return wordIndex * BITWORD_SIZE + this.countTrailingZeros(word);
99
+ }
100
+ // Check subsequent words
101
+ for (let i = wordIndex + 1; i < this.bits.length; i++) {
102
+ if (this.bits[i] !== 0) {
103
+ return i * BITWORD_SIZE + this.countTrailingZeros(this.bits[i]);
104
+ }
105
+ }
106
+ return -1; // No more bits are set
107
+ }
108
+ // Comparison
109
+ equals(rhs) {
110
+ for (let i = 0; i < this.BITWORDS_NUM; i++) {
111
+ if (this.bits[i] !== rhs.word(i)) {
112
+ return false;
113
+ }
114
+ }
115
+ return true;
116
+ }
117
+ // Union this element with another element and return true if this one changed
118
+ unionWith(other) {
119
+ let changed = false;
120
+ for (let i = 0; i < this.bits.length; i++) {
121
+ const oldWord = changed ? 0 : this.bits[i];
122
+ this.bits[i] |= other.bits[i];
123
+ if (!changed && oldWord !== this.bits[i]) {
124
+ changed = true;
125
+ }
126
+ }
127
+ return changed;
128
+ }
129
+ // Intersect this element with another element and return true if this one changed.
130
+ intersectWith(other) {
131
+ let changed = false;
132
+ for (let i = 0; i < this.bits.length; i++) {
133
+ const oldWord = changed ? 0 : this.bits[i];
134
+ this.bits[i] &= other.bits[i];
135
+ if (!changed && oldWord !== this.bits[i]) {
136
+ changed = true;
137
+ }
138
+ }
139
+ return changed;
140
+ }
141
+ // Subtract another SparseBitVectorElement from this one.
142
+ subtractWith(rhs) {
143
+ let changed = false;
144
+ // Perform subtraction: this = this & ~rhs
145
+ for (let i = 0; i < this.bits.length; i++) {
146
+ const oldWord = this.bits[i];
147
+ this.bits[i] &= ~rhs.bits[i];
148
+ // If any bit was changed, mark as changed
149
+ if (this.bits[i] !== oldWord) {
150
+ changed = true;
151
+ }
152
+ }
153
+ return changed;
154
+ }
155
+ // Count the number of set bits in a word
156
+ countBitsV2(word) {
157
+ let count = 0;
158
+ while (word !== 0) {
159
+ word &= word - 1;
160
+ count++;
161
+ }
162
+ return count;
163
+ }
164
+ // Count the number of set bits in a word
165
+ countBits(word) {
166
+ // assume the value is treated as a unsigned integer
167
+ let v = word;
168
+ // Step 1: Pairwise addition of bits
169
+ v = v - ((v >> 1) & 0x55555555);
170
+ // Step 2: Group bits into 4-bit chunks and add
171
+ v = (v & 0x33333333) + ((v >> 2) & 0x33333333);
172
+ // Step 3: Group bits into 8-bit chunks and add
173
+ v = (v + (v >> 4)) & 0xf0f0f0f;
174
+ // Step 4: Multiply by a magic number to sum all 8-bit chunks into the highest byte
175
+ v = (v * 0x1010101) >> 24;
176
+ return v;
177
+ }
178
+ isZero() {
179
+ for (let i = 0; i < this.BITWORDS_NUM; i++) {
180
+ if (this.bits[i] !== 0) {
181
+ return false;
182
+ }
183
+ }
184
+ return true;
185
+ }
186
+ // Count trailing zeros in a word
187
+ countTrailingZeros(word) {
188
+ if (word === 0) {
189
+ return BITWORD_SIZE;
190
+ }
191
+ if ((word & 1) !== 0) {
192
+ return 0;
193
+ }
194
+ let zeroBits = 0;
195
+ let shift = BITWORD_SIZE / 2; // Start with half the bit width
196
+ let mask = (1 << shift) - 1; // Mask for the lower half
197
+ while (shift > 0) {
198
+ if ((word & mask) === 0) {
199
+ word >>= shift;
200
+ zeroBits |= Number(shift);
201
+ }
202
+ shift >>= 1;
203
+ mask >>= shift;
204
+ }
205
+ return zeroBits;
206
+ }
207
+ }
208
+ class SparseBitVector {
209
+ constructor(elementsSize = DEFAULT_SIZE) {
210
+ // Unordered storage of elements.
211
+ // key is actually the element index (normally it is in element)
212
+ this.elements = new Map();
213
+ this.ELEMENT_SIZE = elementsSize;
214
+ }
215
+ get elementSize() {
216
+ return this.ELEMENT_SIZE;
217
+ }
218
+ get elems() {
219
+ return this.elements;
220
+ }
221
+ // Set a bit at the given index
222
+ set(bitIdx) {
223
+ const elementIndex = Math.floor(bitIdx / this.ELEMENT_SIZE);
224
+ let element = this.elements.get(elementIndex);
225
+ if (!element) {
226
+ element = new SparseBitVectorElement(this.ELEMENT_SIZE);
227
+ this.elements.set(elementIndex, element);
228
+ }
229
+ element.set(bitIdx % this.ELEMENT_SIZE);
230
+ }
231
+ // Test if a bit is set
232
+ test(bitIdx) {
233
+ const elementIndex = Math.floor(bitIdx / this.ELEMENT_SIZE);
234
+ const element = this.elements.get(elementIndex);
235
+ return element ? element.test(bitIdx % this.ELEMENT_SIZE) : false;
236
+ }
237
+ // Set a bit if not existing. Else return
238
+ testAndSet(bitIdx) {
239
+ let old = this.test(bitIdx);
240
+ if (!old) {
241
+ this.set(bitIdx);
242
+ return true;
243
+ }
244
+ return false;
245
+ }
246
+ // Reset a bit at the given index
247
+ reset(bitIdx) {
248
+ const elementIndex = Math.floor(bitIdx / this.ELEMENT_SIZE);
249
+ let element = this.elements.get(elementIndex);
250
+ if (element) {
251
+ element.reset(bitIdx % this.ELEMENT_SIZE);
252
+ if (element.isEmpty()) {
253
+ this.elements.delete(elementIndex);
254
+ }
255
+ }
256
+ }
257
+ // Clear all elements
258
+ clear() {
259
+ this.elements.clear();
260
+ }
261
+ // Clone, return a deep copied object
262
+ clone() {
263
+ const newVector = new SparseBitVector(this.elementSize);
264
+ for (const [idx, element] of this.elements) {
265
+ const newElement = new SparseBitVectorElement(this.elementSize);
266
+ newElement.setWord(element.clone());
267
+ newVector.elems.set(idx, newElement);
268
+ }
269
+ return newVector;
270
+ }
271
+ // Find the first set bit in the vector
272
+ findFirst() {
273
+ if (this.elements.size === 0)
274
+ return -1;
275
+ const firstElement = this.elements.entries().next().value;
276
+ if (firstElement) {
277
+ const firstBit = firstElement[1].findFirst();
278
+ return firstElement[0] * this.ELEMENT_SIZE + firstBit;
279
+ }
280
+ else {
281
+ return -1;
282
+ }
283
+ }
284
+ // Count the number of set bits in the vector
285
+ count() {
286
+ let count = 0;
287
+ this.elements.forEach((elem, _) => {
288
+ count += elem.count();
289
+ });
290
+ return count;
291
+ }
292
+ // Check if the vector is empty
293
+ isEmpty() {
294
+ return this.elements.size === 0;
295
+ }
296
+ [Symbol.iterator]() {
297
+ let iter = this.elements.entries();
298
+ let next = iter.next();
299
+ const elementSize = this.ELEMENT_SIZE;
300
+ let element = next.value;
301
+ if (!element) {
302
+ return {
303
+ next() {
304
+ return { value: undefined, done: true };
305
+ },
306
+ [Symbol.iterator]() {
307
+ return this; // Make the iterator itself iterable
308
+ },
309
+ };
310
+ }
311
+ let bitIndex = element[1].findFirst();
312
+ return {
313
+ next() {
314
+ if (element) {
315
+ let v = element[0] * elementSize + bitIndex;
316
+ bitIndex = element[1].findNext(bitIndex);
317
+ if (bitIndex === -1) {
318
+ next = iter.next();
319
+ element = next.value;
320
+ if (element) {
321
+ bitIndex = element[1].findFirst();
322
+ }
323
+ }
324
+ return { value: v, done: false };
325
+ }
326
+ return { value: undefined, done: true };
327
+ },
328
+ [Symbol.iterator]() {
329
+ return this; // Make the iterator itself iterable
330
+ },
331
+ };
332
+ }
333
+ /**
334
+ * Check if this SparseBitVector is equal to another SparseBitVector.
335
+ */
336
+ equals(rhs) {
337
+ if (this.ELEMENT_SIZE !== rhs.ELEMENT_SIZE || this.elems.size !== rhs.elems.size) {
338
+ return false;
339
+ }
340
+ let rhsElems = rhs.elems;
341
+ for (let p of this.elements) {
342
+ let rhsElem = rhsElems.get(p[0]);
343
+ if (!rhsElem) {
344
+ return false;
345
+ }
346
+ if (!rhsElem.equals(p[1])) {
347
+ return false;
348
+ }
349
+ }
350
+ return true;
351
+ }
352
+ /**
353
+ * Perform a union operation with another SparseBitVector.
354
+ * Returns True if this vector was changed, false otherwise.
355
+ */
356
+ unionWith(rhs) {
357
+ if (this.equals(rhs) || rhs.elems.size === 0) {
358
+ return false;
359
+ }
360
+ let changed = false;
361
+ let newElems = new Map();
362
+ for (let p of rhs.elems) {
363
+ let elem = this.elements.get(p[0]);
364
+ if (elem) {
365
+ changed = elem.unionWith(p[1]) || changed;
366
+ }
367
+ else {
368
+ newElems.set(p[0], p[1]);
369
+ }
370
+ }
371
+ if (newElems.size > 0) {
372
+ newElems.forEach((v, k) => this.elements.set(k, v));
373
+ changed = true;
374
+ }
375
+ return changed;
376
+ }
377
+ /**
378
+ * Perform an intersection operation with another SparseBitVector.
379
+ * Returns True if this vector was changed, false otherwise.
380
+ */
381
+ intersectWith(rhs) {
382
+ if (this.equals(rhs) || rhs.elems.size === 0) {
383
+ return false;
384
+ }
385
+ let changed = false;
386
+ // If either vector is empty, the result is empty
387
+ if (this.elements.size === 0 || rhs.elems.size === 0) {
388
+ if (this.elements.size > 0) {
389
+ this.elements = new Map();
390
+ changed = true;
391
+ }
392
+ return changed;
393
+ }
394
+ let needDeleteIdx = new Set();
395
+ for (let p of this.elems) {
396
+ let elem = rhs.elems.get(p[0]);
397
+ if (elem) {
398
+ changed = p[1].intersectWith(elem) || changed;
399
+ if (changed && p[1].isZero()) {
400
+ needDeleteIdx.add(p[0]);
401
+ }
402
+ }
403
+ else {
404
+ needDeleteIdx.add(p[0]);
405
+ }
406
+ }
407
+ if (needDeleteIdx.size > 0) {
408
+ needDeleteIdx.forEach((idx) => this.elements.delete(idx));
409
+ changed = true;
410
+ }
411
+ return changed;
412
+ }
413
+ /**
414
+ * Subtract another SparseBitVector from this one.
415
+ * This operation modifies the current SparseBitVector in place.
416
+ * Return True if the current SparseBitVector was modified, false otherwise.
417
+ */
418
+ subtractWith(rhs) {
419
+ if (this.elementSize !== rhs.elementSize || this.isEmpty() || rhs.isEmpty()) {
420
+ return false;
421
+ }
422
+ let needDeleteIdx = new Set();
423
+ let changed = false;
424
+ for (const [elementIndex, element] of this.elements) {
425
+ const rhsElement = rhs.elements.get(elementIndex);
426
+ if (rhsElement) {
427
+ changed = element.subtractWith(rhsElement) || changed;
428
+ if (element.isEmpty()) {
429
+ needDeleteIdx.add(elementIndex);
430
+ }
431
+ }
432
+ }
433
+ if (needDeleteIdx.size > 0) {
434
+ needDeleteIdx.forEach((idx) => this.elements.delete(idx));
435
+ changed = true;
436
+ }
437
+ return changed;
438
+ }
439
+ // Dump as string
440
+ toString() {
441
+ let ar = [...this];
442
+ return ar.toString();
443
+ }
444
+ }
445
+ exports.SparseBitVector = SparseBitVector;