Class VerifCondCreater

java.lang.Object
  extended byVerifCondCreater

public class VerifCondCreater
extends java.lang.Object

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

VerifCondCreater

public VerifCondCreater(SimpleNode prog)
Erzeugt einen VerifCondCreater für das in der Variablen program enthaltene Programm.

Method Detail

resetConditionIterator

public void resetConditionIterator()
Setzt den Iterator der Liste aus Verifikationsbedingungen auf den Anfang der Liste.


hasConditions

public boolean hasConditions()
Überprüft, ob die Liste der Verifikationsbedingungen leer ist.


hasNextCondition

public boolean hasNextCondition()
Überprüft, ob der Iterator der Liste der Verifikationsbedingungen eine weitere Bedingung liefern kann.


getNextCondition

public SimpleNode getNextCondition()
Liefert die nächste Verifikationsbedingung.


createConditions

public void createConditions()
Erzeugt aus dem in program enthaltenen, geparsten Programm sämtliche Verifikationsbedingungen und speichert diese in der Liste verifConditions. Für Details siehe
H.P. Gumm: Generating Algebraic Laws from Imperative Programs.


toString

public java.lang.String toString()
Konvertiert die Liste der Verifikationsbedingungen in einen String.