public class ResourceReferenceChooser extends Object implements PluginListener, TreeWillExpandListener
| Constructor and Description |
|---|
ResourceReferenceChooser() |
| Modifier and Type | Method and Description |
|---|---|
String |
getResource() |
void |
pluginLoaded(Plugin plugin) |
void |
pluginUnloaded(Plugin plugin) |
void |
setResource(String resource) |
void |
setSelectedResource(String uriStr) |
void |
setSuffixes(Collection<String> suffixes) |
void |
setSuffixes(String description,
Collection<String> suffixes) |
String |
showDialog(Window parent,
String title) |
void |
treeWillCollapse(TreeExpansionEvent event) |
void |
treeWillExpand(TreeExpansionEvent event) |
public void setResource(String resource)
public String getResource()
public void setSelectedResource(String uriStr)
public void setSuffixes(Collection<String> suffixes)
public void setSuffixes(String description, Collection<String> suffixes)
public void pluginLoaded(Plugin plugin)
pluginLoaded in interface PluginListenerpublic void pluginUnloaded(Plugin plugin)
pluginUnloaded in interface PluginListenerpublic void treeWillExpand(TreeExpansionEvent event)
treeWillExpand in interface TreeWillExpandListenerpublic void treeWillCollapse(TreeExpansionEvent event)
treeWillCollapse in interface TreeWillExpandListenerCopyright © 2024 GATE. All rights reserved.