|
|||||||||||
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
Transition - Petri-Net Transition Class
Nested Class Summary | |
(package private) class |
Transition.ArcAngleCompare
|
Nested classes inherited from class javax.swing.JComponent |
javax.swing.JComponent.AccessibleJComponent |
Nested classes inherited from class java.awt.Container |
java.awt.Container.AccessibleAWTContainer |
Nested classes inherited from class java.awt.Component |
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy |
Field Summary | |
private int |
angle
|
private java.util.ArrayList |
arcAngleList
The transform |
private boolean |
enabled
|
private boolean |
enabledBackwards
|
boolean |
highlighted
|
private java.awt.Shape |
proximityTransition
|
private double |
rate
The transition rate |
private static double |
rootThreeOverTwo
|
private boolean |
timed
Is this a timed transition or not? |
private java.awt.geom.GeneralPath |
transition
Transition is of Rectangle2D.Double |
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.Container |
|
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 |
private void |
constructTransition()
|
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 |
private void |
outlineTransition()
|
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, firePropertyChange, fireVetoableChange, getAccessibleContext, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, 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, paintBorder, paintChildren, paintImmediately, paintImmediately, paramString, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removePropertyChangeListener, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, 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, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update, updateUI |
Methods inherited from class java.awt.Container |
add, add, add, add, add, addContainerListener, addImpl, 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, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, 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, 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, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseEvent, processMouseWheelEvent, 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 |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
public static final java.lang.String type
private java.awt.geom.GeneralPath transition
private java.awt.Shape proximityTransition
public static final int TRANSITION_HEIGHT
public static final int TRANSITION_WIDTH
private int angle
private boolean enabled
private boolean enabledBackwards
public boolean highlighted
private double rate
private boolean timed
private static final double rootThreeOverTwo
private java.util.ArrayList arcAngleList
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)
private void outlineTransition()
public boolean isEnabled(boolean animationStatus)
animationStatus
- Anamation status
public boolean isEnabledBackwards()
public boolean isEnabled()
public void setEnabled(boolean status)
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()
private void constructTransition()
public boolean contains(int x, int y)
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 |