Skip to content

Commit 4abca27

Browse files
aschackmullaschackmull
committed
Java: Switch to the shared Guards library.
1 parent 34aa50e commit 4abca27

File tree

19 files changed

+485
-785
lines changed

19 files changed

+485
-785
lines changed

‎java/ql/lib/semmle/code/java/controlflow/BasicBlocks.qll

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -85,6 +85,17 @@ class BasicBlock extends BbImpl::BasicBlock {
8585
*/
8686
predicate dominates(BasicBlock bb) { super.dominates(bb) }
8787

88+
/**
89+
* Holds if this basic block strictly dominates basic block `bb`.
90+
*
91+
* That is, all paths reaching `bb` from the entry point basic block must
92+
* go through this basic block and this basic block is different from `bb`.
93+
*/
94+
predicate strictlyDominates(BasicBlock bb) { super.strictlyDominates(bb) }
95+
96+
/** Gets an immediate successor of this basic block of a given type, if any. */
97+
BasicBlock getASuccessor(Input::SuccessorType t) { result = super.getASuccessor(t) }
98+
8899
/**
89100
* DEPRECATED: Use `getASuccessor` instead.
90101
*

0 commit comments

Comments
 (0)