Class UnarySideEffect

All Implemented Interfaces:
FixedPointConstants
Direct Known Subclasses:
PropagationCallGraphBuilder.ArrayLoadOperator, PropagationCallGraphBuilder.ArrayStoreOperator, PropagationCallGraphBuilder.GetFieldOperator, PropagationCallGraphBuilder.PutFieldOperator

public abstract class UnarySideEffect extends UnaryOperator<PointsToSetVariable>
A SideEffect is a constraint which carries a points-to-set which is def'fed or used in created constraints.

The side effect doesn't actually def or use the fixedSet itself ... rather, the side effect creates new constraints that def or use the fixed set.

A "load" operator generates defs of the fixed set. A "store" operator generates uses of the fixed set.