/** Invoked when the raw database construction is succeeded. */
protected void operationSucceeded() {
String message = "Succeeded to create reference database.";
JOptionPane.showMessageDialog(pane, message);
desktop.setReferenceDBManager(db_manager);
}
/**
* Shows the dialog to set parameters.
*
* @return 0 if <tt>OK</tt> button is pushed, or 2 if <tt>Cancel</tt> button is pushed.
*/
public int showSettingDialog() {
return desktop.getSettingDialog().show(pane);
}
/**
* Returns the limiting magnitude of the catalog database.
*
* @return the limiting magnitude of the catalog database.
*/
public double getLimitingMagnitude() {
return desktop.getSettingDialog().getFainterLimitingMagnitude();
}
/**
* Adds XML information documents. The XML file path must be recorded in the information
* documents.
*
* @param infos the XML information documents.
* @exception IOException if I/O error occurs.
* @exception FileNotFoundException if a file does not exists.
*/
public void addInformations(XmlInformation[] infos) throws IOException, FileNotFoundException {
table.addInformations(infos, desktop.getFileManager());
}