|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Object
|
+--java.awt.Component
|
+--java.awt.Container
|
+--javax.swing.JComponent
|
+--pipe.dataLayer.PetriNetObject
|
+--pipe.dataLayer.PlaceTransitionObject
|
+--pipe.dataLayer.Transition
Transition - Petri-Net Transition Class
| 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 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 |
public static final java.lang.String type
public static final int TRANSITION_HEIGHT
public static final int TRANSITION_WIDTH
public boolean highlighted
| Constructor Detail |
public Transition(double positionXInput,
double positionYInput,
java.lang.String idInput,
java.lang.String nameInput,
double nameOffsetXInput,
double nameOffsetYInput,
double aRate,
boolean timedTransition,
int angleInput)
positionXInput - X-axis PositionpositionYInput - Y-axis PositionidInput - Transition idnameInput - NamenameOffsetXInput - Name X-axis PositionnameOffsetYInput - Name Y-axis Position
public Transition(double positionXInput,
double positionYInput)
positionXInput - X-axis PositionpositionYInput - Y-axis Positionpublic Transition()
| Method Detail |
public void paintComponent(java.awt.Graphics g)
PlaceTransitionObject
paintComponent in class PlaceTransitionObjectpublic void rotate(int angleInc)
public boolean isEnabled(boolean animationStatus)
animationStatus - Anamation status
public boolean isEnabledBackwards()
public boolean isEnabled()
isEnabled in class java.awt.Componentpublic void setEnabled(boolean status)
setEnabled in class javax.swing.JComponentpublic void setEnabledBackwards(boolean status)
public void setEnabledFalse()
public int boundsWidth()
boundsWidth in class PlaceTransitionObjectpublic int boundsHeight()
boundsHeight in class PlaceTransitionObjectpublic int topOffset()
public int leftOffset()
public void setRate(double _rate)
public double getRate()
public int getAngle()
public void setTimed(boolean change)
public boolean getTimed()
public boolean contains(int x,
int y)
contains in class javax.swing.JComponentpublic void removeArcCompareObject(Arc a)
public void updateEndPoint(Arc arc)
updateEndPoint in class PlaceTransitionObjectpublic void updateEndPoints()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||