proguard.analysis.cpa.jvm.cfa.edges

Class JvmAssumeDefaultCfaEdge

java.lang.Object

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

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

proguard.analysis.cpa.jvm.cfa.edges.JvmAssumeDefaultCfaEdge

All Implemented Interfaces:

CfaEdge<JvmCfaNode>

public class JvmAssumeDefaultCfaEdge
extends JvmInstructionCfaEdge

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

Constructor Summary

Constructors

Constructor and Description
JvmAssumeDefaultCfaEdge(CodeAttribute methodCode, int offset) Create a disconnected JVM CFA assume default edge.
JvmAssumeDefaultCfaEdge(JvmCfaNode source, JvmCfaNode target, CodeAttribute methodCode, int offset) Create a JVM CFA assume default edge.

Method Summary

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

JvmAssumeDefaultCfaEdge

public JvmAssumeDefaultCfaEdge(CodeAttribute methodCode,
                               int offset)

Create a disconnected JVM CFA assume default edge.

Parameters:

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.

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