sota.lang.java.ast.nodes
Class JavaASTCondStatementNode
java.lang.Object
sota.ast.nodes.ASTNode
sota.ast.nodes.ASTStatementNode
sota.lang.java.ast.nodes.JavaASTStatementNode
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!
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 |
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 |
cond
protected Condition cond
listOfConditions
protected java.util.ArrayList<Condition> listOfConditions
setOfTruthVectors
protected java.util.HashSet<java.lang.String> setOfTruthVectors
JavaASTCondStatementNode
public JavaASTCondStatementNode(int ln,
java.lang.String s)
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()