All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class stm.HAImport

java.lang.Object
   |
   +----stm.HAImport

public class HAImport

extends Object

implements Patterns

    GUIInterface myWindow = ...;
    Statechart st = null;
    BufferedReader buf = new BufferedReader(new FileReader(new File("ha-format.txt")));
    HAImport imp = new HAImport(buf, myWindow);
    st = imp.getStatechart(); // Default mit Koordinaten, falls Statechart welche hat,
                              // sonst ohne Koordinaten und Auflösung 640x480.
    st = imp.getStatechart(true); // Koordinaten werden übernommen,
                                  // falls Statechart welche hat.
    st = imp.getStatechart(false); // Koordinaten werden nicht übernommen.
    st = imp.getStatechart(800,600); // Neue Aufloesung 800x600.
    st = imp.getStatechart(false,800,600); // Keine Koordinaten und
                                           // neue Aufloesung 800x600.
    if (st == null) System.out.println("Import fehlgeschlagen!");
 

STATUS. Import funktioniert (HA-Format wird eingelesen und ein StateChart in PEST-Syntax zurückgeliefert).

TODO. Die durch das Entfernen von Konnektoren entstandenen Überschneidungen von Transitionen müssen noch überarbeitet werden.

BEKANNTE FEHLER. Keine.

FORDERUNGEN. Wir erwarten ein korrektes HA-Format.

GARANTIEN. Es wird eine PEST-StateChart erzeugt, die nur NULL-Pointer als Listenterminierung oder als Kennzeichnung für leere Listen enthält.

HINWEIS. Die Methode main dient uns intern zum Testen ohne GUI. Ein Beispiel mit hardkodiertem Dateinamen wird importiert und über den PrettyPrinter ausgegeben.

Version:

$Id: HAImport.java,v 1.23 1999/02/11 22:14:32 swtech18 Exp $

Author:

Sven Jorga, Werner Lehmann

HAImport(BufferedReader)

Der Konstruktor dient zum Importieren einer StateChart im HA-Format.

HAImport(BufferedReader, GUIInterface)

Konstruktor mit GUI-Unterstützung.

getStatechart()

Diese Methode liefert die StateChart, die aus dem dem Konstruktor übergebenen Stream importiert wird.

getStatechart(boolean)

Diese Methode liefert die StateChart genau wie getStatechart(), jedoch kann noch zusätzlich ein boolean-Parameter übergeben werden, der festlegt, ob die Koordinaten mit übernommen werden sollen.

getStatechart(boolean, boolean, int, int)

Diese Methode liefert die StateChart genau wie getStatechart(), jedoch kann noch zusätzlich zwei boolean-Parameter übergeben werden, die festlegen, ob im StateChart vorkommende PEST-Keywords umbenannt werden sollen und ob die Koordinaten mit übernommen werden sollen.

getStatechart(boolean, int, int)

Diese Methode liefert die StateChart genau wie getStatechart(), jedoch kann noch zusätzlich ein boolean-Parameter übergeben werden, der festlegt, ob die Koordinaten mit übernommen werden sollen.

getStatechart(int, int)

Diese Methode liefert die StateChart genau wie getStatechart(), jedoch können noch zusätzlich zwei Integer-Parameter, die die gewünschte Skalierungs-Auflösung angeben, übergeben werden.

hasCoords()

Diese Methode liefert zurück, ob die importierte StateChart Koordinaten hat (true) oder nicht (false).

main(String[])

main dient uns intern zum testen ohne GUI und sollte nicht verwendet werden.

 public HAImport(BufferedReader reader) throws Exception

Der Konstruktor dient zum Importieren einer StateChart im HA-Format. Es wird erwartet, daß reader ein Stream auf eine entsprechende Eingabedatei ist.

 public HAImport(BufferedReader reader,
                 GUIInterface gui) throws Exception

Konstruktor mit GUI-Unterstützung. Dieser Konstruktor erwartet zusätzlich ein GUIInterface und sollte nun anstelle des bisherigen verwendet werden, damit Fehlermeldungen im Logfenster des GUIs erscheinen und nicht als Dialoge.

 public Statechart getStatechart() throws Exception

Diese Methode liefert die StateChart, die aus dem dem Konstruktor übergebenen Stream importiert wird. Wenn ein Fehler auftritt, wird dieser ggf. im GUI-Logfenster ausgegeben (falls ein entsprechendes Objekt bei der Konstruktion der Klasse angegeben wurde). Der Rückgabewert ist in diesem Fall null. getStatechart() darf nur einmal aufgerufen werden.

 public Statechart getStatechart(boolean parseCoords) throws Exception

Diese Methode liefert die StateChart genau wie getStatechart(), jedoch kann noch zusätzlich ein boolean-Parameter übergeben werden, der festlegt, ob die Koordinaten mit übernommen werden sollen.

 public Statechart getStatechart(int xSize,
                                 int ySize) throws Exception

Diese Methode liefert die StateChart genau wie getStatechart(), jedoch können noch zusätzlich zwei Integer-Parameter, die die gewünschte Skalierungs-Auflösung angeben, übergeben werden.

 public Statechart getStatechart(boolean parseCoords,
                                 int xSize,
                                 int ySize) throws Exception

Diese Methode liefert die StateChart genau wie getStatechart(), jedoch kann noch zusätzlich ein boolean-Parameter übergeben werden, der festlegt, ob die Koordinaten mit übernommen werden sollen. Und zwei Integer-Parameter, die die gewünschte Skalierungs-Auflösung angeben.

 public Statechart getStatechart(boolean rename,
                                 boolean parseCoords,
                                 int xSize,
                                 int ySize) throws Exception

Diese Methode liefert die StateChart genau wie getStatechart(), jedoch kann noch zusätzlich zwei boolean-Parameter übergeben werden, die festlegen, ob im StateChart vorkommende PEST-Keywords umbenannt werden sollen und ob die Koordinaten mit übernommen werden sollen. Und zwei Integer-Parameter, die die gewünschte Skalierungs-Auflösung angeben.

 public boolean hasCoords()

Diese Methode liefert zurück, ob die importierte StateChart Koordinaten hat (true) oder nicht (false).

 public static final void main(String args[])

main dient uns intern zum testen ohne GUI und sollte nicht verwendet werden.

All Packages  Class Hierarchy  This Package  Previous  Next  Index