Package org.jtool.cfg

Class CFGMerge

java.lang.Object

org.jtool.graph.GraphElement

org.jtool.graph.GraphNode

org.jtool.cfg.CFGNode

org.jtool.cfg.CFGMerge

public class CFGMerge
extends CFGNode

A merge node of a CFG.

Nested Class Summary

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

CFGNode.Kind

Field Summary

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
CFGMerge(org.eclipse.jdt.core.dom.ASTNode node, CFGStatement branch)	Creates a new object that represents a merge.

Method Summary

Modifier and Type	Method	Description
CFGStatement	getBranch()	Returns the node for the branch that causes the merge.
void	setBranch(CFGStatement branch)	Sets a node for the branch that causes the merge.
String	toString()	Obtains information on this node.

Methods inherited from class org.jtool.cfg.CFGNode

equals, equals, getASTNode, getIncomingFalseFlows, getIncomingFlows, getIncomingTrueFlows, getKind, getNumOfPredecessors, getNumOfSuccessors, getOutgoingFalseFlow, getOutgoingFlows, getOutgoingTrueFlow, getPDGNode, getPredecessors, getSuccessors, hasDefVariable, hashCode, hasUseVariable, 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

CFGMerge

public CFGMerge(org.eclipse.jdt.core.dom.ASTNode node,
 CFGStatement branch)

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

Parameters:

node - the ASt node corresponding to this node

branch - the node for the branch that causes the merge

Method Details

setBranch

public void setBranch(CFGStatement branch)

Sets a node for the branch that causes the merge. This method is not intended to be invoked by clients.

Parameters:

branch - the branch node to be set

getBranch

public CFGStatement getBranch()

Returns the node for the branch that causes the merge.

Returns:

the branch node

toString

public String toString()

Obtains information on this node.

Overrides:

toString in class CFGNode

Returns:

the string representing the information