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 for Cfa parametrized by its nodes CfaNodeT. A CFA edge corresponds to instructions between the offsets of its target and source.

  • Method Summary

    Modifier and Type
    Method
    Description
    CfaNodeT
    getSource()
    Returns its source node.
    CfaNodeT
    getTarget()
    Returns its target node.

  • Method Details

    • getSource

      CfaNodeT getSource()
      Returns its source node.

    • getTarget

      CfaNodeT getTarget()
      Returns its target node.