public void valueChanged(ListSelectionEvent e) { if (!e.getValueIsAdjusting()) { if (userInputListener.isModified()) { // the user has modified the config, but not stored it int decision = JOptionPane.showConfirmDialog( this, "The configuration for project '" + selectedProjectName + "' has unsaved changes. Do you wish to save them?", "Save Changes?", JOptionPane.YES_NO_CANCEL_OPTION); if (decision == JOptionPane.YES_OPTION) { // store try { storeConfig(false); } catch (Exception ex) { Main.fatalError(ex); } } if (decision == JOptionPane.CANCEL_OPTION) { selection.removeListSelectionListener(this); selection.setSelectedValue(selectedProjectName, true); selection.addListSelectionListener(this); return; } } selectedProjectName = (String) selection.getSelectedValue(); generateGUIGonfiguration(selectedProjectName); generateGUIDescription(selectedProjectName); } }
/* (non-Javadoc) * @see java.awt.event.ActionListener#actionPerformed(java.awt.event.ActionEvent) */ public void actionPerformed(ActionEvent e) { if (e.getSource().equals(saveConfig) || e.getSource() .equals( saveConfig2)) { // -------------------------------------------------------------------- if (selection.getSelectedValue() == null) { JOptionPane.showMessageDialog( this, "Please select a project from the selection.", "No project selected.", JOptionPane.ERROR_MESSAGE); } else try { storeConfig(false); } catch (Exception ex) { Main.fatalError(ex); } } else if (e.getSource() .equals(ok)) { // -------------------------------------------------------------------- if (selection.getSelectedValue() == null) { JOptionPane.showMessageDialog( this, "Please select a project from the selection.", "No project selected.", JOptionPane.ERROR_MESSAGE); } else { if (userInputListener.isModified()) { // the user has modified the config, but not stored it int decision = JOptionPane.showConfirmDialog( this, "The modifications to this configuration have not yet been saved.\n\nDo you want to store this configuration, such that it is also available for subsequent runs?", "Unsaved modifications", JOptionPane.YES_NO_CANCEL_OPTION); if (decision == JOptionPane.YES_OPTION) { // store try { storeConfig(false); } catch (Exception ex) { Main.fatalError(ex); } } if (decision == JOptionPane.CANCEL_OPTION) { return; // don't do anything } } Document customDoc = validateCustomFields(); if (customDoc == null) { // there is invalid xml in the custom entry return; } if (!selectedProjectName.equals("defaultProject")) { Global.projectName = selectedProjectName; Global.useProject = true; appConfig.lastChosenProject = Global.projectName; } Element customEle = customDoc.getRootElement().getChild("Custom"); XMLParser.parseCustom(customEle, ""); setFrameworkConfig(); // Block the overwriting of the now set values. XMLParser.blockParse = true; this.setVisible(false); // reset the tooltip dismiss delay to the default value ToolTipManager.sharedInstance().setDismissDelay(defaultTooltipDismissDelay); appConfig.projectSelectorSelectedTab = 1 + right.getSelectedIndex(); appConfig .writeConfig(); // write the config, s.t. when the main application crashes, at least // the project selector config is preserved storeConfig(true); // store the config to a file s.t. the simulation process can read it // wake up the waiting object. synchronized (main) { main.notify(); } } } else if (e.getSource() .equals(cancel)) { // -------------------------------------------------------------------- if (userInputListener.isModified()) { // the user has modified the config, but not stored it int decision = JOptionPane.showConfirmDialog( this, "The configuration for project '" + selectedProjectName + "' has unsaved changes. Do you wish to save them?", "Save Changes?", JOptionPane.YES_NO_CANCEL_OPTION); if (decision == JOptionPane.YES_OPTION) { // store try { storeConfig(false); } catch (Exception ex) { Main.fatalError(ex); } } if (decision == JOptionPane.CANCEL_OPTION) { return; } } appConfig.projectSelectorSelectedTab = 1 + right.getSelectedIndex(); appConfig.writeConfig(); System.exit(1); } else if (e.getSource() .equals(collapse)) { // -------------------------------------------------------------------- showOptionalFields = false; insertProjectEntries(); this.repaint(); } else if (e.getSource() .equals(expand)) { // -------------------------------------------------------------------- showOptionalFields = true; insertProjectEntries(); this.repaint(); } }
private void storeConfig(boolean isTemporary) { // Test that the custom config is OK Document customConfig = validateCustomFields(); if (customConfig == null) { return; } // Build the framework config XML tree Document doc = new Document(); Element root = new Element("Document"); doc.setRootElement(root); Element framework = new Element("Framework"); root.addContent(framework); Element custom = new Element("Custom"); root.addContent(custom); custom.addContent( new Element( "_xml_custom_")); // this tag will be replaced by the config text in a second step for (ConfigEntry e : projectEntries) { if (e.valueComponent != null) { // there is a value field in the GUI if (e.comment != "") { // the comment is not "", add it framework.addContent( new Comment(e.comment.replace("\n", " "))); // without the newline chars } // get the value of this entry from the GUI String value = ""; if (e.valueComponent instanceof JComboBox) { value = (String) ((JComboBox) e.valueComponent).getSelectedItem(); } else if (e.valueComponent instanceof JTextComponent) { value = ((JTextComponent) e.valueComponent).getText(); } // create and add a new entry in the XML file Element elem = new Element(e.key); elem.setAttribute("value", value); framework.addContent(elem); framework.addContent( new Element( "_xml_NL_")); // after each entry, we would like a new-line in the document - these // tags are replaced in a second step } else { // this is a section entry, which will be inserted as comment // String line = " - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - "; String line = "***********************************************************************"; framework.addContent(new Comment(line)); String name = " " + e.key; while (name.length() < line.length()) { // fill the name with spaces s.t. the '-->' are aligned name += " "; } framework.addContent(new Comment(name)); framework.addContent(new Comment(line)); } } String outputPath = Configuration.sourceDirPrefix + "/" + Configuration.projectDirInSourceFolder + "/" + selectedProjectName; File outputFile = new File(outputPath + "/" + Configuration.configfileFileName + (isTemporary ? ".run" : "")); // And write the xml tree to the file XMLOutputter outputter = new XMLOutputter(); Format f = Format.getPrettyFormat(); f.setIndent("\t"); outputter.setFormat(f); File tempOutputFile = new File(outputPath + "/" + Configuration.configfileFileName + ".temp"); try { FileWriter fW = new FileWriter(tempOutputFile); outputter.output(doc, fW); fW.flush(); fW.close(); } catch (IOException e) { Main.minorError("Could not write a temporary configuration file!\n\n" + e.getMessage()); return; } // in a second step, parse the temp file, replace the _xml_nl_ by new-lines and the _xml_custom_ // by the custom text try { BufferedWriter output = new BufferedWriter(new FileWriter(outputFile)); LineNumberReader input = new LineNumberReader(new FileReader(tempOutputFile)); String line = input.readLine(); while (line != null) { if (line.contains("<_xml_NL_")) { output.newLine(); } else if (line.contains("<_xml_custom_")) { output.write(customParameters.getText()); } else { output.write(line); output.newLine(); } line = input.readLine(); } output.flush(); output.close(); input.close(); tempOutputFile.delete(); } catch (IOException e1) { Main.minorError("Could not write the configuration file!\n\n" + e1.getMessage()); } userInputListener.reset(); // finally reset the 'modified' flag }
/** * Generate the GUI components to show the config for a given project * * @param projectName */ private void generateGUIGonfiguration(String projectName) { boolean configExists = true; Element frameworkElement = null; String configFileName = Configuration.sourceDirPrefix + "/" + Configuration.projectDirInSourceFolder + "/" + projectName + "/" + Configuration.configfileFileName; File configFile = new File(configFileName); if (!configFile.exists()) { configExists = false; } else try { Document doc = new SAXBuilder().build(configFile); Element root = doc.getRootElement(); frameworkElement = root.getChild("Framework"); Element custom = root.getChild("Custom"); if (custom == null) { Main.fatalError( "Invalid configuration file: A Custom entry is missing.\n" + "The file needs to be of the following form: \n" + "<Document>\n <Framework>...</Framework>\n <Custom></Custom>\n</Document>"); } if (frameworkElement == null) { Main.fatalError( "Invalid configuration file: A 'framework' entry is missing.\n" + "The file needs to be of the following form: \n" + "<Document>\n <Framework>...</Framework>\n <Custom></Custom>\n</Document>"); } } catch (JDOMException e1) { Main.fatalError("Invalid configuration file:\n\n" + e1.getMessage()); } catch (IOException e1) { Main.fatalError("Cannot open or read from configuration file:\n\n" + e1.getMessage()); } projectEntries = new Vector<ConfigEntry>(); String sectionName = ""; Class<?> configClass = Configuration.class; // We assume here that the fields are returned in the order they are listed in the java file! Field[] fields = configClass.getDeclaredFields(); for (int i = 0; i < fields.length; i++) { Field field = fields[i]; try { // read the annotations for this field Configuration.DefaultInConfigFile dan = field.getAnnotation(Configuration.DefaultInConfigFile.class); Configuration.OptionalInConfigFile oan = field.getAnnotation(Configuration.OptionalInConfigFile.class); Configuration.SectionInConfigFile san = field.getAnnotation(Configuration.SectionInConfigFile.class); if (dan != null || oan != null) { if (san != null) { // get the title sectionName = san.value(); projectEntries.add( new ConfigEntry( sectionName, "", Configuration.SectionInConfigFile.class, "", false, field)); } String description = dan != null ? dan.value() : oan.value(); // the description text // test whether the XML file contains an entry for this field String value = null; if (configExists) { Element e = frameworkElement.getChild(field.getName()); if (e != null) { value = e.getAttributeValue("value"); // null if not there } } if (value == null) { // there was no entry in the config-file. Take the default value. projectEntries.add( new ConfigEntry( field.getName(), Configuration.getConfigurationText(field.get(null)), field.getType(), description, oan != null, field)); } else { // there is an entry in the XML file projectEntries.add( new ConfigEntry( field.getName(), value, field.getType(), description, oan != null, field)); // elem.comment } } else if (field.getName().equals("edgeType")) { // NOTE: the edgeType member does not carry any annotations (exception) String comment = "The default type of edges to be used"; String value = null; if (configExists) { Element e = frameworkElement.getChild(field.getName()); if (e != null) { value = e.getAttributeValue("value"); // null if not there } } if (value == null) { // there was no entry in the config-file. Take the default value. projectEntries.add( new ConfigEntry( field.getName(), Configuration.getEdgeType(), field.getType(), comment, oan != null, field)); } else { projectEntries.add( new ConfigEntry( field.getName(), value, field.getType(), comment, oan != null, field)); } } } catch (IllegalArgumentException e) { Main.fatalError(e); } catch (IllegalAccessException e) { Main.fatalError(e); } } // for each entry, create the corresponding GUI components asynchronousSimulationCB = null; mobilityCB = null; for (ConfigEntry e : projectEntries) { String ttt = e.comment.equals("") ? null : e.comment; // the tool tip text, don't show at all, if no text to display // creating the text field UnborderedJTextField label; if (e.entryClass == Configuration.SectionInConfigFile.class) { label = new UnborderedJTextField(e.key.toString(), Font.BOLD); } else { label = new UnborderedJTextField(" " + e.key.toString(), Font.PLAIN); } label.setToolTipText(ttt); e.textComponent = label; if (e.entryClass == boolean.class) { String[] ch = {"true", "false"}; MultiLineToolTipJComboBox booleanChoice = new MultiLineToolTipJComboBox(ch); if ((e.value).compareTo("true") != 0) { booleanChoice.setSelectedItem("false"); } else { booleanChoice.setSelectedItem("true"); } booleanChoice.addActionListener( userInputListener); // ! add this listener AFTER setting the value! booleanChoice.setToolTipText(ttt); e.valueComponent = booleanChoice; // special case: mobility can only be changed if simulation is in sync mode. if (e.key.equals("asynchronousMode")) { asynchronousSimulationCB = booleanChoice; if (mobilityCB != null && (e.value).equals("true")) { mobilityCB.setSelectedItem("false"); mobilityCB.setEnabled(false); } } if (e.key.equals("mobility")) { mobilityCB = booleanChoice; if (asynchronousSimulationCB != null && asynchronousSimulationCB.getSelectedItem().equals("true")) { mobilityCB.setSelectedItem("false"); mobilityCB.setEnabled(false); } } } else if (e.entryClass == Configuration.SectionInConfigFile.class) { e.valueComponent = null; // there's no component for the section } else { // special case for some text fields that expect the name of an implementation. They // should show the available implementations in a drop down field ImplementationChoiceInConfigFile ian = e.field.getAnnotation(ImplementationChoiceInConfigFile.class); if (ian != null) { Vector<String> ch = Global.getImplementations(ian.value(), true); MultiLineToolTipJComboBox choice = new MultiLineToolTipJComboBox(ch); choice.setEditable( true); // let the user the freedom to enter other stuff (which is likely to be // wrong...) choice.setSelectedItem(e.value); choice.addActionListener( userInputListener); // ! add this listener AFTER setting the value! choice.setToolTipText(ttt); e.valueComponent = choice; } else { if (e.key.equals("javaCmd")) { // special case - this field may contain a lot of text JTextArea textArea = new MultiLineToolTipJTextArea(e.value.toString()); textArea.setToolTipText(ttt); textArea.setBorder((new JTextField()).getBorder()); // copy the border textArea.setLineWrap(true); // textArea.setPreferredSize(new Dimension(50, 30)); textArea.addKeyListener(userInputListener); e.valueComponent = textArea; } else { MultiLineToolTipJTextField textField = new MultiLineToolTipJTextField(e.value.toString()); textField.setToolTipText(ttt); textField.addKeyListener(userInputListener); e.valueComponent = textField; } } } } // and finally add all the entries insertProjectEntries(); customConfigurationPanel.removeAll(); // And add the custom entries // this code snipped was used to redirect the mouse wheel applied on this // text field to the entire tab when the custom config was below the framework config // // remove all mouse wheel listeners from the text input // for(MouseWheelListener mwl : customParameters.getMouseWheelListeners()) { // customParameters.removeMouseWheelListener(mwl); // } // // and add the 'global' one // customParameters.addMouseWheelListener(new // MouseWheelForwarder(scrollableConfigurationPane.getMouseWheelListeners())); customParameters.setTabSize(3); customParameters.setLineWrap(true); customParameters.setBorder(BorderFactory.createEmptyBorder(3, 3, 3, 3)); if (configExists) { customParameters.setText(getCustomText(configFile)); } else { customParameters.setText(""); } customParameters.addKeyListener( userInputListener); // ! add this listener AFTER setting the text ! JScrollPane customScroll = new JScrollPane( customParameters, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED, JScrollPane.HORIZONTAL_SCROLLBAR_NEVER); customScroll.setWheelScrollingEnabled(true); customConfigurationPanel.add(customScroll); userInputListener.reset(); super.repaint(); }