edu.stanford.smi.protegex.owl.ui.code
Class OWLSymbolPanel

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  edu.stanford.smi.protegex.owl.ui.code.SymbolPanel
                      edu.stanford.smi.protegex.owl.ui.code.OWLSymbolPanel

All Implemented Interfaces:

Accessible, ImageObserver, MenuContainer, Serializable, SymbolErrorDisplay

public class OWLSymbolPanel

extends SymbolPanel

A JPanel hosting buttons that accellerate editing of OWL expressions.

Author:

Holger Knublauch

See Also:

Serialized Form

Nested Class Summary

Nested classes inherited from class edu.stanford.smi.protegex.owl.ui.code.SymbolPanel

Nested classes inherited from class javax.swing.JPanel

JPanel.AccessibleJPanel

Nested classes inherited from class javax.swing.JComponent

JComponent.AccessibleJComponent

Nested classes inherited from class java.awt.Container

Container.AccessibleAWTContainer

Nested classes inherited from class java.awt.Component

Component.AccessibleAWTComponent, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

private Action	allValuesFromAction
private Action	cardinalityAction
private Action	complementOfAction
private Action	enumerationAction
private Action	falseAction
private Action	hasValueAction
private Action	intersectionOfAction
private Action	maxCardinalityAction
private Action	minCardinalityAction
private ResourceSelectionAction	rdfDatatypeAction
private Action	roundBracketsAction
private Action	someValuesFromAction
private Action	trueAction
private Action	unionOfAction

Fields inherited from class edu.stanford.smi.protegex.owl.ui.code.SymbolPanel

classAction, individiualAction, propertyAction

Fields inherited from class javax.swing.JPanel

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.Container

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

OWLSymbolPanel(OWLModel owlModel, boolean closable)

OWLSymbolPanel(OWLModel owlModel, boolean closable, boolean draggable)

Method Summary

void	enableActions(boolean clses, boolean instances)
void	enableActions(boolean clses, boolean instances, boolean datatypes, boolean booleans)
void	enableActions(edu.stanford.smi.protege.model.Slot slot, edu.stanford.smi.protege.model.Cls restrictionsMetaCls)
String	getDisplayErrorMessage(Throwable ex)
protected void	initMiddleBar(JToolBar middleBar)
protected void	initTopBar(JToolBar topBar)
void	setEnabled(boolean enabled)

Methods inherited from class edu.stanford.smi.protegex.owl.ui.code.SymbolPanel

addAction, addButton, displayError, displayError, getOWLModel, getSymbolEditor, insertCls, insertIndividual, insertSlot, setErrorFlag, setSymbolEditor

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

Methods inherited from class javax.swing.JComponent

addAncestorListener, addNotify, addPropertyChangeListener, addPropertyChangeListener, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, getComponentGraphics, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getGraphics, getHeight, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPreferredSize, getPropertyChangeListeners, getPropertyChangeListeners, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isDoubleBuffered, isLightweightComponent, isManagingFocus, isMaximumSizeSet, isMinimumSizeSet, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isPreferredSizeSet, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removePropertyChangeListener, removePropertyChangeListener, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setFont, setForeground, 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, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setFocusCycleRoot, setFocusTraversalKeys, setFocusTraversalPolicy, 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, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, 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, processMouseEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, 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

allValuesFromAction

private Action allValuesFromAction

cardinalityAction

private Action cardinalityAction

complementOfAction

private Action complementOfAction

enumerationAction

private Action enumerationAction

rdfDatatypeAction

private ResourceSelectionAction rdfDatatypeAction

falseAction

private Action falseAction

hasValueAction

private Action hasValueAction

intersectionOfAction

private Action intersectionOfAction

maxCardinalityAction

private Action maxCardinalityAction

minCardinalityAction

private Action minCardinalityAction

roundBracketsAction

private Action roundBracketsAction

someValuesFromAction

private Action someValuesFromAction

trueAction

private Action trueAction

unionOfAction

private Action unionOfAction

Constructor Detail

OWLSymbolPanel

public OWLSymbolPanel(OWLModel owlModel,
                      boolean closable)

OWLSymbolPanel

public OWLSymbolPanel(OWLModel owlModel,
                      boolean closable,
                      boolean draggable)

Method Detail

enableActions

public void enableActions(edu.stanford.smi.protege.model.Slot slot,
                          edu.stanford.smi.protege.model.Cls restrictionsMetaCls)

enableActions

public void enableActions(boolean clses,
                          boolean instances)

Overrides:

enableActions in class SymbolPanel

enableActions

public void enableActions(boolean clses,
                          boolean instances,
                          boolean datatypes,
                          boolean booleans)

getDisplayErrorMessage

public String getDisplayErrorMessage(Throwable ex)

Specified by:

getDisplayErrorMessage in class SymbolPanel

initMiddleBar

protected void initMiddleBar(JToolBar middleBar)

Overrides:

initMiddleBar in class SymbolPanel

initTopBar

protected void initTopBar(JToolBar topBar)

Specified by:

initTopBar in class SymbolPanel

setEnabled

public void setEnabled(boolean enabled)

Overrides:

setEnabled in class SymbolPanel