JvmAssumeExceptionCfaEdge (ProGuardCORE)

java.lang.Object
- proguard.analysis.cpa.jvm.cfa.edges.JvmCfaEdge
- - proguard.analysis.cpa.jvm.cfa.edges.JvmAssumeExceptionCfaEdge

All Implemented Interfaces:

CfaEdge<JvmCfaNode>
```
public class JvmAssumeExceptionCfaEdge
extends JvmCfaEdge
```
An edge representing an assumption on a JVM exception of a specific type that can be either caught or not caught.

Constructor Summary

Constructors
Constructor	Description
`JvmAssumeExceptionCfaEdge(boolean isCaught, int catchType)`	Create a disconnected JVM CFA exception assumption edge.
`JvmAssumeExceptionCfaEdge(JvmCfaNode source, JvmCfaNode target, boolean isCaught, int catchType)`	Create a JVM CFA exception assumption edge.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`int`	`getCatchType()`	Returns the integer representing the exception type in the exception table of the method the node belongs to.
`boolean`	`isCaught()`	Returns the assumption on the exception being caught made for the edge.

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
  - JvmAssumeExceptionCfaEdge
```
public JvmAssumeExceptionCfaEdge(boolean isCaught,
                                 int catchType)
```
    Create a disconnected JVM CFA exception assumption edge.
    
    Parameters:
    
    isCaught - an assumption on the exception being caught or not
    
    catchType - an integer representing the exception type in the edge's method exception table
  - JvmAssumeExceptionCfaEdge
```
public JvmAssumeExceptionCfaEdge(JvmCfaNode source,
                                 JvmCfaNode target,
                                 boolean isCaught,
                                 int catchType)
```
    Create a JVM CFA exception assumption 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
    
    isCaught - an assumption on the exception being caught or not
    
    catchType - an integer representing the exception type in the edge's method exception table
- Method Detail
  - getCatchType
```
public int getCatchType()
```
    Returns the integer representing the exception type in the exception table of the method the node belongs to.
  - isCaught
```
public boolean isCaught()
```
    Returns the assumption on the exception being caught made for the edge.