程序包 proguard.analysis.cpa.jvm.cfa.edges

类 JvmAssumeCfaEdge

java.lang.Object
proguard.analysis.cpa.jvm.cfa.edges.JvmCfaEdge
proguard.analysis.cpa.jvm.cfa.edges.JvmInstructionCfaEdge
proguard.analysis.cpa.jvm.cfa.edges.JvmAssumeCfaEdge
所有已实现的接口:
CfaEdge<JvmCfaNode>
public class JvmAssumeCfaEdge extends JvmInstructionCfaEdge
An edge representing an assumption on a JVM branch instruction that can be either taken or not taken.

  • 构造器详细资料

    • JvmAssumeCfaEdge

      public JvmAssumeCfaEdge(CodeAttribute methodCode, int offset, boolean isSatisfied)
      Create a disconnected JVM CFA assume branch edge.
      参数:
      methodCode - the code attribute of the method the edge belongs to
      offset - the offset of the instruction represented by the edge
      isSatisfied - an assumption on the branch result

    • JvmAssumeCfaEdge

      public JvmAssumeCfaEdge(JvmCfaNode source, JvmCfaNode target, CodeAttribute methodCode, int offset, boolean isSatisfied)
      Create a JVM CFA assume branch 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
      isSatisfied - an assumption on hte branch result

  • 方法详细资料

    • isSatisfied

      public boolean isSatisfied()
      Returns the assumption on the branch statement result made on this edge.