sota.lang.java.ast.nodes
Class JavaASTIfNode

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

public class JavaASTIfNode
extends ASTIfNode

AST-Knoten für If-Anweisung


Field Summary
 
Fields inherited from class sota.ast.nodes.ASTIfNode
cond, elseNode, falseNode, nrConditions, setOfTruthVectors, trueNode
 
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
JavaASTIfNode(int ln, java.lang.String s, Condition cond)
          Der Konstruktor für einen If-Knoten
 
Method Summary
 void createASCContent(int level)
           
 
Methods inherited from class sota.ast.nodes.ASTIfNode
completeNode, computeConditionCoverage, fillConditions, getCondition, getElseNode, getEvaluatedTVString, getFalseNode, getMetrics, getNodeString, getNrAtomEvaluations, getNrAtoms, getNrConditionEvaluations, getNrConditions, getNrMcdcPairs, getTrueNode, getTruthVectors, hasElse, hasNonTrivialCondition, numerateCondition, printCFG, printNode, resetHits, setElseNode, setFalseNode, setTrueNode
 
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

JavaASTIfNode

public JavaASTIfNode(int ln,
                     java.lang.String s,
                     Condition cond)
Der Konstruktor für einen If-Knoten

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

createASCContent

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