Commit c2435afc authored by Ludovic Apvrille's avatar Ludovic Apvrille

Update on model checking window (avatar)

parent 121bcf5c
......@@ -16,7 +16,7 @@ Then, start TTool, and generate Java code from an avatar design model.
2) Add the plugin reference in config.xml
For example:
<PLUGIN file data="../plugins/CustomizerAvatarCodeGeneration.jar" />
<PLUGIN file="../plugins/CustomizerAvatarCodeGeneration.jar" package="."/>
3) Load the configuration information in ConfigurationTTool.java
......
......@@ -270,13 +270,15 @@ public class JDialogAvatarModelChecker extends javax.swing.JFrame implements Act
// RG
saveGraphAUT = new JCheckBox("Save RG (AUT format) in: (this option enables graph analysis)", graphSelected);
saveGraphAUT = new JCheckBox("Reachability Graph Generation", graphSelected);
saveGraphAUT.addActionListener(this);
//saveGraphAUT.addSelectionListener(this);
jp01.add(saveGraphAUT, c01);
graphPath = new JTextField(graphDir);
jp01.add(graphPath, c01);
saveGraphDot = new JCheckBox("Save RG (dotty format) in:", graphSelectedDot);
saveGraphDot = new JCheckBox("Save RG in dotty:", graphSelectedDot);
saveGraphDot.addActionListener(this);
//saveGraphDot.setEnebaled(false);
jp01.add(saveGraphDot, c01);
graphPathDot = new JTextField(graphDirDot);
jp01.add(graphPathDot, c01);
......@@ -665,7 +667,8 @@ public class JDialogAvatarModelChecker extends javax.swing.JFrame implements Act
graphSelected = saveGraphAUT.isSelected();
graphPath.setEnabled(saveGraphAUT.isSelected());
graphSelectedDot = saveGraphDot.isSelected();
graphPathDot.setEnabled(saveGraphDot.isSelected());
saveGraphDot.setEnabled(saveGraphAUT.isSelected());
graphPathDot.setEnabled(saveGraphDot.isSelected() && saveGraphAUT.isSelected());
if (generateDesign != null) {
generateDesignSelected = generateDesign.isSelected();
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment