Class OperatorUtil.UnaryOperatorSequence<T extends IVariable<T>>

java.lang.Object

com.ibm.wala.fixpoint.AbstractOperator<T>

com.ibm.wala.fixpoint.UnaryOperator<T>

com.ibm.wala.cfg.exc.intra.OperatorUtil.UnaryOperatorSequence<T>

All Implemented Interfaces:

FixedPointConstants

Enclosing class:

OperatorUtil

public static class OperatorUtil.UnaryOperatorSequence<T extends IVariable<T>>
extends UnaryOperator<T>

An operator of the form lhs = op_1(op_2(..op_n(rhs)..))

Author:

Martin Hecker, martin.hecker@kit.edu

Field Summary

Fields inherited from interface FixedPointConstants

CHANGED, CHANGED_AND_FIXED, CHANGED_MASK, FIXED_MASK, NOT_CHANGED, NOT_CHANGED_AND_FIXED, SIDE_EFFECT_MASK

Modifier and Type	Field	Description
static final byte	CHANGED	A return value which indicates that a lhs has changed, and the statement might need to be evaluated again.
static final byte	CHANGED_AND_FIXED	A return value which indicates that lhs has changed, and the statement need not be evaluated again.
static final int	CHANGED_MASK	The bit-mask which defines the "CHANGED" flag
static final int	FIXED_MASK	The bit-mask which defines the "FIXED" flag
static final byte	NOT_CHANGED	A return value which indicates that lhs has not changed, and the statement might need to be evaluated again.
static final byte	NOT_CHANGED_AND_FIXED	A return value which indicates that lhs has not changed, and the statement need not be evaluated again.
static final int	SIDE_EFFECT_MASK	The bit-mask which defines the "SIDE EFFECT" flag

Constructor Summary

Constructors

Constructor	Description
UnaryOperatorSequence(UnaryOperator<T>... operators)
UnaryOperatorSequence(Collection<UnaryOperator<T>> operators)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
byte	evaluate(T lhs, T rhs)	Evaluate this equation, setting a new value for the left-hand side.
int	hashCode()
String	toString()

Methods inherited from class UnaryOperator

evaluate, isIdentity, makeEquation

Modifier and Type	Method	Description
byte	evaluate(T lhs, T[] rhs)	Evaluate this equation, setting a new value for the left-hand side.
boolean	isIdentity()
UnaryStatement<T>	makeEquation(T lhs, T rhs)	Create an equation which uses this operator Override in subclasses for efficiency.

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

UnaryOperatorSequence

public UnaryOperatorSequence(Collection<UnaryOperator<T>> operators)

UnaryOperatorSequence

@SafeVarargs
public UnaryOperatorSequence(UnaryOperator<T>... operators)

Method Details

equals

public boolean equals(Object o)

Specified by:

equals in class AbstractOperator<T extends IVariable<T>>

hashCode

public int hashCode()

Specified by:

hashCode in class AbstractOperator<T extends IVariable<T>>

toString

public String toString()

Specified by:

toString in class AbstractOperator<T extends IVariable<T>>

evaluate

public byte evaluate(T lhs,
 T rhs)

Description copied from class: UnaryOperator

Evaluate this equation, setting a new value for the left-hand side.

Specified by:

evaluate in class UnaryOperator<T extends IVariable<T>>

Returns:

a constant defined by FixedPointConstants that reflects whether the lhs value changed