All Superinterfaces:

TransferRelation

All Known Subinterfaces:

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

All Known Implementing Classes:

JvmReferenceTransferRelation, JvmTaintTransferRelation, JvmTransferRelation, JvmValueTransferRelation
```
public interface ProgramLocationDependentTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
extends TransferRelation
```
An interface for TransferRelations that depend on the Cfa location for which the successor can be defined for the edges of the current location.

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method	Description
`default java.util.Collection<? extends AbstractState>`	`generateAbstractSuccessors(AbstractState abstractState, Precision precision)`	Returns abstract successor states of the `abstractState` under the selected `precision`.
`java.util.Collection<? extends AbstractState>`	`generateEdgeAbstractSuccessors(AbstractState abstractState, CfaEdgeT edge, Precision precision)`	Computes the successor states for the CFA `edge`.
`java.util.List<CfaEdgeT>`	`getEdges(ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT> state)`
`default java.util.Collection<? extends AbstractState>`	`wrapAbstractSuccessorInCollection(AbstractState abstractState)`

Method Detail

generateEdgeAbstractSuccessors

java.util.Collection<? extends AbstractState> generateEdgeAbstractSuccessors(AbstractState abstractState,
                                                                             CfaEdgeT edge,
                                                                             Precision precision)

Computes the successor states for the CFA edge.

wrapAbstractSuccessorInCollection

default java.util.Collection<? extends AbstractState> wrapAbstractSuccessorInCollection(AbstractState abstractState)

generateAbstractSuccessors

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

Description copied from interface: TransferRelation

Returns abstract successor states of the abstractState under the selected


 precision

.

Specified by:: generateAbstractSuccessors in interface TransferRelation

getEdges

java.util.List<CfaEdgeT> getEdges(ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT> state)

Interface ProgramLocationDependentTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,​SignatureT>,​CfaEdgeT extends CfaEdge<CfaNodeT>,​SignatureT extends Signature>

Method Summary

Method Detail

generateEdgeAbstractSuccessors

wrapAbstractSuccessorInCollection

generateAbstractSuccessors

getEdges

Interface ProgramLocationDependentTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>