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
DataSourceEditorPanel
reject
in interface DataSourceEditorPanel
java.lang.Exception
public boolean prepare(java.lang.String uri, java.awt.Window parent, ProgressMonitor mon) throws java.lang.Exception
DataSourceEditorPanel
prepare
in interface DataSourceEditorPanel
uri
- partially-completed URIparent
- the parent GUI.mon
- monitor to indicate slow process.java.lang.Exception
public void setURI(java.lang.String uri)
DataSourceEditorPanel
setURI
in interface DataSourceEditorPanel
public void markProblems(java.util.List<java.lang.String> problems)
DataSourceEditorPanel
markProblems
in interface DataSourceEditorPanel
public javax.swing.JPanel getPanel()
DataSourceEditorPanel
getPanel
in interface DataSourceEditorPanel
public java.lang.String getURI()
DataSourceEditorPanel
getURI
in interface DataSourceEditorPanel