Package proguard.analysis.cpa.jvm.cfa.edges

Class JvmAssumeExceptionCfaEdge

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

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 Details

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 Details

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.