All Packages Class Hierarchy This Package Previous Next Index
Class check.ModelCheck
java.lang.Object
|
+----check.ModelCheck
- public class ModelCheck
- extends Object
Syntax Check für Statecharts
Empfohlender Aufruf:
- Initialisierung: ModelCheck mc = new ModelCheck(GUI_Referenz,EDITOR_Referenz, CheckConfig)
- Aufruf des Checks: boolean = mc.checkModel(Statechart)
Forderungen an die an den Check übergebene Statechart:
- Es darf keine null an Stellen stehen, die dafür nicht vorgesehen
sind (z.B. in TrList.head).
- In der Datenstruktur der Statechart darf kein Zyklus sein.
Garantien nach der Beendigung des Checks:
- Der Check verändert die an ihn übergebene Statechart nicht.
- Der Check liefert nur dann true zurück, wenn die Statechart
keine Fehler mehr enthält, die den Simulator oder den CodeGenerator zu
zu falschen Ergebnissen führen würde.
Codes von Fehlern und Warnungen beim Syntax Check:
Die genaue Spezifizierung kann man im Programm in der Menuezeile unter Einstellungen -> Syntax Check -> Meldungen nachschauen.
Testmöglichkeiten:
Das Testprogramm t.java im Directory test erzeugt fehlerhafte Statecharts,
deren Resultate man gezielt analysieren kann (näheres siehe README).
- STATUS:
Unserer Syntax Check ist soweit fertig,
aber die Optionen hadern noch mit der GUI.
- To Do:
Testen, Testen, Testen.
- Bekannte Fehler:
keine
- Temporäre Features:
keine
- Version:
- $Id: ModelCheck.java,v 1.45 1999/02/15 11:19:51 swtech11 Exp $
- Author:
- Java Praktikum: Daniel Wendorff und Magnus Stiller
- See Also:
- CheckConfig
-
ModelCheck(GUIInterface)
- Der Constructor des Syntax Checkers.
-
ModelCheck(GUIInterface, Editor)
- Der Constructor des Syntax Checkers.
-
ModelCheck(GUIInterface, Editor, CheckConfig)
- Der Constructor des Syntax Checkers.
-
checkModel(Statechart)
- Führt den gesamten Syntax Check durch.
ModelCheck
public ModelCheck(GUIInterface _gui)
- Der Constructor des Syntax Checkers.
- Parameters:
- _gui - Referenz auf die GUI
ModelCheck
public ModelCheck(GUIInterface _gui,
Editor _edit)
- Der Constructor des Syntax Checkers.
- Parameters:
- _gui - Referenz auf die GUI
- _edit - Referenz auf den Editor
ModelCheck
public ModelCheck(GUIInterface _gui,
Editor _edit,
CheckConfig _cf)
- Der Constructor des Syntax Checkers.
- Parameters:
- _gui - Referenz auf die GUI
- _edit - Referenz auf den Editor
- _cf - Referenz auf das Konfigurationsobjekt des Syntax Checks
checkModel
public boolean checkModel(Statechart sc)
- Führt den gesamten Syntax Check durch.
- Parameters:
- sc - die zu checkende Statechart
- Returns:
- true, falls keine Fehler aufgetreten sind, sonst false
All Packages Class Hierarchy This Package Previous Next Index