proguard.analysis.cpa.domain.arg

Class ArgAbstractState

java.lang.Object

proguard.analysis.cpa.defaults.AbstractWrapperState

proguard.analysis.cpa.defaults.AbstractSingleWrapperState

proguard.analysis.cpa.domain.arg.ArgAbstractState

All Implemented Interfaces:

AbstractState

Direct Known Subclasses:

ArgProgramLocationDependentAbstractState

public class ArgAbstractState
extends AbstractSingleWrapperState

This AbstractSingleWrapperState represents a node of the abstract reachability graph (ARG). It stores the ArgAbstractState parents and delegates all the AbstractState interfaces to the wrapped AbstractState.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<ArgAbstractState>	parents

Fields inherited from class proguard.analysis.cpa.defaults.AbstractSingleWrapperState

wrappedAbstractState

Constructor Summary

Constructors

Constructor and Description
ArgAbstractState(AbstractState wrappedAbstractState) Create a parentless ArgAbstractState wrapping the given wrappedAbstractState.
ArgAbstractState(AbstractState wrappedAbstractState, java.util.List<? extends ArgAbstractState> parents) Create an ARG node wrapping the given wrappedAbstractState and pointing at the parents.

Method Summary

Modifier and Type	Method and Description
void	addParent(ArgAbstractState abstractState) Adds a parent ARG node.
ArgAbstractState	copy() Creates a copy of itself.
boolean	equals(java.lang.Object obj)
java.util.List<? extends ArgAbstractState>	getParents() Returns a list of parent ARG nodes.

Methods inherited from class proguard.analysis.cpa.defaults.AbstractSingleWrapperState

getPrecision, getWrappedState, getWrappedStates

Methods inherited from class proguard.analysis.cpa.defaults.AbstractWrapperState

hashCode

Methods inherited from class java.lang.Object

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

Methods inherited from interface proguard.analysis.cpa.interfaces.AbstractState

getStateByName

Field Detail

parents

protected final java.util.List<ArgAbstractState> parents

Constructor Detail

ArgAbstractState

public ArgAbstractState(AbstractState wrappedAbstractState,
                        java.util.List<? extends ArgAbstractState> parents)

Create an ARG node wrapping the given wrappedAbstractState and pointing at the parents.

Parameters:

wrappedAbstractState - an abstract state to be wrapped

parents - its ARG parents

ArgAbstractState

public ArgAbstractState(AbstractState wrappedAbstractState)

Create a parentless ArgAbstractState wrapping the given wrappedAbstractState.

Parameters:

wrappedAbstractState - an abstract state to be wrapped

Method Detail

copy

public ArgAbstractState copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState

Overrides:

copy in class AbstractSingleWrapperState

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface AbstractState

Overrides:

equals in class AbstractWrapperState

getParents

public java.util.List<? extends ArgAbstractState> getParents()

Returns a list of parent ARG nodes.

addParent

public void addParent(ArgAbstractState abstractState)

Adds a parent ARG node.