Michael Mai / Martin Bestaendig
-
Bez
-
-
Buttontype
-
-
da
-
-
init
-
-
LongLabel
-
-
ZoomFaktor
-
-
zoomfk
-
-
Editor(boolean)
- nichtstatischer Aufruf der Drawdesk-Repaintmethode
-
Editor(Statechart, String)
- Generiert einen Menu-Frame
-
Editor(Statechart, String, int, int, int, int)
- Generiert einen Editorfenster ohne GUI-Unterstuetzung
- Hinweis: nur als Stub eingfuegt
-
Editor(Statechart, String, int, int, int, int, GUIInterface)
- Generiert einen drawframe
- root : Handle auf einen Statechart
- name : Window-Name
- top : top Window-Position
- left : left Window-Position
- width : Hoehe des Windows
- height : Breite des Windows
-
Editor(String)
- Generiert einen Menu-Frame
-
active()
- Gibt den drzeitigen Zeichenstatus zurueck
-
con_color()
- Uebergabe der Connectorfarbe
-
dislocation()
- Standardfehlermeldung fuer Koordinatenprobleme
-
Dispose()
- loescht das Zeichenfeld und das Menuefeld
-
Editor()
- Diese Methode gibt den derzeitigen Zeichenmodus zurueck
-
fehlermeldung1()
- Aufruf der Standardzeichenfehlerbehandlung
-
fehlermeldung2()
-
-
labelObject(Absyn)
- initialisierung der Namenseingabe
- obj : zu benennendes Objekt
-
listenEditor()
- Gibt den Status des update-Listener zurueck
-
newdraw()
- Aufruf der Drawdesk-Repaintmethode
-
relabeltrans(Tr)
-
-
SetListen()
- Setzt den update-Listener auf true
(nur fuer Editor-Events)
-
st_color()
- Uebergabe der Statefarbe
-
Stringeingabe(String, String, String, Absyn)
- Aufruf des Eingabefensters der GUI
- a : Standardausgabe 1
- b : Standardausgabe 2
- a : uebergebener String
- type : zu benennendes Objekt aus der AbSyn
-
tr_color()
- Uebergabe der Transitionsfarbe
-
work()
- Gibt den derzeitigen Menustatus zurueck
-
work(boolean)
- Setzt den Menuestatus auf den uebergebenen Wert
Buttontype
public static String Buttontype
ZoomFaktor
public static double ZoomFaktor
zoomfk
public static double zoomfk
LongLabel
public static final String LongLabel
init
public static boolean init
Bez
public static boolean Bez
da
public static boolean da
Editor
public Editor(Statechart root,
String name)
- Generiert einen Menu-Frame
Editor
public Editor(Statechart root,
String name,
int top,
int left,
int width,
int height)
- Generiert einen Editorfenster ohne GUI-Unterstuetzung
- Hinweis: nur als Stub eingfuegt
Editor
public Editor(String name)
- Generiert einen Menu-Frame
Editor
public Editor(Statechart root,
String name,
int top,
int left,
int width,
int height,
GUIInterface ngui)
- Generiert einen drawframe
- root : Handle auf einen Statechart
- name : Window-Name
- top : top Window-Position
- left : left Window-Position
- width : Hoehe des Windows
- height : Breite des Windows
Editor
public Editor(boolean i)
- nichtstatischer Aufruf der Drawdesk-Repaintmethode
Editor
public static String Editor()
- Diese Methode gibt den derzeitigen Zeichenmodus zurueck
SetListen
public static void SetListen()
- Setzt den update-Listener auf true
(nur fuer Editor-Events)
listenEditor
public static boolean listenEditor()
- Gibt den Status des update-Listener zurueck
Dispose
public static void Dispose()
- loescht das Zeichenfeld und das Menuefeld
work
public static void work(boolean arbeit)
- Setzt den Menuestatus auf den uebergebenen Wert
work
public static boolean work()
- Gibt den derzeitigen Menustatus zurueck
active
protected static boolean active()
- Gibt den drzeitigen Zeichenstatus zurueck
newdraw
public static void newdraw()
- Aufruf der Drawdesk-Repaintmethode
fehlermeldung1
public static void fehlermeldung1()
- Aufruf der Standardzeichenfehlerbehandlung
fehlermeldung2
public static void fehlermeldung2()
Stringeingabe
protected static String Stringeingabe(String a,
String b,
String c,
Absyn type)
- Aufruf des Eingabefensters der GUI
- a : Standardausgabe 1
- b : Standardausgabe 2
- a : uebergebener String
- type : zu benennendes Objekt aus der AbSyn
labelObject
public static String labelObject(Absyn obj)
- initialisierung der Namenseingabe
- obj : zu benennendes Objekt
relabeltrans
public static void relabeltrans(Tr akttr)
con_color
public static Color con_color()
- Uebergabe der Connectorfarbe
tr_color
public static Color tr_color()
- Uebergabe der Transitionsfarbe
st_color
public static Color st_color()
- Uebergabe der Statefarbe
dislocation
public static void dislocation()
- Standardfehlermeldung fuer Koordinatenprobleme
All Packages Class Hierarchy This Package Previous Next Index