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

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.ArcLabel
                                      |
                                      +--uk.ac.ic.doc.y2002.tool.editor.ArcTypedLabel
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

public class ArcTypedLabel
extends ArcLabel
implements java.awt.event.MouseListener, java.awt.event.MouseMotionListener

The ArcTypedLabel is a simple extension of ArcLabel which has one extra attribute - the type of arc. Arc types: normal, read, inhibitor, reset.

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.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
ArcTypedLabel(org.jdom.Element e)
           
 
Method Summary
 void addToken()
          Re-use this function to change the arc weight.
 void fire()
          When fired, an Arc adds its weight in Tokens to its target.
 java.lang.String getType()
          Access function for the arc type stored in the JDOM Document: for example.
 boolean isActive()
          If arc is an "inhibitor" arc, it is only active if its source place has no tokens.
static org.jdom.Element makeElement(java.lang.Integer x, java.lang.Integer y, java.lang.String id, java.lang.String source, java.lang.String target, org.jdom.Namespace ns, java.lang.String arctype)
           
 void paintComponent(java.awt.Graphics g)
          The function which draws the PNLabel on screen.
 void remToken()
          Re-use this function to change the arc weight.
 void setType(java.lang.String type)
          Sets the Arc Type in the JDOM Document.
 void unfire()
          When un-fired, an Arc removes its weight in Tokens from its source.
 
Methods inherited from class uk.ac.ic.doc.y2002.tool.editor.ArcLabel
dofirst, getLinkedLabels, getSnap, getSourceID, getTargetID, getWeight, highlight, highlightLine, makeElement, makeInscription, mouseDragged, mouseReleased, positionLines, remove, setSnap, setSourceLabel, setTargetLabel, setWeight, snapToPosition, updateBounds, updateLocation
 
Methods inherited from class uk.ac.ic.doc.y2002.tool.editor.PNLabel
changeElement, doubleclickAction, getDisplayPane, getID, getJX, getJY, getPreferredSize, getToolspecific, makeGraphics, makeToolspecific, mouseClicked, mouseEntered, mouseExited, mouseMoved, mousePressed, myElementName, returnElement, returnSelected, select, selectOnly, setJX, setJY, setPosition, 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, getName, 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

ArcTypedLabel

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

paintComponent

public void paintComponent(java.awt.Graphics g)
Description copied from class: PNLabel
The function which draws the PNLabel on screen. Overridden in subclasses of PNLabel.
Overrides:
paintComponent in class ArcLabel

getType

public java.lang.String getType()
Access function for the arc type stored in the JDOM Document: for example. Defaults to "normal" if unspecified.
Returns:
The Arc Type (default "normal")

setType

public void setType(java.lang.String type)
Sets the Arc Type in the JDOM Document.

isActive

public boolean isActive()
If arc is an "inhibitor" arc, it is only active if its source place has no tokens. Otherwise, this implementation assumes the "normal" arc implementation in ArcLabel.
Overrides:
isActive in class ArcLabel
See Also:
ArcLabel.isActive()

fire

public void fire()
When fired, an Arc adds its weight in Tokens to its target. If the target is not a Place, an error message is printed.
Overrides:
fire in class ArcLabel
See Also:
unfire()

unfire

public void unfire()
When un-fired, an Arc removes its weight in Tokens from its source. If the source is not a Place, an error message is printed.
Overrides:
unfire in class ArcLabel
See Also:
fire()

makeElement

public static org.jdom.Element makeElement(java.lang.Integer x,
                                           java.lang.Integer y,
                                           java.lang.String id,
                                           java.lang.String source,
                                           java.lang.String target,
                                           org.jdom.Namespace ns,
                                           java.lang.String arctype)

addToken

public void addToken()
Re-use this function to change the arc weight.
Overrides:
addToken in class ArcLabel
Following copied from class: uk.ac.ic.doc.y2002.tool.editor.PNLabel
See Also:
PlaceLabel, ArcLabel

remToken

public void remToken()
Re-use this function to change the arc weight.
Overrides:
remToken in class ArcLabel
Following copied from class: uk.ac.ic.doc.y2002.tool.editor.PNLabel
See Also:
PlaceLabel, ArcLabel