All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class tesc1.TESCLoader

java.lang.Object
   |
   +----tesc1.TESCLoader

public final class TESCLoader

extends Object

Garantie:

Wir garantieren, dass die von unseren Modulen erzeugten Statecharts folgende Eigenschaften haben:

• Ein Absyn-Baum eines Statecharts wird zurueckgeliefert, d.h.
  • der Baum ist nicht notwendigerweise als Statechart darstellbar
  • das Statechart ist nicht notwendigerweise semantisch korrekt
    • Ungueltige State-Verweise
    • Ungueltige Pfade
    • Nicht referenzierte Variablen, Events und Zustaende
    • Leere Zustaende
• Leere Events und Guards werden mit Dummy gekennzeichnet statt NULL
• Keywords aus util.Keyword.java kommen nicht in Bezeichnern vor
• Alle Listen sind konsistent

Status:

Momentan erkennt unser Parser die Sprache TESC, definiert in tesc1/Docu/Grammatik Mit dieser Sprachdefinition kann man Statecharts gemaess der Abstrakten Syntax textuell modellieren.

Todo:

Bekannte Fehler.

Testmoeglichkeiten:

Wer unseren Parser testen moechte, kann sich gemaess der TESC-Grammatik ein TESC-Programm schreiben und mittels DATEI|IMPORT|TESC in PEST laden.

Alternativ kann das Beispiel aus dem Pflichtenheft verwendet werden.

Version:

$Id: TESCLoader.java,v 1.16 1999/02/11 16:52:25 swtech20 Exp $

Author:

Michael Suelzer, Christoph Schuette.

TESCLoader(GUIInterface)

Erzeugt eine Instanz von TESCLoader.

getLabel(BufferedReader, Statechart)

Startet den Parse-Vorgang und liefert bei Erfolg ein Label.

getStatechart(BufferedReader)

Startet den Parse-Vorgang und liefert bei Erfolg ein Statechart.

 public TESCLoader(GUIInterface gui_)

Erzeugt eine Instanz von TESCLoader. Fehler waehrend des Parsens werden ueber die GUI-Schnittstelle mitgeteilt.

 public Statechart getStatechart(BufferedReader br) throws IOException

Startet den Parse-Vorgang und liefert bei Erfolg ein Statechart. Falls im Ktor gui-Objekt uebergeben, erfolgt Fehlerausgabe dort.

Parameters:

br - BufferedReader

Returns:

• Statechart-Instanz bei erfolgreichem Einlesen und Parsen.
• null bei Auftreten eines Fehlers.

See Also:

TESCParser

 public TLabel getLabel(BufferedReader br,
                        Statechart sc) throws IOException

Startet den Parse-Vorgang und liefert bei Erfolg ein Label. Falls im Ktor gui-Objekt uebergeben, erfolgt Fehlerausgabe dort.

Parameters:

br - BufferedReader

sc - Statechart, in dem die Bvar- und Eventlisten gepflegt werden sollen

Returns:

• Label-Instanz mit gesetztem caption-Feld.
• null bei Auftreten eines Fehlers.

See Also:

TESCParser

All Packages  Class Hierarchy  This Package  Previous  Next  Index