proguard.analysis.cpa.domain.arg

Class ArgAbstractDomain

java.lang.Object

proguard.analysis.cpa.domain.arg.ArgAbstractDomain

All Implemented Interfaces:

AbstractDomain

public class ArgAbstractDomain
extends java.lang.Object
implements AbstractDomain

This AbstractDomain delegates its semi-lattice interfaces to the inner abstract state and creates ARG nodes upon discovering new abstract states.

Field Summary

Fields

Modifier and Type	Field and Description
protected ArgAbstractStateFactory	argAbstractStateFactory
protected AbstractDomain	wrappedAbstractDomain

Constructor Summary

Constructors

Constructor and Description
ArgAbstractDomain(AbstractDomain wrappedAbstractDomain, ArgAbstractStateFactory argAbstractStateFactory) Create a wrapper abstract domain for a specific abstract state factory.

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

Field Detail

wrappedAbstractDomain

protected final AbstractDomain wrappedAbstractDomain

argAbstractStateFactory

protected final ArgAbstractStateFactory argAbstractStateFactory

Constructor Detail

ArgAbstractDomain

public ArgAbstractDomain(AbstractDomain wrappedAbstractDomain,
                         ArgAbstractStateFactory argAbstractStateFactory)

Create a wrapper abstract domain for a specific abstract state factory.

Parameters:

wrappedAbstractDomain - a wrapped abstract domain

argAbstractStateFactory - an abstract state factory

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