All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class tesc1.TESCLoader

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

public class TESCLoader
extends Object

Garantie.
Wir garantieren, dass die von unseren Modulen erzeugten Statecharts folgende Eingenschaften haben:

Alle Bvars, Events, etc. auf die in z.B. Transition Bezug genommen wird, sind auch vorhanden. AUSNAHME: States in Comppath
Es gibt nur einen DefCon pro Ebene
Keine Schleifen bei Listen.
Keine unartigen Nullpointer.
Keine doppelte Referenzierung.
Keine UNDEFINED() TrAnchors
Keine GuardUndet()

Damit ist es nicht notwendig, folgende Checks an unsere Statecharts anzuwenden:

TestBVars.pruefeBVar(...) // Allerdings sollte gecheckt werden, ob überflüssige BVars vorhanden
TestEvents.pruefeEvent(...) // Allerdings sollte gecheckt werden, ob überflüssige Events vorhanden
TestPI // Falls wir das richtig verstanden haben ..

Anforderungen.
Wir verlassen uns darauf, dass die Statecharts, die uns uebergeben werden, folgende Eigenschaften haben:

Diese Klasse erhält keine Statecharts

die mit folgenden Checks ueberprueft werden koennen:

nichts.

STATUS
Der Parser ist fertig.
In tesc1/Test befinden sich mehrere Testdateien.
Diese koennen ueber das GUI-Fenster mittels Import->TESC geladen werden.
Die TESC-Sprache ist über die Grammatik definiert. Siehe auch Doku.txt
Beispiel example.tesc

Version:: $Id: TESCLoader.java,v 1.25 1999/02/17 21:51:33 swtech13 Exp $
Author:: Arne Koch/Mike Rumpf.

TESCLoader(GUIInterface): Nach der Instanzierung von TESCLoader getStatechart(...) aufrufen

getAction(BufferedReader, Statechart): Umwandeln eines TESC-File aus BufferedReader in Action.
Achtung: Es werden nur Actionstatements akzeptiert, die mit einem ; abgeschlossen sind!
Die neuen SEvents/Bvars werden in die Listen des übergebenen Statecharts eingetragen
getGuard(BufferedReader, Statechart): Umwandeln eines TESC-File aus BufferedReader in Guard.
getLabel(TLabel, Statechart): Liefert um SyntaxBaum (aus tl.caption berechnet) erweitertes TLabel
getStatechart(BufferedReader): Umwandeln eines TESC-File aus BufferedReader in Statechart.

TESCLoader

 public TESCLoader(GUIInterface gi_)

Nach der Instanzierung von TESCLoader getStatechart(...) aufrufen

Parameters:: gi_ - Referenz auf eine GUIInterface-Instanz

getStatechart

 public Statechart getStatechart(BufferedReader is_) throws IOException

Umwandeln eines TESC-File aus BufferedReader in Statechart.

Parameters:: Referenz - auf einen BufferedReader
Returns:: Liefert Statechart oder null bei Fehler.

getGuard

 protected Guard getGuard(BufferedReader br,
                          Statechart sc) throws IOException

Umwandeln eines TESC-File aus BufferedReader in Guard.
Die neuen SEvents/Bvars werden in die Listen des übergebenen Statecharts eingetragen

Parameters:: Referenz - auf einen BufferedReader; Referenz - auf Statechart
Returns:: Liefert Guard oder null bei Fehler.

getLabel

 public TLabel getLabel(TLabel tl_,
                        Statechart sc)

Liefert um SyntaxBaum (aus tl.caption berechnet) erweitertes TLabel

Returns:: TLabel oder null bei Fehler

getAction

 protected Action getAction(BufferedReader br,
                            Statechart st) throws IOException

Umwandeln eines TESC-File aus BufferedReader in Action.
Achtung: Es werden nur Actionstatements akzeptiert, die mit einem ; abgeschlossen sind!
Die neuen SEvents/Bvars werden in die Listen des übergebenen Statecharts eingetragen

Parameters:: Referenz - auf einen BufferedReader; Referenz - auf Statechart
Returns:: Liefert Action oder null bei Fehler.

All Packages  Class Hierarchy  This Package  Previous  Next  Index