editor
Class Editor

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Window
                    |
                    +--java.awt.Frame
                          |
                          +--javax.swing.JFrame
                                |
                                +--editor.Editor
public class Editor
extends javax.swing.JFrame
implements javax.swing.event.InternalFrameListener, java.awt.event.ActionListener, java.awt.event.WindowListener

See Also:
Serialized Form

Inner classes inherited from class javax.swing.JFrame
javax.swing.JFrame.AccessibleJFrame
 
Field Summary
static int editor_count
           
static int editor_idcount
           
 
Fields inherited from class javax.swing.JFrame
accessibleContext, rootPane, rootPaneCheckingEnabled
 
Fields inherited from class java.awt.Frame
CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, 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.Component
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
 
Constructor Summary
Editor(GUI rootgui, Program program)
           
Editor(GUI rootgui, Program program, int set_x, int set_y, int set_width, int set_height)
          Konstruktoren
Editor(Program program)
           
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent event)
           
 void CloseProcess(java.lang.String id)
           
 void destroy()
          Methode zum schliessen des Editors ueber die GUI
 void editCopy()
           
 void editCut()
           
 void editPaste()
           
 java.lang.String[] getProcessIds()
           
 void highlightState(Astate state, Process process, Program program)
           
 void highlightTransition(Transition transition, Process process, Program program)
           
 void internalFrameActivated(javax.swing.event.InternalFrameEvent event)
           
 void internalFrameClosed(javax.swing.event.InternalFrameEvent event)
           
 void internalFrameClosing(javax.swing.event.InternalFrameEvent event)
           
 void internalFrameDeactivated(javax.swing.event.InternalFrameEvent event)
           
 void internalFrameDeiconified(javax.swing.event.InternalFrameEvent event)
           
 void internalFrameIconified(javax.swing.event.InternalFrameEvent event)
           
 void internalFrameOpened(javax.swing.event.InternalFrameEvent event)
           
static void main(java.lang.String[] argv)
           
 java.lang.String NewProcess()
           
 void OpenProcess(java.lang.String id)
           
 void refresh()
           
 void refresh(Program inprogram)
           
 void RemoveProcess(java.lang.String id)
           
 void unhighlightState(Astate state, Process process, Program program)
           
 void unhighlightTransition(Transition transition, Process process, Program program)
           
 void windowActivated(java.awt.event.WindowEvent event)
           
 void windowClosed(java.awt.event.WindowEvent event)
           
 void windowClosing(java.awt.event.WindowEvent event)
           
 void windowDeactivated(java.awt.event.WindowEvent event)
           
 void windowDeiconified(java.awt.event.WindowEvent event)
           
 void windowIconified(java.awt.event.WindowEvent event)
           
 void windowOpened(java.awt.event.WindowEvent event)
           
 
Methods inherited from class javax.swing.JFrame
addImpl, createRootPane, frameInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isRootPaneCheckingEnabled, paramString, processKeyEvent, processWindowEvent, setContentPane, setDefaultCloseOperation, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update
 
Methods inherited from class java.awt.Frame
addNotify, finalize, getCursorType, getFrames, getIconImage, getMenuBar, getState, getTitle, isResizable, remove, removeNotify, setCursor, setIconImage, setMenuBar, setResizable, setState, setTitle
 
Methods inherited from class java.awt.Window
addWindowListener, applyResourceBundle, applyResourceBundle, dispose, getFocusOwner, getInputContext, getLocale, getOwnedWindows, getOwner, getToolkit, getWarningString, isShowing, pack, postEvent, processEvent, removeWindowListener, show, toBack, toFront
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getInsets, getLayout, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, remove, removeAll, removeContainerListener, setFont, validate, validateTree
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addPropertyChangeListener, addPropertyChangeListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentOrientation, getCursor, getDropTarget, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getInputMethodRequests, getLocation, getLocation, getLocationOnScreen, getName, getParent, getPeer, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isDisplayable, isDoubleBuffered, isEnabled, isFocusTraversable, 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, processInputMethodEvent, processMouseEvent, processMouseMotionEvent, removeComponentListener, removeFocusListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setEnabled, setForeground, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

editor_idcount

public static int editor_idcount

editor_count

public static int editor_count
Constructor Detail

Editor

public Editor(GUI rootgui,
              Program program,
              int set_x,
              int set_y,
              int set_width,
              int set_height)
Konstruktoren

Editor

public Editor(GUI rootgui,
              Program program)

Editor

public Editor(Program program)
Method Detail

internalFrameClosed

public void internalFrameClosed(javax.swing.event.InternalFrameEvent event)
Specified by:
internalFrameClosed in interface javax.swing.event.InternalFrameListener

internalFrameActivated

public void internalFrameActivated(javax.swing.event.InternalFrameEvent event)
Specified by:
internalFrameActivated in interface javax.swing.event.InternalFrameListener

internalFrameDeactivated

public void internalFrameDeactivated(javax.swing.event.InternalFrameEvent event)
Specified by:
internalFrameDeactivated in interface javax.swing.event.InternalFrameListener

internalFrameOpened

public void internalFrameOpened(javax.swing.event.InternalFrameEvent event)
Specified by:
internalFrameOpened in interface javax.swing.event.InternalFrameListener

internalFrameIconified

public void internalFrameIconified(javax.swing.event.InternalFrameEvent event)
Specified by:
internalFrameIconified in interface javax.swing.event.InternalFrameListener

internalFrameDeiconified

public void internalFrameDeiconified(javax.swing.event.InternalFrameEvent event)
Specified by:
internalFrameDeiconified in interface javax.swing.event.InternalFrameListener

internalFrameClosing

public void internalFrameClosing(javax.swing.event.InternalFrameEvent event)
Specified by:
internalFrameClosing in interface javax.swing.event.InternalFrameListener

windowClosed

public void windowClosed(java.awt.event.WindowEvent event)
Specified by:
windowClosed in interface java.awt.event.WindowListener

windowDeiconified

public void windowDeiconified(java.awt.event.WindowEvent event)
Specified by:
windowDeiconified in interface java.awt.event.WindowListener

windowIconified

public void windowIconified(java.awt.event.WindowEvent event)
Specified by:
windowIconified in interface java.awt.event.WindowListener

windowActivated

public void windowActivated(java.awt.event.WindowEvent event)
Specified by:
windowActivated in interface java.awt.event.WindowListener

windowDeactivated

public void windowDeactivated(java.awt.event.WindowEvent event)
Specified by:
windowDeactivated in interface java.awt.event.WindowListener

windowOpened

public void windowOpened(java.awt.event.WindowEvent event)
Specified by:
windowOpened in interface java.awt.event.WindowListener

windowClosing

public void windowClosing(java.awt.event.WindowEvent event)
Specified by:
windowClosing in interface java.awt.event.WindowListener

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent event)
Specified by:
actionPerformed in interface java.awt.event.ActionListener

getProcessIds

public java.lang.String[] getProcessIds()

NewProcess

public java.lang.String NewProcess()

RemoveProcess

public void RemoveProcess(java.lang.String id)

OpenProcess

public void OpenProcess(java.lang.String id)

CloseProcess

public void CloseProcess(java.lang.String id)

refresh

public void refresh(Program inprogram)

refresh

public void refresh()

editCopy

public void editCopy()

editPaste

public void editPaste()

editCut

public void editCut()

destroy

public void destroy()
Methode zum schliessen des Editors ueber die GUI

highlightState

public void highlightState(Astate state,
                           Process process,
                           Program program)

unhighlightState

public void unhighlightState(Astate state,
                             Process process,
                             Program program)

highlightTransition

public void highlightTransition(Transition transition,
                                Process process,
                                Program program)

unhighlightTransition

public void unhighlightTransition(Transition transition,
                                  Process process,
                                  Program program)

main

public static void main(java.lang.String[] argv)