TypeInference.PrimitivePropagateOperator (API Reference for wala 1.3.9)

java.lang.Object
- com.ibm.wala.fixpoint.AbstractOperator<TypeVariable>
- - com.ibm.wala.analysis.typeInference.TypeInference.PrimitivePropagateOperator

All Implemented Interfaces:: FixedPointConstants

Enclosing class:: TypeInference

protected static class TypeInference.PrimitivePropagateOperator
extends 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 Description

protected PrimitivePropagateOperator()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object o)`
`byte`	`evaluate(TypeVariable lhs, TypeVariable[] rhs)`	Evaluate this equation, setting a new value for the left-hand side.
`int`	`hashCode()`
`String`	`toString()`

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait

- Constructor Detail
  - PrimitivePropagateOperator
```
protected PrimitivePropagateOperator()
```
- Method Detail
  - evaluate
```
public byte evaluate(TypeVariable lhs,
                     TypeVariable[] rhs)
```
    Description copied from class: AbstractOperator
    
    Evaluate this equation, setting a new value for the left-hand side.
    
    Specified by:
    
    evaluate in class AbstractOperator<TypeVariable>
    
    Returns:
    
    a code that indicates: 1) has the lhs value changed? 2) has this equation reached a fixed-point, in that we never have to evaluate the equation again, even if rhs operands change?
  - toString
```
public String toString()
```
    Specified by:
    
    toString in class AbstractOperator<TypeVariable>
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in class AbstractOperator<TypeVariable>
  - equals
```
public boolean equals(Object o)
```
    Specified by:
    
    equals in class AbstractOperator<TypeVariable>