Package proguard.analysis.cpa.interfaces
Interface CfaEdge<CfaNodeT extends CfaNode>
-
- All Known Implementing Classes:
JvmAssumeCaseCfaEdge
,JvmAssumeCfaEdge
,JvmAssumeDefaultCfaEdge
,JvmAssumeExceptionCfaEdge
,JvmCallCfaEdge
,JvmCfaEdge
,JvmInstructionCfaEdge
public interface CfaEdge<CfaNodeT extends CfaNode>
An edge forCfa
parametrized by its nodesCfaNodeT
. A CFA edge corresponds to instructions between the offsets of its target and source.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description CfaNodeT
getSource()
Returns its source node.CfaNodeT
getTarget()
Returns its target node.
-