PropagationCallGraphBuilder.InstancePutFieldOperator (API Reference for wala 1.3.9)

java.lang.Object
- com.ibm.wala.fixpoint.AbstractOperator<T>
- - com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable>
  - - com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder.InstancePutFieldOperator

All Implemented Interfaces:

FixedPointConstants, IPointerOperator

Enclosing class:

PropagationCallGraphBuilder
```
public final class PropagationCallGraphBuilder.InstancePutFieldOperator
extends UnaryOperator<PointsToSetVariable>
implements IPointerOperator
```
Update the points-to-set for a field to include a particular instance key.

Field Summary

Fields
Modifier and Type Field Description

protected MutableIntSet priorInstances
- 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 Description

InstancePutFieldOperator(IField field, InstanceKey instance)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`boolean`	`equals(Object o)`
`byte`	`evaluate(PointsToSetVariable dummyLHS, PointsToSetVariable var)`	Simply add the instance to each relevant points-to set.
`int`	`hashCode()`
`boolean`	`isComplex()`	Is the operator complex; i.e., might it give rise to new constraints?
`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

- Field Detail
  - priorInstances
```
protected final MutableIntSet priorInstances
```
- Constructor Detail
  - InstancePutFieldOperator
```
public InstancePutFieldOperator(IField field,
                                InstanceKey instance)
```
- Method Detail
  - toString
```
public String toString()
```
    Specified by:
    
    toString in class AbstractOperator<PointsToSetVariable>
  - evaluate
```
public byte evaluate(PointsToSetVariable dummyLHS,
                     PointsToSetVariable var)
```
    Simply add the instance to each relevant points-to set.
    
    Specified by:
    
    evaluate in class UnaryOperator<PointsToSetVariable>
    
    Returns:
    
    true if the lhs value changes. false otherwise.
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in class AbstractOperator<PointsToSetVariable>
  - equals
```
public boolean equals(Object o)
```
    Specified by:
    
    equals in class AbstractOperator<PointsToSetVariable>
  - isComplex
```
public boolean isComplex()
```
    Description copied from interface: IPointerOperator
    
    Is the operator complex; i.e., might it give rise to new constraints?
    
    Specified by:
    
    isComplex in interface IPointerOperator