it.polito.elite.ontosphere3dplugin
Class PropertyView

java.lang.Object
  extended by org.eclipse.core.commands.common.EventManager
      extended by org.eclipse.ui.part.WorkbenchPart
          extended by org.eclipse.ui.part.ViewPart
              extended by it.polito.elite.ontosphere3dplugin.PropertyView
All Implemented Interfaces:
org.eclipse.core.runtime.IAdaptable, org.eclipse.core.runtime.IExecutableExtension, 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

public class PropertyView
extends org.eclipse.ui.part.ViewPart


Field Summary
private  org.eclipse.swt.widgets.TableColumn domain
           
private  org.eclipse.swt.widgets.TableColumn hasInverse
           
static java.lang.String ID_VIEW
           
private  org.eclipse.swt.graphics.Image imageNOK
           
private  org.eclipse.swt.graphics.Image imageOK
           
private  org.eclipse.swt.widgets.TableColumn range
           
private  org.eclipse.swt.widgets.TableColumn relation
           
private  org.eclipse.swt.widgets.Table table
           
static PropertyView theInstance
           
 
Fields inherited from interface org.eclipse.ui.IWorkbenchPart
PROP_TITLE
 
Constructor Summary
PropertyView()
           
 
Method Summary
 void createPartControl(org.eclipse.swt.widgets.Composite parent)
           
 void setFocus()
           
 void updateView(KnowledgeBaseModel model)
           
 
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, dispose, 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, dispose, getSite, getTitle, getTitleImage, getTitleToolTip, removePropertyListener
 
Methods inherited from interface org.eclipse.core.runtime.IAdaptable
getAdapter
 

Field Detail

domain

private org.eclipse.swt.widgets.TableColumn domain

hasInverse

private org.eclipse.swt.widgets.TableColumn hasInverse

ID_VIEW

public static final java.lang.String ID_VIEW
See Also:
Constant Field Values

imageNOK

private org.eclipse.swt.graphics.Image imageNOK

imageOK

private org.eclipse.swt.graphics.Image imageOK

range

private org.eclipse.swt.widgets.TableColumn range

relation

private org.eclipse.swt.widgets.TableColumn relation

table

private org.eclipse.swt.widgets.Table table

theInstance

public static PropertyView theInstance
Constructor Detail

PropertyView

public PropertyView()
Method Detail

createPartControl

public void createPartControl(org.eclipse.swt.widgets.Composite parent)
Specified by:
createPartControl in interface org.eclipse.ui.IWorkbenchPart
Specified by:
createPartControl in class org.eclipse.ui.part.WorkbenchPart

setFocus

public void setFocus()
Specified by:
setFocus in interface org.eclipse.ui.IWorkbenchPart
Specified by:
setFocus in class org.eclipse.ui.part.WorkbenchPart

updateView

public void updateView(KnowledgeBaseModel model)