proguard.analysis.cpa.domain.arg

Class ArgAbstractStateFactory

java.lang.Object

proguard.analysis.cpa.domain.arg.ArgAbstractStateFactory

Direct Known Subclasses:

ArgProgramLocationDependentAbstractStateFactory

public class ArgAbstractStateFactory
extends java.lang.Object

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

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.function.Predicate<AbstractState>	cutOffPredicate

Constructor Summary

Constructors

Constructor and Description
ArgAbstractStateFactory() Create an ARG node factory.
ArgAbstractStateFactory(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.
ArgAbstractState	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

Field Detail

cutOffPredicate

protected java.util.function.Predicate<AbstractState> cutOffPredicate

Constructor Detail

ArgAbstractStateFactory

public ArgAbstractStateFactory()

Create an ARG node factory.

ArgAbstractStateFactory

public ArgAbstractStateFactory(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 ArgAbstractState createArgAbstractState(AbstractState wrappedAbstractState,
                                               java.util.List<? extends ArgAbstractState> parents)

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

createArgAbstractState

public ArgAbstractState createArgAbstractState(AbstractState wrappedAbstractState)

Returns a parentless ArgAbstractState wrapping the given wrappedAbstractState.