sota.lang.java.ast.nodes
Class JavaCondition

java.lang.Object
  extended by sota.ast.nodes.Condition
      extended by sota.lang.java.ast.nodes.JavaCondition

public class JavaCondition
extends Condition

AST-Knoten für Konditionknoten


Field Summary
 
Fields inherited from class sota.ast.nodes.Condition
ascContent, atomId, conditionId, content, hasShortCircuit, isAtom, isEmpty, isFalseAtom, isOperator, isPrimary, isTrueAtom, leftCondition, metrics, nrConditions, nrFalseEvaluations, nrTrueEvaluations, rightCondition, shortCircuitValue
 
Constructor Summary
JavaCondition()
          Konstruktor für eine leere, d.h. wahre Bedingung.
JavaCondition(Condition lC, java.lang.String op, Condition rC)
          Konstruktor für zusammengesetzte Bedingung (binärer Operator).
JavaCondition(java.lang.String atom)
          Konstruktor für atomare Bedingung.
JavaCondition(java.lang.String op, Condition rC)
          Konstruktor für zusammengesezte Bedingung (Unär -> !)
 
Method Summary
 boolean applyTruthVector(java.lang.String s)
           
 int[] computeNrAtomCombinations()
           
 int countNrAtoms()
           
 boolean evaluateTruthVector(java.lang.String s)
           
 Condition getAtomCondition(int i)
           
 java.util.ArrayList<java.lang.Integer[]> getAtomEvaluation(java.util.ArrayList<java.lang.Integer[]> l)
           
 java.util.ArrayList<java.lang.Integer[]> getConditionEvaluation(java.util.ArrayList<java.lang.Integer[]> l)
           
 java.lang.String getEvaluatedTVString(java.lang.String s)
          Berechnet aus einem Truthvector einen Belegungstring.
 java.lang.String toASCString(java.lang.String s)
           
 
Methods inherited from class sota.ast.nodes.Condition
areMcdcPairs, computeConditionCoverage, getASCContent, getAtomID, getConditionContent, getConditionID, getCondString, getContent, getLeftCondition, getListOfConditions, getMetrics, getNrAtomEvaluations, getNrAtoms, getNrConditionEvaluations, getNrConditions, getNrMcdcPairs, getRightCondition, getShortCircuitValue, hasShortCircuit, isAtom, isBoolean, isEmpty, isFalseAtom, isNonTrivial, isOperator, isPrimary, isTrueAtom, numerate, numerateAtoms, print, printFull, resetHits, setAtom, setPrimary, setShortCircuitValue
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

JavaCondition

public JavaCondition()
Konstruktor für eine leere, d.h. wahre Bedingung.


JavaCondition

public JavaCondition(Condition lC,
                     java.lang.String op,
                     Condition rC)
Konstruktor für zusammengesetzte Bedingung (binärer Operator).

Parameters:
lC - linke Bedingung
op - der Operator
rC - rechte Bedingung

JavaCondition

public JavaCondition(java.lang.String atom)
Konstruktor für atomare Bedingung.

Parameters:
atom - das Atom

JavaCondition

public JavaCondition(java.lang.String op,
                     Condition rC)
Konstruktor für zusammengesezte Bedingung (Unär -> !)

Parameters:
op - der Operator
rC - rechte Bedingung
Method Detail

applyTruthVector

public boolean applyTruthVector(java.lang.String s)
Specified by:
applyTruthVector in class Condition

computeNrAtomCombinations

public int[] computeNrAtomCombinations()
Specified by:
computeNrAtomCombinations in class Condition

countNrAtoms

public int countNrAtoms()
Specified by:
countNrAtoms in class Condition

evaluateTruthVector

public boolean evaluateTruthVector(java.lang.String s)
Specified by:
evaluateTruthVector in class Condition

getAtomCondition

public Condition getAtomCondition(int i)
Specified by:
getAtomCondition in class Condition

getAtomEvaluation

public java.util.ArrayList<java.lang.Integer[]> getAtomEvaluation(java.util.ArrayList<java.lang.Integer[]> l)
Specified by:
getAtomEvaluation in class Condition

getConditionEvaluation

public java.util.ArrayList<java.lang.Integer[]> getConditionEvaluation(java.util.ArrayList<java.lang.Integer[]> l)
Specified by:
getConditionEvaluation in class Condition

getEvaluatedTVString

public java.lang.String getEvaluatedTVString(java.lang.String s)
Description copied from class: Condition
Berechnet aus einem Truthvector einen Belegungstring. Dabei werden nicht ausgewertete Variablen (bei short-circuit-evaluation) durch "-" gekennzeichnet. Bsp.: ((falsch && falsch) || wahr) Truthvector: 011 (zweite Wert wurde nicht geloggt, daher per default true) Eval.TV.: 0-1

Specified by:
getEvaluatedTVString in class Condition
Parameters:
s - Der TruthVector, der umgewandelt werden soll.
Returns:
Der berechnete String mit den Bedingungsbelegungen.

toASCString

public java.lang.String toASCString(java.lang.String s)
Specified by:
toASCString in class Condition