|
|||||||||||
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 Positionpublic 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 PlaceTransitionObject
public void rotate(int angleInc)
public boolean isEnabled(boolean animationStatus)
animationStatus
- Anamation status
public boolean isEnabledBackwards()
public boolean isEnabled()
isEnabled
in class java.awt.Component
public void setEnabled(boolean status)
setEnabled
in class javax.swing.JComponent
public void setEnabledBackwards(boolean status)
public void setEnabledFalse()
public int boundsWidth()
boundsWidth
in class PlaceTransitionObject
public int boundsHeight()
boundsHeight
in class PlaceTransitionObject
public 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.JComponent
public void removeArcCompareObject(Arc a)
public void updateEndPoint(Arc arc)
updateEndPoint
in class PlaceTransitionObject
public void updateEndPoints()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |