|
|||||||
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 | +--uk.ac.ic.doc.y2002.tool.editor.ImportPlaceLabel | +--uk.ac.ic.doc.y2002.tool.editor.SubnetImportLabel
Class for internal import labels in subnet instance. Should be added to the subnet label not displayPane.
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 | |
SubnetImportLabel(org.jdom.Element e,
SubnetLabel parent)
|
Method Summary | |
DisplayPane |
getDisplayPane()
Method to get DisplayPane in which the parent of these elements is contained |
java.lang.String |
getID()
Gets the ID of an element. |
int |
getJX()
Get X value from the JDOM Document Defaults to 0 if not found |
int |
getJY()
Get Y value from the JDOM Document Defaults to 0 if not found |
java.lang.String |
getName()
Gets the name (attribute is parameter) of the subnetImportLabel |
static org.jdom.Element |
makeElement(java.lang.String parameter,
java.lang.String instance,
java.lang.String ref,
org.jdom.Namespace ns)
Function to create a new importplace element for use in a subnet. |
void |
mouseClicked(java.awt.event.MouseEvent e)
|
void |
mouseDragged(java.awt.event.MouseEvent e)
|
void |
mousePressed(java.awt.event.MouseEvent e)
|
void |
mouseReleased(java.awt.event.MouseEvent e)
|
void |
removeLabel()
Method to remove an internal label from a subnet. |
void |
setPosition(int x,
int y)
Updates DOM with new values and sets the label position - - also updates connected arcs |
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.ImportPlaceLabel |
makeElement, paintComponent, paintName, updateLocation |
Methods inherited from class uk.ac.ic.doc.y2002.tool.editor.ReferencePlaceLabel |
addToken, addToken, getMarking, getPlace, makeElement, remToken, remToken, setMarking |
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, getOutputArcs, getRefNodeSources, getRefNodeTarget, makeName, notifySource, referenceTarget, remove, removeInputArc, removeOutputArc, removeReference, removeReferenceLabel, removeRefNodeSource, removeRefNodeTarget, removeTargetSourceEntry, updateReferences |
Methods inherited from class uk.ac.ic.doc.y2002.tool.editor.PNLabel |
changeElement, dofirst, doubleclickAction, getPreferredSize, getToolspecific, highlight, makeGraphics, makeToolspecific, mouseEntered, mouseExited, mouseMoved, myElementName, returnElement, returnSelected, select, selectOnly, setJX, setJY, showContextMenu, 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 |
mouseEntered, mouseExited |
Methods inherited from interface java.awt.event.MouseMotionListener |
mouseMoved |
Constructor Detail |
public SubnetImportLabel(org.jdom.Element e, SubnetLabel parent)
Method Detail |
public void updateBounds()
PNLabel
updateBounds
in class ImportPlaceLabel
public void setPosition(int x, int y)
NodeLabel
setPosition
in class NodeLabel
uk.ac.ic.doc.y2002.tool.editor.PNLabel
x
- the x position on screeny
- the y position on screenpublic void mousePressed(java.awt.event.MouseEvent e)
mousePressed
in interface java.awt.event.MouseListener
mousePressed
in class PNLabel
public void mouseDragged(java.awt.event.MouseEvent e)
mouseDragged
in interface java.awt.event.MouseMotionListener
mouseDragged
in class PNLabel
public void mouseReleased(java.awt.event.MouseEvent e)
mouseReleased
in interface java.awt.event.MouseListener
mouseReleased
in class PNLabel
public void mouseClicked(java.awt.event.MouseEvent e)
mouseClicked
in interface java.awt.event.MouseListener
mouseClicked
in class PNLabel
public void removeLabel()
public DisplayPane getDisplayPane()
getDisplayPane
in class PNLabel
public static org.jdom.Element makeElement(java.lang.String parameter, java.lang.String instance, java.lang.String ref, org.jdom.Namespace ns)
public java.lang.String getName()
getName
in class NodeLabel
public int getJY()
PNLabel
getJY
in class PNLabel
public int getJX()
PNLabel
getJX
in class PNLabel
public java.lang.String getID()
getID
in class PNLabel
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |