proguard.analysis.cpa.interfaces

Interface ProgramLocationDependentForwardTransferRelation<ContentT extends AbstractState<ContentT>>

All Superinterfaces:

ProgramLocationDependentTransferRelation<ContentT>, TransferRelation<JvmAbstractState<ContentT>>

All Known Implementing Classes:

JvmTaintTransferRelation, JvmTransferRelation, JvmValueTransferRelation

public interface ProgramLocationDependentForwardTransferRelation<ContentT extends AbstractState<ContentT>>
extends ProgramLocationDependentTransferRelation<ContentT>

An interface for TransferRelations that depend on the Cfa location for which the successor can be defined for the leaving edges of the current location.

Method Summary

Modifier and Type	Method and Description
default java.util.List<JvmCfaEdge>	getEdges(JvmAbstractState<ContentT> state)

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

generateAbstractSuccessors, generateEdgeAbstractSuccessors, wrapAbstractSuccessorInCollection

Method Detail

getEdges

default java.util.List<JvmCfaEdge> getEdges(JvmAbstractState<ContentT> state)

Specified by:

getEdges in interface ProgramLocationDependentTransferRelation<ContentT extends AbstractState<ContentT>>