|
|||||||
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
Superclass for node elements in the Petri net, such as places and transitions. This class should not be instantiated.
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.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 | |
NodeLabel(org.jdom.Element e)
|
Method Summary | |
void |
addInputArc(ArcLabel a)
typically called when a new arc is added to the net. |
void |
addOutputArc(ArcLabel a)
typically called when a new arc is added to the net. |
void |
addRefNodeSource(NodeLabel node)
typically called when a new refLink is added to the net. |
void |
addRefNodeTarget(NodeLabel node)
typically called when a new refLink is added to the net. |
void |
clearInputArcs()
empties the local list of references to input ArcLabels |
void |
clearOutputArcs()
empties the local list of references to output ArcLabels |
java.util.List |
getInputArcs()
returns the local list of references to input ArcLabels |
java.util.List |
getLinkedLabels()
Override in subclasses to return a list of PNLabels which are linked to this PNLabel. |
java.lang.String |
getName()
|
java.util.List |
getOutputArcs()
returns the local list of references to output ArcLabels |
java.util.List |
getRefNodeSources()
returns a list of refNodeSource elements |
NodeLabel |
getRefNodeTarget()
returns the refNodeTarget element |
boolean |
isActive()
A node is active if all of its input arcs are active - this function queries the arcs. |
boolean |
isActive(int number)
A new version of isActive() - allows more specific queries, taking arc weights and numbers of tokens into account. |
static org.jdom.Element |
makeName(java.lang.String myName,
org.jdom.Namespace ns)
Function to create a name element used by NodeLabel elements (places and transitions etc.). |
void |
notifySource()
|
void |
paintComponent(java.awt.Graphics g)
The function which draws the PNLabel on screen. |
boolean |
referenceTarget()
|
DisplayPane |
remove()
Called when a label is asked to remove itself from the DisplayPane |
void |
removeInputArc(ArcLabel a)
typically called when an arc is removed from the net. |
void |
removeOutputArc(ArcLabel a)
typically called when an arc is removed from the net. |
void |
removeReference()
|
void |
removeReferenceLabel()
|
void |
removeRefNodeSource(NodeLabel node)
typically called when a refLink is removed from the net. |
void |
removeRefNodeTarget()
typically called when a refLink is removed from the net. |
void |
removeTargetSourceEntry(NodeLabel source)
|
void |
setPosition(int x,
int y)
Updates DOM with new values and sets the label position - - also updates connected arcs |
void |
updateReferences()
|
Methods inherited from class uk.ac.ic.doc.y2002.tool.editor.PNLabel |
addToken, changeElement, dofirst, doubleclickAction, getDisplayPane, getID, getJX, getJY, getPreferredSize, getToolspecific, highlight, makeGraphics, makeToolspecific, mouseClicked, mouseDragged, mouseEntered, mouseExited, mouseMoved, mousePressed, mouseReleased, myElementName, remToken, returnElement, returnSelected, select, selectOnly, setJX, setJY, showContextMenu, updateBounds, 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 NodeLabel(org.jdom.Element e)
Method Detail |
public DisplayPane remove()
remove
in class PNLabel
public void removeTargetSourceEntry(NodeLabel source)
public void removeReference()
public boolean referenceTarget()
public void notifySource()
public void removeReferenceLabel()
public static org.jdom.Element makeName(java.lang.String myName, org.jdom.Namespace ns)
public void paintComponent(java.awt.Graphics g)
PNLabel
paintComponent
in class PNLabel
public java.lang.String getName()
getName
in class java.awt.Component
public void addRefNodeTarget(NodeLabel node)
public void addRefNodeSource(NodeLabel node)
public java.util.List getRefNodeSources()
public NodeLabel getRefNodeTarget()
public void removeRefNodeTarget()
public void removeRefNodeSource(NodeLabel node)
public void addInputArc(ArcLabel a)
public void addOutputArc(ArcLabel a)
public void removeOutputArc(ArcLabel a)
ArcLabel
public void removeInputArc(ArcLabel a)
ArcLabel
public void clearInputArcs()
public void clearOutputArcs()
public java.util.List getInputArcs()
public java.util.List getOutputArcs()
public boolean isActive(int number)
PlaceLabel
public boolean isActive()
isActive
in class PNLabel
public void setPosition(int x, int y)
setPosition
in class PNLabel
uk.ac.ic.doc.y2002.tool.editor.PNLabel
x
- the x position on screeny
- the y position on screenpublic java.util.List getLinkedLabels()
PNLabel
getLinkedLabels
in class PNLabel
uk.ac.ic.doc.y2002.tool.editor.PNLabel
public void updateReferences()
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |