|
|||||||
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.JPanel | +--uk.ac.ic.doc.y2002.tool.application.DisplayPane
Inner classes inherited from class javax.swing.JPanel |
javax.swing.JPanel.AccessibleJPanel |
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 | |
PNAnimator |
animator
|
ClassManager |
classman
|
EditorFrame |
eframe
|
SelectionBox |
mySelection
|
org.jdom.Namespace |
ns
|
java.util.HashMap |
refLinkTable
|
java.util.List |
refPairs
|
org.jdom.Element |
root
|
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 java.awt.image.ImageObserver |
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
DisplayPane(EditorFrame eframe,
org.jdom.Element root)
On creation, the DisplayPane, should be passed the |
Method Summary | |
void |
addArc(org.jdom.Element e)
Pastes a copied arc into DisplayPane |
void |
addNode(org.jdom.Element e)
|
void |
calcPreferredSize()
Can be called to calculate the required size to display all the objects in the net. |
void |
closeSubnetInstances()
|
void |
connectLabels(ArcLabel arclabel)
|
Clipboard |
getClipboard()
|
PNLabel |
getLabel(java.lang.String id)
|
java.awt.Dimension |
getPreferredSize()
|
void |
highlightEnabled(boolean highlight)
|
void |
highlightFire()
|
protected void |
instantiateSubnets()
|
boolean |
isModule()
|
void |
linkSubnet(SubnetImportLabel importLabel,
SubnetExportLabel exportLabel)
|
void |
loadClassManager(org.jdom.Element root)
|
void |
makeLabels()
|
void |
newArc()
|
void |
newImmediateTransition(int x,
int y)
|
void |
newPlace(int x,
int y)
|
void |
newReferencePlace(int x,
int y)
|
void |
newRefLink()
|
void |
newSubnet(int x,
int y,
java.lang.String moduleRef,
java.lang.String importParam,
java.lang.String exportParam)
|
void |
newTimedTransition(int x,
int y)
|
protected TransitionLabel |
newTransition(int x,
int y)
|
void |
notify(PNLabel label)
|
void |
paintComponent(java.awt.Graphics g)
|
java.lang.String |
pasteArcLabel(org.jdom.Element clone)
Pastes a copied arclabel into DisplayPane @return new id of label. |
java.lang.String |
pastePlace(org.jdom.Element clone)
Pastes a copied placeLabel into DisplayPane @return new id of label. |
java.lang.String |
pasteReferencePlace(org.jdom.Element clone)
Pastes a copied ReferencePlacelabel into DisplayPane @return new id of label. |
java.lang.String |
pasteSubnetPlace(org.jdom.Element clone)
Pastes a copied Subnetlabel into DisplayPane @return new id of label. |
java.lang.String |
pasteTransition(org.jdom.Element clone)
Pastes a copied Transitionlabel into DisplayPane @return new id of label. |
void |
removeLabel(PNLabel label)
|
void |
removeSelectionBox()
|
void |
showContextMenu(java.awt.event.MouseEvent e)
Brings up the right-click popup menu. |
Methods inherited from class javax.swing.JPanel |
getAccessibleContext, getUIClassID, paramString, 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, imageUpdate, 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 |
Field Detail |
public EditorFrame eframe
public org.jdom.Element root
public org.jdom.Namespace ns
public ClassManager classman
public PNAnimator animator
public java.util.HashMap refLinkTable
public SelectionBox mySelection
public java.util.List refPairs
Constructor Detail |
public DisplayPane(EditorFrame eframe, org.jdom.Element root)
Method Detail |
public void loadClassManager(org.jdom.Element root)
public void makeLabels()
public Clipboard getClipboard()
public void connectLabels(ArcLabel arclabel)
public PNLabel getLabel(java.lang.String id)
public void notify(PNLabel label)
public void newPlace(int x, int y)
public void newReferencePlace(int x, int y)
public void newTimedTransition(int x, int y)
public void newImmediateTransition(int x, int y)
protected TransitionLabel newTransition(int x, int y)
public void newSubnet(int x, int y, java.lang.String moduleRef, java.lang.String importParam, java.lang.String exportParam)
public void newRefLink()
public void newArc()
public java.lang.String pastePlace(org.jdom.Element clone)
public java.lang.String pasteTransition(org.jdom.Element clone)
public java.lang.String pasteReferencePlace(org.jdom.Element clone)
public java.lang.String pasteSubnetPlace(org.jdom.Element clone)
public java.lang.String pasteArcLabel(org.jdom.Element clone)
public void removeLabel(PNLabel label)
public void removeSelectionBox()
public java.awt.Dimension getPreferredSize()
getPreferredSize
in class javax.swing.JComponent
public void calcPreferredSize()
EditorFrame.EditorFrameListener
public boolean isModule()
public void paintComponent(java.awt.Graphics g)
paintComponent
in class javax.swing.JComponent
public void addNode(org.jdom.Element e)
public void addArc(org.jdom.Element e)
public void showContextMenu(java.awt.event.MouseEvent e)
protected void instantiateSubnets()
public void closeSubnetInstances()
public void linkSubnet(SubnetImportLabel importLabel, SubnetExportLabel exportLabel)
public void highlightEnabled(boolean highlight)
public void highlightFire()
|
|||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |