proguard.analysis.cpa.jvm.cfa.edges

Class 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

All Implemented Interfaces:

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.

Constructor Summary

Constructors

Constructor and Description
JvmAssumeCfaEdge(CodeAttribute methodCode, int offset, boolean isSatisfied) Create a disconnected JVM CFA assume branch edge.
JvmAssumeCfaEdge(JvmCfaNode source, JvmCfaNode target, CodeAttribute methodCode, int offset, boolean isSatisfied) Create a JVM CFA assume branch edge.

Method Summary

Modifier and Type	Method and Description
boolean	isSatisfied() Returns the assumption on the branch statement result made on this edge.

Methods inherited from class proguard.analysis.cpa.jvm.cfa.edges.JvmInstructionCfaEdge

getInstruction, getMethodCode

Methods inherited from class proguard.analysis.cpa.jvm.cfa.edges.JvmCfaEdge

getSource, getTarget, setSource, setTarget, targetSignature

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

JvmAssumeCfaEdge

public JvmAssumeCfaEdge(CodeAttribute methodCode,
                        int offset,
                        boolean isSatisfied)

Create a disconnected JVM CFA assume branch edge.

Parameters:

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.

Parameters:

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

Method Detail

isSatisfied

public boolean isSatisfied()

Returns the assumption on the branch statement result made on this edge.