类 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
-
- 所有已实现的接口:
CfaEdge<JvmCfaNode>
public class JvmAssumeDefaultCfaEdge extends JvmInstructionCfaEdge
An edge representing an assumption that the default case of a switch statement is taken.
-
-
构造器概要
构造器 构造器 说明 JvmAssumeDefaultCfaEdge(JvmCfaNode source, JvmCfaNode target, CodeAttribute methodCode, int offset)Create a JVM CFA assume default edge.JvmAssumeDefaultCfaEdge(CodeAttribute methodCode, int offset)Create a disconnected JVM CFA assume default edge.
-
方法概要
-
从类继承的方法 proguard.analysis.cpa.jvm.cfa.edges.JvmInstructionCfaEdge
getInstruction, getMethodCode
-
从类继承的方法 proguard.analysis.cpa.jvm.cfa.edges.JvmCfaEdge
getSource, getTarget, setSource, setTarget, targetSignature
-
-
-
-
构造器详细资料
-
JvmAssumeDefaultCfaEdge
public JvmAssumeDefaultCfaEdge(CodeAttribute methodCode, int offset)
Create a disconnected JVM CFA assume default edge.- 参数:
methodCode- the code attribute of the method the edge belongs tooffset- 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.- 参数:
source- the source node of the edgetarget- the target node of the edgemethodCode- the code attribute of the method the edge belongs tooffset- the offset of the instruction represented by the edge
-
-