org.topbraidcomposer.navigation.inferences.explanations
Class InferencesExplanationsView

java.lang.Object
  org.eclipse.core.commands.common.EventManager
      org.eclipse.ui.part.WorkbenchPart
          org.eclipse.ui.part.ViewPart
              org.topbraidcomposer.ui.views.AbstractView
                  org.topbraidcomposer.navigation.inferences.explanations.InferencesExplanationsView

All Implemented Interfaces:

java.util.EventListener, org.eclipse.core.runtime.IAdaptable, org.eclipse.core.runtime.IExecutableExtension, org.eclipse.swt.browser.LocationListener, org.eclipse.swt.internal.SWTEventListener, org.eclipse.ui.IPersistable, org.eclipse.ui.IViewPart, org.eclipse.ui.IWorkbenchPart, org.eclipse.ui.IWorkbenchPart2, org.eclipse.ui.IWorkbenchPart3, org.eclipse.ui.part.IWorkbenchPartOrientation, IChangeEngineListener, IModelSelectionListener, IHTMLTags, IRefreshableView, IRefreshableWorkbenchPart

public class InferencesExplanationsView
extends AbstractView
implements IChangeEngineListener, IModelSelectionListener, org.eclipse.swt.browser.LocationListener, IRefreshableView, IHTMLTags

Field Summary

static java.util.Map<aterm.AFun,com.hp.hpl.jena.rdf.model.Resource>

FUNS

Fields inherited from interface org.topbraidcomposer.navigation.inferences.explanations.IHTMLTags

A, BR, H4, HREF, HTML, P, SMALL, SPAN, STYLE

Fields inherited from interface org.eclipse.ui.IWorkbenchPart

PROP_TITLE

Constructor Summary

InferencesExplanationsView()

Method Summary

void	changed(org.eclipse.swt.browser.LocationEvent event)
void	changeOperationPerformed(ChangeOperation operation, boolean undone) Notifies the receiver that changes to one or more Graphs have been performed.
void	changing(org.eclipse.swt.browser.LocationEvent event)
protected void	createMainControls(org.eclipse.swt.widgets.Composite parent)
void	dispose()
static org.mindswap.pellet.KnowledgeBase	explainStatement(com.hp.hpl.jena.rdf.model.Statement statement)
void	graphChangePerformed() Notifies the receiver that a global change to the current model has been performed.
void	graphDirty(com.hp.hpl.jena.graph.Graph graph) Called when a Graph has been set to dirty.
void	modelSelectionChanged() Called by the ModelSelection singleton after the currently selected model has changed.
void	refresh(com.hp.hpl.jena.rdf.model.Statement statement)
void	refreshView(java.lang.Object input) Refreshes a view with an input
void	refreshWorkbenchPart(boolean structural) Refreshs the part from the currently selected model and settings.
void	setFocus()

Methods inherited from class org.topbraidcomposer.ui.views.AbstractView

asyncExec, close, createPartControl, focusResourceEditor

Methods inherited from class org.eclipse.ui.part.ViewPart

checkSite, getViewSite, init, init, saveState, setContentDescription, setInitializationData, setPartName

Methods inherited from class org.eclipse.ui.part.WorkbenchPart

addPartPropertyListener, addPropertyListener, firePartPropertyChanged, firePropertyChange, getAdapter, getConfigurationElement, getContentDescription, getDefaultImage, getOrientation, getPartName, getPartProperties, getPartProperty, getSite, getTitle, getTitleImage, getTitleToolTip, removePartPropertyListener, removePropertyListener, setPartProperty, setSite, setTitle, setTitleImage, setTitleToolTip, showBusy

Methods inherited from class org.eclipse.core.commands.common.EventManager

addListenerObject, clearListeners, getListeners, isListenerAttached, removeListenerObject

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.ui.IWorkbenchPart

addPropertyListener, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener

Methods inherited from interface org.eclipse.core.runtime.IAdaptable

getAdapter

Field Detail

FUNS

public static final java.util.Map<aterm.AFun,com.hp.hpl.jena.rdf.model.Resource> FUNS

Constructor Detail

InferencesExplanationsView

public InferencesExplanationsView()

Method Detail

explainStatement

public static org.mindswap.pellet.KnowledgeBase explainStatement(com.hp.hpl.jena.rdf.model.Statement statement)

changed

public void changed(org.eclipse.swt.browser.LocationEvent event)

Specified by:

changed in interface org.eclipse.swt.browser.LocationListener

changeOperationPerformed

public void changeOperationPerformed(ChangeOperation operation,
                                     boolean undone)

Description copied from interface: IChangeEngineListener

Notifies the receiver that changes to one or more Graphs have been performed.

Specified by:

changeOperationPerformed in interface IChangeEngineListener

Parameters:

operation - the ModelOperation that was executed, redone or undone

undone - true if the operation has been undone

changing

public void changing(org.eclipse.swt.browser.LocationEvent event)

Specified by:

changing in interface org.eclipse.swt.browser.LocationListener

createMainControls

protected void createMainControls(org.eclipse.swt.widgets.Composite parent)

Specified by:

createMainControls in class AbstractView

dispose

public void dispose()

Specified by:

dispose in interface org.eclipse.ui.IWorkbenchPart

Overrides:

dispose in class org.eclipse.ui.part.WorkbenchPart

graphChangePerformed

public void graphChangePerformed()

Description copied from interface: IChangeEngineListener

Notifies the receiver that a global change to the current model has been performed. This is typically called when new sub-Graphs have been added or removed, allowing the receiver to do a complete refresh.

Specified by:

graphChangePerformed in interface IChangeEngineListener

graphDirty

public void graphDirty(com.hp.hpl.jena.graph.Graph graph)

Description copied from interface: IChangeEngineListener

Called when a Graph has been set to dirty.

Specified by:

graphDirty in interface IChangeEngineListener

Parameters:

graph - the Graph that has changed

modelSelectionChanged

public void modelSelectionChanged()

Description copied from interface: IModelSelectionListener

Called by the ModelSelection singleton after the currently selected model has changed.

Specified by:

modelSelectionChanged in interface IModelSelectionListener

refresh

public void refresh(com.hp.hpl.jena.rdf.model.Statement statement)

refreshView

public void refreshView(java.lang.Object input)

Description copied from interface: IRefreshableView

Refreshes a view with an input

Specified by:

refreshView in interface IRefreshableView

refreshWorkbenchPart

public void refreshWorkbenchPart(boolean structural)

Description copied from interface: IRefreshableWorkbenchPart

Refreshs the part from the currently selected model and settings. This should for example rebuild the whole tree, table or whatever else to ensure that the current state of the model is displayed.

Specified by:

refreshWorkbenchPart in interface IRefreshableWorkbenchPart

Parameters:

structural - true to completely rebuild everything, in response to structural changes - false may only refresh icons and labels.

setFocus

public void setFocus()

Specified by:

setFocus in interface org.eclipse.ui.IWorkbenchPart

Specified by:

setFocus in class org.eclipse.ui.part.WorkbenchPart