Package proguard.analysis.cpa.jvm.cfa.edges

Class JvmAssumeCaseCfaEdge

java.lang.Object

proguard.analysis.cpa.jvm.cfa.edges.JvmCfaEdge

proguard.analysis.cpa.jvm.cfa.edges.JvmInstructionCfaEdge

proguard.analysis.cpa.jvm.cfa.edges.JvmAssumeCaseCfaEdge

All Implemented Interfaces:

CfaEdge<JvmCfaNode>

public class JvmAssumeCaseCfaEdge
extends JvmInstructionCfaEdge

An edge representing an assumption that a case of a switch statement is taken.

Constructor Summary

Constructors

Constructor	Description
JvmAssumeCaseCfaEdge(JvmCfaNode source, JvmCfaNode target, CodeAttribute methodCode, int offset, int assumedCase)	Create a JVM CFA assume case edge.
JvmAssumeCaseCfaEdge(CodeAttribute methodCode, int offset, int assumedCase)	Create a disconnected JVM CFA assume case edge.

Method Summary

Modifier and Type	Method	Description
int	getAssumedCase()	Returns the assumed integer value of the switch variable 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 Details

JvmAssumeCaseCfaEdge

public JvmAssumeCaseCfaEdge(CodeAttribute methodCode,
 int offset,
 int assumedCase)

Create a disconnected JVM CFA assume case edge.

Parameters:

methodCode - the code attribute of the method the edge belongs to

offset - the offset of the instruction represented by the edge

assumedCase - an assumed integer value of the switch variable

JvmAssumeCaseCfaEdge

public JvmAssumeCaseCfaEdge(JvmCfaNode source,
 JvmCfaNode target,
 CodeAttribute methodCode,
 int offset,
 int assumedCase)

Create a JVM CFA assume case 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

assumedCase - an assumed integer value of the switch variable

Method Details

getAssumedCase

public int getAssumedCase()

Returns the assumed integer value of the switch variable made on this edge.