Class PropagationCallGraphBuilder.ArrayLoadOperator

All Implemented Interfaces:
FixedPointConstants, IPointerOperator
Enclosing class:
PropagationCallGraphBuilder

public final class PropagationCallGraphBuilder.ArrayLoadOperator extends UnarySideEffect implements IPointerOperator
Binary op: <dummy>:= ArrayLoad( <arrayref>) Side effect: Creates new equations.