Class ConditionNormalizer
java.lang.Object
com.ibm.wala.analysis.arraybounds.ConditionNormalizer
ConditionNormalizer normalizes a branch condition. See Constructor for more information.
- Author:
- Stephan Gocht
<stephan@gobro.de>
-
Constructor Summary
ConstructorDescriptionConditionNormalizer
(SSAConditionalBranchInstruction cnd, int lhs, boolean branchIsTaken) Creates a normalization of cnd such that lhs op rhs is true. -
Method Summary
-
Constructor Details
-
ConditionNormalizer
Creates a normalization of cnd such that lhs op rhs is true.Normalization means, that the given variable lhs, will be on the left hand side of the comparison, also if the branch is not taken, the operation needs to be negated.
p.a. the condition is !(rhs >= lhs), it will be normalized to lhs > rhs
- Parameters:
cnd
- condition to normalizelhs
- variable, that should be on the left hand sidebranchIsTaken
- if the condition is for the branching case or not
-
-
Method Details
-
getLhs
public int getLhs() -
getOp
-
getRhs
public int getRhs()
-