/* Copyright or (C) or Copr. GET / ENST, Telecom-Paris, Ludovic Apvrille
*
* ludovic.apvrille AT enst.fr
*
* This software is a computer program whose purpose is to allow the
* edition of TURTLE analysis, design and deployment diagrams, to
* allow the generation of RT-LOTOS or Java code from this diagram,
* and at last to allow the analysis of formal validation traces
* obtained from external tools, e.g. RTL from LAAS-CNRS and CADP
* from INRIA Rhone-Alpes.
*
* This software is governed by the CeCILL license under French law and
* abiding by the rules of distribution of free software. You can use,
* modify and/ or redistribute the software under the terms of the CeCILL
* license as circulated by CEA, CNRS and INRIA at the following URL
* "http://www.cecill.info".
*
* As a counterpart to the access to the source code and rights to copy,
* modify and redistribute granted by the license, users are provided only
* with a limited warranty and the software's author, the holder of the
* economic rights, and the successive licensors have only limited
* liability.
*
* In this respect, the user's attention is drawn to the risks associated
* with loading, using, modifying and/or developing or reproducing the
* software by the user in light of its specific status of free software,
* that may mean that it is complicated to manipulate, and that also
* therefore means that it is reserved for developers and experienced
* professionals having in-depth computer knowledge. Users are therefore
* encouraged to load and test the software's suitability as regards their
* requirements in conditions enabling the security of their systems and/or
* data to be ensured and, more generally, to use and operate it in the
* same conditions as regards security.
*
* The fact that you are presently reading this means that you have had
* knowledge of the CeCILL license and that you accept its terms.
*/
package ui.window;
import launcher.LauncherException;
import launcher.RshClient;
import myutil.FileUtils;
import myutil.ScrolledJTextArea;
import common.SpecConfigTTool;
import ui.util.IconManager;
import ui.file.AUTFileFilter;
import javax.swing.*;
import java.awt.*;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.io.File;
/**
* Class JDialogBisimulation
* Dialog for managing remote bisimulations with Aldebaran
* Creation: 12/08/2004
* @version 1.0 12/08/2004
* @author Ludovic APVRILLE
*/
public class JDialogBisimulation extends JDialog implements ActionListener, Runnable {
private String [] textAlgo = { "Strong bisimulation equivalence [Park-81] (std)", "Strong bisimulation equivalence [Park-81] (fly)",
"Delay bisimulation [W.P. Weijland] (fly)", "Tau*.a bisimulation [Fernandez-Mounier-90] (std)", "Tau*.a bisimulation [Fernandez-Mounier-90] (fly)",
"Observational relation [Milner-80] (std)", "Branching bisimulation [R.J. Van Glabbeek and W.P. Weijland] (std)", "Branching bisimulation [R.J. Van Glabbeek and W.P. Weijland] (fly)",
"Safety relation [Rodriguez-88] [Bouajjani-Fernandez-Graf-Rodriguez-Sifakis-91] (std)", "Safety relation [Rodriguez-88] [Bouajjani-Fernandez-Graf-Rodriguez-Sifakis-91] (fly)"};
private String [] cmdAlgo = {"-bequ -std", "-bequ -fly", "-dequ -fly", "-iequ -std", "-iequ -fly", "-oequ -std", "-pequ -std", "-pequ -fly", "-sequ -std", "-sequ -fly"};
private String aldebaranHost;
private String aldebaranPath;
protected String remoteFile1;
protected String remoteFile2;
protected int mode;
protected RshClient rshc;
protected Thread t;
protected final static int NO_ALGO = 0;
protected final static int NOT_STARTED = 1;
protected final static int STARTED = 2;
protected final static int STOPPED = 3;
//components
protected JTextField file1, file2;
protected JButton openFile1, openFile2;
protected int nbAlgo = 10;
protected int lastSelected = 0;
protected JRadioButton [] algoButton = new JRadioButton[nbAlgo];
protected JTextArea jta;
protected JButton start;
protected JButton stop;
protected JButton close;
/* Creates new form */
public JDialogBisimulation(Frame f, String _aldebaranHost, String _aldebaranPath, String _remoteFile1, String _remoteFile2, String title) {
super(f, title, true);
aldebaranHost = _aldebaranHost;
aldebaranPath = _aldebaranPath;
remoteFile1 = _remoteFile1;
remoteFile2 = _remoteFile2;
initComponents();
myInitComponents();
pack();
//getGlassPane().addMouseListener( new MouseAdapter() {});
getGlassPane().setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));
}
protected void myInitComponents() {
mode = NO_ALGO;
setButtons();
}
protected void initComponents() {
Container c = getContentPane();
setFont(new Font("Helvetica", Font.PLAIN, 14));
c.setLayout(new BorderLayout());
JPanel panelTop = new JPanel();
panelTop.setLayout(new BorderLayout());
//File section
JPanel jp1 = new JPanel();
GridBagLayout gridbag1 = new GridBagLayout();
GridBagConstraints c1 = new GridBagConstraints();
jp1.setLayout(gridbag1);
jp1.setBorder(new javax.swing.border.TitledBorder("Graphs"));
c1.weighty = 1.0;
c1.weightx = 0.0;
c1.gridwidth = 1;
c1.gridheight = 1;
c1.fill = GridBagConstraints.BOTH;
jp1.add(new JLabel("graph #1:"), c1);
c1.weightx = 5.0;
c1.gridwidth = 10;
file1 = new JTextField(200);
file1.setEditable(true);
jp1.add(file1, c1);
c1.weightx = 0.0;
c1.gridwidth = GridBagConstraints.REMAINDER; //end row
//c1.gridwidth = 1;
//c1.gridwidth = GridBagConstraints.REMAINDER; //end row
openFile1 = new JButton(IconManager.imgic22);
openFile1.addActionListener(this);
jp1.add(openFile1, c1);
//c1.gridwidth = GridBagConstraints.REMAINDER; //end row
//jp1.add(new JLabel(""), c1);
c1.weightx = 0.0;
c1.gridwidth = 1;
jp1.add(new JLabel("graph #2:"), c1);
c1.weightx = 5.0;
c1.gridwidth = 10;
file2 = new JTextField(200);
file2.setEditable(true);
jp1.add(file2, c1);
c1.gridwidth = GridBagConstraints.REMAINDER; //end row
c1.weightx = 0.0;
openFile2 = new JButton(IconManager.imgic22);
openFile2.addActionListener(this);
jp1.add(openFile2, c1);
panelTop.add(jp1, BorderLayout.NORTH);
// Algorithm selection
JPanel jp2 = new JPanel();
GridBagLayout gridbag2 = new GridBagLayout();
GridBagConstraints c2 = new GridBagConstraints();
jp2.setLayout(gridbag2);
jp2.setBorder(new javax.swing.border.TitledBorder("Type of bisimulation (algo: std or fly)"));
c2.weighty = 1.0;
c2.weightx = 1.0;
c2.gridwidth = GridBagConstraints.REMAINDER; //end row
c2.fill = GridBagConstraints.HORIZONTAL;
c2.gridheight = 1;
ButtonGroup bg = new ButtonGroup();
for(int i=0; i<nbAlgo; i++) {
algoButton[i] = new JRadioButton(textAlgo[i]);
algoButton[i].addActionListener(this);
bg.add(algoButton[i]);
jp2.add(algoButton[i], c2);
}
panelTop.add(jp2, BorderLayout.SOUTH);
c.add(panelTop, BorderLayout.NORTH);
// Text area
jta = new ScrolledJTextArea();
jta.setEditable(false);
jta.setMargin(new Insets(10, 10, 10, 10));
jta.setTabSize(3);
jta.append("Select files, algorithms and then, click on 'start' to launch bisimulation\n");
Font f = new Font("Courrier", Font.BOLD, 12);
jta.setFont(f);
JScrollPane jsp = new JScrollPane(jta, JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
c.add(jsp, BorderLayout.CENTER);
start = new JButton("Start", IconManager.imgic53);
stop = new JButton("Stop", IconManager.imgic55);
close = new JButton("Close", IconManager.imgic27);
start.setPreferredSize(new Dimension(100, 30));
stop.setPreferredSize(new Dimension(100, 30));
close.setPreferredSize(new Dimension(100, 30));
start.addActionListener(this);
stop.addActionListener(this);
close.addActionListener(this);
JPanel jp3 = new JPanel();
jp3.add(start);
jp3.add(stop);
jp3.add(close);
c.add(jp3, BorderLayout.SOUTH);
}
public void actionPerformed(ActionEvent evt) {
//String command = evt.getActionCommand();
// Compare the action command to the known actions.
if (evt.getSource() == openFile1) {
selectGraph1();
} else if (evt.getSource() == openFile2) {
selectGraph2();
} else if (evt.getSource() == start) {
startProcess();
} else if (evt.getSource() == stop) {
stopProcess();
} else if (evt.getSource() == close) {
closeDialog();
} else {
for(int i=0; i<nbAlgo; i++) {
if (evt.getSource() == algoButton[i]) {
lastSelected = i;
mode = NOT_STARTED;
setButtons();
}
}
}
}
public void selectGraph1() {
String path = selectFile();
if (path != null) {
file1.setText(path);
}
}
public void selectGraph2() {
String path = selectFile();
if (path != null) {
file2.setText(path);
}
}
private String selectFile() {
JFileChooser jfc;
if (SpecConfigTTool.TGraphPath.length() > 0) {
jfc = new JFileChooser(SpecConfigTTool.TGraphPath);
} else {
jfc = new JFileChooser();
}
AUTFileFilter filter = new AUTFileFilter();
jfc.setFileFilter(filter);
int returnVal = jfc.showDialog(this, "Select graph");
if(returnVal != JFileChooser.APPROVE_OPTION) {
return null;
}
return jfc.getSelectedFile().getAbsolutePath();
}
public void closeDialog() {
if (mode == STARTED) {
stopProcess();
}
dispose();
}
public void stopProcess() {
if (rshc != null) {
try {
rshc.stopCommand();
} catch (LauncherException le) {
}
}
rshc = null;
mode = STOPPED;
setButtons();
}
public void startProcess() {
t = new Thread(this);
mode = STARTED;
setButtons();
t.start();
}
public void run() {
String data1, data2;
String result;
String cmd;
int id = 0;
rshc = new RshClient(aldebaranHost);
RshClient rshctmp = rshc;
//Point p;
try {
jta.append("Reading input data\n");
id = rshc.getId();
data1 = FileUtils.loadFileData(new File(file1.getText()));
data2 = FileUtils.loadFileData(new File(file2.getText()));
if ((data1 ==null) ||(data2 == null)) {
jta.append("\nBad files specified\n");
mode = NOT_STARTED;
setButtons();
} else {
jta.append("Sending input data\n");
remoteFile1 = FileUtils.addBeforeFileExtension(remoteFile1, "_" + id);
remoteFile2 = FileUtils.addBeforeFileExtension(remoteFile2, "_" + id);
rshc.sendFileData(remoteFile1, data1);
rshc.sendFileData(remoteFile2, data2);
jta.append("Starting bisimulation\n");
cmd = aldebaranPath + " " + cmdAlgo[lastSelected] + " " + remoteFile1 + " " + remoteFile2;
result = processCmd(cmd);
rshc.deleteFile(remoteFile1);
rshc.deleteFile(remoteFile2);
rshc.freeId(id);
jta.append("Bisimulation done:\n");
jta.append(result);
}
} catch (LauncherException le) {
jta.append("Error: " + le.getMessage() + "\n");
mode = NOT_STARTED;
setButtons();
try{
rshctmp.freeId(id);
} catch (LauncherException leb) {}
return;
} catch (Exception e) {
mode = NOT_STARTED;
setButtons();
try{
rshctmp.freeId(id);
} catch (LauncherException leb) {}
return;
}
mode = NOT_STARTED;
setButtons();
jta.append("\n\nFor a new bisimulation, select new files / algorithms and press start\n");
}
protected String processCmd(String cmd) throws LauncherException {
rshc.setCmd(cmd);
String s = null;
rshc.sendExecuteCommandRequest();
s = rshc.getDataFromProcess();
return s;
}
protected void setButtons() {
int i;
switch(mode) {
case NO_ALGO:
openFile1.setEnabled(true);
openFile2.setEnabled(true);
file1.setEnabled(true);
file2.setEnabled(true);
for (i=0; i<nbAlgo; i++) {
algoButton[i].setEnabled(true);
}
start.setEnabled(false);
stop.setEnabled(false);
close.setEnabled(true);
getGlassPane().setVisible(false);
break;
case NOT_STARTED:
openFile1.setEnabled(true);
openFile2.setEnabled(true);
file1.setEnabled(true);
file2.setEnabled(true);
for (i=0; i<nbAlgo; i++) {
algoButton[i].setEnabled(true);
}
start.setEnabled(true);
stop.setEnabled(false);
close.setEnabled(true);
getGlassPane().setVisible(false);
break;
case STARTED:
openFile1.setEnabled(false);
openFile2.setEnabled(false);
file1.setEnabled(false);
file2.setEnabled(false);
for (i=0; i<nbAlgo; i++) {
algoButton[i].setEnabled(false);
}
start.setEnabled(false);
stop.setEnabled(true);
close.setEnabled(false);
getGlassPane().setVisible(true);
break;
case STOPPED:
default:
openFile1.setEnabled(false);
openFile2.setEnabled(false);
file1.setEnabled(false);
file2.setEnabled(false);
for (i=0; i<nbAlgo; i++) {
algoButton[i].setEnabled(false);
}
start.setEnabled(false);
stop.setEnabled(false);
close.setEnabled(true);
getGlassPane().setVisible(false);
break;
}
}
}