private void setFileNameAndReset(String path) {
setCurFilename(path);
int x = path.lastIndexOf(".");
int y = path.lastIndexOf("/");
setDisplayName(path.substring(y + 1, x));
setDataChanged(false);
}
public void loadExampleDomain(String exampleFile) {
try {
loadDomainFromXMLResource(exampleFile);
} catch (Exception e) {
throw new RuntimeException("Error loading default data: " + e.getMessage(), e);
}
setDisplayName(DISPLAY_EXAMPLE);
setDataChanged(false);
showMainWindow();
}
private void askToConvertToNew(String fileName) {
int response =
JOptionPane.showConfirmDialog(
s_window,
"The data format for ADDIS has changed.\n\nWould you like to save this file in the new file format (.addis)?",
"Save in new format?",
JOptionPane.YES_NO_OPTION);
if (response == JOptionPane.OK_OPTION) {
if (fileName.endsWith(".xml")) {
fileName = fileName.replace(".xml", ".addis");
} else {
fileName += ".addis";
}
saveDomainToFile(fileName);
setFileNameAndReset(fileName);
} else {
setCurFilename(null);
setDisplayName(DISPLAY_NEW);
setDataChanged(true);
}
}
public void newDomain() {
d_domainMgr.resetDomain(); // Create an empty domain.
setCurFilename(null);
setDisplayName(DISPLAY_NEW);
setDataChanged(false);
}
