ProgramLocationDependentBackwardTransferRelation (ProGuardCORE)

All Superinterfaces:: ProgramLocationDependentTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>, TransferRelation

public interface ProgramLocationDependentBackwardTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
extends ProgramLocationDependentTransferRelation<CfaNodeT,CfaEdgeT,SignatureT>

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

Method Summary

All Methods Instance Methods Default Methods
Modifier and Type	Method and Description
`default java.util.List<CfaEdgeT>`	`getEdges(ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT> state)`

Methods inherited from interface proguard.analysis.cpa.interfaces.ProgramLocationDependentTransferRelation
generateAbstractSuccessors, generateEdgeAbstractSuccessors, wrapAbstractSuccessorInCollection

- Method Detail
  - getEdges
```
default java.util.List<CfaEdgeT> getEdges(ProgramLocationDependent<CfaNodeT,CfaEdgeT,SignatureT> state)
```
    Specified by:
    
    getEdges in interface ProgramLocationDependentTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>

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

Method Summary

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

Method Detail

getEdges