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

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.SubnetLabel
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 SubnetLabel
extends NodeLabel
implements java.awt.event.MouseListener, java.awt.event.MouseMotionListener

SubnetLabel represents the instance of a subnet within a petri net It creates labels for import and export places within itself

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
 
Field Summary
static java.lang.String chosenRef
           
static org.jdom.Element chosenRoot
           
 EditorFrame instanceFrame
           
 
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
SubnetLabel(org.jdom.Element e)
           
 
Method Summary
static java.lang.String chosenRef()
          Returns a string ref identifying the template that the user has chosen to insert into the net
 void closeSubnetInstance()
          Hide instance of this subnet
 void createSubnetInstance()
          Generates subnet instance from module template, and creates a new window to display it, with accompanying PNLabels to enable animation - doesn't make it visible though.
static java.lang.String exportPlace()
          Returns the id of the exportplace of the template that been chosen to insert
 java.lang.Object getImpExpLabel(java.lang.String id)
          Returns the import or export label corresponding to the input id
 org.jdom.Element getTemplateModule()
          Returns the element of the subnet template
 void highlightEnabled(boolean highlight)
           
 void highlightFire()
           
static java.lang.String importPlace()
          Returns the id of the importplace of the template that been chosen to insert
static org.jdom.Element makeElement(java.lang.Integer x, java.lang.Integer y, java.lang.String id, java.lang.String moduleRef, java.lang.String importParameter, java.lang.String exportParameter, org.jdom.Namespace ns)
          Function to create a new subnet element.
 void openSubnetInstance()
          Create and open an instance of this subnet
 void openSubnetTemplate()
          Open the template corresponding to the subnet instance
 void paintComponent(java.awt.Graphics g)
          The function which draws the PNLabel on screen.
 DisplayPane remove()
          Remove a subnet from the displayPane in which it is contained
 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.NodeLabel
addInputArc, addOutputArc, addRefNodeSource, addRefNodeTarget, clearInputArcs, clearOutputArcs, getInputArcs, getLinkedLabels, getName, getOutputArcs, getRefNodeSources, getRefNodeTarget, isActive, isActive, makeName, notifySource, referenceTarget, removeInputArc, removeOutputArc, removeReference, removeReferenceLabel, removeRefNodeSource, removeRefNodeTarget, removeTargetSourceEntry, setPosition, 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, 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
 

Field Detail

chosenRoot

public static org.jdom.Element chosenRoot

chosenRef

public static java.lang.String chosenRef

instanceFrame

public EditorFrame instanceFrame
Constructor Detail

SubnetLabel

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

remove

public DisplayPane remove()
Remove a subnet from the displayPane in which it is contained
Overrides:
remove in class NodeLabel
Returns:
DisplayPane

openSubnetTemplate

public void openSubnetTemplate()
Open the template corresponding to the subnet instance

openSubnetInstance

public void openSubnetInstance()
Create and open an instance of this subnet

closeSubnetInstance

public void closeSubnetInstance()
Hide instance of this subnet

createSubnetInstance

public void createSubnetInstance()
Generates subnet instance from module template, and creates a new window to display it, with accompanying PNLabels to enable animation - doesn't make it visible though.

getTemplateModule

public org.jdom.Element getTemplateModule()
Returns the element of the subnet template

getImpExpLabel

public java.lang.Object getImpExpLabel(java.lang.String id)
Returns the import or export label corresponding to the input id

chosenRef

public static java.lang.String chosenRef()
Returns a string ref identifying the template that the user has chosen to insert into the net

importPlace

public static java.lang.String importPlace()
Returns the id of the importplace of the template that been chosen to insert

exportPlace

public static java.lang.String exportPlace()
Returns the id of the exportplace of the template that been chosen to insert

makeElement

public static org.jdom.Element makeElement(java.lang.Integer x,
                                           java.lang.Integer y,
                                           java.lang.String id,
                                           java.lang.String moduleRef,
                                           java.lang.String importParameter,
                                           java.lang.String exportParameter,
                                           org.jdom.Namespace ns)
Function to create a new subnet 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 PNLabel

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 NodeLabel

highlightFire

public void highlightFire()

highlightEnabled

public void highlightEnabled(boolean highlight)