proguard.analysis.cpa.defaults

Class DelegateAbstractDomain<LatticeAbstractStateT extends LatticeAbstractState<? super LatticeAbstractStateT>>

java.lang.Object

proguard.analysis.cpa.defaults.DelegateAbstractDomain<LatticeAbstractStateT>

All Implemented Interfaces:

AbstractDomain

public class DelegateAbstractDomain<LatticeAbstractStateT extends LatticeAbstractState<? super LatticeAbstractStateT>>
extends java.lang.Object
implements AbstractDomain

This delegator passes all the AbstractDomain operators to the LatticeAbstractState. Thus, we can keep the CPA algorithm generic without having to cast types in the domain specific code. Abstract domains defined with LatticeAbstractState should be passed as DelegateAbstractDomains to the CPA algorithm.

Constructor Summary

Constructors

Constructor and Description
DelegateAbstractDomain()

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DelegateAbstractDomain

public DelegateAbstractDomain()

Method Detail

join

public AbstractState join(AbstractState abstractState1,
                          AbstractState abstractState2)

Description copied from interface: AbstractDomain

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

Specified by:

join in interface AbstractDomain

isLessOrEqual

public boolean isLessOrEqual(AbstractState abstractState1,
                             AbstractState abstractState2)

Description copied from interface: AbstractDomain

Compares two abstract states.

Specified by:

isLessOrEqual in interface AbstractDomain