org.coode.oppl.protege.ui

Class OPPLView

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

org.protege.editor.core.ui.view.ViewComponent

org.protege.editor.owl.ui.view.AbstractOWLViewComponent

org.coode.oppl.protege.ui.OPPLView

All Implemented Interfaces:

ImageObserver, MenuContainer, Serializable, org.protege.editor.core.Disposable, org.protege.editor.core.plugin.ProtegePluginInstance, org.protege.editor.core.ui.util.InputVerificationStatusChangedListener

public final class OPPLView
extends org.protege.editor.owl.ui.view.AbstractOWLViewComponent
implements org.protege.editor.core.ui.util.InputVerificationStatusChangedListener

Author:

Luigi Iannone

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.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

Fields

Modifier and Type	Field and Description
protected ActionList	affectedAxioms
protected JScrollPane	affectedScrollPane
protected JTable	bindingTable
protected TableModel	bindingTableModel
protected JScrollPane	bindingTreeScrollPane
protected JCheckBox	considerImportClosureCheckBox
protected CopyAction	copyResultsAction
protected OPPLEditor	editor
protected JButton	evaluate
protected JButton	execute
protected org.coode.oppl.protege.ui.OPPLView.InstantiatedAxiomListModel	instantiatedAxiomListModel
protected org.protege.editor.owl.ui.list.OWLLinkedObjectList	instantiatedAxiomsList
protected JScrollPane	instantiatedScrollPane
protected org.coode.oppl.protege.ui.OPPLView.OPPLChangeDetectorSwingWorker	opplSwingWorker
protected BoundedRangeModel	progressBarModel
protected OPPLScript	statementModel
protected JButton	stopEvaluation
protected org.coode.oppl.protege.ui.OPPLView.ReasonerOPPLScriptValiator	validator
protected JDialog	window

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

Constructors

Constructor and Description
OPPLView()

Method Summary

Methods

Modifier and Type	Method and Description
protected void	disposeOWLView()
RuntimeExceptionHandler	getRuntimeExceptionHandler()
protected void	initialiseOWLView()
void	setRuntimeExceptionHandler(RuntimeExceptionHandler runtimeExceptionHandler)
protected void	setupOPPLProgressMonitor()
void	verifiedStatusChanged(boolean newState)

Methods inherited from class org.protege.editor.owl.ui.view.AbstractOWLViewComponent

dispose, getObjectToCopy, getOWLDataFactory, getOWLEditorKit, getOWLModelManager, getOWLWorkspace, handlePaste, initialise

Methods inherited from class org.protege.editor.core.ui.view.ViewComponent

addAction, addAction, getSelectionProvider, getView, getWorkspace, isPinned, isSynchronizing, setHeaderText, setup, setView

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, getBaseline, getBaselineResizeBehavior, 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, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, 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, 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, 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, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Field Detail

editor

protected OPPLEditor editor

validator

protected final org.coode.oppl.protege.ui.OPPLView.ReasonerOPPLScriptValiator validator

evaluate

protected final JButton evaluate

stopEvaluation

protected final JButton stopEvaluation

execute

protected final JButton execute

affectedAxioms

protected ActionList affectedAxioms

instantiatedAxiomListModel

protected final org.coode.oppl.protege.ui.OPPLView.InstantiatedAxiomListModel instantiatedAxiomListModel

instantiatedAxiomsList

protected org.protege.editor.owl.ui.list.OWLLinkedObjectList instantiatedAxiomsList

statementModel

protected OPPLScript statementModel

window

protected JDialog window

affectedScrollPane

protected JScrollPane affectedScrollPane

instantiatedScrollPane

protected JScrollPane instantiatedScrollPane

considerImportClosureCheckBox

protected final JCheckBox considerImportClosureCheckBox

copyResultsAction

protected final CopyAction copyResultsAction

progressBarModel

protected final BoundedRangeModel progressBarModel

bindingTableModel

protected TableModel bindingTableModel

bindingTable

protected final JTable bindingTable

bindingTreeScrollPane

protected JScrollPane bindingTreeScrollPane

opplSwingWorker

protected org.coode.oppl.protege.ui.OPPLView.OPPLChangeDetectorSwingWorker opplSwingWorker

Constructor Detail

OPPLView

public OPPLView()

Method Detail

disposeOWLView

protected void disposeOWLView()

Specified by:

disposeOWLView in class org.protege.editor.owl.ui.view.AbstractOWLViewComponent

initialiseOWLView

protected void initialiseOWLView()

Specified by:

initialiseOWLView in class org.protege.editor.owl.ui.view.AbstractOWLViewComponent

setupOPPLProgressMonitor

protected final void setupOPPLProgressMonitor()

verifiedStatusChanged

public void verifiedStatusChanged(boolean newState)

Specified by:

verifiedStatusChanged in interface org.protege.editor.core.ui.util.InputVerificationStatusChangedListener

getRuntimeExceptionHandler

public RuntimeExceptionHandler getRuntimeExceptionHandler()

Returns:

the runtimeExceptionHandler

setRuntimeExceptionHandler

public void setRuntimeExceptionHandler(RuntimeExceptionHandler runtimeExceptionHandler)

Parameters:

runtimeExceptionHandler - the runtimeExceptionHandler to set