org.protege.editor.core.ui.workspace
Class Workspace

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              org.protege.editor.core.ui.workspace.Workspace

All Implemented Interfaces:

ImageObserver, MenuContainer, Serializable, Disposable

Direct Known Subclasses:

TabbedWorkspace

public abstract class Workspace
extends JComponent
implements Disposable

Author: Matthew Horridge
The University Of Manchester
Medical Informatics Group
Date: Mar 15, 2006

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

A Workspace is a UI component that presents a view on an EditorKit.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JComponent

JComponent.AccessibleJComponent

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

Container.AccessibleAWTContainer

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

Component.AccessibleAWTComponent, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

static int	BOTTOM_RESULTS_VIEW
static String	FILE_MENU_NAME
static int	LEFT_RESULTS_VIEW
static org.apache.log4j.Logger	LOGGER
static String	RESULT_PANE_ID
static String	WINDOW_MENU_NAME

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

Workspace()

Method Summary

void	changeFontSize(int delta)
void	dispose()
EditorKit	getEditorKit() Gets the EditorKit that this Workspace belongs to.
int	getFontSize()
abstract JComponent	getStatusArea()
protected String	getTitle()
WorkspaceViewManager	getViewManager()
protected void	initialiseExtraMenuItems(JMenuBar menuBar)
void	save()
protected void	setContent(JComponent component)
void	setup(EditorKit editorKit) This method is called by the system to set up the Workspace (with references to the EditorKit etc.)
View	showResultsView(String id, boolean replace, int location)
void	showResultsView(String id, String headerLabel, Color headerColor, ViewComponent viewComponent, boolean replace, int location)
View	showResultsView(ViewComponentPlugin plugin, boolean replace, int location)

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getAccessibleContext, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, 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, getUIClassID, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, paramString, 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, updateUI

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, 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, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, 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, toString, transferFocus, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

BOTTOM_RESULTS_VIEW

public static final int BOTTOM_RESULTS_VIEW

See Also:

Constant Field Values

LEFT_RESULTS_VIEW

public static final int LEFT_RESULTS_VIEW

See Also:

Constant Field Values

LOGGER

public static final org.apache.log4j.Logger LOGGER

FILE_MENU_NAME

public static final String FILE_MENU_NAME

See Also:

Constant Field Values

WINDOW_MENU_NAME

public static final String WINDOW_MENU_NAME

See Also:

Constant Field Values

RESULT_PANE_ID

public static final String RESULT_PANE_ID

See Also:

Constant Field Values

Constructor Detail

Workspace

public Workspace()

Method Detail

setup

public void setup(EditorKit editorKit)

This method is called by the system to set up the Workspace (with references to the EditorKit etc.)

Parameters:

editorKit - The EditorKit that this Workspace belongs to.

getFontSize

public int getFontSize()

changeFontSize

public void changeFontSize(int delta)

initialiseExtraMenuItems

protected void initialiseExtraMenuItems(JMenuBar menuBar)

setContent

protected void setContent(JComponent component)

getEditorKit

public EditorKit getEditorKit()

Gets the EditorKit that this Workspace belongs to.

getViewManager

public WorkspaceViewManager getViewManager()

getStatusArea

public abstract JComponent getStatusArea()

showResultsView

public void showResultsView(String id,
                            String headerLabel,
                            Color headerColor,
                            ViewComponent viewComponent,
                            boolean replace,
                            int location)

showResultsView

public View showResultsView(String id,
                            boolean replace,
                            int location)

showResultsView

public View showResultsView(ViewComponentPlugin plugin,
                            boolean replace,
                            int location)

save

public void save()
          throws Exception

Throws:

Exception

dispose

public void dispose()

Specified by:

dispose in interface Disposable

getTitle

protected String getTitle()