TransferRelation (ProGuardCORE)

All Known Subinterfaces:

ProgramLocationDependentBackwardTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>, ProgramLocationDependentForwardTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>, ProgramLocationDependentTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>, WrapperTransferRelation

All Known Implementing Classes:

BamTransferRelation, CompositeHeapTransferRelation, JvmMemoryLocationTransferRelation, JvmReferenceTransferRelation, JvmTaintTransferRelation, JvmTransferRelation, JvmValueTransferRelation, SingleWrapperTransferRelation
```
public interface TransferRelation
```
The TransferRelation computes the successor AbstractStates for the Algorithm.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method and Description
`java.util.Collection<? extends AbstractState>`	`generateAbstractSuccessors(AbstractState abstractState, Precision precision)` Returns abstract successor states of the `abstractState` under the selected `precision`.

Method Detail

generateAbstractSuccessors

java.util.Collection<? extends AbstractState> generateAbstractSuccessors(AbstractState abstractState,
                                                                         Precision precision)

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

Interface TransferRelation

Method Summary

Method Detail

generateAbstractSuccessors