Package proguard.analysis.cpa.interfaces
Interface ProgramLocationDependentBackwardTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
-
- 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 forTransferRelation
s that depend on theCfa
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 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 interfaceProgramLocationDependentTransferRelation<CfaNodeT extends CfaNode<CfaEdgeT,SignatureT>,CfaEdgeT extends CfaEdge<CfaNodeT>,SignatureT extends Signature>
-
-