proguard.analysis.cpa.domain.arg

Class ArgProgramLocationDependentAbstractState<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

java.lang.Object

proguard.analysis.cpa.defaults.AbstractWrapperState

proguard.analysis.cpa.defaults.AbstractSingleWrapperState

proguard.analysis.cpa.domain.arg.ArgAbstractState

proguard.analysis.cpa.domain.arg.ArgProgramLocationDependentAbstractState<CfaNodeT,CfaEdgeT,SignatureT>

All Implemented Interfaces:

AbstractState, ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>

public class ArgProgramLocationDependentAbstractState<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
extends ArgAbstractState
implements ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT>

This ArgAbstractState is extended for the case when the wrapped abstract state is program location dependent.

Field Summary

Fields inherited from class proguard.analysis.cpa.domain.arg.ArgAbstractState

parents

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

wrappedAbstractState

Constructor Summary

Constructors

Constructor and Description
ArgProgramLocationDependentAbstractState(AbstractStateT wrappedAbstractState) Create a parentless program location dependent ArgAbstractState wrapping the given wrappedAbstractState.
ArgProgramLocationDependentAbstractState(AbstractStateT wrappedAbstractState, java.util.List<? extends ArgProgramLocationDependentAbstractState<CfaNodeT,CfaEdgeT,SignatureT>> parents) Create a program location dependent ARG node wrapping the given wrappedAbstractState and pointing at the parents.

Method Summary

Modifier and Type	Method and Description
ArgProgramLocationDependentAbstractState<CfaNodeT,CfaEdgeT,SignatureT>	copy() Creates a copy of itself.
java.util.List<ArgProgramLocationDependentAbstractState<CfaNodeT,CfaEdgeT,SignatureT>>	getParents() Returns a list of parent ARG nodes.
CfaNodeT	getProgramLocation() Returns the program location.
void	setProgramLocation(CfaNodeT programLocation) Sets the program location.

Methods inherited from class proguard.analysis.cpa.domain.arg.ArgAbstractState

addParent, equals

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

Constructor Detail

ArgProgramLocationDependentAbstractState

public ArgProgramLocationDependentAbstractState(AbstractStateT wrappedAbstractState,
                                                java.util.List<? extends ArgProgramLocationDependentAbstractState<CfaNodeT,CfaEdgeT,SignatureT>> parents)

Create a program location dependent ARG node wrapping the given wrappedAbstractState and pointing at the parents.

Parameters:

wrappedAbstractState - an abstract state to be wrapped

parents - its ARG parents

ArgProgramLocationDependentAbstractState

public ArgProgramLocationDependentAbstractState(AbstractStateT wrappedAbstractState)

Create a parentless program location dependent ArgAbstractState wrapping the given wrappedAbstractState.

Parameters:

wrappedAbstractState - an abstract state to be wrapped

Method Detail

getProgramLocation

public CfaNodeT getProgramLocation()

Description copied from interface: ProgramLocationDependent

Returns the program location.

Specified by:

getProgramLocation in interface ProgramLocationDependent<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

setProgramLocation

public void setProgramLocation(CfaNodeT programLocation)

Description copied from interface: ProgramLocationDependent

Sets the program location.

Specified by:

setProgramLocation in interface ProgramLocationDependent<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

getParents

public java.util.List<ArgProgramLocationDependentAbstractState<CfaNodeT,CfaEdgeT,SignatureT>> getParents()

Description copied from class: ArgAbstractState

Returns a list of parent ARG nodes.

Overrides:

getParents in class ArgAbstractState

copy

public ArgProgramLocationDependentAbstractState<CfaNodeT,CfaEdgeT,SignatureT> copy()

Description copied from interface: AbstractState

Creates a copy of itself.

Specified by:

copy in interface AbstractState

Overrides:

copy in class ArgAbstractState