-
Le Van Truong authoredAdding new displaying option for timeline diagram (with and without reduce idle time) and Moving tests from ui.tml to tmltranslator
Le Van Truong authoredAdding new displaying option for timeline diagram (with and without reduce idle time) and Moving tests from ui.tml to tmltranslator
JDialogSelectTasks.java 13.46 KiB
/* 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 ui.util.IconManager;
import javax.swing.*;
import javax.swing.event.ListSelectionEvent;
import javax.swing.event.ListSelectionListener;
import java.awt.*;
import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;
import java.util.LinkedList;
import java.util.List;
import java.util.Vector;
import java.util.Collections;
/**
* Class JDialogSelectStrings
* Dialog for managing tasks in sim trace panel
* Creation: 28/03/2008
*
* @author Ludovic APVRILLE
* @version 1.0 28/03/2008
*/
public class JDialogSelectTasks extends JDialogBase implements ActionListener, ListSelectionListener {
public static Vector<String> validated, ignored;
private Vector<String> val;
private Vector<String> ign, back;
//subpanels
private JPanel panel1, panel2, panel3, panel4, panel5, panel6;
private JCheckBox checkBoxScaleIdleTime;
private JList<String> listIgnored;
private JList<String> listValidated;
private JButton allValidated;
private JButton addOneValidated;
private JButton addOneIgnored;
private JButton allIgnored;
private JButton shiftUp;
private JButton shiftDown;
/*
* Creates new form
*/
public JDialogSelectTasks(Frame f, Vector<String> _back, List<String> componentList, String title) {
super(f, title, true);
back = _back;
if ((validated == null) || (ignored == null)) {
val = makeNewVal(componentList);
ign = new Vector<String>();
} else {
val = validated;
ign = ignored;
checkTask(val, componentList);
checkTask(ign, componentList);
addNewTask(val, componentList, ign);
}
initComponents();
myInitComponents();
pack();
}
private Vector<String> makeNewVal(List<String> list) {
Vector<String> v = new Vector<String>();
String tgc;
for (int i = 0; i < list.size(); i++) {
tgc = list.get(i);
//
v.addElement(tgc);
}
return v;
}
private void checkTask(Vector<? extends String> tobeChecked, List<String> source) {
String t;
for (int i = 0; i < tobeChecked.size(); i++) {
t = tobeChecked.elementAt(i);
if (!source.contains(t)) {
tobeChecked.removeElementAt(i);
i--;
}
}
}
public void addNewTask(Vector<String> added, List<String> source, Vector<String> notSource) { String tgc;
for (int i = 0; i < source.size(); i++) {
tgc = source.get(i);
if ((!added.contains(tgc)) && (!notSource.contains(tgc))) {
added.addElement(tgc);
//
}
}
}
private void myInitComponents() {
setButtons();
}
private void initComponents() {
Container c = getContentPane();
GridBagLayout gridbag1 = new GridBagLayout();
GridBagConstraints c1 = new GridBagConstraints();
GridBagLayout gridbag2 = new GridBagLayout();
GridBagConstraints c2 = new GridBagConstraints();
setFont(new Font("Helvetica", Font.PLAIN, 14));
c.setLayout(gridbag2);
setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
c2.weighty = 1.0;
c2.weightx = 1.0;
c2.gridwidth = 1;
c2.fill = GridBagConstraints.BOTH;
c2.gridheight = 1;
// ignored list
panel1 = new JPanel();
panel1.setLayout(new BorderLayout());
panel1.setBorder(new javax.swing.border.TitledBorder("Ignored Tasks"));
listIgnored = new JList<String>(ign);
//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(200, 250));
c.add(panel1, c2);
// 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;
allValidated = new JButton(IconManager.imgic50);
allValidated.setPreferredSize(new Dimension(50, 25));
allValidated.addActionListener(this);
allValidated.setActionCommand("allValidated");
panel3.add(allValidated, c1);
addOneValidated = new JButton(IconManager.imgic48);
addOneValidated.setPreferredSize(new Dimension(50, 25));
addOneValidated.addActionListener(this);
addOneValidated.setActionCommand("addOneValidated");
panel3.add(addOneValidated, c1);
panel3.add(new JLabel(" "), c1);
addOneIgnored = new JButton(IconManager.imgic46);
addOneIgnored.addActionListener(this);
addOneIgnored.setPreferredSize(new Dimension(50, 25));
addOneIgnored.setActionCommand("addOneIgnored");
panel3.add(addOneIgnored, c1);
allIgnored = new JButton(IconManager.imgic44);
allIgnored.addActionListener(this);
allIgnored.setPreferredSize(new Dimension(50, 25));
allIgnored.setActionCommand("allIgnored");
panel3.add(allIgnored, c1);
c.add(panel3, c2);
shiftUp = new JButton(IconManager.imgic78);
shiftUp.addActionListener(this);
shiftUp.setPreferredSize(new Dimension(50, 25));
shiftUp.setActionCommand("shiftUp");
panel3.add(shiftUp, c1);
c.add(panel3, c2);
shiftDown = new JButton(IconManager.imgic79);
shiftDown.addActionListener(this);
shiftDown.setPreferredSize(new Dimension(50, 25));
shiftDown.setActionCommand("shiftDown");
panel3.add(shiftDown, c1);
c.add(panel3, c2);
// validated list
panel2 = new JPanel();
panel2.setLayout(new BorderLayout());
panel2.setBorder(new javax.swing.border.TitledBorder("Displayed Tasks"));
listValidated = new JList<String>(val);
//listValidated.setPreferredSize(new Dimension(200, 250));
listValidated.setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
listValidated.addListSelectionListener(this);
JScrollPane scrollPane2 = new JScrollPane(listValidated);
panel2.add(scrollPane2, BorderLayout.CENTER);
panel2.setPreferredSize(new Dimension(200, 250));
c2.gridwidth = GridBagConstraints.REMAINDER; //end row
c.add(panel2, c2);
panel4 = new JPanel();
panel4.setLayout(new BoxLayout(panel4, BoxLayout.Y_AXIS));
checkBoxScaleIdleTime = new JCheckBox("Enable IdleTime Scaling");
//scale idle time by default
checkBoxScaleIdleTime.setSelected(true);
panel4.add(checkBoxScaleIdleTime);
// JLabel jLabelScale = new JLabel("Start time:");
// panel4.add(jLabelScale);
// JTextField startTime = new JTextField();
// panel4.add(startTime);
// jLabelScale = new JLabel("End time:");
// panel4.add(jLabelScale);
// JTextField endTime = new JTextField();
// panel4.add(endTime);
c2.gridwidth = GridBagConstraints.REMAINDER;
c.add(panel4, c2);
c2.fill = GridBagConstraints.HORIZONTAL;
c2.gridwidth = 1; //end row
initMainButtons(c2, c, this, false, "Show trace", "Cancel");
}
public boolean getScaleIdleTime() {
return checkBoxScaleIdleTime.isSelected();
}
public void actionPerformed(ActionEvent evt) {
String command = evt.getActionCommand();
if (evt.getSource() == closeButton) {
closeDialog();
return;
} else if (evt.getSource() == cancelButton) {
cancelDialog();
return;
}
// Compare the action command to the known actions.
if (command.equals("addOneIgnored")) {
addOneIgnored();
} else if (command.equals("addOneValidated")) {
addOneValidated();
} else if (command.equals("allValidated")) {
allValidated();
} else if (command.equals("allIgnored")) {
allIgnored();
} else if (command.equals("shiftUp")) {
shiftUp();
} else if (command.equals("shiftDown")) {
shiftDown();
}
}
private void shiftUp(){
int index = listValidated.getSelectedIndices()[0];
Collections.swap(val, index, index-1);
listValidated.setListData(val);
setButtons();
}
private void shiftDown(){
int index = listValidated.getSelectedIndices()[0];
Collections.swap(val, index, index+1);
listValidated.setListData(val);
setButtons();
}
private void addOneIgnored() {
int[] list = listValidated.getSelectedIndices();
Vector<String> v = new Vector<String>();
String o;
for (int i = 0; i < list.length; i++) {
o = val.elementAt(list[i]);
ign.addElement(o);
v.addElement(o);
}
val.removeAll(v);
listIgnored.setListData(ign);
listValidated.setListData(val);
setButtons();
}
private void addOneValidated() {
int[] list = listIgnored.getSelectedIndices();
Vector<String> v = new Vector<String>(); String o;
for (int i = 0; i < list.length; i++) {
o = ign.elementAt(list[i]);
val.addElement(o);
v.addElement(o);
}
ign.removeAll(v);
listIgnored.setListData(ign);
listValidated.setListData(val);
setButtons();
}
private void allValidated() {
val.addAll(ign);
ign.removeAllElements();
listIgnored.setListData(ign);
listValidated.setListData(val);
setButtons();
}
private void allIgnored() {
ign.addAll(val);
val.removeAllElements();
listIgnored.setListData(ign);
listValidated.setListData(val);
setButtons();
}
public void closeDialog() {
back.removeAllElements();
for (int i = 0; i < val.size(); i++) {
back.addElement(val.elementAt(i));
}
validated = val;
ignored = ign;
dispose();
}
public void cancelDialog() {
dispose();
}
private void setButtons() {
int i1 = listIgnored.getSelectedIndex();
int i2 = listValidated.getSelectedIndex();
if (i1 == -1) {
addOneValidated.setEnabled(false);
} else {
addOneValidated.setEnabled(true);
//listValidated.clearSelection();
}
if (i2 == -1) {
addOneIgnored.setEnabled(false);
} else {
addOneIgnored.setEnabled(true);
//listIgnored.clearSelection();
}
if (ign.size() == 0) {
allValidated.setEnabled(false);
} else {
allValidated.setEnabled(true);
}
if (val.size() == 0) {
allIgnored.setEnabled(false); closeButton.setEnabled(false);
} else {
allIgnored.setEnabled(true);
closeButton.setEnabled(true);
}
if (i2 < 1){
shiftUp.setEnabled(false);
}
else {
shiftUp.setEnabled(true);
}
if (i2==val.size()-1 || i2==-1){
shiftDown.setEnabled(false);
}
else {
shiftDown.setEnabled(true);
}
}
public void valueChanged(ListSelectionEvent e) {
setButtons();
}
}