mirror of
https://github.com/github/codeql.git
synced 2026-04-26 09:15:12 +02:00
JS: Add Public module and only expose that
Indentation will be fixed in next commit
This commit is contained in:
@@ -1 +1 @@
|
||||
import internal.BasicBlockInternal
|
||||
import internal.BasicBlockInternal::Public
|
||||
|
||||
@@ -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 {
|
||||
)
|
||||
}
|
||||
}
|
||||
|
||||
}
|
||||
Reference in New Issue
Block a user