hades.models.fsm
Class EditFrame

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  hades.models.fsm.EditFrame

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.event.ActionListener, java.util.EventListener, java.awt.image.ImageObserver, java.awt.event.ItemListener, java.awt.MenuContainer, java.io.Serializable

public class EditFrame

extends java.awt.Frame

implements java.awt.event.ActionListener, java.awt.event.ItemListener

Editor Fenster mit Zeichenfläche, Buttons, Statuszeile, etc.

See Also:

Serialized Form

Nested Class Summary

(package private) class

EditFrame.EditWindowListener verabeitet Events des Fensters

Nested classes inherited from class java.awt.Frame

java.awt.Frame.AccessibleAWTFrame

Nested classes inherited from class java.awt.Window

java.awt.Window.AccessibleAWTWindow

Nested classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Nested classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

EditCanvas	editCanvas benutzte Instanz der Zeichenfläche
java.awt.CheckboxMenuItem	menItMealy Menü-Checkboxen zur Auswahl des Schaltwerktyps
java.awt.CheckboxMenuItem	menItMoore Menü-Checkboxen zur Auswahl des Schaltwerktyps
static java.lang.String	status_aendern Statusstring
static java.lang.String	status_inputneu Statusstring
static java.lang.String	status_keinenaendern Statusstring
static java.lang.String	status_keinesignale Statusstring
static java.lang.String	status_loeschen Statusstring
static java.lang.String	status_name Satusstring
static java.lang.String	status_outputneu Statusstring
static int	VirtHeight Höhe der Zeichenfläche
static int	VirtWidth Breite der Zeichenfläche

Fields inherited from class java.awt.Frame

CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR

Fields inherited from class java.awt.Window

Fields inherited from class java.awt.Container

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

EditFrame(java.lang.String title, FSM Fsm)
Konstruktor

Method Summary

void	actionPerformed(java.awt.event.ActionEvent event) verarbeitet Events der Buttons, TextFields, Menus, etc.
void	getIcon()
void	itemStateChanged(java.awt.event.ItemEvent event)
void	setMachineType() setzt den Automaten-Typ
void	setPanel(java.lang.Object selected) aktualisiert die Eigenschaften-Anzeige

Methods inherited from class java.awt.Frame

addNotify, finalize, getAccessibleContext, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, paramString, remove, removeNotify, setCursor, setExtendedState, setIconImage, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, hide, isActive, isFocusableWindow, isFocusCycleRoot, isFocused, isShowing, pack, postEvent, processEvent, processWindowEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationRelativeTo, show, toBack, toFront

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, remove, removeAll, removeContainerListener, setFocusTraversalKeys, setFocusTraversalPolicy, setFont, setLayout, transferFocusBackward, transferFocusDownCycle, update, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isOpaque, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

editCanvas

public EditCanvas editCanvas

benutzte Instanz der Zeichenfläche

menItMoore

public java.awt.CheckboxMenuItem menItMoore

Menü-Checkboxen zur Auswahl des Schaltwerktyps

menItMealy

public java.awt.CheckboxMenuItem menItMealy

Menü-Checkboxen zur Auswahl des Schaltwerktyps

VirtWidth

public static final int VirtWidth

Breite der Zeichenfläche

See Also:

Constant Field Values

VirtHeight

public static final int VirtHeight

Höhe der Zeichenfläche

See Also:

Constant Field Values

status_inputneu

public static final java.lang.String status_inputneu

Statusstring

See Also:

Constant Field Values

status_outputneu

public static final java.lang.String status_outputneu

Statusstring

See Also:

Constant Field Values

status_keinesignale

public static final java.lang.String status_keinesignale

Statusstring

See Also:

Constant Field Values

status_keinenaendern

public static final java.lang.String status_keinenaendern

Statusstring

See Also:

Constant Field Values

status_loeschen

public static final java.lang.String status_loeschen

Statusstring

See Also:

Constant Field Values

status_aendern

public static final java.lang.String status_aendern

Statusstring

See Also:

Constant Field Values

status_name

public static final java.lang.String status_name

Satusstring

See Also:

Constant Field Values

Constructor Detail

EditFrame

public EditFrame(java.lang.String title,
                 FSM Fsm)

Konstruktor

Parameters:

title - Fenstertitel (String)

Fsm - endlicher Automat, der editiert werden soll (FSM)

Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent event)

verarbeitet Events der Buttons, TextFields, Menus, etc.

Specified by:

actionPerformed in interface java.awt.event.ActionListener

itemStateChanged

public void itemStateChanged(java.awt.event.ItemEvent event)

Specified by:

itemStateChanged in interface java.awt.event.ItemListener

setPanel

public void setPanel(java.lang.Object selected)

aktualisiert die Eigenschaften-Anzeige

Parameters:

selected - Objekt (Zustand, Transition oder null), dessen Eigenschaften angezeigt werden sollen (Object)

setMachineType

public void setMachineType()

setzt den Automaten-Typ

getIcon

public void getIcon()