/**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.
/**
* Class JFrameMinimize
* Frame for handling the minimization of graphs
* Creation: 09/12/2016
* @version 1.0 09/12/2016
* @author Ludovic APVRILLE
* @see
*/
package ui.window;
import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.event.*;
import java.util.*;
import launcher.*;
import myutil.*;
import translator.*;
import ui.*;
import ui.cd.*;
import ui.graph.*;
public class JFrameMinimize extends javax.swing.JFrame implements ActionListener, ListSelectionListener, Runnable {
/*private static boolean isAldebaranSelected = false;
private static boolean isOminSelected = false;
private static boolean isStrongSelected = true;*/
private MainGUI mgui;
private RG rg;
private RG newRG;
protected Thread t;
protected boolean listOfActionsComputed = false;
java.util.List<String> sortedListProjected ;
java.util.List<String> sortedListIgnored;
private int mode;
protected final static int NO_DATA = 0;
protected final static int NOT_STARTED = 1;
protected final static int STARTED = 2;
protected final static int STOPPED = 3;
//subpanels
private JPanel panel1, panel2, panel3, panel4;
private JList<String> listIgnored;
private JList<String> listProjected;
private JButton allProjected;
private JButton addOneProjected;
private JButton addOneIgnored;
private JButton allIgnored;
protected JTextArea jta;
private JCheckBox removeInternalActions;
// Main Panel
private JButton start, stop, close;
/** Creates new form */
public JFrameMinimize(Frame _f, MainGUI _mgui, String _title, RG _rg) {
super(_title);
mgui = _mgui;
rg = _rg;
initComponents();
myInitComponents();
pack();
//getGlassPane().addMouseListener( new MouseAdapter() {});
getGlassPane().setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));
}
private void myInitComponents() {
mode = NO_DATA;
setButtons();
t = new Thread(this);
t.start();
}
private void initComponents() {
Container c = getContentPane();
GridBagLayout gridbag1 = new GridBagLayout();
GridBagConstraints c1 = new GridBagConstraints();
GridBagLayout gridbag4 = new GridBagLayout();
GridBagConstraints c4 = new GridBagConstraints();
setFont(new Font("Helvetica", Font.PLAIN, 14));
c.setLayout(new BorderLayout());
setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
// ignored list
JPanel panelTop = new JPanel();
panelTop.setLayout(new BorderLayout());
panel1 = new JPanel();
panel1.setLayout(new BorderLayout());
panel1.setBorder(new javax.swing.border.TitledBorder("Actions ignored"));
listIgnored = new JList<String>();
//listIgnored.setPreferredSize(new Dimension(200, 250));
listIgnored.setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION );
listIgnored.addListSelectionListener(this);
JScrollPane scrollPane1 = new JScrollPane(listIgnored);
panel1.add(scrollPane1, BorderLayout.CENTER);
panel1.setPreferredSize(new Dimension(400, 250));
panelTop.add(panel1, BorderLayout.WEST);
// validated list
panel2 = new JPanel();
panel2.setLayout(new BorderLayout());
panel2.setBorder(new javax.swing.border.TitledBorder("Actions taken into account"));
listProjected = new JList<String> ();
//listProjected.setPreferredSize(new Dimension(200, 250));
listProjected.setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION );
listProjected.addListSelectionListener(this);
JScrollPane scrollPane2 = new JScrollPane(listProjected);
panel2.add(scrollPane2, BorderLayout.CENTER);
panel2.setPreferredSize(new Dimension(400, 250));
panelTop.add(panel2, BorderLayout.EAST);
// radio buttons
panel4 = new JPanel();
panel4.setLayout(gridbag4);
panel4.setBorder(new javax.swing.border.TitledBorder("Minimization: tools and options"));
removeInternalActions = new JCheckBox("Remove internal actions");
removeInternalActions.setEnabled(true);
//c4.anchor = GridBagConstraints.EAST;
c4.weighty = 1.0;
c4.weightx = 1.0;
c4.gridwidth = GridBagConstraints.REMAINDER; //end row
c4.fill = GridBagConstraints.HORIZONTAL;
c4.gridheight = 1;
panel4.add(removeInternalActions, c4);
panelTop.add(panel4, BorderLayout.SOUTH);
// central buttons
panel3 = new JPanel();
panel3.setLayout(gridbag1);
c1.weighty = 1.0;
c1.weightx = 1.0;
c1.gridwidth = GridBagConstraints.REMAINDER; //end row
c1.fill = GridBagConstraints.HORIZONTAL;
c1.gridheight = 1;
allProjected = new JButton(IconManager.imgic50);
allProjected.setPreferredSize(new Dimension(50, 25));
allProjected.addActionListener(this);
allProjected.setActionCommand("All");
panel3.add(allProjected, c1);
addOneProjected = new JButton(IconManager.imgic48);
addOneProjected.setPreferredSize(new Dimension(50, 25));
addOneProjected.addActionListener(this);
addOneProjected.setActionCommand("Add one");
panel3.add(addOneProjected, c1);
panel3.add(new JLabel(" "), c1);
addOneIgnored = new JButton(IconManager.imgic46);
addOneIgnored.addActionListener(this);
addOneIgnored.setPreferredSize(new Dimension(50, 25));
addOneIgnored.setActionCommand("One Ignored");
panel3.add(addOneIgnored, c1);
allIgnored = new JButton(IconManager.imgic44);
allIgnored.addActionListener(this);
allIgnored.setPreferredSize(new Dimension(50, 25));
allIgnored.setActionCommand("All Ignored");
panel3.add(allIgnored, c1);
panelTop.add(panel3, BorderLayout.CENTER);
c.add(panelTop, BorderLayout.NORTH);
// textarea panel
jta = new ScrolledJTextArea();
jta.setEditable(false);
jta.setMargin(new Insets(10, 10, 10, 10));
jta.setTabSize(3);
jta.append("Select actions and then, click on 'start' to start minimization\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);
// Button panel;
start = new JButton("Start", IconManager.imgic53);
stop = new JButton("Stop", IconManager.imgic55);
close = new JButton("Close", IconManager.imgic27);
start.setPreferredSize(new Dimension(150, 30));
stop.setPreferredSize(new Dimension(150, 30));
close.setPreferredSize(new Dimension(150, 30));
start.addActionListener(this);
stop.addActionListener(this);
close.addActionListener(this);
JPanel jp2 = new JPanel();
jp2.add(start);
jp2.add(stop);
jp2.add(close);
c.add(jp2, BorderLayout.SOUTH);
}
public void actionPerformed(ActionEvent evt) {
String command = evt.getActionCommand();
// Compare the action command to the known actions.
if (command.equals("Start")) {
startProcess();
} else if (command.equals("Stop")) {
stopProcess();
} else if (command.equals("Close")) {
closeDialog();
} else if (evt.getSource() == addOneIgnored) {
addOneIgnored();
} else if (evt.getSource() == addOneProjected) {
addOneProjected();
} else if (evt.getSource() == allProjected) {
allProjected();
} else if (evt.getSource() == allIgnored) {
allIgnored();
}
}
private void updateListsFromModels() {
Collections.sort(sortedListProjected);
Collections.sort(sortedListIgnored);
String[] strarray = new String[sortedListProjected.size()];
sortedListProjected.toArray(strarray );
listProjected.setListData(strarray);
strarray = new String[sortedListIgnored.size()];
sortedListIgnored.toArray(strarray );
listIgnored.setListData(strarray);
setButtonsList();
}
private void addOneIgnored() {
java.util.List<String> ll= listProjected.getSelectedValuesList();
for (String o: ll){
sortedListProjected.remove(o);
sortedListIgnored.add (o);
}
updateListsFromModels();
setButtons();
}
private void addOneProjected() {
java.util.List<String> ll= listIgnored.getSelectedValuesList();
for (String o: ll){
sortedListIgnored.remove(o);
sortedListProjected.add (o);
}
updateListsFromModels();
setButtons();
}
private void allProjected() {
sortedListProjected.addAll(sortedListIgnored);
sortedListIgnored.clear();
updateListsFromModels();
setButtons();
}
private void allIgnored() {
sortedListIgnored.addAll(sortedListProjected);
sortedListProjected.clear();
updateListsFromModels();
setButtons();
}
/*private void moveSynchronizedGatesAsWell(LinkedList<TClassAndGateDS> toCheck, LinkedList<TClassAndGateDS> toPickup) {
TClassAndGateDS tcg1;
MasterGateManager mgm = mgui.gtm.getNewMasterGateManager();
//Gate g;
GroupOfGates gog, gog1;
for (TClassAndGateDS tcg: toCheck) {
gog = mgm.groupOf(tcg.getTClassName(), tcg.getGateName());
if (gog != null) {
for(int j=0; j<toPickup.size(); j++) {
tcg1 = toPickup.get (j);
gog1 = mgm.groupOf(tcg1.getTClassName(), tcg1.getGateName());
if (gog1 == gog) {
toCheck.add (tcg1);
toPickup.remove (j);
j--;
}
}
}
}
}*/
private void setButtons() {
switch(mode) {
case NO_DATA:
listProjected.setEnabled(false);
listIgnored.setEnabled(false);
setButtonsList();
start.setEnabled(false);
stop.setEnabled(false);
close.setEnabled(true);
getGlassPane().setVisible(false);
break;
case NOT_STARTED:
listProjected.setEnabled(true);
listIgnored.setEnabled(true);
setButtonsList();
start.setEnabled(sortedListIgnored.size() > 0);
stop.setEnabled(false);
close.setEnabled(true);
getGlassPane().setVisible(false);
break;
case STARTED:
listProjected.setEnabled(false);
listIgnored.setEnabled(false);
unsetButtonsList();
start.setEnabled(false);
stop.setEnabled(true);
close.setEnabled(false);
getGlassPane().setVisible(true);
break;
case STOPPED:
default:
listProjected.setEnabled(false);
listIgnored.setEnabled(false);
unsetButtonsList();
start.setEnabled(false);
stop.setEnabled(false);
close.setEnabled(true);
getGlassPane().setVisible(false);
break;
}
}
private void unsetButtonsList() {
addOneProjected.setEnabled(false);
addOneIgnored.setEnabled(false);
allProjected.setEnabled(false);
allIgnored.setEnabled(false);
}
private void setButtonsList() {
int i1 = listIgnored.getSelectedIndex();
int i2 = listProjected.getSelectedIndex();
if (i1 == -1) {
addOneProjected.setEnabled(false);
} else {
addOneProjected.setEnabled(true);
}
if (i2 == -1) {
addOneIgnored.setEnabled(false);
} else {
addOneIgnored.setEnabled(true);
}
if (sortedListIgnored == null) {
allProjected.setEnabled(false);
} else {
if (sortedListIgnored.size() == 0) {
allProjected.setEnabled(false);
} else {
allProjected.setEnabled(true);
}
}
if (sortedListProjected == null) {
allIgnored.setEnabled(false);
} else {
if (sortedListProjected.size() == 0) {
allIgnored.setEnabled(false);
//closeButton.setEnabled(false);
//closeButton.setEnabled(false);
} else {
allIgnored.setEnabled(true);
//closeButton.setEnabled(true);
}
}
}
public void valueChanged(ListSelectionEvent e) {
setButtons();
}
public void closeDialog() {
if (mode == STARTED) {
stopProcess();
}
dispose();
}
public void stopProcess() {
mode = STOPPED;
setButtons();
}
public void startProcess() {
t = new Thread(this);
mode = STARTED;
setButtons();
t.start();
}
public void computeListOfActions() {
jta.append("Computing list of Actions\n");
jta.append("\t1. Cloning graph\n");
if (rg.graph == null) {
if (rg.data == null) {
jta.append("ERROR: invalid graph\n");
return;
}
rg.graph = new AUTGraph();
jta.append("\t\t Buillding graph in memory\n");
rg.graph.buildGraph(rg.data);
jta.append("\t\t Finishing graph in memory\n");
rg.graph.computeStates();
}
newRG = new RG("minimized" + rg.name);
newRG.data = rg.data;
newRG.graph = rg.graph.cloneMe();
jta.append("\t2. Making list of actions\n");
HashSet<String> hs = newRG.graph.getAllActions();
jta.append("\t3. Sorting actions, and setting graphical lists\n");
sortedListProjected = new ArrayList<String>(hs);
sortedListIgnored = new ArrayList<String>();
updateListsFromModels();
jta.append("All done\n");
jta.append("\nSelect actions and then, click on 'start' to start minimization\n");
listOfActionsComputed = true;
mode = NOT_STARTED;
setButtons();
}
public void run() {
if (!listOfActionsComputed) {
computeListOfActions();
return;
}
jta.append("\nMinimizing graph...\n");
String[] strarray = new String[sortedListIgnored.size()];
sortedListIgnored.toArray(strarray );
newRG.graph.minimize(strarray);
newRG.nbOfStates = newRG.graph.getNbOfStates();
newRG.nbOfTransitions = newRG.graph.getTransitions().size();
mgui.addRG(newRG);
jta.append("\nGraph minimized: " + newRG.nbOfStates + " states, " + newRG.nbOfTransitions + " transitions\n");
mode = STOPPED;
setButtons();
}
}