Package org.jtool.cfg

Class CFGException

java.lang.Object

org.jtool.graph.GraphElement

org.jtool.graph.GraphNode

org.jtool.cfg.CFGNode

org.jtool.cfg.CFGStatement

org.jtool.cfg.CFGException

public class CFGException
extends CFGStatement

A node for a thrown or caught exception.

Nested Class Summary

Nested classes/interfaces inherited from class org.jtool.cfg.CFGNode

CFGNode.Kind

Field Summary

Fields inherited from class org.jtool.cfg.CFGStatement

defs, uses

Fields inherited from class org.jtool.cfg.CFGNode

astNode, kind, pdgNode

Fields inherited from class org.jtool.graph.GraphNode

id, incomingEdges, outgoingEdges

Constructor Summary

Constructors

Constructor	Description
CFGException(org.eclipse.jdt.core.dom.ASTNode node, CFGNode.Kind kind, org.eclipse.jdt.core.dom.ITypeBinding tbinding)	Creates a new object that represents an exception.

Method Summary

Modifier and Type	Method	Description
org.eclipse.jdt.core.dom.ITypeBinding	getTypeBinding()	Returns the type binding information on the type of the exception.
String	getTypeName()	Returns the type name of the exception.

Methods inherited from class org.jtool.cfg.CFGStatement

addDefVariable, addDefVariables, addUseVariable, addUseVariables, clearDefVariables, clearUseVariables, defineVariable, findPrimaryUseVariables, findPrimaryUseVariables, getDefFirst, getDefLast, getDefVariable, getDefVariables, getUseFirst, getUseLast, getUseVariable, getUseVariables, hasDefVariable, hasUseVariable, removeDefVariable, removeUseVariable, setDefVariable, setDefVariables, setUseVariable, setUseVariables, toString, toStringForVariables, useVariable

Methods inherited from class org.jtool.cfg.CFGNode

equals, equals, getASTNode, getIncomingFalseFlows, getIncomingFlows, getIncomingTrueFlows, getKind, getNumOfPredecessors, getNumOfSuccessors, getOutgoingFalseFlow, getOutgoingFlows, getOutgoingTrueFlow, getPDGNode, getPredecessors, getSuccessors, hashCode, isActual, isActualIn, isActualOut, isAssert, isAssignment, isBranch, isBreak, isCatchClause, isClassEntry, isConstructorEntry, isContinue, isDo, isDummy, isEnhancedFor, isEntry, isEnumConstantEntry, isEnumEntry, isExit, isExpression, isFieldDeclaration, isFieldEntry, isFinallyClause, isFor, isFormal, isFormalIn, isFormalOut, isIf, isInitializerEntry, isInterfaceEntry, isJoin, isLabel, isLiteral, isLocalDeclaration, isLoop, isMerge, isMethodCall, isMethodEntry, isNextToBranch, isParameter, isReceiver, isReturn, isSelection, isStatement, isStatement, isStatementNotParameter, isSwitch, isSwitchCase, isSwitchDefault, isSynchronized, isThrow, isThrowClause, isTry, isWhile, print, resetId, setASTNode, setKind, setPDGNode, sortNodes, sortNodesInverse

Methods inherited from class org.jtool.graph.GraphNode

addIncomingEdge, addIncomingEdges, addOutgoingEdge, addOutgoingEdges, clear, equals, equals, getDstNodes, getId, getIncomingEdges, getOutgoingEdges, getSrcNodes, removeIncomingEdge, removeOutgoingEdge, setId, sortGraphNode

Methods inherited from class org.jtool.graph.GraphElement

difference, equals, getIdString, intersection, subset, subsetEqual, union

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

CFGException

public CFGException(org.eclipse.jdt.core.dom.ASTNode node,
 CFGNode.Kind kind,
 org.eclipse.jdt.core.dom.ITypeBinding tbinding)

Creates a new object that represents an exception. This method is not intended to be invoked by clients.

Parameters:

node - the AST node corresponding to this node

kind - the kind of this node

tbinding - type binding information on the type of the exception

Method Details

getTypeBinding

public org.eclipse.jdt.core.dom.ITypeBinding getTypeBinding()

Returns the type binding information on the type of the exception.

Returns:

the type binding information

getTypeName

public String getTypeName()

Returns the type name of the exception.

Returns:

the type name