Module Public
Import path
import semmle.javascript.internal.BasicBlockInternalClasses
| BasicBlock | A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins. |
| EntryBasicBlock | An entry basic block, that is, a basic block whose first node is the entry node of a statement container. |
| ReachableBasicBlock | A basic block that is reachable from an entry basic block. |
| ReachableJoinBlock | A reachable basic block with more than one predecessor. |
| UnreachableBlock | An unreachable basic block, that is, a basic block whose first node is unreachable. |