Version 1

Version 5.3
Bekannte Fehler:
➢ Nothing und Spezialisierungen werden fehlerhaft nach Java übersetzt.
➢ Die Operation „Check All“ in der Testlasche liefert Ausnahmen bei „hidden“-Funktions,
die in Testdateien für importierte Programmdateien benutzt werden.
➢ Mit Windows erzeugte Lomf-Programmdateien lassen sich nicht auf Linux-Systeme übertragen und vice versa, da kein für beide Systeme einheitlicher Zeichensatz beim Speichern
benutzt wird.
Fehlerbeseitigung:
➢
➢
Die Analyse zu fehlenden Methoden liefert die „am meisten abstrakten“ fehlenden Methoden.
Automatische Anpassung vor der Anwendung von Projektionen funktioniert auch, wenn
die dabei verwendeten Konstruktoren mit Bedingungen „überschrieben“ sind.
Veränderungen:
➢
„Undo“ und „Redo“ in Testdatei.
Version 5.2.3
Bekannte Fehler:
➢ Nothing und Spezialisierungen werden fehlerhaft nach Java übersetzt.
➢ Die Operation „Check All“ in der Testlasche liefert Ausnahmen bei „hidden“-Funktions,
die in Testdateien für importierte Programmdateien benutzt werden.
➢ Mit Windows erzeugte Lomf-Programmdateien lassen sich nicht auf Linux-Systeme übertragen und vice versa, da kein für beide Systeme einheitlicher Zeichensatz beim Speichern
benutzt wird.
Fehlerbeseitigung:
➢
Auch in Testdateien mit getrennten Testfällen („;“) erscheint der Funktionsassistent an
den richtigen Positionen.
Veränderungen:
Version 5.2.2
Bekannte Fehler:
➢ Nothing und Spezialisierungen werden fehlerhaft nach Java übersetzt.
➢ Die Operation „Check All“ in der Testlasche liefert Ausnahmen bei „hidden“-Funktions,
die in Testdateien für importierte Programmdateien benutzt werden.
➢ Mit Windows erzeugte Lomf-Programmdateien lassen sich nicht auf Linux-Systeme übertragen und vice versa, da kein für beide Systeme einheitlicher Zeichensatz beim Speichern
benutzt wird.
Fehlerbeseitigung:
1
➢
Das Öffnen einer anderen Programm-Datei verändert nicht mehr die eingestellte FontGröße.
Veränderungen:
Version 5.2.1
Bekannte Fehler:
➢ Nothing und Spezialisierungen werden fehlerhaft nach Java übersetzt.
➢ Die Operation „Check All“ in der Testlasche liefert Ausnahmen bei „hidden“-Funktions,
die in Testdateien für importierte Programmdateien benutzt werden.
➢ Mit Windows erzeugte Lomf-Programmdateien lassen sich nicht auf Linux-Systeme übertragen und vice versa, da kein für beide Systeme einheitlicher Zeichensatz beim Speichern
benutzt wird.
Fehlerbeseitigung:
➢
Der Kommentar von Funktionen, die über „Default“-Werte von Parametern erzeugt werden, weist auf den entsprechenden Parameter und die Originalfunktion hin.
Veränderungen:
➢
➢
Testfälle können durch „;“ getrennt werden. (Ermöglicht Prefix-Vorausberechnungen für
die linke Seite eines Testfalls. Ohne Trenner wird solch ein „Prefix“ immer Suffix der
rechten Seite des vorausgehenden Testfalls.)
3 zusätzliche Fontgrößen.
Version 5.2
Bekannte Fehler:
➢ Nothing und Spezialisierungen werden fehlerhaft nach Java übersetzt.
➢ Die Operation „Check All“ in der Testlasche liefert Ausnahmen bei „hidden“-Funktions,
die in Testdateien für importierte Programmdateien benutzt werden.
➢ Mit Windows erzeugte Lomf-Programmdateien lassen sich nicht auf Linux-Systeme übertragen und vice versa, da kein für beide Systeme einheitlicher Zeichensatz beim Speichern
benutzt wird.
Fehlerbeseitigung:
➢
Die Konstruktoren von Datentypen, die nicht spezieller als Nothing sind, liefern Nothing,
wenn alle Komponenten mit Werten belegt sind, deren Typ spezieller ist als Nothing.
Veränderungen:
➢
➢
Zustandsverändernde Funktionen verändern genau die Komponenten im angegebenen Parameter, die der Typ des Parameters spezifiziert.
Der statische Typ eines Ausdrucks mit einer zustandsverändernden Operation hängt vom
statischen Typ des Ausdrucks ab, der den zu verändernden Parameter belegt.
Version 5.1.1
Bekannte Fehler:
2
➢
➢
➢
Nothing und Spezialisierungen werden fehlerhaft nach Java übersetzt.
Die Operation „Check All“ in der Testlasche liefert Ausnahmen bei „hidden“-Funktions,
die in Testdateien für importierte Programmdateien benutzt werden.
Mit Windows erzeugte Lomf-Programmdateien lassen sich nicht auf Linux-Systeme übertragen und vice versa, da kein für beide Systeme einheitlicher Zeichensatz beim Speichern
benutzt wird.
Fehlerbeseitigung:
➢
➢
Geänderte Programmdateien werden nicht mehr gespeichert, wenn im entsprechenden
Dialog die Frage nach dem Speichern mit „nein“ beantwortet wird.
Keine Null-Pointer-Exception mehr bei Verwendung von „versteckten Funktionen“ ab
Version 5.1.
Version 5.1
Bekannte Fehler:
➢ Nothing und Spezialisierungen werden fehlerhaft nach Java übersetzt.
➢ Die Operation „Check All“ in der Testlasche liefert Ausnahmen bei „hidden“-Funktions,
die in Testdateien für importierte Programmdateien benutzt werden.
➢ Mit Windows erzeugte Lomf-Programmdateien lassen sich nicht auf Linux-Systeme übertragen und vice versa, da kein für beide Systeme einheitlicher Zeichensatz beim Speichern
benutzt wird.
Fehlerbeseitigung:
➢
Endlosschleife bei der Prüfung auf rekursive Benutzung einer Funktion in der eigenen
Vorbedingung für die Parameter beseitigt.
Veränderungen:
➢
Der „=“-Operator fordert nicht mehr syntaktische Typ-Gleichheit. Beim Laufzeitvergleich
von Werten zu nicht identischen Typen wird die Menge der minimalen konkreten Obertypen der beiden beteiligten Typen berechnet. Ist die Menge leer, liefert der Vergleich „false“. Ist die Menge nicht leer, werden die beiden zu vergleichenden Werte an alle diese Typen angepasst (Aufruf der entsprechenden Coercer). Der Vergleich liefert genau dann
„true“, wenn die Vergleiche der angepassten Werte zu allen minimalen Obertypen „true“
liefern.
Version 5.0.4
Bekannte Fehler:
➢ Nothing und Spezialisierungen werden fehlerhaft nach Java übersetzt.
Fehlerbeseitigung:
➢
Die „Complexity“-Lasche passt sich bei Größenveränderungen des gesamten Fensters mit
an.
Version 5.0.3
Bekannte Fehler:
3
➢
Nothing und Spezialisierungen werden fehlerhaft nach Java übersetzt.
Fehlerbeseitigung:
➢
Ausdrücke als Default-Belegung von Parametern erzeugen keine „Uncovered Expressions“ mehr, die bei Inspektion über die Benutzeroberfläche Systemfehler (Nullpointer) erzeugen. (Default-Expression werden nicht mehr unnötig kopiert.)
Version 5.0.2
Bekannte Fehler:
➢ Nothing und Spezialisierungen werden fehlerhaft nach Java übersetzt.
Fehlerbeseitigung:
➢
➢
➢
Division durch Null liefert Exception und keinen Laufzeitfehler mehr.
Weniger Verklemmungen (Deadlock-Möglichkeit zwischen nebenläufigem Scanner und
dem zugehörigen gescannten Programm entfernt.)
Fehler bei der Aktualisierung der Oberfläche aus oberflächenfremden Compiler-Threads
verringert.
Version 5.0.1
Bekannte Fehler:
➢ Nothing und Spezialisierungen werden fehlerhaft nach Java übersetzt.
Fehlerbeseitigung:
➢
➢
TODO-Ausdrücke werden im Testfenster korrekt ausgewertet.
Previous Slot findet alle Stellen.
Version 5.0
Bekannte Fehler:
➢ Nothing und Spezialisierungen werden fehlerhaft nach Java übersetzt.
Neuigkeiten:
➢
➢
➢
➢
➢
➢
Umbenennung der Menü-Funktionen „Save as“ in „Export“.
Explizite Warnhinweise, dass der Export von Dateien keinen Einfluss auf die zur Zeit geöffnete Datei hat.
Redesign der Behandlung von Nothing:
•
Konstruktoren führen keine implizite Typanpassung mehr aus.
•
Spezialisierungen von Nothing müssen wieder einen Coercer spezifizieren (4.9.9
rückgängig).
Parametertypen und Rückgabetypen können (anonyme) Summen sein.
Fehlermeldungen bei der Auswertung nicht mehr als Meldungen in der Statuszeile sondern als Resultat vom Typ „Exception“, der spezieller als „Nothing“ ist.
Alle Operationen sind ab jetzt strikt in allen Parametern, deren Typ definiert ist, also nicht
„Nothing“ oder ein speziellerer Typ ist.
4
➢
Sollten die Ergebnisse der linken und der rechten Seite eines Testfalls nicht denselben Typ
haben aber in Spezialisierungbeziehung stehen, wird die Anpassung versucht und danach
der Wert verglichen.
5