程序包 proguard.analysis.cpa.jvm.cfa.edges

类 JvmAssumeExceptionCfaEdge

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.