org.basex.gui.view
Class View

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by javax.swing.JComponent
              extended by javax.swing.JPanel
                  extended by org.basex.gui.layout.BaseXBack
                      extended by org.basex.gui.layout.BaseXPanel
                          extended by org.basex.gui.view.View
All Implemented Interfaces:
java.awt.event.ComponentListener, java.awt.event.KeyListener, java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.event.MouseWheelListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible
Direct Known Subclasses:
InfoView, MapView, PlotView, QueryView, RealView, TableView, TextView, TreeView

public abstract class View
extends BaseXPanel

View observer pattern. All inheriting classes are attached to the views array

Author:
Workgroup DBIS, University of Konstanz 2005-08, ISC License, Christian Gruen
See Also:
Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class javax.swing.JComponent
javax.swing.JComponent.AccessibleJComponent
 
Nested classes/interfaces inherited from class java.awt.Component
java.awt.Component.BaselineResizeBehavior
 
Field Summary
static int focused
          Currently focused node (pre value).
static int[] ftPoi
          Current FTPointer on FTPrePos values.
static int[][] ftPos
          Current FTPrePos values.
static int hist
          History pointer.
static Nodes[] MARKHIST
          Zoomed rectangle history.
static int maxhist
          Maximum history value.
static int MAXHIST
          Maximum history size.
static Nodes[] NODEHIST
          Zoomed rectangle history.
static boolean painting
          Painting flag.
static java.lang.String[] QUERYHIST
          Command history.
static boolean working
          Working flag.
 
Fields inherited from class javax.swing.JComponent
TOOL_TIP_TEXT_KEY, 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
 
Method Summary
 void keyPressed(java.awt.event.KeyEvent e)
           
 void mouseEntered(java.awt.event.MouseEvent e)
           
 void mouseExited(java.awt.event.MouseEvent e)
           
 void mousePressed(java.awt.event.MouseEvent e)
           
static void notifyContext(Nodes nodes, boolean quick, View vw)
          Notifies all views of a context change.
static void notifyFocus(int pre, View vw)
          Notifies all views of a focus change.
static void notifyHist(boolean forward)
          Moves around in the internal history and notifies all views of a context change.
static void notifyInit()
          Notifies all views of a data reference change.
static void notifyLayout()
          Notifies all views of layout changes.
static void notifyMark(int mode, View vw)
          Notifies all views of a selection change.
static void notifyMark(Nodes mark, View vw)
          Notifies all views of a selection change.
static void notifySwitch(Nodes nodes)
          Notifies all views of a context switch without storing nodes in the history.
static void notifyUpdate()
          Notifies all views of updates in the data structure.
 java.lang.String toString()
           
 
Methods inherited from class org.basex.gui.layout.BaseXPanel
componentHidden, componentMoved, componentResized, componentShown, keyReleased, keyTyped, mouseClicked, mouseDragged, mouseMoved, mouseReleased, mouseWheelMoved
 
Methods inherited from class org.basex.gui.layout.BaseXBack
paintComponent, setBorder, setMode
 
Methods inherited from class javax.swing.JPanel
getAccessibleContext, getUI, getUIClassID, setUI, updateUI
 
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, 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, paintImmediately, paintImmediately, print, printAll, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, 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, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, 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, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusBackward, transferFocusDownCycle, validate
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, contains, createImage, createImage, createVolatileImage, createVolatileImage, dispatchEvent, enable, enableInputMethods, 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, isFocusTraversable, 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, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, 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
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

MAXHIST

public static final int MAXHIST
Maximum history size.

See Also:
Constant Field Values

MARKHIST

public static final Nodes[] MARKHIST
Zoomed rectangle history.


NODEHIST

public static final Nodes[] NODEHIST
Zoomed rectangle history.


QUERYHIST

public static final java.lang.String[] QUERYHIST
Command history.


hist

public static int hist
History pointer.


maxhist

public static int maxhist
Maximum history value.


painting

public static boolean painting
Painting flag.


working

public static boolean working
Working flag.


focused

public static int focused
Currently focused node (pre value).


ftPos

public static int[][] ftPos
Current FTPrePos values.


ftPoi

public static int[] ftPoi
Current FTPointer on FTPrePos values.

Method Detail

notifyInit

public static void notifyInit()
Notifies all views of a data reference change.


notifyFocus

public static void notifyFocus(int pre,
                               View vw)
Notifies all views of a focus change.

Parameters:
pre - focused pre value
vw - the calling view

notifyMark

public static void notifyMark(Nodes mark,
                              View vw)
Notifies all views of a selection change.

Parameters:
mark - marked nodes
vw - the calling view

notifyMark

public static void notifyMark(int mode,
                              View vw)
Notifies all views of a selection change. The mode flag determines what happens:
  • 0: set currently focused node as marked node
  • 1: add currently focused node
  • 2: toggle currently focused node
  • Parameters:
    mode - mark mode
    vw - the calling view

    notifyHist

    public static void notifyHist(boolean forward)
    Moves around in the internal history and notifies all views of a context change.

    Parameters:
    forward - move forward or backward

    notifyContext

    public static void notifyContext(Nodes nodes,
                                     boolean quick,
                                     View vw)
    Notifies all views of a context change.

    Parameters:
    nodes - new context set
    quick - quick switch
    vw - the calling view

    notifySwitch

    public static void notifySwitch(Nodes nodes)
    Notifies all views of a context switch without storing nodes in the history.

    Parameters:
    nodes - new context nodes

    notifyUpdate

    public static void notifyUpdate()
    Notifies all views of updates in the data structure.


    notifyLayout

    public static void notifyLayout()
    Notifies all views of layout changes.


    mouseEntered

    public void mouseEntered(java.awt.event.MouseEvent e)
    Specified by:
    mouseEntered in interface java.awt.event.MouseListener
    Overrides:
    mouseEntered in class BaseXPanel

    mouseExited

    public void mouseExited(java.awt.event.MouseEvent e)
    Specified by:
    mouseExited in interface java.awt.event.MouseListener
    Overrides:
    mouseExited in class BaseXPanel

    mousePressed

    public void mousePressed(java.awt.event.MouseEvent e)
    Specified by:
    mousePressed in interface java.awt.event.MouseListener
    Overrides:
    mousePressed in class BaseXPanel

    keyPressed

    public void keyPressed(java.awt.event.KeyEvent e)
    Specified by:
    keyPressed in interface java.awt.event.KeyListener
    Overrides:
    keyPressed in class BaseXPanel

    toString

    public final java.lang.String toString()
    Overrides:
    toString in class java.awt.Component