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

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

所有已实现的接口:

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.

构造器概要

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

方法概要

所有方法实例方法具体方法
修饰符和类型	方法	说明
`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.

从类继承的方法 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

- 构造器详细资料
  - JvmAssumeExceptionCfaEdge
```
public JvmAssumeExceptionCfaEdge(boolean isCaught,
                                 int catchType)
```
    Create a disconnected JVM CFA exception assumption 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
  - 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.
    
    参数:
    
    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
- 方法详细资料
  - 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.