JvmAssumeCaseCfaEdge (proguard-core 9.3.3-wcpe-3 API)

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.