All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class tesc1.TESCSaver

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

public final class TESCSaver

extends Object

Es wird die abstrakte Syntax auf ein TESC-Programm abgebildet.

Garantie:

Wir garantieren folgende Eigenschaft:

• Das erzeugte TESC-Programm ist ueber die TESC-Import-Schnittstelle wieder einlesbar, sofern es den Anforderungen genuegt.

Anforderungen:

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

• Guards sind aufgebaut wie in Statemate, d.h EventExpr[BvarExpr], wobei die Klammern wie ein UND-Operator wirken
• UNDET-Guards kommen nicht vor.
• Leere Guards werden intern mit Dummy[Dummy] gekennzeichnet statt NULL
• Leere Events werden intern mit Dummy gekennzeichnet statt NULL
• Keywords aus util.Keyword.java kommen nicht in Bezeichnern vor
• Action-Statements duerfen in rhs nur Bvars referenzieren
• Alle Listen sind konsistent

Status:

Ref_States werden jetzte erzeugt.

Todo:

Bekannte Fehler:

Testmoeglichkeiten:

Jedes Statechart, z.B. das Beispiel aus dem Pflichtenheft, kann testweise exportiert werden.

Version:

$Id: TESCSaver.java,v 1.8 1999/02/18 09:57:08 swtech20 Exp $

Author:

Michael Suelzer, Christoph Schuette.

TESCSaver(GUIInterface)

Erzeugt eine Instanz von TESCSaver.

saveStatechart(BufferedWriter, Statechart)

Startet den Export.

setCaption(Statechart)

Caption fuer ein gesamtes Statechart aufbauen.

setCaption(TLabel)

Caption fuer TLabel aufbauen und setzen.

 public TESCSaver(GUIInterface gui_)

Erzeugt eine Instanz von TESCSaver. Fehler werden ueber die GUI-Schnittstelle mitgeteilt.

 public boolean saveStatechart(BufferedWriter bw,
                               Statechart sc) throws IOException

Startet den Export. Falls im Ktor gui-Objekt uebergeben, erfolgt Fehlerausgabe dort.

Parameters:

bw - BufferedWriter

sc - Statechart

Returns:

• true : Export erfolgreich
• false : Export fehlgeschlagen

 public boolean setCaption(TLabel l) throws IOException

Caption fuer TLabel aufbauen und setzen. Falls im Ktor gui-Objekt uebergeben, erfolgt Fehlerausgabe dort.

Parameters:

l - Label

Returns:

• true : Setzen erfolgreich
• false : Setzen fehlgeschlagen

 public boolean setCaption(Statechart sc) throws IOException

Caption fuer ein gesamtes Statechart aufbauen. Falls im Ktor gui-Objekt uebergeben, erfolgt Fehlerausgabe dort.

Parameters:

l - Label

Returns:

• true : Setzen erfolgreich
• false : Setzen fehlgeschlagen

All Packages  Class Hierarchy  This Package  Previous  Next  Index