|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectsota.ast.nodes.ASTNode
sota.ast.nodes.ASTStatementNode
sota.ast.nodes.ASTBranchNode
sota.ast.nodes.ASTIfNode
sota.lang.java.ast.nodes.JavaASTIfNode
public class JavaASTIfNode
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 |
---|
public JavaASTIfNode(int ln, java.lang.String s, Condition cond)
ln
- die Zeilennummers
- der Inhaltcond
- die BedingungMethod Detail |
---|
public void createASCContent(int level)
createASCContent
in class ASTNode
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |