|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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
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 |
public ReferencePlaceLabel(org.jdom.Element e)
Method Detail |
public static org.jdom.Element makeElement(java.lang.Integer x, java.lang.Integer y, java.lang.String id, org.jdom.Namespace ns)
PlaceLabel
public void updateBounds()
PNLabel
updateBounds
in class PlaceLabel
public void paintComponent(java.awt.Graphics g)
PlaceLabel
paintComponent
in class PlaceLabel
uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
PlaceLabel.drawTokens(Graphics2D g2)
protected void paintName(java.awt.Graphics2D g2)
paintName
in class PlaceLabel
public static org.jdom.Element makeElement(int x, int y, java.lang.String id, org.jdom.Namespace ns)
public PlaceLabel getPlace()
public int getMarking()
getMarking
in class PlaceLabel
protected void setMarking(int t)
setMarking
in class PlaceLabel
uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
PlaceLabel.addToken()
,
PlaceLabel.remToken()
public void addToken()
addToken
in class PlaceLabel
uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
PlaceLabel.addToken(int number)
,
PlaceLabel.remToken()
,
PlaceLabel.remToken(int number)
public void addToken(int number)
addToken
in class PlaceLabel
uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
PlaceLabel.addToken()
,
PlaceLabel.remToken()
,
PlaceLabel.remToken(int number)
public void remToken()
remToken
in class PlaceLabel
uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
PlaceLabel.remToken()
,
PlaceLabel.addToken()
,
PlaceLabel.addToken(int number)
public void remToken(int number)
remToken
in class PlaceLabel
uk.ac.ic.doc.y2002.tool.editor.PlaceLabel
PlaceLabel.remToken(int number)
,
PlaceLabel.addToken()
,
PlaceLabel.addToken(int number)
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |