Protege 4.1.0

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

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by javax.swing.JComponent
              extended by 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()

Protege 4.1.0

Submit a bug report or feature request

For further API reference and developer documentation, see Protege 4 Developer Documentation.

Copyright © 2010 Stanford Center for Biomedical Informatics Research