|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.awt.Component
java.awt.Container
javax.swing.JComponent
pipe.dataLayer.PetriNetObject
pipe.dataLayer.PlaceTransitionObject
pipe.dataLayer.Transition
public class Transition
Transition - Petri-Net Transition Class
Nested Class Summary |
---|
Nested classes/interfaces inherited from class javax.swing.JComponent |
---|
javax.swing.JComponent.AccessibleJComponent |
Nested classes/interfaces inherited from class java.awt.Container |
---|
java.awt.Container.AccessibleAWTContainer |
Nested classes/interfaces inherited from class java.awt.Component |
---|
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy |
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 pipe.dataLayer.PlaceTransitionObject |
---|
componentHeight, componentWidth, positionX, positionY, someArc |
Fields inherited from class pipe.dataLayer.PetriNetObject |
---|
bounds, COMPONENT_DRAW_OFFSET, draggable, id, ignoreSelection, objectColour, pnName, selectable, selected, selectionBorderColour |
Fields inherited from class javax.swing.JComponent |
---|
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, 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 |
getDelay()
This is a getter for the delay for this transition. |
double |
getRate()
|
boolean |
getTimed()
Get the timed transition attribute (for GSPNs) |
boolean |
isDelayValid()
This method is a getter for the boolean indicating if the delay is valid or not. |
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)
|
void |
removeArcCompareObject(Arc a)
|
void |
rotate(int angleInc)
Rotates the Transition through the specified angle around the midpoint |
void |
setDelay(double _delay)
This is a setter for the delay for this transition. |
void |
setDelayValid(boolean _delayValid)
This method is used to set a flag to indicate that the delay is valid or invalid. |
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, getName, getPositionX, getPositionXObject, getPositionY, getPositionYObject, removeFromArc, removeToArc, select, setCentre, setId, setName, setPositionX, setPositionY, translate, updateBounds, updateConnected, zoomUpdate |
Methods inherited from class pipe.dataLayer.PetriNetObject |
---|
addLabelToContainer, addZoomController, deselect, getNameLabel, getZoomController, ignoreSelection, isDraggable, isSelectable, isSelected, removeFromContainer, setDraggable, setObjectColour, setSelectable, setSelectionBorderColour |
Methods inherited from class javax.swing.JComponent |
---|
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getAccessibleContext, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getUIClassID, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintImmediately, paintImmediately, paramString, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update, updateUI |
Methods inherited from class java.awt.Container |
---|
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, 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, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, 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 |
---|
clone, equals, finalize, 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 Positioncolor
- Colorpublic Transition(double positionXInput, double positionYInput)
positionXInput
- X-axis PositionpositionYInput
- Y-axis Positioncolor
- Colorpublic Transition()
Method Detail |
---|
public void paintComponent(java.awt.Graphics g)
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 void setDelay(double _delay)
_delay
- the time until this transition will firepublic double getDelay()
public boolean isDelayValid()
public void setDelayValid(boolean _delayValid)
_delayValid
- a boolean that is true if the delay is valid, false
otherwisepublic 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 |