MCPcopy Create free account
hub / github.com/LFYSec/MScan / getCondition

Method getCondition

src/main/java/pascal/taie/ir/stmt/If.java:54–56  ·  view source on GitHub ↗

@return the condition expression of the if-statement.

()

Source from the content-addressed store, hash-verified

52 * @return the condition expression of the if-statement.
53 */
54 public ConditionExp getCondition() {
55 return condition;
56 }
57
58 /**
59 * @return the jump target (when the condition expression is evaluated

Callers 5

caseIfStmtMethod · 0.80
visitMethod · 0.80
transferEdgeMethod · 0.80
isUnreachableBranchMethod · 0.80

Calls

no outgoing calls

Tested by

no test coverage detected