|
|||||||||
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
public class Place
Place - Petri-Net Place 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 | |
---|---|
static int |
DIAMETER
|
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.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)
Determines whether the point (x,y) is "in" this component. |
int |
getCurrentMarking()
Get current marking |
java.lang.Integer |
getCurrentMarkingObject()
Get current marking |
int |
getDiameter()
Returns the diameter of this Place at the current zoom |
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, 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, setEnabled, 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, isEnabled, 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 DIAMETER
public static int tWidth
public static int tHeight
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 Positioncolor
- Colorpublic Place(double positionXInput, double positionYInput, java.lang.String idInput)
positionXInput
- X-axis PositionpositionYInput
- Y-axis PositionidInput
- Place idcolor
- Colorpublic Place(double positionXInput, double positionYInput)
positionXInput
- X-axis PositionpositionYInput
- Y-axis Positioncolor
- - modified by aed02public 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 int getDiameter()
public boolean contains(int x, int y)
contains
in class javax.swing.JComponent
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 |