public class SchemaExplorer extends Object
Constructor and Description |
---|
SchemaExplorer(org.eclipse.swt.widgets.Composite parent,
String title,
SchemaSpaceID schemaSpace)
Create a schema explorer
|
Modifier and Type | Method and Description |
---|---|
protected org.eclipse.jface.viewers.IContentProvider |
createContentProvider(org.eclipse.jface.viewers.TreeViewer tree)
Create the content provider
|
protected org.eclipse.swt.widgets.Control |
createToolbar(org.eclipse.swt.widgets.Composite parent,
ClassificationFilter classFilter)
Create the tool-bar
|
org.eclipse.swt.widgets.Control |
getControl()
Get the schema explorer main control, e.g.
|
TypeIndex |
getSchema()
Get the schema
|
SchemaSpaceID |
getSchemaSpace() |
org.eclipse.jface.viewers.TreeViewer |
getTreeViewer()
Get the internal tree viewer of the view
|
protected void |
prependToolbarActions(org.eclipse.jface.action.ToolBarManager manager)
Prepend toolbar actions to the schema explorer tool bar.
|
void |
setSchema(TypeIndex schema)
Set the schema
|
public SchemaExplorer(org.eclipse.swt.widgets.Composite parent, String title, SchemaSpaceID schemaSpace)
parent
- the parent compositetitle
- the titleschemaSpace
- the associated schema spacepublic SchemaSpaceID getSchemaSpace()
protected org.eclipse.jface.viewers.IContentProvider createContentProvider(org.eclipse.jface.viewers.TreeViewer tree)
tree
- the tree viewerprotected org.eclipse.swt.widgets.Control createToolbar(org.eclipse.swt.widgets.Composite parent, ClassificationFilter classFilter)
parent
- the parent compositeclassFilter
- the classification filterprotected void prependToolbarActions(org.eclipse.jface.action.ToolBarManager manager)
manager
- the toolbar managerpublic TypeIndex getSchema()
public org.eclipse.jface.viewers.TreeViewer getTreeViewer()
public void setSchema(TypeIndex schema)
schema
- the schema to setpublic org.eclipse.swt.widgets.Control getControl()
Build 2013-10-07_11-27-38
Revision 99b27713a799a59a21b0b166eaaea8aaefbf125a