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

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

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