All Packages Class Hierarchy This Package Previous Next Index
java.lang.Object | +----java.awt.Component | +----java.awt.Container | +----java.awt.Window | +----java.awt.Frame | +----editor.Editor
protected Statechart statechartstartPoint
protected Point startPointendPoint
protected Point endPointactiveState
protected State activeStatenewRect
protected CRectangle newRectactionOk
protected boolean actionOkstateList
protected StateList stateListscrollX
protected int scrollXscrollY
protected int scrollYgui
protected GUIInterface guicbbezier
protected CheckboxMenuItem cbbezierfontsize
protected int fontsizeedRef
protected static Editor edRef
public Editor(Statechart st, String l, int x, int y, int width, int height, GUIInterface gui_interface)
protected static Editor getRef()getStatechart
protected Statechart getStatechart()
protected void setChangedStatechart(boolean b)getChangedStatechart
protected boolean getChangedStatechart()listenEditor
public boolean listenEditor()
public static void Dispose()
public static boolean work(boolean b)
public static boolean work()
public void actionPerformed(ActionEvent e)paint
public void paint(Graphics g)
All Packages Class Hierarchy This Package Previous Next Index