sota.lang.java.ast.nodes
Class JavaASTCondStatementNode

java.lang.Object
  extended by sota.ast.nodes.ASTNode
      extended by sota.ast.nodes.ASTStatementNode
          extended by sota.lang.java.ast.nodes.JavaASTStatementNode
              extended by sota.lang.java.ast.nodes.JavaASTCondStatementNode
All Implemented Interfaces:
java.lang.Comparable<ASTNode>, IConditionNode, IStatementNode

public class JavaASTCondStatementNode
extends JavaASTStatementNode
implements IConditionNode

Ermöglicht die Verarbeitung von ternären Operatoren. Aufgrund der fehlenden Sicherstellung der Nebeneffektfreiheit momentan nicht verwendet!


Field Summary
protected  Condition cond
           
protected  java.util.ArrayList<Condition> listOfConditions
           
protected  java.util.HashSet<java.lang.String> setOfTruthVectors
           
 
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
JavaASTCondStatementNode(int ln, java.lang.String s)
           
 
Method Summary
 void computeConditionCoverage()
           
 void createASCContent(int level)
           
 void fillConditions(java.util.TreeSet<java.lang.String> list)
          fügt Booleanarray aus Logfile in Knoten ein
 Condition getCondition()
          numeriert die Konditionen, startend mit Parameterwert
 java.lang.String getEvaluatedTVString(java.lang.String s)
           
 java.util.ArrayList<Condition> getListOfConditions()
           
 Metrics getMetrics()
           
 int getNrConditions()
           
 java.util.HashSet<java.lang.String> getTruthVectors()
           
 boolean hasNonTrivialCondition()
           
 int numerateCondition(int i)
          numeriert die Konditionen, startend mit Parameterwert
 void resetHits()
           
 void resetTruthVector()
           
 
Methods inherited from class sota.ast.nodes.ASTStatementNode
decNrHits, getEndOfStatement, getNodeString, getNrHits, incNrHits, incNrHits, isSepareted, printCFG, printNode, 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
 

Field Detail

cond

protected Condition cond

listOfConditions

protected java.util.ArrayList<Condition> listOfConditions

setOfTruthVectors

protected java.util.HashSet<java.lang.String> setOfTruthVectors
Constructor Detail

JavaASTCondStatementNode

public JavaASTCondStatementNode(int ln,
                                java.lang.String s)
Method Detail

computeConditionCoverage

public void computeConditionCoverage()
Specified by:
computeConditionCoverage in interface IConditionNode

createASCContent

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

fillConditions

public void fillConditions(java.util.TreeSet<java.lang.String> list)
Description copied from interface: IConditionNode
fügt Booleanarray aus Logfile in Knoten ein

Specified by:
fillConditions in interface IConditionNode

getCondition

public Condition getCondition()
numeriert die Konditionen, startend mit Parameterwert

Specified by:
getCondition in interface IConditionNode

getEvaluatedTVString

public java.lang.String getEvaluatedTVString(java.lang.String s)
Specified by:
getEvaluatedTVString in interface IConditionNode

getListOfConditions

public java.util.ArrayList<Condition> getListOfConditions()

getMetrics

public Metrics getMetrics()
Specified by:
getMetrics in interface IConditionNode

getNrConditions

public int getNrConditions()

getTruthVectors

public java.util.HashSet<java.lang.String> getTruthVectors()
Specified by:
getTruthVectors in interface IConditionNode

hasNonTrivialCondition

public boolean hasNonTrivialCondition()
Specified by:
hasNonTrivialCondition in interface IConditionNode

numerateCondition

public int numerateCondition(int i)
Description copied from interface: IConditionNode
numeriert die Konditionen, startend mit Parameterwert

Specified by:
numerateCondition in interface IConditionNode

resetHits

public void resetHits()
Specified by:
resetHits in interface IConditionNode
Specified by:
resetHits in interface IStatementNode
Overrides:
resetHits in class ASTStatementNode

resetTruthVector

public void resetTruthVector()