com.ibm.wala.analysis.arraybounds

Class ConditionNormalizer

java.lang.Object

com.ibm.wala.analysis.arraybounds.ConditionNormalizer

public class ConditionNormalizer
extends java.lang.Object

ConditionNormalizer normalizes a branch condition. See Constructor for more information.

Constructor Summary

Constructors

Constructor and Description
ConditionNormalizer(SSAConditionalBranchInstruction cnd, int lhs, boolean branchIsTaken) Creates a normalization of cnd such that lhs op rhs is true.

Method Summary

Modifier and Type	Method and Description
int	getLhs()
com.ibm.wala.shrikeBT.IConditionalBranchInstruction.Operator	getOp()
int	getRhs()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ConditionNormalizer

public ConditionNormalizer(SSAConditionalBranchInstruction cnd,
                           int lhs,
                           boolean branchIsTaken)

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 normalize

lhs - variable, that should be on the left hand side

branchIsTaken - if the condition is for the branching case or not

Method Detail

getLhs

public int getLhs()

getOp

public com.ibm.wala.shrikeBT.IConditionalBranchInstruction.Operator getOp()

getRhs

public int getRhs()