org.coode.oppl.protege.ui

Class OPPLMacroView

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

All Implemented Interfaces:

ImageObserver, MenuContainer, Serializable, EventListener, ListDataListener, OPPLMacroListener, org.protege.editor.core.Disposable, org.protege.editor.core.plugin.ProtegePluginInstance, org.semanticweb.owlapi.model.OWLOntologyChangeListener

public class OPPLMacroView
extends org.protege.editor.owl.ui.view.AbstractOWLViewComponent
implements org.semanticweb.owlapi.model.OWLOntologyChangeListener, ListDataListener, OPPLMacroListener

View that allows to record macros in OPPL

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 ConstraintSystem	constraintSystem
protected JButton	recordButton
protected ActionList	recordedActions
protected JButton	stopButton
protected VariableList	variableList

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
OPPLMacroView()

Method Summary

Methods

Modifier and Type	Method and Description
void	contentsChanged(ListDataEvent e)
protected void	disposeOWLView()
ConstraintSystem	getConstraintSystem()
RuntimeExceptionHandler	getRuntimeExceptionHandler()
void	handleDeletedVariable(Variable<?> variable) Handles the notification that a Variable has been deleted from the OPPLMacro
void	handleGeneralisedOWLObject(Variable<?> variable) Handles the notification that an entity has been genearlised as a new Variable
void	handleGeneralisedOWLObject(Variable<?> variable, org.semanticweb.owlapi.model.OWLObject owlObject) Handles the notification that an entity has been generalised and assigned to an existing Variable
void	initialiseOWLView()
void	intervalAdded(ListDataEvent e)
void	intervalRemoved(ListDataEvent e)
void	ontologiesChanged(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)

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

recordedActions

protected ActionList recordedActions

variableList

protected VariableList variableList

recordButton

protected JButton recordButton

stopButton

protected JButton stopButton

constraintSystem

protected ConstraintSystem constraintSystem

Constructor Detail

OPPLMacroView

public OPPLMacroView()

Method Detail

initialiseOWLView

public void initialiseOWLView()

Specified by:

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

disposeOWLView

protected void disposeOWLView()

Specified by:

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

ontologiesChanged

public void ontologiesChanged(List<? extends org.semanticweb.owlapi.model.OWLOntologyChange> changes)
                       throws org.semanticweb.owlapi.model.OWLException

Specified by:

ontologiesChanged in interface org.semanticweb.owlapi.model.OWLOntologyChangeListener

Throws:

org.semanticweb.owlapi.model.OWLException

contentsChanged

public void contentsChanged(ListDataEvent e)

Specified by:

contentsChanged in interface ListDataListener

intervalAdded

public void intervalAdded(ListDataEvent e)

Specified by:

intervalAdded in interface ListDataListener

intervalRemoved

public void intervalRemoved(ListDataEvent e)

Specified by:

intervalRemoved in interface ListDataListener

handleGeneralisedOWLObject

public void handleGeneralisedOWLObject(Variable<?> variable)

Description copied from interface: OPPLMacroListener

Handles the notification that an entity has been genearlised as a new Variable

Specified by:

handleGeneralisedOWLObject in interface OPPLMacroListener

Parameters:

variable - variable

handleDeletedVariable

public void handleDeletedVariable(Variable<?> variable)

Description copied from interface: OPPLMacroListener

Handles the notification that a Variable has been deleted from the OPPLMacro

Specified by:

handleDeletedVariable in interface OPPLMacroListener

Parameters:

variable - variable

handleGeneralisedOWLObject

public void handleGeneralisedOWLObject(Variable<?> variable,
                              org.semanticweb.owlapi.model.OWLObject owlObject)

Description copied from interface: OPPLMacroListener

Handles the notification that an entity has been generalised and assigned to an existing Variable

Specified by:

handleGeneralisedOWLObject in interface OPPLMacroListener

Parameters:

variable - variable

owlObject - owlObject

getConstraintSystem

public ConstraintSystem getConstraintSystem()

Returns:

the constraintSystem

getRuntimeExceptionHandler

public RuntimeExceptionHandler getRuntimeExceptionHandler()

Returns:

the runtimeExceptionHandler