EASE.Agents.Specification
Class Transition

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--javax.swing.JComponent
                    |
                    +--EASE.Agents.Specification.Transition

class Transition
extends javax.swing.JComponent
implements java.awt.event.ActionListener

This is for a single transition.

See Also:
Serialized Form

Inner classes inherited from class javax.swing.JComponent
javax.swing.JComponent.AccessibleJComponent, javax.swing.JComponent.IntVector, javax.swing.JComponent.KeyboardBinding, javax.swing.JComponent.KeyboardState
 
Inner classes inherited from class java.awt.Component
java.awt.Component.AWTTreeLock
 
Field Summary
private  CellReference condition
           
private  java.util.Vector conditions
           
private  Configuration config
           
private  javax.swing.JMenuItem deleteM
           
private  javax.swing.JMenuItem editM
           
private  State end
           
private  boolean endIsEnd
           
private  java.awt.Point ep
           
private  int ex
           
private  int ey
           
private  javax.swing.JCheckBoxMenuItem failureM
           
private  boolean isFailure
          These variables describe whether the transition should be taken on failure or success, respectively, of an existing contract.
private  boolean isSuccess
          These variables describe whether the transition should be taken on failure or success, respectively, of an existing contract.
private  int ix
           
private  int iy
           
private  java.util.Vector listeners
           
 AxisPopupListener popListener
           
private  javax.swing.JPopupMenu popup
           
private  javax.swing.JMenuItem setConditionM
           
private  java.awt.Point sp
           
private  State start
           
private  javax.swing.JCheckBoxMenuItem successM
           
private  int sx
           
private  int sy
           
private  int th
           
private  TransitionChooser tranChoose
           
private  int tw
           
private  int tx
           
private  int ty
           
 
Fields inherited from class javax.swing.JComponent
_bounds, accessibleContext, alignmentX, alignmentY, ANCESTOR_USING_BUFFER, ancestorNotifier, autoscroller, border, changeSupport, clientProperties, flags, HAS_FOCUS, IS_DOUBLE_BUFFERED, IS_OPAQUE, IS_PAINTING_TILE, KEYBOARD_BINDINGS_KEY, listenerList, maximumSize, minimumSize, NEXT_FOCUS, paintImmediatelyClip, preferredSize, readObjectCallbacks, REQUEST_FOCUS_DISABLED, tmpRect, TOOL_TIP_TEXT_KEY, ui, uiClassID, UNDEFINED_CONDITION, vetoableChangeSupport, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
 
Fields inherited from class java.awt.Container
component, containerListener, containerSerializedDataVersion, dispatcher, layoutMgr, maxSize, ncomponents, serialVersionUID
 
Fields inherited from class java.awt.Component
actionListenerK, adjustmentListenerK, appContext, assert, background, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, changeSupport, componentListener, componentListenerK, componentOrientation, componentSerializedDataVersion, containerListenerK, cursor, dropTarget, enabled, eventMask, focusListener, focusListenerK, font, foreground, hasFocus, height, incRate, inputMethodListener, inputMethodListenerK, isInc, isPacked, itemListenerK, keyListener, keyListenerK, LEFT_ALIGNMENT, locale, LOCK, minSize, mouseListener, mouseListenerK, mouseMotionListener, mouseMotionListenerK, name, nameExplicitlySet, newEventsOnly, ownedWindowK, parent, peer, peerFont, popups, prefSize, RIGHT_ALIGNMENT, serialVersionUID, textListenerK, TOP_ALIGNMENT, valid, visible, width, windowListenerK, x, y
 
Constructor Summary
Transition(State start, State end)
          Constructor for creating new transitions.
Transition(State start, State end, CellReference condition)
          Deprecated.  
Transition(State start, State end, CellReference condition, boolean isFailure, boolean isSuccess)
          Deprecated. Use a Vector of conditions
Transition(State start, State end, java.util.Vector conditions, boolean isFailure, boolean isSuccess)
          Constructor for recreating transitions from file.
 
Method Summary
(package private)  void ()
           
 void actionPerformed(java.awt.event.ActionEvent e)
           
 void addListener(java.awt.event.ActionListener a)
           
private  void calcDrawParams()
           
 CellReference getCondition()
          Deprecated. Use getConditions as there can be more than one.
 java.util.Vector getConditions()
          Get Vector of conditions on transition
 State getEnd()
           
 java.util.Vector getParameters()
          FIX for vector of conditions???
 State getStart()
           
 TransitionSave getTransitionSave()
           
 boolean isFailure()
          Is this transition a failure transition.
 boolean isSuccess()
          Is this transition a success transition.
private  void notifyAll(java.awt.event.ActionEvent evt)
           
 void paint(java.awt.Graphics gr)
          Draws a straight line between the start and end states.
 void setConditions(java.util.Vector v)
          Set vector of transitions.
 void setFailure(boolean isFailure)
          Set whether the transition is a failure transition.
 void setSuccess(boolean isSuccess)
          Set whether the transition is a success transition.
 
Methods inherited from class javax.swing.JComponent
_paintImmediately, addAncestorListener, addNotify, addPropertyChangeListener, addVetoableChangeListener, adjustPaintFlags, alwaysOnTop, bindingForKeyStroke, computeVisibleRect, computeVisibleRect, contains, createToolTip, enableSerialization, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getAccessibleContext, getActionForKeyStroke, getAlignmentX, getAlignmentY, getAutoscrolls, getBorder, getBounds, getClientProperties, getClientProperty, getComponentGraphics, getConditionForKeyStroke, getDebugGraphicsOptions, getFlag, getGraphics, getHeight, getInsets, getInsets, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getUIClassID, getVisibleRect, getWidth, getX, getY, grabFocus, hasFocus, isDoubleBuffered, isFocusCycleRoot, isFocusTraversable, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isRequestFocusEnabled, isValidateRoot, keyboardBindings, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, paintWithBuffer, paramString, processComponentKeyEvent, processFocusEvent, processKeyBinding, processKeyBindings, processKeyBindingsForAllComponents, processKeyEvent, processMouseMotionEvent, putClientProperty, readObject, rectangleIsObscured, registerKeyboardAction, registerKeyboardAction, registerWithKeyboardManager, removeAncestorListener, removeNotify, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDoubleBuffered, setEnabled, setFlag, setFont, setForeground, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setUI, setVisible, shouldDebugGraphics, superProcessMouseMotionEvent, unregisterKeyboardAction, unregisterWithKeyboardManager, update, updateUI, writeObject
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addImpl, applyOrientation, countComponents, deliverEvent, dispatchEventImpl, dispatchEventToSelf, doLayout, eventEnabled, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents_NoClientCode, getComponents, getLayout, getMouseEventTarget, getWindow, initIDs, insets, invalidate, invalidateTree, isAncestorOf, layout, lightweightPrint, list, list, locate, minimumSize, nextFocus, paintComponents, postProcessKeyEvent, postsOldMouseEvents, preferredSize, preProcessKeyEvent, print, printComponents, printOneComponent, processContainerEvent, processEvent, proxyEnableEvents, proxyRequestFocus, remove, remove, removeAll, removeContainerListener, setFocusOwner, setLayout, transferFocus, validate, validateTree
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addPropertyChangeListener, areInputMethodsEnabled, bounds, checkImage, checkImage, coalesceEvents, constructComponentName, contains, createImage, createImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, getBackground, getBounds, getColorModel, getComponentOrientation, getCursor, getDropTarget, getFont_NoClientCode, getFont, getFontMetrics, getForeground, getInputContext, getInputMethodRequests, getLocale, getLocation, getLocationOnScreen, getName, getNativeContainer, getParent_NoClientCode, getParent, getPeer, getSize, getToolkit, getToolkitImpl, getTreeLock, getWindowForObject, gotFocus, handleEvent, hide, imageUpdate, inside, isDisplayable, isEnabled, isEnabledImpl, isLightweight, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, printAll, processComponentEvent, processInputMethodEvent, processMouseEvent, remove, removeComponentListener, removeFocusListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait
 

Field Detail

isFailure

private boolean isFailure
These variables describe whether the transition should be taken on failure or success, respectively, of an existing contract.

isSuccess

private boolean isSuccess
These variables describe whether the transition should be taken on failure or success, respectively, of an existing contract.

listeners

private java.util.Vector listeners

popup

private javax.swing.JPopupMenu popup

editM

private javax.swing.JMenuItem editM

deleteM

private javax.swing.JMenuItem deleteM

setConditionM

private javax.swing.JMenuItem setConditionM

failureM

private javax.swing.JCheckBoxMenuItem failureM

successM

private javax.swing.JCheckBoxMenuItem successM

popListener

public AxisPopupListener popListener

start

private State start

end

private State end

tranChoose

private TransitionChooser tranChoose

condition

private CellReference condition

conditions

private java.util.Vector conditions

endIsEnd

private boolean endIsEnd

config

private transient Configuration config

tw

private int tw

th

private int th

tx

private int tx

ty

private int ty

sx

private int sx

sy

private int sy

ex

private int ex

ey

private int ey

ix

private int ix

iy

private int iy

sp

private java.awt.Point sp

ep

private java.awt.Point ep
Constructor Detail

Transition

public Transition(State start,
                  State end,
                  CellReference condition)
Deprecated.  
Constructor for recreating transitions from file.


Transition

public Transition(State start,
                  State end,
                  CellReference condition,
                  boolean isFailure,
                  boolean isSuccess)
Deprecated. Use a Vector of conditions
Constructor for recreating transitions from file.


Transition

public Transition(State start,
                  State end,
                  java.util.Vector conditions,
                  boolean isFailure,
                  boolean isSuccess)
Constructor for recreating transitions from file.


Transition

public Transition(State start,
                  State end)
Constructor for creating new transitions.

Method Detail

actionPerformed

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

setFailure

public void setFailure(boolean isFailure)
Set whether the transition is a failure transition.

If setting to true set success to false. CHANGED.


setSuccess

public void setSuccess(boolean isSuccess)
Set whether the transition is a success transition.

If setting to true then make sure not failure also. CHANGED


isSuccess

public boolean isSuccess()
Is this transition a success transition.


isFailure

public boolean isFailure()
Is this transition a failure transition.


addListener

public void addListener(java.awt.event.ActionListener a)

notifyAll

private void notifyAll(java.awt.event.ActionEvent evt)

paint

public void paint(java.awt.Graphics gr)
Draws a straight line between the start and end states. Draws in a different color if a success or failure transition.
Overrides:
paint in class javax.swing.JComponent

calcDrawParams

private void calcDrawParams()

void ()
Overrides:
in class javax.swing.JComponent

getStart

public State getStart()

getEnd

public State getEnd()

getCondition

public CellReference getCondition()
Deprecated. Use getConditions as there can be more than one.

getConditions

public java.util.Vector getConditions()
Get Vector of conditions on transition

setConditions

public void setConditions(java.util.Vector v)
Set vector of transitions.

Beware this keeps a pointer rather than making a copy.


getTransitionSave

public TransitionSave getTransitionSave()

getParameters

public java.util.Vector getParameters()
FIX for vector of conditions???