proguard.analysis.cpa.interfaces

Interface AbstractDomain

All Known Implementing Classes:

DelegateAbstractDomain

public interface AbstractDomain

The AbstractDomain defines a semilattice over AbstractStates.

Method Summary

Modifier and Type	Method and Description
boolean	isLessOrEqual(AbstractState abstractState1, AbstractState abstractState2) Compares two abstract states.
AbstractState	join(AbstractState abstractState1, AbstractState abstractState2) Computes the join over two abstract states.

Method Detail

join

AbstractState join(AbstractState abstractState1,
                   AbstractState abstractState2)

Computes the join over two abstract states. To guarantee the correct behavior of the algorithm implementations must have no side effects.

isLessOrEqual

boolean isLessOrEqual(AbstractState abstractState1,
                      AbstractState abstractState2)

Compares two abstract states.