proguard.analysis.cpa.domain.arg

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

java.lang.Object

proguard.analysis.cpa.domain.arg.ArgAbstractStateFactory

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

public class ArgProgramLocationDependentAbstractStateFactory<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
extends ArgAbstractStateFactory

This abstract state factory creates an ArgProgramLocationDependentAbstractState for a specific abstract state and its ARG parents.

Field Summary

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

cutOffPredicate

Constructor Summary

Constructors

Constructor and Description
ArgProgramLocationDependentAbstractStateFactory() Create an ARG node factory.
ArgProgramLocationDependentAbstractStateFactory(java.util.function.Predicate<AbstractState> cutOffPredicate) Create an ARG node factory cutting off parents satisfying the predicate.

Method Summary

Modifier and Type	Method and Description
ArgAbstractState	createArgAbstractState(AbstractState wrappedAbstractState) Returns a parentless ArgAbstractState wrapping the given wrappedAbstractState.
ArgProgramLocationDependentAbstractState<CfaNodeT,CfaEdgeT,SignatureT>	createArgAbstractState(AbstractState wrappedAbstractState, java.util.List<? extends ArgAbstractState> parents) Returns an ArgAbstractState wrapping the given wrappedAbstractState and pointing at the parents.

Methods inherited from class java.lang.Object

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

Constructor Detail

ArgProgramLocationDependentAbstractStateFactory

public ArgProgramLocationDependentAbstractStateFactory()

Create an ARG node factory.

ArgProgramLocationDependentAbstractStateFactory

public ArgProgramLocationDependentAbstractStateFactory(java.util.function.Predicate<AbstractState> cutOffPredicate)

Create an ARG node factory cutting off parents satisfying the predicate.

Parameters:

cutOffPredicate - a cut-off predicate specifying the termination of the ARG parenthood

Method Detail

createArgAbstractState

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

Description copied from class: ArgAbstractStateFactory

Returns an ArgAbstractState wrapping the given wrappedAbstractState and pointing at the parents.

Overrides:

createArgAbstractState in class ArgAbstractStateFactory

createArgAbstractState

public ArgAbstractState createArgAbstractState(AbstractState wrappedAbstractState)

Description copied from class: ArgAbstractStateFactory

Returns a parentless ArgAbstractState wrapping the given wrappedAbstractState.

Overrides:

createArgAbstractState in class ArgAbstractStateFactory