uk.ac.ic.doc.y2002.tool.editor
Class ReferencePlaceLabel

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--javax.swing.JComponent
                    |
                    +--javax.swing.JLabel
                          |
                          +--uk.ac.ic.doc.y2002.tool.editor.PNLabel
                                |
                                +--uk.ac.ic.doc.y2002.tool.editor.NodeLabel
                                      |
                                      +--uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
                                            |
                                            +--uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel
All Implemented Interfaces:
javax.accessibility.Accessible, java.util.EventListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.io.Serializable, javax.swing.SwingConstants
Direct Known Subclasses:
ExportPlaceLabel, ImportPlaceLabel

public class ReferencePlaceLabel
extends PlaceLabel
implements java.awt.event.MouseListener, java.awt.event.MouseMotionListener

See Also:
Serialized Form

Inner classes inherited from class javax.swing.JLabel
javax.swing.JLabel.AccessibleJLabel
 
Inner classes inherited from class javax.swing.JComponent
javax.swing.JComponent.AccessibleJComponent
 
Inner classes inherited from class java.awt.Container
java.awt.Container.AccessibleAWTContainer
 
Inner classes inherited from class java.awt.Component
java.awt.Component.AccessibleAWTComponent
 
Fields inherited from class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
radius, tokenradius
 
Fields inherited from class uk.ac.ic.doc.y2002.tool.editor.PNLabel
beingMoved, contextmenu, element, fillcolour, firsttime, height, highlightfill, id, lastX, lastY, normalfill, ns, offset, propertiesbox, rotation, scaling, selected, textspace, width, xoffset, xPress, yoffset, yPress
 
Fields inherited from class javax.swing.JLabel
labelFor
 
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 javax.swing.SwingConstants
BOTTOM, CENTER, EAST, HORIZONTAL, LEADING, LEFT, NORTH, NORTH_EAST, NORTH_WEST, RIGHT, SOUTH, SOUTH_EAST, SOUTH_WEST, TOP, TRAILING, VERTICAL, WEST
 
Fields inherited from interface java.awt.image.ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
ReferencePlaceLabel(org.jdom.Element e)
           
 
Method Summary
 void addToken()
          Use this function to add a token to the place.
 void addToken(int number)
          Use this function to add a specified number of tokens to the place.
 int getMarking()
          Gets the Marking value from the place referenced
 PlaceLabel getPlace()
          Retrieves the PlaceLabel referenced
static org.jdom.Element makeElement(java.lang.Integer x, java.lang.Integer y, java.lang.String id, org.jdom.Namespace ns)
          Function to create a new place element.
static org.jdom.Element makeElement(int x, int y, java.lang.String id, org.jdom.Namespace ns)
           
 void paintComponent(java.awt.Graphics g)
          Paints the Circle and the Tokens.
protected  void paintName(java.awt.Graphics2D g2)
           
 void remToken()
          Use this function to remove a token from the place.
 void remToken(int number)
          Use this function to remove the specified number of tokens from the place.
protected  void setMarking(int t)
          Sets the Marking value in the place referenced
 void updateBounds()
          may be overridden to deal with different sizes and shapes of labels.
 
Methods inherited from class uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
drawToken, drawTokens, isActive, isActive, makeMarking
 
Methods inherited from class uk.ac.ic.doc.y2002.tool.editor.NodeLabel
addInputArc, addOutputArc, addRefNodeSource, addRefNodeTarget, clearInputArcs, clearOutputArcs, getInputArcs, getLinkedLabels, getName, getOutputArcs, getRefNodeSources, getRefNodeTarget, makeName, notifySource, referenceTarget, remove, removeInputArc, removeOutputArc, removeReference, removeReferenceLabel, removeRefNodeSource, removeRefNodeTarget, removeTargetSourceEntry, setPosition, updateReferences
 
Methods inherited from class uk.ac.ic.doc.y2002.tool.editor.PNLabel
changeElement, dofirst, doubleclickAction, getDisplayPane, getID, getJX, getJY, getPreferredSize, getToolspecific, highlight, makeGraphics, makeToolspecific, mouseClicked, mouseDragged, mouseEntered, mouseExited, mouseMoved, mousePressed, mouseReleased, myElementName, returnElement, returnSelected, select, selectOnly, setJX, setJY, showContextMenu, updateLocation, updateLocation, updatePosition, updateSelf
 
Methods inherited from class javax.swing.JLabel
checkHorizontalKey, checkVerticalKey, getAccessibleContext, getDisabledIcon, getDisplayedMnemonic, getHorizontalAlignment, getHorizontalTextPosition, getIcon, getIconTextGap, getLabelFor, getText, getUI, getUIClassID, getVerticalAlignment, getVerticalTextPosition, imageUpdate, paramString, setDisabledIcon, setDisplayedMnemonic, setDisplayedMnemonic, setHorizontalAlignment, setHorizontalTextPosition, setIcon, setIconTextGap, setLabelFor, setText, setUI, setVerticalAlignment, setVerticalTextPosition, updateUI
 
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addPropertyChangeListener, addPropertyChangeListener, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getConditionForKeyStroke, getDebugGraphicsOptions, getGraphics, getHeight, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getVerifyInputWhenFocusTarget, getVisibleRect, getWidth, getX, getY, grabFocus, hasFocus, hide, isDoubleBuffered, isFocusCycleRoot, isFocusTraversable, isLightweightComponent, isManagingFocus, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isPreferredSizeSet, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processFocusEvent, processKeyBinding, processKeyEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removePropertyChangeListener, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDoubleBuffered, setEnabled, setFont, setForeground, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, addImpl, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getLayout, insets, invalidate, isAncestorOf, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setLayout, validate, validateTree
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, getBackground, getBounds, getColorModel, getComponentOrientation, getCursor, getDropTarget, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getInputContext, getInputMethodRequests, getLocale, getLocation, getLocationOnScreen, getParent, getPeer, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, inside, isDisplayable, isEnabled, isLightweight, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.awt.event.MouseListener
mouseClicked, mouseEntered, mouseExited, mousePressed, mouseReleased
 
Methods inherited from interface java.awt.event.MouseMotionListener
mouseDragged, mouseMoved
 

Constructor Detail

ReferencePlaceLabel

public ReferencePlaceLabel(org.jdom.Element e)
Method Detail

makeElement

public static org.jdom.Element makeElement(java.lang.Integer x,
                                           java.lang.Integer y,
                                           java.lang.String id,
                                           org.jdom.Namespace ns)
Description copied from class: PlaceLabel
Function to create a new place element.

updateBounds

public void updateBounds()
Description copied from class: PNLabel
may be overridden to deal with different sizes and shapes of labels.
Overrides:
updateBounds in class PlaceLabel

paintComponent

public void paintComponent(java.awt.Graphics g)
Description copied from class: PlaceLabel
Paints the Circle and the Tokens.
Overrides:
paintComponent in class PlaceLabel
Following copied from class: uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
See Also:
PlaceLabel.drawTokens(Graphics2D g2)

paintName

protected void paintName(java.awt.Graphics2D g2)
Overrides:
paintName in class PlaceLabel

makeElement

public static org.jdom.Element makeElement(int x,
                                           int y,
                                           java.lang.String id,
                                           org.jdom.Namespace ns)

getPlace

public PlaceLabel getPlace()
Retrieves the PlaceLabel referenced

getMarking

public int getMarking()
Gets the Marking value from the place referenced
Overrides:
getMarking in class PlaceLabel

setMarking

protected void setMarking(int t)
Sets the Marking value in the place referenced
Overrides:
setMarking in class PlaceLabel
Following copied from class: uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
See Also:
PlaceLabel.addToken(), PlaceLabel.remToken()

addToken

public void addToken()
Use this function to add a token to the place. As with all these functions, it passes the request onto the 'real' PlaceLabel.
Overrides:
addToken in class PlaceLabel
Following copied from class: uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
See Also:
PlaceLabel.addToken(int number), PlaceLabel.remToken(), PlaceLabel.remToken(int number)

addToken

public void addToken(int number)
Use this function to add a specified number of tokens to the place.
Overrides:
addToken in class PlaceLabel
Following copied from class: uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
See Also:
PlaceLabel.addToken(), PlaceLabel.remToken(), PlaceLabel.remToken(int number)

remToken

public void remToken()
Use this function to remove a token from the place.
Overrides:
remToken in class PlaceLabel
Following copied from class: uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
See Also:
PlaceLabel.remToken(), PlaceLabel.addToken(), PlaceLabel.addToken(int number)

remToken

public void remToken(int number)
Use this function to remove the specified number of tokens from the place.
Overrides:
remToken in class PlaceLabel
Following copied from class: uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
See Also:
PlaceLabel.remToken(int number), PlaceLabel.addToken(), PlaceLabel.addToken(int number)