sota.lang.java.ast.nodes
Class JavaASTSwitchNode

java.lang.Object
  extended by sota.ast.nodes.ASTNode
      extended by sota.ast.nodes.ASTStatementNode
          extended by sota.ast.nodes.ASTBranchNode
              extended by sota.ast.nodes.ASTSwitchNode
                  extended by sota.lang.java.ast.nodes.JavaASTSwitchNode
All Implemented Interfaces:
java.lang.Comparable<ASTNode>, IStatementNode

public class JavaASTSwitchNode
extends ASTSwitchNode

AST-Knoten für Switch-Statements


Field Summary
 
Fields inherited from class sota.ast.nodes.ASTSwitchNode
expression, hasDefault, listOfCaseNodes
 
Fields inherited from class sota.ast.nodes.ASTBranchNode
endNode, entryNode, setOfBIPaths, setOfExitNodes, setOfFollowUpNodes
 
Fields inherited from class sota.ast.nodes.ASTStatementNode
endOfStatement, nrHits
 
Fields inherited from class sota.ast.nodes.ASTNode
ascContent, BRANCH, CASE, CATCH, CONDITION, content, controlingBranchNode, DO, functionNode, id, IF, isDirectReachable, isReachable, isVirtual, ITERATION, JUMP, lineNr, next, NODE, prev, SCOPE, STATEMENT, SWITCH, TRY
 
Constructor Summary
JavaASTSwitchNode(int ln, java.lang.String s)
          Konstruktor
 
Method Summary
 void createASCContent(int level)
           
 
Methods inherited from class sota.ast.nodes.ASTSwitchNode
addCaseNode, completeNode, getDefaultNode, getExpression, getListOfCases, getNodeString, getNrOfCases, getSelectionString, hasDefault, printCFG, printNode
 
Methods inherited from class sota.ast.nodes.ASTBranchNode
addExitNode, addFollowUpNode, getEndNode, getEntryNode, getExitString, getSetOfExitNodes, getSetOfFollowUpNodes, isWithinBranchConstruct, printExits, setEndNode, setEntryNode
 
Methods inherited from class sota.ast.nodes.ASTStatementNode
decNrHits, getEndOfStatement, getNrHits, incNrHits, incNrHits, isSepareted, resetHits, setEndOfStatement, setNrHits
 
Methods inherited from class sota.ast.nodes.ASTNode
appendToASCContent, compareTo, getASCContent, getContent, getControlingBranchNode, getFunctionNode, getID, getLineNr, getNextNode, getPrevNode, getReachString, getType, isDirectReachable, isDirectReachable, isReachable, isReachable, isVirtual, isVirtual, print, printReach, setASCContent, setContent, setControlingBranchNode, setFunctionNode, setID, setNextNode, setPrevNode, typeToString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface sota.ast.nodes.IStatementNode
getID, print
 

Constructor Detail

JavaASTSwitchNode

public JavaASTSwitchNode(int ln,
                         java.lang.String s)
Konstruktor

Parameters:
ln - die Zeilennummer
s - der Inhalt
Method Detail

createASCContent

public void createASCContent(int level)
Overrides:
createASCContent in class ASTNode