All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class tesc1.TESCSaver

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

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

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

1. SyntaxCheck darf keine Fehler melden.
2. TrAnchors duerfen nicht UNDEFINED() sein.
3. Kein GuardUndet (s. Status)
4. Keine Schleifen bei Listen.
5. Keine unartigen Nullpointer.
6. TLabel müssen der tesc1-SyntaxTESCSaver.java genügen. (Momentan geht der Export zwar immer, aber evtl. kein Reimport mögl.)

die mit folgenden Checks ueberprueft werden koennen:

2. TestTransitions
3. TestBVars.pruefeGuard
4.-5. sollte von den Modulen, die Statecharts erzeugen, sowieso garantiert werden.

STATUS
Der Export funktioniert. Bei Transitionlabels wird defaultmäßig der SyntaxBaum geparst. Alternativ kann auch einfach TLabel.caption gespeichert werden (hierbei bleibt die Formatierung erhalten, allerdings können bei falscher Syntax exportierte Files nicht reimportiert werden). Falls beim Parsen der Absyn ein GuardUndet auftritt, wird ein GuardEmpty exportiert, und der echte Guard als Kommentar in die nächste Zeile geschrieben, so daß der User versuchen kann, noch etwas zu retten.
Testen kann man den Export durch importieren/laden der tesc bzw. st/pest files in unserem Test-Verzeichnis und anschließendem Export. Daraufhin kann man sich das Export-File ansehen oder importieren.

TESCSaver(GUIInterface): Schnittstelle zum Export eines Syntaxbaums in ein Tesc-File.

isDebug(): Ahem: nur zur leichteren Protierung von TESCCaptionREwriter
saveStatechart(BufferedWriter, Statechart): Export eines Syntaxbaums in ein Tesc-File.
setCaption(TLabel): setzt TLabel.caption in TESC1-Syntax

TESCSaver

 public TESCSaver(GUIInterface gi_)

Schnittstelle zum Export eines Syntaxbaums in ein Tesc-File.

 public boolean saveStatechart(BufferedWriter bw_,
                               Statechart sc_) throws IOException

Export eines Syntaxbaums in ein Tesc-File.

Parameters:

bw - BufferedWriter

sc - Statechart

Returns:

 public boolean setCaption(TLabel tl)

setzt TLabel.caption in TESC1-Syntax

Parameters:

TLabel, - dessen caption gesetzt werden soll.

Returns:

 protected boolean isDebug()

Ahem: nur zur leichteren Protierung von TESCCaptionREwriter

All Packages  Class Hierarchy  This Package  Previous  Next  Index