public class ServiceSchemaExplorer extends Object
Constructor and Description |
---|
ServiceSchemaExplorer(SchemaExplorer explorer,
SchemaSpaceID schemaSpace)
Associate the given schema explorer to the schema service.
|
Modifier and Type | Method and Description |
---|---|
void |
dispose()
Remove all service listeners.
|
SchemaExplorer |
getExplorer() |
void |
refresh()
Refresh both tree viewers
|
protected void |
refreshInDisplayThread()
Refresh map in the display thread
|
public ServiceSchemaExplorer(SchemaExplorer explorer, SchemaSpaceID schemaSpace)
explorer
- the schema explorerschemaSpace
- the schema spacepublic SchemaExplorer getExplorer()
protected void refreshInDisplayThread()
public void refresh()
public void dispose()
Build 2013-10-07_11-27-38
Revision 99b27713a799a59a21b0b166eaaea8aaefbf125a