proguard.analysis.cpa.domain.arg

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

java.lang.Object

proguard.analysis.cpa.defaults.SingleWrapperTransferRelation

proguard.analysis.cpa.domain.arg.ArgTransferRelation

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

All Implemented Interfaces:

ProgramLocationDependentTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>, TransferRelation, WrapperTransferRelation

public class ArgProgramLocationDependentTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
extends ArgTransferRelation
implements ProgramLocationDependentTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>

This ArgTransferRelation is extended for the case of ProgramLocationDependent AbstractStates.

Field Summary

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

argAbstractStateFactory

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

wrappedTransferRelation

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
AbstractState	getEdgeAbstractSuccessor(AbstractState abstractState, CfaEdge edge, Precision precision) Computes a successor state for the CFA edge.

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

getAbstractSuccessors

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

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

getAbstractSuccessors

Constructor Detail

ArgProgramLocationDependentTransferRelation

public ArgProgramLocationDependentTransferRelation(TransferRelation wrappedTransferRelation,
                                                   ArgAbstractStateFactory argAbstractStateFactory)

Create a wrapper transfer relation.

Parameters:

wrappedTransferRelation - a transfer relation to be wrapped

argAbstractStateFactory - an ARG node factory

Method Detail

getEdgeAbstractSuccessor

public AbstractState getEdgeAbstractSuccessor(AbstractState abstractState,
                                              CfaEdge edge,
                                              Precision precision)

Description copied from interface: ProgramLocationDependentTransferRelation

Computes a successor state for the CFA edge.

Specified by:

getEdgeAbstractSuccessor in interface ProgramLocationDependentTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>