org.basex.gui
Class GUI

java.lang.Object
  java.awt.Component
      java.awt.Container
          java.awt.Window
              java.awt.Frame
                  javax.swing.JFrame
                      org.basex.gui.GUI

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants

public final class GUI
extends javax.swing.JFrame

This class is the main window of the GUI. It is the central instance for user interactions.

Author:

Workgroup DBIS, University of Konstanz 2005-09, ISC License, Christian Gruen

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class java.awt.Component

java.awt.Component.BaselineResizeBehavior

Field Summary

Context	context Database Context.
BaseXButton	filter Filter button.
int	focused Currently focused node (pre value).
boolean	fullscreen Fullscreen flag.
DialogHelp	help Help dialog.
GUIInput	input Input field.
ViewNotifier	notify View Manager.
boolean	painting Painting flag.
GUIProp	prop GUI properties.
XQueryView	query Search view.
GUIStatus	status Status line.
boolean	updating Working flag.
ViewContainer	views Content panel, containing all views.

Fields inherited from class javax.swing.JFrame

EXIT_ON_CLOSE

Fields inherited from class java.awt.Frame

CROSSHAIR_CURSOR, DEFAULT_CURSOR, E_RESIZE_CURSOR, HAND_CURSOR, ICONIFIED, MAXIMIZED_BOTH, MAXIMIZED_HORIZ, MAXIMIZED_VERT, MOVE_CURSOR, N_RESIZE_CURSOR, NE_RESIZE_CURSOR, NORMAL, NW_RESIZE_CURSOR, S_RESIZE_CURSOR, SE_RESIZE_CURSOR, SW_RESIZE_CURSOR, TEXT_CURSOR, W_RESIZE_CURSOR, WAIT_CURSOR

Fields inherited from class java.awt.Component

BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

Fields inherited from interface javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

GUI(Context ctx, GUIProp gprops)
Default constructor.

Method Summary

void	cursor(java.awt.Cursor c) Sets a cursor.
void	cursor(java.awt.Cursor c, boolean force) Sets a cursor, forcing a new look if necessary.
void	dispose()
void	execute(Process pr) Launches the specified process in a thread.
void	fullscreen() Turns fullscreen mode on/off.
void	fullscreen(boolean full) Turns fullscreen mode on/off.
void	layoutViews() Updates the view layout.
void	refreshControls() Refreshes the menu and the buttons.
void	setHits(long n) Sets hits information.
void	stop() Stops the current process.
void	updateLayout() Refreshes the layout.
void	xquery(java.lang.String qu, boolean main) Launches an XQuery.

Methods inherited from class javax.swing.JFrame

getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setIconImage, setJMenuBar, setLayeredPane, setLayout, setTransferHandler, update

Methods inherited from class java.awt.Frame

addNotify, getCursorType, getExtendedState, getFrames, getIconImage, getMaximizedBounds, getMenuBar, getState, getTitle, isResizable, isUndecorated, remove, removeNotify, setCursor, setExtendedState, setMaximizedBounds, setMenuBar, setResizable, setState, setTitle, setUndecorated

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOwnedWindows, getOwner, getOwnerlessWindows, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, hide, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isShowing, pack, postEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImages, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setVisible, show, toBack, toFront

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, 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, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, dispatchEvent, enable, enable, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isPreferredSizeSet, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, requestFocus, requestFocusInWindow, resize, resize, setBackground, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.awt.MenuContainer

getFont, postEvent

Field Detail

context

public final Context context

Database Context.

prop

public final GUIProp prop

GUI properties.

notify

public final ViewNotifier notify

View Manager.

status

public final GUIStatus status

Status line.

views

public final ViewContainer views

Content panel, containing all views.

input

public final GUIInput input

Input field.

filter

public final BaseXButton filter

Filter button.

query

public final XQueryView query

Search view.

fullscreen

public boolean fullscreen

Fullscreen flag.

help

public DialogHelp help

Help dialog.

painting

public boolean painting

Painting flag.

updating

public boolean updating

Working flag.

focused

public int focused

Currently focused node (pre value).

Constructor Detail

GUI

public GUI(Context ctx,
           GUIProp gprops)

Default constructor.

Parameters:

ctx - context reference

gprops - gui properties

Method Detail

dispose

public void dispose()

Overrides:

dispose in class java.awt.Window

cursor

public void cursor(java.awt.Cursor c)

Sets a cursor.

Parameters:

c - cursor to be set

cursor

public void cursor(java.awt.Cursor c,
                   boolean force)

Sets a cursor, forcing a new look if necessary.

Parameters:

c - cursor to be set

force - new cursor

xquery

public void xquery(java.lang.String qu,
                   boolean main)

Launches an XQuery. Adds the default namespace, if available.

Parameters:

qu - query to be run

main - main window

execute

public void execute(Process pr)

Launches the specified process in a thread. The process is ignored if an update operation takes place.

Parameters:

pr - process to be launched

stop

public void stop()

Stops the current process.

updateLayout

public void updateLayout()

Refreshes the layout.

layoutViews

public void layoutViews()

Updates the view layout.

refreshControls

public void refreshControls()

Refreshes the menu and the buttons.

setHits

public void setHits(long n)

Sets hits information.

Parameters:

n - number of hits

fullscreen

public void fullscreen()

Turns fullscreen mode on/off.

fullscreen

public void fullscreen(boolean full)

Turns fullscreen mode on/off.

Parameters:

full - fullscreen mode