public abstract class UnarySideEffect extends com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable>
| Constructor and Description |
|---|
UnarySideEffect(PointsToSetVariable fixedSet) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object o) |
abstract byte |
evaluate(PointsToSetVariable rhs) |
byte |
evaluate(PointsToSetVariable lhs,
PointsToSetVariable rhs) |
int |
hashCode() |
protected abstract boolean |
isLoadOperator()
A "load" operator generates defs of the fixed set.
|
void |
replaceFixedSet(PointsToSetVariable p)
Update the fixed points-to-set associated with this side effect.
|
public UnarySideEffect(PointsToSetVariable fixedSet)
public final byte evaluate(PointsToSetVariable lhs, PointsToSetVariable rhs)
evaluate in class com.ibm.wala.fixpoint.UnaryOperator<PointsToSetVariable>public abstract byte evaluate(PointsToSetVariable rhs)
public boolean equals(Object o)
equals in class com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable>public int hashCode()
hashCode in class com.ibm.wala.fixpoint.AbstractOperator<PointsToSetVariable>protected abstract boolean isLoadOperator()
public void replaceFixedSet(PointsToSetVariable p)
Copyright © 2015. All rights reserved.