public boolean loadDomainFromFile(String path) {
if (loadDomainFromXMLFile(path)) {
resetDomain();
showMainWindow();
return true;
}
return 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 startGUI() {
if (d_curFilename == null) {
showWelcome();
} else {
try {
loadDomainFromXMLFile(d_curFilename);
} catch (Exception e) {
ErrorDialog.showDialog(e, "Could not load file.", e.getMessage(), false);
} finally {
showMainWindow();
}
}
}
void newFileActions() {
newDomain();
resetDomain();
showMainWindow();
}
