Skip to content

Commit 8a59b16

Browse files
committed
Add ConditionGuardNode.getOutcome
1 parent 5bfeede commit 8a59b16

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

go/ql/lib/semmle/go/controlflow/ControlFlowGraph.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -313,6 +313,8 @@ module ControlFlow {
313313
*/
314314
Expr getCondition() { result = cond }
315315

316+
boolean getOutcome() { result = outcome }
317+
316318
override Root getRoot() { result.isRootOf(cond) }
317319

318320
override string toString() { result = cond + " is " + outcome }

0 commit comments

Comments
 (0)