|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectjava.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JPanel
CH.ifa.draw.standard.StandardDrawingView
org.openbp.cockpit.plugins.miniview.MiniView
public class MiniView
Overview display for a modeler.
| Nested Class Summary |
|---|
| Nested classes/interfaces inherited from class javax.swing.JPanel |
|---|
javax.swing.JPanel.AccessibleJPanel |
| Nested classes/interfaces inherited from class javax.swing.JComponent |
|---|
javax.swing.JComponent.AccessibleJComponent |
| Nested classes/interfaces inherited from class java.awt.Container |
|---|
java.awt.Container.AccessibleAWTContainer |
| Nested classes/interfaces inherited from class java.awt.Component |
|---|
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy |
| Field Summary |
|---|
| Fields inherited from class CH.ifa.draw.standard.StandardDrawingView |
|---|
MINIMUM_HEIGHT, MINIMUM_WIDTH, SCROLL_INCR, SCROLL_OFFSET |
| 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 | |
|---|---|
MiniView(Modeler modeler,
MiniViewPlugin parent)
Constructor. |
|
| Method Summary | |
|---|---|
void |
drawAll(java.awt.Graphics g)
|
protected void |
drawTrack(java.awt.Graphics g)
Paints the tracker rectangle of the miniview. |
protected void |
drawViews(java.awt.Graphics g)
Draws rectangles of all views of the modeler. |
java.awt.Dimension |
getMinimumSize()
|
Modeler |
getModeler()
Gets the modeler that is mapped to this mini view. |
double |
getScale()
Gets the current scale. |
void |
redraw()
Redraws the view. |
void |
repaint(int x,
int y,
int w,
int h)
|
void |
setTrackRect(java.awt.Rectangle r)
If this rectangle is set, it will be painted in the overview as gray rectangle. |
void |
stateChanged(javax.swing.event.ChangeEvent e)
|
CH.ifa.draw.framework.Tool |
tool()
|
void |
unregister()
Unregisters the miniview. |
| Methods inherited from class CH.ifa.draw.standard.StandardDrawingView |
|---|
add, addAll, addBackground, addFigureSelectionListener, addForeground, addToSelection, addToSelectionAll, addToSelectionAll, autoscroll, checkDamage, clearSelection, constrainPoint, draw, drawBackground, drawDrawing, drawHandles, drawing, drawingInvalidated, drawingRequestUpdate, editor, figureExists, findHandle, fireSelectionChanged, freezeView, getAutoscrollInsets, getConnectionFigures, getConstrainer, getDefaultDNDActions, getDisplayUpdate, getFigureSelection, getPreferredSize, handleCursorKey, insertFigures, isFigureSelected, isFocusTraversable, isInteractive, keyPressed, keyReleased, keyTyped, lastClick, paintComponent, remove, removeBackground, removeFigureSelectionListener, removeForeground, removeFromSelection, repairDamage, selection, selectionCount, selectionElements, selectionZOrdered, setConstrainer, setDisplayUpdate, setDrawing, setEditor, toggleSelection, toString, unfreezeView |
| Methods inherited from class javax.swing.JPanel |
|---|
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI |
| Methods inherited from class javax.swing.JComponent |
|---|
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getNextFocusableComponent, getPopupLocation, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update |
| Methods inherited from class java.awt.Container |
|---|
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusBackward, transferFocusDownCycle, validate, validateTree |
| Methods inherited from class java.awt.Component |
|---|
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, transferFocus, transferFocusUpCycle |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Methods inherited from interface CH.ifa.draw.framework.DrawingView |
|---|
createImage, getBackground, getGraphics, getSize, paint, setBackground, setCursor |
| Methods inherited from interface java.awt.image.ImageObserver |
|---|
imageUpdate |
| Constructor Detail |
|---|
public MiniView(Modeler modeler,
MiniViewPlugin parent)
modeler - Modeler this mini view referes toparent - Mini view plugin that holds the view| Method Detail |
|---|
public void unregister()
public void redraw()
public void drawAll(java.awt.Graphics g)
drawAll in interface CH.ifa.draw.framework.DrawingViewdrawAll in class CH.ifa.draw.standard.StandardDrawingViewStandardDrawingView.drawAll(Graphics g)protected void drawViews(java.awt.Graphics g)
g - Graphics object to paint onprotected void drawTrack(java.awt.Graphics g)
g - Graphics object to paint on
public void repaint(int x,
int y,
int w,
int h)
repaint in class java.awt.ComponentJComponent.paintImmediately(int, int, int, int)public double getScale()
public void setTrackRect(java.awt.Rectangle r)
r - The rectangle or nullpublic Modeler getModeler()
public java.awt.Dimension getMinimumSize()
getMinimumSize in interface CH.ifa.draw.framework.DrawingViewgetMinimumSize in class CH.ifa.draw.standard.StandardDrawingViewStandardDrawingView.getMinimumSize()public CH.ifa.draw.framework.Tool tool()
tool in interface CH.ifa.draw.framework.DrawingViewtool in class CH.ifa.draw.standard.StandardDrawingViewStandardDrawingView.tool()public void stateChanged(javax.swing.event.ChangeEvent e)
stateChanged in interface javax.swing.event.ChangeListenerChangeListener.stateChanged(ChangeEvent)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||