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