com.ibm.wala.cfg.exc.intra

Class OperatorUtil.UnaryOperatorSequence<T extends com.ibm.wala.fixpoint.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:

com.ibm.wala.fixpoint.FixedPointConstants

Enclosing class:

OperatorUtil

public static class OperatorUtil.UnaryOperatorSequence<T extends com.ibm.wala.fixpoint.IVariable<T>>
extends com.ibm.wala.fixpoint.UnaryOperator<T>

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

Field Summary

Fields inherited from interface com.ibm.wala.fixpoint.FixedPointConstants

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

Constructor Summary

Constructors

Constructor and Description
UnaryOperatorSequence(java.util.Collection<com.ibm.wala.fixpoint.UnaryOperator<T>> operators)
UnaryOperatorSequence(com.ibm.wala.fixpoint.UnaryOperator<T>... operators)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)
byte	evaluate(T lhs, T rhs)
int	hashCode()
java.lang.String	toString()

Methods inherited from class com.ibm.wala.fixpoint.UnaryOperator

evaluate, isIdentity, makeEquation

Methods inherited from class java.lang.Object

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

Constructor Detail

UnaryOperatorSequence

public UnaryOperatorSequence(java.util.Collection<com.ibm.wala.fixpoint.UnaryOperator<T>> operators)

UnaryOperatorSequence

@SafeVarargs
public UnaryOperatorSequence(com.ibm.wala.fixpoint.UnaryOperator<T>... operators)

Method Detail

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in class com.ibm.wala.fixpoint.AbstractOperator<T extends com.ibm.wala.fixpoint.IVariable<T>>

hashCode

public int hashCode()

Specified by:

hashCode in class com.ibm.wala.fixpoint.AbstractOperator<T extends com.ibm.wala.fixpoint.IVariable<T>>

toString

public java.lang.String toString()

Specified by:

toString in class com.ibm.wala.fixpoint.AbstractOperator<T extends com.ibm.wala.fixpoint.IVariable<T>>

evaluate

public byte evaluate(T lhs,
                     T rhs)

Specified by:

evaluate in class com.ibm.wala.fixpoint.UnaryOperator<T extends com.ibm.wala.fixpoint.IVariable<T>>