JvmAssumeCaseCfaEdge (ProGuardCORE)

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

All Methods Instance Methods Concrete Methods
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 Detail
  - 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 Detail
  - getAssumedCase
```
public int getAssumedCase()
```
    Returns the assumed integer value of the switch variable made on this edge.