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 PluginListener
public void pluginUnloaded(Plugin plugin)
pluginUnloaded
in interface PluginListener
public void treeWillExpand(TreeExpansionEvent event)
treeWillExpand
in interface TreeWillExpandListener
public void treeWillCollapse(TreeExpansionEvent event)
treeWillCollapse
in interface TreeWillExpandListener
Copyright © 2024 GATE. All rights reserved.