ProgramLocationDependentForwardTransferRelation (ProGuardCORE)

Type Parameters:

ContentT - > The content of the jvm states produced by the transfer relation. For example, this can be a SetAbstractState of taints for taint analysis or a ValueAbstractState for value analysis.

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
  
  All Methods Instance Methods Default Methods
  Modifier and Type Method 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>>