org.eclipse.palamedes.ui.pages.knowledgebase
Class KBPage

java.lang.Object
  org.eclipse.ui.part.Page
      org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBasePage
          org.eclipse.palamedes.ui.pages.knowledgebase.KBPage

All Implemented Interfaces:

org.eclipse.jface.text.IDocumentListener, org.eclipse.jface.viewers.ISelectionChangedListener, org.eclipse.jface.viewers.ISelectionProvider, IKnowledgeBasePage, org.eclipse.ui.part.IPage, org.eclipse.ui.part.IPageBookViewPage

public class KBPage
extends KnowledgeBasePage
implements org.eclipse.jface.text.IDocumentListener

Field Summary

protected org.eclipse.palamedes.ui.pages.knowledgebase.KBPage.CPCAction	cpcAction
static int	F_EnvironmentLookup
static int	F_GDL
static int	F_ImplicationBody
static int	F_ImplicationHeads
static int	F_TopLevelNodes
protected GDLKnowledgeBase	fInput
protected SourceCodeEditor	fTextEditor

Constructor Summary

KBPage(SourceCodeEditor editor)

Method Summary

void	createControl(org.eclipse.swt.widgets.Composite parent) The KnowledgeBasePage implementation of this IKnowledgeBasePage method creates a tree viewer.
void	documentAboutToBeChanged(org.eclipse.jface.text.DocumentEvent event)
void	documentChanged(org.eclipse.jface.text.DocumentEvent event)
KBTreeContentProvider	getContentProvider()
void	selectionChanged(org.eclipse.jface.viewers.SelectionChangedEvent event)
void	setInput(java.lang.Object object)
void	update() Updates the knowledge base page.

Methods inherited from class org.eclipse.palamedes.ui.views.knowledgebase.KnowledgeBasePage

addSelectionChangedListener, fireSelectionChanged, getControl, getSelection, getTreeViewer, init, removeSelectionChangedListener, setFocus, setSelection

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

dispose, getSite, makeContributions, setActionBars

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.part.IPage

dispose, setActionBars

Field Detail

F_TopLevelNodes

public static final int F_TopLevelNodes

See Also:

Constant Field Values

F_ImplicationHeads

public static final int F_ImplicationHeads

See Also:

Constant Field Values

F_ImplicationBody

public static final int F_ImplicationBody

See Also:

Constant Field Values

F_EnvironmentLookup

public static final int F_EnvironmentLookup

See Also:

Constant Field Values

F_GDL

public static final int F_GDL

See Also:

Constant Field Values

fTextEditor

protected SourceCodeEditor fTextEditor

fInput

protected GDLKnowledgeBase fInput

cpcAction

protected org.eclipse.palamedes.ui.pages.knowledgebase.KBPage.CPCAction cpcAction

Constructor Detail

KBPage

public KBPage(SourceCodeEditor editor)

Method Detail

createControl

public void createControl(org.eclipse.swt.widgets.Composite parent)

Description copied from class: KnowledgeBasePage

The KnowledgeBasePage implementation of this IKnowledgeBasePage method creates a tree viewer. Subclasses must extend this method configure the tree viewer with a proper content provider, label provider, and input element.

Specified by:

createControl in interface org.eclipse.ui.part.IPage

Overrides:

createControl in class KnowledgeBasePage

selectionChanged

public void selectionChanged(org.eclipse.jface.viewers.SelectionChangedEvent event)

Specified by:

selectionChanged in interface org.eclipse.jface.viewers.ISelectionChangedListener

Overrides:

selectionChanged in class KnowledgeBasePage

setInput

public void setInput(java.lang.Object object)

update

public void update()

Updates the knowledge base page.

getContentProvider

public KBTreeContentProvider getContentProvider()

documentAboutToBeChanged

public void documentAboutToBeChanged(org.eclipse.jface.text.DocumentEvent event)

Specified by:

documentAboutToBeChanged in interface org.eclipse.jface.text.IDocumentListener

documentChanged

public void documentChanged(org.eclipse.jface.text.DocumentEvent event)

Specified by:

documentChanged in interface org.eclipse.jface.text.IDocumentListener