Class PropagationCallGraphBuilder.GetFieldOperator

All Implemented Interfaces:
FixedPointConstants, IPointerOperator
Enclosing class:
PropagationCallGraphBuilder

public class PropagationCallGraphBuilder.GetFieldOperator extends UnarySideEffect implements IPointerOperator
Binary op: <dummy>:= GetField( <ref>) Side effect: Creates new equations.