org.jtool.jxplatform.graph.cfg
Class CFGBranch

java.lang.Object
  extended byorg.jtool.jxplatform.graph.GraphNode
      extended byorg.jtool.jxplatform.graph.cfg.CFGNode
          extended byorg.jtool.jxplatform.graph.cfg.CFGStatement
              extended byorg.jtool.jxplatform.graph.cfg.CFGBranch
All Implemented Interfaces:
GraphElement, GraphNodeSort
Direct Known Subclasses:
CFGBreakContinue

public class CFGBranch
extends CFGStatement

A branch node of CFGs.

Author:
Katsuhsa Maruyama

Field Summary
 
Fields inherited from class org.jtool.jxplatform.graph.cfg.CFGStatement
defs, uses
 
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 CFGBranch()
          Creates a new, empty object.
protected CFGBranch(int sort, org.w3c.dom.Element elem)
          Creates a new node.
 
Method Summary
 void print(java.lang.StringBuffer buf)
          Collects information about this statement for printing.
 
Methods inherited from class org.jtool.jxplatform.graph.cfg.CFGStatement
addDefinedVariable, addDefinedVariables, addDefinedVariables, addUsedVariable, addUsedVariables, addUsedVariables, clearDefinedVariable, clearUsedVariable, definesVariable, getDefinedVariable, getDefinedVariables, getUsedVariable, getUsedVariables, isStatement, printDefUse, removeDefinedVariable, removeUsedVariable, setDefinedVariable, setDefinedVariables, setUsedVariable, setUsedVariables, usesVariable
 
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, 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

CFGBranch

protected CFGBranch()
Creates a new, empty object.


CFGBranch

protected CFGBranch(int sort,
                    org.w3c.dom.Element elem)
Creates a new node.

Parameters:
sort - The sort of this node.
elem - A DOM element corresponding to this node.
Method Detail

print

public void print(java.lang.StringBuffer buf)
Collects information about this statement for printing.

Overrides:
print in class CFGStatement
Parameters:
buf - The information about the stetement.