pipe.dataLayer
Class Transition

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--javax.swing.JComponent
                    |
                    +--pipe.dataLayer.PetriNetObject
                          |
                          +--pipe.dataLayer.PlaceTransitionObject
                                |
                                +--pipe.dataLayer.Transition
All Implemented Interfaces:
Constants, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable

public class Transition
extends PlaceTransitionObject
implements Constants

Transition - Petri-Net Transition Class

Version:
1.0
Author:
James D Bloom
See Also:

PNML - Petri-Net XMLSchema (stNet.xsd),

UML - PNML Package

, Serialized Form

Field Summary
 boolean highlighted
           
static int TRANSITION_HEIGHT
          Place Width
static int TRANSITION_WIDTH
          Place Width
static java.lang.String type
           
 
Fields inherited from class javax.swing.JComponent
TOOL_TIP_TEXT_KEY, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
 
Fields inherited from class java.awt.Component
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
 
Fields inherited from interface pipe.gui.Constants
ADDTOKEN, ANIMATE, ANNOTATION, ANNOTATION_DEFAULT_FONT, ANNOTATION_DEFAULT_FONT_SIZE, ANNOTATION_LAYER_OFFSET, ANNOTATION_MIN_WIDTH, ANNOTATION_SIZE_OFFSET, ARC, ARC_CONTROL_POINT_CONSTANT, ARC_LAYER_OFFSET, ARC_PATH_PROXIMITY_RADIUS, ARC_PATH_SELECTION_RADIUS, ARC_POINT_LAYER_OFFSET, CREATING, DEFAULT_ELEMENT_TYPE, DELETE, DELTOKEN, DRAW, ELEMENT_FILL_COLOUR, ELEMENT_LINE_COLOUR, ENABLED_TRANSITION_COLOUR, FIRE, GRID, IMMTRANS, LOWEST_LAYER_OFFSET, NOTE_DISABLED_COLOUR, NOTE_EDITING_COLOUR, PLACE, PLACE_TRANSITION_HEIGHT, PLACE_TRANSITION_LAYER_OFFSET, PLACE_TRANSITION_PROXIMITY_RADIUS, PROPERTY_FILE_DESC, PROPERTY_FILE_EXTENSION, RANDOM, RESERVED_BORDER, RESIZE_POINT_DOWN_COLOUR, SELECT, SELECTION_FILL_COLOUR, SELECTION_LAYER_OFFSET, SELECTION_LINE_COLOUR, START, STEPBACKWARD, STEPFORWARD, STOP, TIMEDTRANS
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
Transition()
          Create Petri-Net Transition object
Transition(double positionXInput, double positionYInput)
          Create Petri-Net Transition object
Transition(double positionXInput, double positionYInput, java.lang.String idInput, java.lang.String nameInput, double nameOffsetXInput, double nameOffsetYInput, double aRate, boolean timedTransition, int angleInput)
          Create Petri-Net Transition object
 
Method Summary
 int boundsHeight()
          Returns the height bounds we want to use when initially creating the place on the gui
 int boundsWidth()
          Returns the width bounds we want to use when initially creating the place on the gui
 boolean contains(int x, int y)
           
 int getAngle()
           
 double getRate()
           
 boolean getTimed()
          Get the timed transition attribute (for GSPNs)
 boolean isEnabled()
          Determines whether Transition is enabled
 boolean isEnabled(boolean animationStatus)
          Determines whether Transition is enabled
 boolean isEnabledBackwards()
          Determines whether Transition is enabled backwards
 int leftOffset()
          Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen
 void paintComponent(java.awt.Graphics g)
          Implemented in subclasses as involves some tailoring according to the shape
 void removeArcCompareObject(Arc a)
           
 void rotate(int angleInc)
          Rotates the Transition through the specified angle around the midpoint
 void setEnabled(boolean status)
          Sets whether Transition is enabled
 void setEnabledBackwards(boolean status)
          Sets whether Transition is enabled
 void setEnabledFalse()
           
 void setRate(double _rate)
           
 void setTimed(boolean change)
          Set the timed transition attribute (for GSPNs)
 int topOffset()
          Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen
 void updateEndPoint(Arc arc)
           
 void updateEndPoints()
           
 
Methods inherited from class pipe.dataLayer.PlaceTransitionObject
addConnectFrom, addConnectTo, addedToGui, areNotSameType, centreOffsetLeft, centreOffsetTop, delete, getCentre, getConnectFromIterator, getConnectToIterator, getId, getIntersectOffset, getName, getPositionX, getPositionXObject, getPositionY, getPositionYObject, mouseDragged, mousePressed, mouseReleased, removeFromArc, removeToArc, select, setCentre, setId, setName, setPositionX, setPositionY, translate, updateBounds, updateConnected
 
Methods inherited from class pipe.dataLayer.PetriNetObject
addLabelToContainer, deselect, getNameLabel, ignoreSelection, isDraggable, isSelectable, isSelected, removeFromContainer, setDraggable, setObjectColour, setSelectable, setSelectionBorderColour
 
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addPropertyChangeListener, addPropertyChangeListener, addVetoableChangeListener, computeVisibleRect, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getAccessibleContext, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getGraphics, getHeight, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPreferredSize, getPropertyChangeListeners, getPropertyChangeListeners, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getUIClassID, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isPreferredSizeSet, isRequestFocusEnabled, isValidateRoot, paint, paintImmediately, paintImmediately, print, printAll, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removePropertyChangeListener, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setFont, setForeground, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update, updateUI
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, remove, remove, removeAll, removeContainerListener, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, setLayout, transferFocusBackward, transferFocusDownCycle, validate
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, contains, createImage, createImage, createVolatileImage, createVolatileImage, dispatchEvent, enable, enableInputMethods, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getParent, getPeer, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

type

public static final java.lang.String type
See Also:
Constant Field Values

TRANSITION_HEIGHT

public static final int TRANSITION_HEIGHT
Place Width

See Also:
Constant Field Values

TRANSITION_WIDTH

public static final int TRANSITION_WIDTH
Place Width

See Also:
Constant Field Values

highlighted

public boolean highlighted
Constructor Detail

Transition

public Transition(double positionXInput,
                  double positionYInput,
                  java.lang.String idInput,
                  java.lang.String nameInput,
                  double nameOffsetXInput,
                  double nameOffsetYInput,
                  double aRate,
                  boolean timedTransition,
                  int angleInput)
Create Petri-Net Transition object

Parameters:
positionXInput - X-axis Position
positionYInput - Y-axis Position
idInput - Transition id
nameInput - Name
nameOffsetXInput - Name X-axis Position
nameOffsetYInput - Name Y-axis Position

Transition

public Transition(double positionXInput,
                  double positionYInput)
Create Petri-Net Transition object

Parameters:
positionXInput - X-axis Position
positionYInput - Y-axis Position

Transition

public Transition()
Create Petri-Net Transition object

Method Detail

paintComponent

public void paintComponent(java.awt.Graphics g)
Description copied from class: PlaceTransitionObject
Implemented in subclasses as involves some tailoring according to the shape

Overrides:
paintComponent in class PlaceTransitionObject

rotate

public void rotate(int angleInc)
Rotates the Transition through the specified angle around the midpoint


isEnabled

public boolean isEnabled(boolean animationStatus)
Determines whether Transition is enabled

Parameters:
animationStatus - Anamation status
Returns:
True if enabled

isEnabledBackwards

public boolean isEnabledBackwards()
Determines whether Transition is enabled backwards

Returns:
True if enabled

isEnabled

public boolean isEnabled()
Determines whether Transition is enabled

Overrides:
isEnabled in class java.awt.Component
Returns:
True if enabled

setEnabled

public void setEnabled(boolean status)
Sets whether Transition is enabled

Overrides:
setEnabled in class javax.swing.JComponent

setEnabledBackwards

public void setEnabledBackwards(boolean status)
Sets whether Transition is enabled


setEnabledFalse

public void setEnabledFalse()

boundsWidth

public int boundsWidth()
Returns the width bounds we want to use when initially creating the place on the gui

Overrides:
boundsWidth in class PlaceTransitionObject
Returns:
Width bounds of Place

boundsHeight

public int boundsHeight()
Returns the height bounds we want to use when initially creating the place on the gui

Overrides:
boundsHeight in class PlaceTransitionObject
Returns:
Height bounds of Place

topOffset

public int topOffset()
Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen


leftOffset

public int leftOffset()
Returns the distance between the outside of the component to the centre, in order to position the centre of the place where the mouse clicks on the screen


setRate

public void setRate(double _rate)

getRate

public double getRate()

getAngle

public int getAngle()

setTimed

public void setTimed(boolean change)
Set the timed transition attribute (for GSPNs)


getTimed

public boolean getTimed()
Get the timed transition attribute (for GSPNs)


contains

public boolean contains(int x,
                        int y)
Overrides:
contains in class javax.swing.JComponent

removeArcCompareObject

public void removeArcCompareObject(Arc a)

updateEndPoint

public void updateEndPoint(Arc arc)
Specified by:
updateEndPoint in class PlaceTransitionObject

updateEndPoints

public void updateEndPoints()