|
|||||||||||
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.Place
Place - Petri-Net Place Class
Nested Class Summary |
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 java.lang.Integer |
currentMarking
Current Marking |
static int |
DIAMETER
|
private java.lang.Integer |
initialMarking
Initial Marking |
private java.lang.Double |
markingOffsetX
Initial Marking X-axis Offset |
private java.lang.Double |
markingOffsetY
Initial Marking Y-axis Offset |
private static java.awt.geom.Ellipse2D.Double |
place
Ellipse2D.Double place |
private static java.awt.Shape |
proximityPlace
|
static int |
tHeight
Token Height |
static int |
tWidth
Token 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 | |
Place()
Create empty Petri-Net Place object |
|
Place(double positionXInput,
double positionYInput)
Create Petri-Net Place object |
|
Place(double positionXInput,
double positionYInput,
java.lang.String idInput)
Create Petri-Net Place object |
|
Place(double positionXInput,
double positionYInput,
java.lang.String idInput,
java.lang.String nameInput,
double nameOffsetXInput,
double nameOffsetYInput,
int initialMarkingInput,
double markingOffsetXInput,
double markingOffsetYInput)
Create Petri-Net Place 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 |
getCurrentMarking()
Get current marking |
java.lang.Integer |
getCurrentMarkingObject()
Get current marking |
int |
getInitialMarking()
Get initial marking |
java.lang.Integer |
getInitialMarkingObject()
Get initial marking |
double |
getMarkingOffsetX()
Get X-axis offset for initial marking |
java.lang.Double |
getMarkingOffsetXObject()
Get X-axis offset for initial marking |
double |
getMarkingOffsetY()
Get Y-axis offset for initial marking |
java.lang.Double |
getMarkingOffsetYObject()
Get Y-axis offset for initial marking |
void |
paintComponent(java.awt.Graphics g)
Paints the Place component taking into account the number of tokens from the currentMarking |
void |
setCurrentMarking(int currentMarkingInput)
Set current marking |
void |
setInitialMarking(int initialMarkingInput)
Set initial marking |
void |
setmarkingOffsetX(double markingOffsetXInput)
Set X-axis offset for initial marking |
void |
setmarkingOffsetY(double markingOffsetYInput)
Set Y-axis offset for initial marking |
void |
updateEndPoint(Arc arc)
|
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, setEnabled, 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, isEnabled, 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.lang.Integer initialMarking
private java.lang.Integer currentMarking
private java.lang.Double markingOffsetX
private java.lang.Double markingOffsetY
public static final int DIAMETER
public static int tWidth
public static int tHeight
private static java.awt.geom.Ellipse2D.Double place
private static java.awt.Shape proximityPlace
Constructor Detail |
public Place(double positionXInput, double positionYInput, java.lang.String idInput, java.lang.String nameInput, double nameOffsetXInput, double nameOffsetYInput, int initialMarkingInput, double markingOffsetXInput, double markingOffsetYInput)
positionXInput
- X-axis PositionpositionYInput
- Y-axis PositionidInput
- Place idnameInput
- NamenameOffsetXInput
- Name X-axis PositionnameOffsetYInput
- Name Y-axis PositioninitialMarkingInput
- Initial MarkingmarkingOffsetXInput
- Marking X-axis PositionmarkingOffsetYInput
- Marking Y-axis Positionpublic Place(double positionXInput, double positionYInput, java.lang.String idInput)
positionXInput
- X-axis PositionpositionYInput
- Y-axis PositionidInput
- Place idpublic Place(double positionXInput, double positionYInput)
positionXInput
- X-axis PositionpositionYInput
- Y-axis Positionpublic Place()
Method Detail |
public void paintComponent(java.awt.Graphics g)
paintComponent
in class PlaceTransitionObject
g
- The Graphics object onto which the Place is drawn.public void setInitialMarking(int initialMarkingInput)
initialMarkingInput
- Integer value for initial markingpublic void setCurrentMarking(int currentMarkingInput)
currentMarkingInput
- Integer value for current markingpublic void setmarkingOffsetX(double markingOffsetXInput)
markingOffsetXInput
- Integer value for X-axis offset of initial markingpublic void setmarkingOffsetY(double markingOffsetYInput)
markingOffsetYInput
- Integer value for Y-axis offset of initial markingpublic int getInitialMarking()
public int getCurrentMarking()
public double getMarkingOffsetX()
public double getMarkingOffsetY()
public java.lang.Integer getInitialMarkingObject()
public java.lang.Integer getCurrentMarkingObject()
public java.lang.Double getMarkingOffsetXObject()
public java.lang.Double getMarkingOffsetYObject()
public int boundsWidth()
boundsWidth
in class PlaceTransitionObject
public int boundsHeight()
boundsHeight
in class PlaceTransitionObject
public boolean contains(int x, int y)
public void updateEndPoint(Arc arc)
updateEndPoint
in class PlaceTransitionObject
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |