com.ibm.wala.analysis.typeInference

Class TypeInference.PrimitivePropagateOperator

java.lang.Object

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

com.ibm.wala.analysis.typeInference.TypeInference.PrimitivePropagateOperator

All Implemented Interfaces:

com.ibm.wala.fixpoint.FixedPointConstants

Enclosing class:

TypeInference

protected static class TypeInference.PrimitivePropagateOperator
extends com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>

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

Modifier	Constructor and Description
protected	TypeInference.PrimitivePropagateOperator()

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object o)
byte	evaluate(TypeVariable lhs, TypeVariable[] rhs)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeInference.PrimitivePropagateOperator

protected TypeInference.PrimitivePropagateOperator()

Method Detail

evaluate

public byte evaluate(TypeVariable lhs,
            TypeVariable[] rhs)

Specified by:

evaluate in class com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>

toString

public String toString()

Specified by:

toString in class com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>

hashCode

public int hashCode()

Specified by:

hashCode in class com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>

equals

public boolean equals(Object o)

Specified by:

equals in class com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>