public final class OPPLView
extends org.protege.editor.owl.ui.view.AbstractOWLViewComponent
implements org.protege.editor.core.ui.util.InputVerificationStatusChangedListener
JComponent.AccessibleJComponentContainer.AccessibleAWTContainerComponent.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy| 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 |
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOWBOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENTABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH| Constructor and Description |
|---|
OPPLView() |
| 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) |
dispose, getObjectToCopy, getOWLDataFactory, getOWLEditorKit, getOWLModelManager, getOWLWorkspace, handlePaste, initialiseaddAction, addAction, getSelectionProvider, getView, getWorkspace, isPinned, isSynchronizing, setHeaderText, setup, setViewaddAncestorListener, 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, updateUIadd, 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, validateTreeaction, 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, transferFocusUpCycleprotected OPPLEditor editor
protected final org.coode.oppl.protege.ui.OPPLView.ReasonerOPPLScriptValiator validator
protected final JButton evaluate
protected final JButton stopEvaluation
protected final JButton execute
protected ActionList affectedAxioms
protected final org.coode.oppl.protege.ui.OPPLView.InstantiatedAxiomListModel instantiatedAxiomListModel
protected org.protege.editor.owl.ui.list.OWLLinkedObjectList instantiatedAxiomsList
protected OPPLScript statementModel
protected JDialog window
protected JScrollPane affectedScrollPane
protected JScrollPane instantiatedScrollPane
protected final JCheckBox considerImportClosureCheckBox
protected final CopyAction copyResultsAction
protected final BoundedRangeModel progressBarModel
protected TableModel bindingTableModel
protected final JTable bindingTable
protected JScrollPane bindingTreeScrollPane
protected org.coode.oppl.protege.ui.OPPLView.OPPLChangeDetectorSwingWorker opplSwingWorker
protected void disposeOWLView()
disposeOWLView in class org.protege.editor.owl.ui.view.AbstractOWLViewComponentprotected void initialiseOWLView()
initialiseOWLView in class org.protege.editor.owl.ui.view.AbstractOWLViewComponentprotected final void setupOPPLProgressMonitor()
public void verifiedStatusChanged(boolean newState)
verifiedStatusChanged in interface org.protege.editor.core.ui.util.InputVerificationStatusChangedListenerpublic RuntimeExceptionHandler getRuntimeExceptionHandler()
public void setRuntimeExceptionHandler(RuntimeExceptionHandler runtimeExceptionHandler)
runtimeExceptionHandler - the runtimeExceptionHandler to setCopyright © 2014 The University of Manchester. All Rights Reserved.