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

类 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

所有已实现的接口:

CfaEdge<JvmCfaNode>

public class JvmAssumeCaseCfaEdge
extends JvmInstructionCfaEdge

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

构造器概要

构造器

构造器	说明
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.

方法概要

修饰符和类型	方法	说明
int	getAssumedCase()	Returns the assumed integer value of the switch variable made on this edge.

从类继承的方法 proguard.analysis.cpa.jvm.cfa.edges.JvmInstructionCfaEdge

getInstruction, getMethodCode

从类继承的方法 proguard.analysis.cpa.jvm.cfa.edges.JvmCfaEdge

getSource, getTarget, setSource, setTarget, targetSignature

从类继承的方法 java.lang.Object

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

构造器详细资料

JvmAssumeCaseCfaEdge

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

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

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.

参数:

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

方法详细资料

getAssumedCase

public int getAssumedCase()

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