Constructor Detail

• InverseFilterOperator

  public InverseFilterOperator()

Method Detail

• toString

  public String toString()

  Overrides:

  toString in class PropagationCallGraphBuilder.FilterOperator

• 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

  Overrides:

  isComplex in class PropagationCallGraphBuilder.FilterOperator

• evaluate

  public byte evaluate(PointsToSetVariable lhs,
                       PointsToSetVariable rhs)

  Description copied from class: UnaryOperator
  Evaluate this equation, setting a new value for the left-hand side.

  Overrides:

  evaluate in class PropagationCallGraphBuilder.FilterOperator

  Returns:

  true if the lhs value changes. false otherwise.