|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectVerifCondCreater
Ein VerifCondCreater erzeugt aus einem Programm, welches in Form eines Baumes (ein Objekt vom Typ SimpleNode) gespeichert ist, sämtliche Verifikationsbedingungen.
Constructor Summary | |
VerifCondCreater(SimpleNode prog)
Erzeugt einen VerifCondCreater für das in der Variablen program enthaltene Programm. |
Method Summary | |
void |
createConditions()
Erzeugt aus dem in program enthaltenen, geparsten Programm sämtliche Verifikationsbedingungen und speichert diese in der Liste verifConditions. |
SimpleNode |
getNextCondition()
Liefert die nächste Verifikationsbedingung. |
boolean |
hasConditions()
Überprüft, ob die Liste der Verifikationsbedingungen leer ist. |
boolean |
hasNextCondition()
Überprüft, ob der Iterator der Liste der Verifikationsbedingungen eine weitere Bedingung liefern kann. |
void |
resetConditionIterator()
Setzt den Iterator der Liste aus Verifikationsbedingungen auf den Anfang der Liste. |
java.lang.String |
toString()
Konvertiert die Liste der Verifikationsbedingungen in einen String. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public VerifCondCreater(SimpleNode prog)
Method Detail |
public void resetConditionIterator()
public boolean hasConditions()
public boolean hasNextCondition()
public SimpleNode getNextCondition()
public void createConditions()
public java.lang.String toString()
|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |