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