sota.lang.java.ast.nodes
Class JavaASTIterationNode

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.ASTIterationNode
                  extended by sota.lang.java.ast.nodes.JavaASTIterationNode
All Implemented Interfaces:
java.lang.Comparable<ASTNode>, IConditionNode, IStatementNode

public class JavaASTIterationNode
extends ASTIterationNode

AST-Knoten für iterierende Anweisungen (Schleifen).


Field Summary
 
Fields inherited from class sota.ast.nodes.ASTIterationNode
cond, doNode, forInit, forUpdate, hasDoNode, isForNode, loopNode, nrConditions, nrMultipleLoops, nrSingleLoops, nrSkips, setOfTruthVectors
 
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
JavaASTIterationNode(int ln, java.lang.String s)
          Konstruktof für Foreach-Schleifen.
JavaASTIterationNode(int ln, java.lang.String s, Condition cond)
          Konstruktof für While-Schleifen.
JavaASTIterationNode(int ln, java.lang.String s, java.lang.String _forInit, Condition _cond, java.lang.String _forUpdate)
          Konstruktor für For-Schleifen.
 
Method Summary
 void createASCContent(int level)
           
 void createDoWhileASCContent(int level)
          Erstellt die Instrumentierung für Do-While-Schleifen.
 void createForASCContent(int level)
          Erstellt die Instrumentierung für For-Schleifen.
 void createWhileASCContent(int level)
          Erstellt die Instrumentierung für While-Schleifen.
 void printNode()
          Prints **
 
Methods inherited from class sota.ast.nodes.ASTIterationNode
completeNode, computeConditionCoverage, fillConditions, getCondition, getDoNode, getEvaluatedTVString, getLoopNode, getMetrics, getNodeString, getNrConditions, getNrCoveredModBIPaths, getNrLoops, getNrModBIPaths, getNrMultipleLoops, getNrSingleLoops, getNrSkips, getTruthVectors, hasDoNode, hasNonTrivialCondition, incNrMultipleLoops, incNrMultipleLoops, incNrSingleLoops, incNrSingleLoops, incNrSkips, incNrSkips, isForNode, numerateCondition, printCFG, resetHits, setDoNode, setForNode, setLoopNode
 
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, 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.IConditionNode
getID, print
 
Methods inherited from interface sota.ast.nodes.IStatementNode
getID, print
 

Constructor Detail

JavaASTIterationNode

public JavaASTIterationNode(int ln,
                            java.lang.String s)
Konstruktof für Foreach-Schleifen.

Parameters:
ln - die Zeilennummer
s - der Inhalt

JavaASTIterationNode

public JavaASTIterationNode(int ln,
                            java.lang.String s,
                            Condition cond)
Konstruktof für While-Schleifen.

Parameters:
ln - die Zeilennummer
s - der Inhalt
cond - die Bedingung

JavaASTIterationNode

public JavaASTIterationNode(int ln,
                            java.lang.String s,
                            java.lang.String _forInit,
                            Condition _cond,
                            java.lang.String _forUpdate)
Konstruktor für For-Schleifen.

Parameters:
ln - die Zeilennummer
s - der Inhalt
_forInit - die Initialisierung
_cond - die Bedingung
_forUpdate - der Update-Anweisung
Method Detail

createASCContent

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

createDoWhileASCContent

public void createDoWhileASCContent(int level)
Erstellt die Instrumentierung für Do-While-Schleifen.

Parameters:
level - das Instrumentationslevel

createForASCContent

public void createForASCContent(int level)
Erstellt die Instrumentierung für For-Schleifen.

Parameters:
level - das Instrumentationslevel

createWhileASCContent

public void createWhileASCContent(int level)
Erstellt die Instrumentierung für While-Schleifen.

Parameters:
level - das Instrumentationslevel

printNode

public void printNode()
Description copied from class: ASTIterationNode
Prints **

Overrides:
printNode in class ASTIterationNode