JS: Add Public module and only expose that

asgerf · asgerf · commit ed0af958a9cc · 2024-10-22T12:46:06.000+02:00
Indentation will be fixed in next commit
diff --git a/javascript/ql/lib/semmle/javascript/BasicBlocks.qll b/javascript/ql/lib/semmle/javascript/BasicBlocks.qll
@@ -1 +1 @@
-import internal.BasicBlockInternal
+import internal.BasicBlockInternal::Public
diff --git a/javascript/ql/lib/semmle/javascript/internal/BasicBlockInternal.qll b/javascript/ql/lib/semmle/javascript/internal/BasicBlockInternal.qll
@@ -110,6 +110,9 @@ BasicBlock immediateDominator(BasicBlock bb) = idominance(entryBB/1, succBB/2)(_
 cached
 BasicBlock immediatePostDominator(BasicBlock bb) = idominance(exitBB/1, predBB/2)(_, result, bb)
 
+import Public
+
+module Public {
 /**
  * A basic block, that is, a maximal straight-line sequence of control flow nodes
  * without branches or joins.
@@ -359,3 +362,5 @@ class ReachableJoinBlock extends ReachableBasicBlock {
     )
   }
 }
+
+}

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-import internal.BasicBlockInternal`
	`1`	`+import internal.BasicBlockInternal::Public`
Original file line number	Diff line number	Diff line change
`@@ -110,6 +110,9 @@ BasicBlock immediateDominator(BasicBlock bb) = idominance(entryBB/1, succBB/2)(_`
`110`	`110`	`cached`
`111`	`111`	`BasicBlock immediatePostDominator(BasicBlock bb) = idominance(exitBB/1, predBB/2)(_, result, bb)`
`112`	`112`
	`113`	`+import Public`
	`114`	`+`
	`115`	`+module Public {`
`113`	`116`	`/**`
`114`	`117`	`* A basic block, that is, a maximal straight-line sequence of control flow nodes`
`115`	`118`	`* without branches or joins.`
`@@ -359,3 +362,5 @@ class ReachableJoinBlock extends ReachableBasicBlock {`
`359`	`362`	`)`
`360`	`363`	`}`
`361`	`364`	`}`
	`365`	`+`
	`366`	`+}`