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, PEST2

Aufruf

Initialisierung:	ModelCheck check = new ModelCheck(GUIInterface, Editor);
Ausführung:	boolean ok = check.checkModel(Statechart);

Anforderungen

Es werden keinerlei Anforderungen an die übergebene Statechart gestellt; sobald alle Projektteilnehmer die programmiertechnische Kreisfreiheit einer Statechart sicherstellen k÷nnen, werden wir unseren eigenen Test auf eben diese Kreisfreiheit entfernen.

Was wir unbedingt brauchen sind ein brauchbarer funktionaler Editor, um Statecharts zum Testen zu erzeugen.

Status (20.02.1999)

Implementierte Feature

Bool'scher Variablen Test (beta)
Event Test (beta)
Transistions Test (beta)
Connectoren Test (beta)
Test eines einzelnen States (beta)

Todo

Im Vordergrund diese Woche stehen bei uns die Tests und die Implementierung der Klasse Crossreference

Kontakt

Autoren:

Tobias Kunz
Mario Thies

Version

Version:: $id:$
Author:: Java Praktikum: Gruppe 23
Mario Thies und Tobias Kunz

ModelCheck()
ModelCheck(GUIInterface)
ModelCheck(GUIInterface, Editor)
ModelCheck(GUIInterface, Editor, CheckConfig)

checkLabels(Statechart): ueberprüft alle BVars/Events, die innerhalb der "Statechart" definiert sind ueberflüssige BVars/Events koennten "Warnungen" sein.
checkModel(Statechart): Ueberprueft die komplette "Statechart" Rueckgabe der Methode ist TRUE, wenn keine Fehler oder Warnungen vorhanden sind, FALSE sonst.
getErrors(): Rueckgabe der Methode ist eine Liste (JAVA Klasse Vector) mit Fehlern von Typ itemError
getWarnings(): Rückgabe der Methode ist eine Liste (JAVA Klasse Vector) mit Warnungen von Typ itemWarning

ModelCheck

 public ModelCheck()

ModelCheck

 public ModelCheck(GUIInterface gui)

ModelCheck

 public ModelCheck(GUIInterface gui,
                   Editor edit)

ModelCheck

 public ModelCheck(GUIInterface gui,
                   Editor edit,
                   CheckConfig config)

checkModel

 public boolean checkModel(Statechart statechart)

Ueberprueft die komplette "Statechart" Rueckgabe der Methode ist TRUE, wenn keine Fehler oder Warnungen vorhanden sind, FALSE sonst.

checkLabels

 public boolean checkLabels(Statechart statechart)

ueberprüft alle BVars/Events, die innerhalb der "Statechart" definiert sind ueberflüssige BVars/Events koennten "Warnungen" sein. Rueckgabe der Methode ist TRUE, wenn keine Fehler oder Warnungen vorhanden sind, FALSE sonst.

getErrors

 public SyntaxError getErrors()

Rueckgabe der Methode ist eine Liste (JAVA Klasse Vector) mit Fehlern von Typ itemError

getWarnings

 public SyntaxWarning getWarnings()

Rückgabe der Methode ist eine Liste (JAVA Klasse Vector) mit Warnungen von Typ itemWarning

All Packages  Class Hierarchy  This Package  Previous  Next  Index