类 JvmAssumeDefaultCfaEdge

所有已实现的接口:
CfaEdge<JvmCfaNode>

public class JvmAssumeDefaultCfaEdge extends JvmInstructionCfaEdge
An edge representing an assumption that the default case of a switch statement is taken.
  • 构造器详细资料

    • JvmAssumeDefaultCfaEdge

      public JvmAssumeDefaultCfaEdge(CodeAttribute methodCode, int offset)
      Create a disconnected JVM CFA assume default edge.
      参数:
      methodCode - the code attribute of the method the edge belongs to
      offset - the offset of the instruction represented by the edge
    • JvmAssumeDefaultCfaEdge

      public JvmAssumeDefaultCfaEdge(JvmCfaNode source, JvmCfaNode target, CodeAttribute methodCode, int offset)
      Create a JVM CFA assume default edge. Also sets it as the entering and leaving edge of the source and target nodes.
      参数:
      source - the source node of the edge
      target - the target node of the edge
      methodCode - the code attribute of the method the edge belongs to
      offset - the offset of the instruction represented by the edge