Package com.ibm.wala.analysis.arraybounds

Class ConditionNormalizer

java.lang.Object

com.ibm.wala.analysis.arraybounds.ConditionNormalizer

public class ConditionNormalizer
extends Object

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

Author:

Stephan Gocht <stephan@gobro.de>

Constructor Summary

Constructors

Constructor	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	Description
int	getLhs()
IConditionalBranchInstruction.Operator	getOp()
int	getRhs()

Methods inherited from class java.lang.Object

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

Constructor Details

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 Details

getLhs

public int getLhs()

getOp

public IConditionalBranchInstruction.Operator getOp()

getRhs

public int getRhs()