All Packages Class Hierarchy This Package Previous Next Index
Class editor.Editor
java.lang.Object
|
+----java.awt.Component
|
+----java.awt.Container
|
+----java.awt.Window
|
+----java.awt.Frame
|
+----editor.Editor
- public class Editor
- extends Frame
- implements ActionListener
-
actionOk
-
-
activeState
-
-
cbbezier
-
-
edRef
-
-
endPoint
-
-
fontsize
-
-
gui
-
-
newRect
-
-
scrollX
-
-
scrollY
-
-
startPoint
-
-
statechart
-
-
stateList
-
-
Editor(Statechart, String, int, int, int, int, GUIInterface)
- public Editor(Statechart st, String l)
Erzeugt ein Editorobjekt und öffnet ein Editorfenster
-
actionPerformed(ActionEvent)
-
-
Dispose()
- schliesst das Editorfenster
-
getChangedStatechart()
-
-
getRef()
-
-
getStatechart()
- Liefert den aktuellen Statechart zurück.
-
listenEditor()
-
-
paint(Graphics)
-
-
setChangedStatechart(boolean)
-
-
work()
-
-
work(boolean)
-
statechart
protected Statechart statechart
startPoint
protected Point startPoint
endPoint
protected Point endPoint
activeState
protected State activeState
newRect
protected CRectangle newRect
actionOk
protected boolean actionOk
stateList
protected StateList stateList
scrollX
protected int scrollX
scrollY
protected int scrollY
gui
protected GUIInterface gui
cbbezier
protected CheckboxMenuItem cbbezier
fontsize
protected int fontsize
edRef
protected static Editor edRef
Editor
public Editor(Statechart st,
String l,
int x,
int y,
int width,
int height,
GUIInterface gui_interface)
- public Editor(Statechart st, String l)
Erzeugt ein Editorobjekt und öffnet ein Editorfenster
- Parameters:
- st - Eine Statechart-Instanz, die angezeigt werden soll und dann bearbeitet werden kann.
- l - Ein Bezeichner fuer den Statechart
getRef
protected static Editor getRef()
getStatechart
protected Statechart getStatechart()
- Liefert den aktuellen Statechart zurück.
- Returns:
- den aktuellen Statechart
setChangedStatechart
protected void setChangedStatechart(boolean b)
getChangedStatechart
protected boolean getChangedStatechart()
listenEditor
public boolean listenEditor()
Dispose
public static void Dispose()
- schliesst das Editorfenster
work
public static boolean work(boolean b)
- Parameters:
- boolean - b -
work
public static boolean work()
actionPerformed
public void actionPerformed(ActionEvent e)
paint
public void paint(Graphics g)
- Overrides:
- paint in class Container
All Packages Class Hierarchy This Package Previous Next Index