public class JythonExtensionDataSourceEditorPanel extends java.lang.Object implements DataSourceEditorPanel
| Constructor and Description |
|---|
JythonExtensionDataSourceEditorPanel() |
| Modifier and Type | Method and Description |
|---|---|
javax.swing.JPanel |
getPanel()
return the GUI to edit the URI.
|
java.lang.String |
getURI()
return the URI configured by the editor.
|
void |
markProblems(java.util.List<java.lang.String> problems)
mark the problems identified by the data source.
|
boolean |
prepare(java.lang.String uri,
java.awt.Window parent,
ProgressMonitor mon)
load any needed resources.
|
boolean |
reject(java.lang.String uri)
reject the URI, perhaps because we aren't close enough to identify a resource.
|
void |
setURI(java.lang.String uri)
initialize the editor to edit this URI.
|
public JythonExtensionDataSourceEditorPanel()
public boolean reject(java.lang.String uri)
throws java.lang.Exception
DataSourceEditorPanelreject in interface DataSourceEditorPaneljava.lang.Exceptionpublic boolean prepare(java.lang.String uri,
java.awt.Window parent,
ProgressMonitor mon)
throws java.lang.Exception
DataSourceEditorPanelprepare in interface DataSourceEditorPaneluri - partially-completed URIparent - the parent GUI.mon - monitor to indicate slow process.java.lang.Exceptionpublic void setURI(java.lang.String uri)
DataSourceEditorPanelsetURI in interface DataSourceEditorPanelpublic void markProblems(java.util.List<java.lang.String> problems)
DataSourceEditorPanelmarkProblems in interface DataSourceEditorPanelpublic javax.swing.JPanel getPanel()
DataSourceEditorPanelgetPanel in interface DataSourceEditorPanelpublic java.lang.String getURI()
DataSourceEditorPanelgetURI in interface DataSourceEditorPanel