org.jtool.jxplatform.graph.cfg
Class CFGMerge

java.lang.Object
  org.jtool.jxplatform.graph.GraphNode
      org.jtool.jxplatform.graph.cfg.CFGNode
          org.jtool.jxplatform.graph.cfg.CFGMerge

All Implemented Interfaces:

GraphElement, GraphNodeSort

public class CFGMerge

extends CFGNode

A merge node of CFGs.

Author:

Katsuhsa Maruyama

Field Summary

Fields inherited from class org.jtool.jxplatform.graph.cfg.CFGNode

defid, element

Fields inherited from class org.jtool.jxplatform.graph.GraphNode

id, nodeNum, sort

Fields inherited from interface org.jtool.jxplatform.graph.GraphNodeSort

actualIn, actualOut, assignments, assignmentSt, branches, breakSt, callings, caseLabel, classEntry, classExit, constructorCall, constructorEntry, constructorExit, continueSt, defaultLabel, doSt, entries, exits, fieldDecl, formalIn, formalOut, forSt, ifSt, ignores, instanceCreation, interfaceEntry, interfaceExit, labelSt, localDecl, mergeSt, methodCall, methodEntry, methodExit, newSt, parameters, polymorphicCall, returnSt, switchSt, synchronizedSt, throwSt, trySt, whileSt

Constructor Summary

protected	CFGMerge() Creates a new, empty object.
protected	CFGMerge(CFGNode branch) Creates a new node.

Method Summary

CFGNode	getBranchNode() Returns the branch node which gives rise to this join.
void	print(java.lang.StringBuffer buf) Collects information about this statement for printing.

Methods inherited from class org.jtool.jxplatform.graph.cfg.CFGNode

equals, getDefId, getElem, getPredecessors, getPredecessorsNumber, getSuccessors, getSuccessorsNumber, hasDefVariable, hasUseVariable, isAssignmentSt, isBranch, isBranchSt, isBreakSt, isCallSt, isContinueSt, isDoSt, isEntrySt, isExitSt, isFieldSt, isFormalInSt, isFormalOutSt, isFormalSt, isForSt, isGeneralAssignmentSt, isGeneralStatement, isIfSt, isIgnoredSt, isJoin, isLabelSt, isLocalSt, isLoopSt, isMergeSt, isMethodEntry, isParameterSt, isReturnSt, isStatement, isSwitchLabel, isSwitchSt, isWhileSt, print, print, write

Methods inherited from class org.jtool.jxplatform.graph.GraphNode

addIncomingEdge, addIncomingEdges, addOutgoingEdge, addOutgoingEdges, clear, clearId, clearIncomingEdges, clearOutgoingEdges, getDstNodes, getId, getIncomingEdges, getOutgoingEdges, getSort, getSrcNodes, removeIncomingEdge, removeOutgoingEdge, setDstNodes, setIncomingEdges, setOutgoingEdges, setSort, setSrcNodes

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CFGMerge

protected CFGMerge()

Creates a new, empty object.

CFGMerge

protected CFGMerge(CFGNode branch)

Creates a new node. This node does not correspond to any DOM element.

Parameters:

branch - A CFG node.

Method Detail

getBranchNode

public CFGNode getBranchNode()

Returns the branch node which gives rise to this join.

Returns:

The corresponding brach node.

print

public void print(java.lang.StringBuffer buf)

Collects information about this statement for printing.

Overrides:

print in class GraphNode

Parameters:

buf - The information about the stetement.