Skip to content

Commit c316d51

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

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

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

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

316+
/** Gets the value of the condition that this node corresponds to. */
317+
boolean getOutcome() { result = outcome }
318+
316319
override Root getRoot() { result.isRootOf(cond) }
317320

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

0 commit comments

Comments
 (0)