biz.hammurapi.web.statemachine
Class StateMachineApplet

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Panel
              java.applet.Applet
                  javax.swing.JApplet
                      biz.hammurapi.web.statemachine.StateMachineApplet

All Implemented Interfaces:

javax.accessibility.Accessible, java.util.EventListener, org.jgraph.event.GraphSelectionListener, java.awt.image.ImageObserver, java.awt.event.KeyListener, java.awt.MenuContainer, javax.swing.RootPaneContainer, java.io.Serializable

public class StateMachineApplet

extends javax.swing.JApplet

implements org.jgraph.event.GraphSelectionListener, java.awt.event.KeyListener

See Also:

Serialized Form

Nested Class Summary

class	StateMachineApplet.EdStatusBar
class	StateMachineApplet.EventRedirector
static class	StateMachineApplet.MyEdgeHandle
static class	StateMachineApplet.MyGraph
class	StateMachineApplet.MyMarqueeHandler

Nested classes inherited from class javax.swing.JApplet

javax.swing.JApplet.AccessibleJApplet

Nested classes inherited from class java.applet.Applet

java.applet.Applet.AccessibleApplet

Nested classes inherited from class java.awt.Panel

java.awt.Panel.AccessibleAWTPanel

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

protected javax.swing.Action	delete
protected org.jgraph.JGraph	graph
protected StateMachineApplet.EdStatusBar	statusBar
protected org.jgraph.graph.GraphUndoManager	undoManager

Fields inherited from class javax.swing.JApplet

accessibleContext, rootPane, rootPaneCheckingEnabled

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

StateMachineApplet()

Method Summary

void	connect(org.jgraph.graph.Port source, org.jgraph.graph.Port target)
void	connect(Transition edge, org.jgraph.graph.Port source, org.jgraph.graph.Port target, java.util.List points)
javax.swing.JPopupMenu	createPopupMenu(java.awt.Point pt, java.lang.Object cell)
javax.swing.JToolBar	createToolBar()
javax.swing.Action	getDelete()
org.jgraph.JGraph	getGraph()
void	init() Reads download URL, upload URL and Cookie string.
void	insert(java.awt.geom.Point2D point)
void	insert(java.awt.geom.Point2D point, State state)
boolean	isGroup(java.lang.Object cell)
void	keyPressed(java.awt.event.KeyEvent e)
void	keyReleased(java.awt.event.KeyEvent e)
void	keyTyped(java.awt.event.KeyEvent e)
static void	main(java.lang.String[] args)
void	modelChanged() Notification that model has changed.
void	redo()
void	setDelete(javax.swing.Action delete)
void	setGraph(org.jgraph.JGraph graph)
void	start()
void	toBack(java.lang.Object[] c)
void	toFront(java.lang.Object[] c)
void	undo()
protected void	uninstallListeners(org.jgraph.JGraph graph)
protected void	updateHistoryButtons()
void	valueChanged(org.jgraph.event.GraphSelectionEvent e)

Methods inherited from class javax.swing.JApplet

addImpl, createRootPane, getAccessibleContext, getContentPane, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isRootPaneCheckingEnabled, paramString, remove, setContentPane, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update

Methods inherited from class java.applet.Applet

destroy, getAppletContext, getAppletInfo, getAudioClip, getAudioClip, getCodeBase, getDocumentBase, getImage, getImage, getLocale, getParameter, getParameterInfo, isActive, newAudioClip, play, play, resize, resize, setStub, showStatus, stop

Methods inherited from class java.awt.Panel

addNotify

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getInsets, getLayout, getListeners, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, processEvent, remove, removeAll, removeContainerListener, removeNotify, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, setFont, transferFocusBackward, transferFocusDownCycle, 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, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getToolkit, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isOpaque, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, setBackground, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

graph

protected org.jgraph.JGraph graph

undoManager

protected org.jgraph.graph.GraphUndoManager undoManager

delete

protected javax.swing.Action delete

statusBar

protected StateMachineApplet.EdStatusBar statusBar

Constructor Detail

StateMachineApplet

public StateMachineApplet()

Method Detail

main

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

uninstallListeners

protected void uninstallListeners(org.jgraph.JGraph graph)

insert

public void insert(java.awt.geom.Point2D point)

insert

public void insert(java.awt.geom.Point2D point,
                   State state)

connect

public void connect(org.jgraph.graph.Port source,
                    org.jgraph.graph.Port target)

connect

public void connect(Transition edge,
                    org.jgraph.graph.Port source,
                    org.jgraph.graph.Port target,
                    java.util.List points)

isGroup

public boolean isGroup(java.lang.Object cell)

toFront

public void toFront(java.lang.Object[] c)

toBack

public void toBack(java.lang.Object[] c)

undo

public void undo()

redo

public void redo()

updateHistoryButtons

protected void updateHistoryButtons()

valueChanged

public void valueChanged(org.jgraph.event.GraphSelectionEvent e)

Specified by:

valueChanged in interface org.jgraph.event.GraphSelectionListener

keyReleased

public void keyReleased(java.awt.event.KeyEvent e)

Specified by:

keyReleased in interface java.awt.event.KeyListener

keyTyped

public void keyTyped(java.awt.event.KeyEvent e)

Specified by:

keyTyped in interface java.awt.event.KeyListener

keyPressed

public void keyPressed(java.awt.event.KeyEvent e)

Specified by:

keyPressed in interface java.awt.event.KeyListener

createPopupMenu

public javax.swing.JPopupMenu createPopupMenu(java.awt.Point pt,
                                              java.lang.Object cell)

createToolBar

public javax.swing.JToolBar createToolBar()

getGraph

public org.jgraph.JGraph getGraph()

Returns:

Returns the graph.

setGraph

public void setGraph(org.jgraph.JGraph graph)

Parameters:

graph - The graph to set.

modelChanged

public void modelChanged()

Notification that model has changed.

getDelete

public javax.swing.Action getDelete()

Returns:

Returns the remove.

setDelete

public void setDelete(javax.swing.Action delete)

Parameters:

delete - The remove to set.

start

public void start()

init

public void init()

Reads download URL, upload URL and Cookie string.