proguard.analysis.cpa.domain.arg

Class ArgTransferRelation

java.lang.Object

proguard.analysis.cpa.defaults.SingleWrapperTransferRelation

proguard.analysis.cpa.domain.arg.ArgTransferRelation

All Implemented Interfaces:

TransferRelation, WrapperTransferRelation

Direct Known Subclasses:

ArgProgramLocationDependentTransferRelation

public class ArgTransferRelation
extends SingleWrapperTransferRelation

This SingleWrapperTransferRelation applies the wrapped TransferRelation to the AbstractState stored in an ARG node and wraps its output into a child ARG node.

Field Summary

Fields

Modifier and Type	Field and Description
protected ArgAbstractStateFactory	argAbstractStateFactory

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

wrappedTransferRelation

Constructor Summary

Constructors

Constructor and Description
ArgTransferRelation(TransferRelation wrappedTransferRelation, ArgAbstractStateFactory argAbstractStateFactory) Create a wrapper transfer relation.

Method Summary

Modifier and Type	Method and Description
java.util.Collection<? extends ArgAbstractState>	getAbstractSuccessors(AbstractState abstractState, Precision precision) Returns abstract successor states of the abstractState under the selected precision.

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

getWrappedTransferRelations

Methods inherited from class java.lang.Object

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

Field Detail

argAbstractStateFactory

protected final ArgAbstractStateFactory argAbstractStateFactory

Constructor Detail

ArgTransferRelation

public ArgTransferRelation(TransferRelation wrappedTransferRelation,
                           ArgAbstractStateFactory argAbstractStateFactory)

Create a wrapper transfer relation.

Parameters:

wrappedTransferRelation - a transfer relation to be wrapped

argAbstractStateFactory - an ARG node factory

Method Detail

getAbstractSuccessors

public java.util.Collection<? extends ArgAbstractState> getAbstractSuccessors(AbstractState abstractState,
                                                                              Precision precision)

Description copied from interface: TransferRelation

Returns abstract successor states of the abstractState under the selected precision.

Specified by:

getAbstractSuccessors in interface TransferRelation

Overrides:

getAbstractSuccessors in class SingleWrapperTransferRelation