/** 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()); }