/* 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.simulationtraceanalysis;
import java.awt.BorderLayout;
import java.awt.Color;
import java.awt.Component;
import java.awt.GridBagConstraints;
import java.awt.GridBagLayout;
import java.awt.GridLayout;
import java.util.ArrayList;
import java.util.HashMap;
import java.util.List;
import java.util.Map.Entry;
import java.util.Vector;
import javax.swing.JFrame;
import javax.swing.JLabel;
import javax.swing.JPanel;
import javax.swing.JProgressBar;
import javax.swing.JScrollPane;
import javax.swing.JTable;
import javax.swing.event.TableModelEvent;
import javax.swing.event.TableModelListener;
import javax.swing.table.DefaultTableModel;
import javax.swing.table.TableCellRenderer;
import javax.swing.table.TableColumn;
import javax.swing.table.TableColumnModel;
import ui.interactivesimulation.SimulationTransaction;
/**
* Class JFrameLatencyDetailedPopup: this class opens the frame showing the
* details of the latency per selected row
*
* 23/09/2019
*
* @author Maysam Zoor
*/
public class JFrameLatencyDetailedPopup extends JFrame implements TableModelListener {
private String[] columnByTaskNames = new String[5];
private String[] columnByHWNames = new String[5];
private JScrollPane scrollPane12, scrollPane13, scrollPane14;
private static JTable taskNames, hardwareNames;
private Object[][] dataDetailedByTask;
private String[] columnNames;
private List<String> onPathBehavior = new ArrayList<String>();
private List<String> offPathBehavior = new ArrayList<String>();
private List<String> offPathBehaviorCausingDelay = new ArrayList<String>();
// private Thread t, t1;
private Object[][] dataHWDelayByTask;
public JFrameLatencyDetailedPopup(DirectedGraphTranslator dgraph, int row, boolean firstTable, Boolean taint,
LatencyAnalysisParallelAlgorithms th, boolean visible) throws InterruptedException {
super("Precise Latency By Row");
setDefaultCloseOperation(JFrame.DISPOSE_ON_CLOSE);
GridLayout myLayout = new GridLayout(4, 1);
this.setLayout(myLayout);
columnByTaskNames[0] = "Transaction List";
columnByTaskNames[1] = "Transaction Diagram Name ";
columnByTaskNames[2] = "Hardware ";
columnByTaskNames[3] = "Start Time";
columnByTaskNames[4] = "End Time ";
JPanel jp04 = new JPanel(new BorderLayout());
jp04.setBorder(new javax.swing.border.TitledBorder("Mandatory Transactions"));
if (firstTable) {
th.setDgraph(dgraph);
th.setRow(row);
th.start(2);
th.run();
dataDetailedByTask = th.getDataDetailedByTask();
} else {
if (taint) {
th.setDgraph(dgraph);
th.setRow(row);
th.start(3);
th.run();
// th.getT().join();
dataDetailedByTask = th.getDataDetailedByTask();
} else {
th.setDgraph(dgraph);
th.setRow(row);
th.start(4);
th.run();
dataDetailedByTask = th.getDataDetailedByTask();
}
}
DefaultTableModel model = new DefaultTableModel(dataDetailedByTask, columnByTaskNames) {
@Override
public boolean isCellEditable(int row, int column) {
return false;
}
@Override
public Class getColumnClass(int column) {
switch (column) {
case 0:
return String.class;
case 1:
return String.class;
case 2:
return String.class;
case 3:
return Integer.class;
case 4:
return Integer.class;
default:
return Integer.class;
}
}
};
JTable taskNames = new JTable(model);
taskNames.setAutoCreateRowSorter(true);
scrollPane12 = new JScrollPane(taskNames, JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
scrollPane12.setVisible(visible);
jp04.add(scrollPane12);
this.add(jp04);
columnByHWNames[0] = "Task on Same device";
columnByHWNames[1] = "Transaction Diagram Name ";
columnByHWNames[2] = "Hardware ";
columnByHWNames[3] = "Start Time";
columnByHWNames[4] = "End Time ";
if (firstTable) {
th.setDgraph(dgraph);
th.setRow(row);
th.start(5);
th.run();
// th.getT().join();
dataHWDelayByTask = th.getDataDetailedByTask();
} else {
if (taint) {
th.setDgraph(dgraph);
th.setRow(row);
th.start(6);
th.run();
dataHWDelayByTask = th.getDataDetailedByTask();
} else {
th.setDgraph(dgraph);
th.setRow(row);
th.start(7);
th.run();
dataHWDelayByTask = th.getDataDetailedByTask();
}
}
DefaultTableModel model2 = new DefaultTableModel(dataHWDelayByTask, columnByHWNames) {
@Override
public boolean isCellEditable(int row, int column) {
return false;
}
@Override
public Class getColumnClass(int column) {
switch (column) {
case 0:
return String.class;
case 1:
return String.class;
case 2:
return String.class;
case 3:
return Integer.class;
case 4:
return Integer.class;
default:
return Integer.class;
}
}
};
JPanel jp05 = new JPanel(new BorderLayout());
jp05.setBorder(new javax.swing.border.TitledBorder("Non-Mandatory Transactions"));
JTable hardwareNames = new JTable(model2);
hardwareNames.setAutoCreateRowSorter(true);
scrollPane13 = new JScrollPane(hardwareNames, JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
scrollPane13.setVisible(visible);
jp05.add(scrollPane13);
this.add(jp05);
int maxTime = -1;
int minTime = Integer.MAX_VALUE;
int tmpEnd, tmpStart, length;
Vector<String> deviceNames1 = new Vector<String>();
if (firstTable) {
for (SimulationTransaction st : dgraph.getRowDetailsTaks(row)) {
if (st.coreNumber == null) {
st.coreNumber = "0";
}
tmpEnd = Integer.parseInt(st.endTime);
if (tmpEnd > maxTime) {
maxTime = tmpEnd;
}
tmpStart = Integer.parseInt(st.startTime);
if (tmpStart < minTime) {
minTime = tmpStart;
}
String deviceNameandcore = st.deviceName + "_" + st.coreNumber;
if (!deviceNames1.contains(deviceNameandcore)) {
deviceNames1.add(deviceNameandcore);
}
}
for (SimulationTransaction st : dgraph.getRowDetailsByHW(row)) {
tmpEnd = Integer.parseInt(st.endTime);
if (st.coreNumber == null) {
st.coreNumber = "0";
}
if (tmpEnd > maxTime) {
maxTime = tmpEnd;
}
tmpStart = Integer.parseInt(st.startTime);
if (tmpStart < minTime) {
minTime = tmpStart;
}
String deviceNameandcore = st.deviceName + "_" + st.coreNumber;
if (!deviceNames1.contains(deviceNameandcore)) {
deviceNames1.add(deviceNameandcore);
}
}
int timeInterval = 0;
if (maxTime > -1 && minTime < Integer.MAX_VALUE) {
timeInterval = (maxTime - minTime);
}
columnNames = new String[timeInterval + 1];
columnNames[0] = "Device Name";
for (int i = 0; i < timeInterval; i++) {
columnNames[i + 1] = Integer.toString(minTime + i);
}
dataDetailedByTask = new Object[deviceNames1.size()][timeInterval + 1];
for (SimulationTransaction st : dgraph.getRowDetailsTaks(row)) {
if (st.coreNumber == null) {
st.coreNumber = "0";
}
for (String dName : deviceNames1) {
String deviceNameandcore = st.deviceName + "_" + st.coreNumber;
if (deviceNameandcore.equals(dName)) {
length = Integer.parseInt(st.length);
for (int i = 0; i < length; i++) {
int columnnmber = Integer.parseInt(st.endTime) - minTime - i;
dataDetailedByTask[deviceNames1.indexOf(dName)][columnnmber] = dgraph.getNameIDTaskList().get(st.id);
;
onPathBehavior.add(dgraph.getNameIDTaskList().get(st.id) + columnNames[columnnmber]);
if (!dgraph.getOnPath().contains(st)) {
dgraph.getOnPath().add(st);
}
}
}
}
}
HashMap<String, ArrayList<ArrayList<Integer>>> delayTime = dgraph.getRowDelayDetailsByHW(row);
for (SimulationTransaction st : dgraph.getRowDetailsByHW(row)) {
if (st.coreNumber == null) {
st.coreNumber = "0";
}
for (String dName : deviceNames1) {
String deviceNameandcore = st.deviceName + "_" + st.coreNumber;
if (deviceNameandcore.equals(dName)) {
length = Integer.parseInt(st.length);
for (int i = 0; i < length; i++) {
int columnnmber = Integer.parseInt(st.endTime) - minTime - i;
dataDetailedByTask[deviceNames1.indexOf(dName)][columnnmber] = dgraph.getNameIDTaskList().get(st.id);
;
boolean causeDelay = false;
if (delayTime.containsKey(deviceNameandcore)) {
for (Entry<String, ArrayList<ArrayList<Integer>>> entry : delayTime.entrySet()) {
if (entry.getKey().equals(deviceNameandcore)) {
ArrayList<ArrayList<Integer>> timeList = entry.getValue();
for (int j = 0; j < timeList.size(); j++) {
if (Integer.valueOf(st.startTime) >= timeList.get(j).get(0)
&& Integer.valueOf(st.startTime) <= timeList.get(j).get(1)) {
causeDelay = true;
}
}
}
}
}
if (causeDelay) {
offPathBehaviorCausingDelay.add(dgraph.getNameIDTaskList().get(st.id) + columnNames[columnnmber]);
if (!dgraph.getOffPathDelay().contains(st)) {
dgraph.getOffPathDelay().add(st);
}
} else {
offPathBehavior.add(dgraph.getNameIDTaskList().get(st.id) + columnNames[columnnmber]);
if (!dgraph.getOffPath().contains(st)) {
dgraph.getOffPath().add(st);
}
}
}
}
}
}
for (String dName : deviceNames1) {
dataDetailedByTask[deviceNames1.indexOf(dName)][0] = dName;
;
}
} else {
Vector<SimulationTransaction> minMaxTasksByRow;
List<SimulationTransaction> minMaxHWByRowDetails;
// min/max table row selected
if (taint) {
minMaxTasksByRow = dgraph.getMinMaxTasksByRowTainted(row);
minMaxHWByRowDetails = dgraph.getTaskMinMaxHWByRowDetailsTainted(row);
for (SimulationTransaction st : minMaxTasksByRow) {
tmpEnd = Integer.parseInt(st.endTime);
if (st.coreNumber == null) {
st.coreNumber = "0";
}
if (tmpEnd > maxTime) {
maxTime = tmpEnd;
}
tmpStart = Integer.parseInt(st.startTime);
if (tmpStart < minTime) {
minTime = tmpStart;
}
String deviceNameandcore = st.deviceName + "_" + st.coreNumber;
if (!deviceNames1.contains(deviceNameandcore)) {
deviceNames1.add(deviceNameandcore);
}
}
for (SimulationTransaction st : minMaxHWByRowDetails) {
tmpEnd = Integer.parseInt(st.endTime);
if (tmpEnd > maxTime) {
maxTime = tmpEnd;
}
tmpStart = Integer.parseInt(st.startTime);
if (tmpStart < minTime) {
minTime = tmpStart;
}
String deviceNameandcore = st.deviceName + "_" + st.coreNumber;
if (!deviceNames1.contains(deviceNameandcore)) {
deviceNames1.add(deviceNameandcore);
}
}
} else {
minMaxTasksByRow = dgraph.getMinMaxTasksByRow(row);
minMaxHWByRowDetails = dgraph.getTaskMinMaxHWByRowDetails(row);
for (SimulationTransaction st : minMaxTasksByRow) {
if (st.coreNumber == null) {
st.coreNumber = "0";
}
tmpEnd = Integer.parseInt(st.endTime);
if (tmpEnd > maxTime) {
maxTime = tmpEnd;
}
tmpStart = Integer.parseInt(st.startTime);
if (tmpStart < minTime) {
minTime = tmpStart;
}
String deviceNameandcore = st.deviceName + "_" + st.coreNumber;
if (!deviceNames1.contains(deviceNameandcore)) {
deviceNames1.add(deviceNameandcore);
}
}
for (SimulationTransaction st : minMaxHWByRowDetails) {
if (st.coreNumber == null) {
st.coreNumber = "0";
}
tmpEnd = Integer.parseInt(st.endTime);
if (tmpEnd > maxTime) {
maxTime = tmpEnd;
}
tmpStart = Integer.parseInt(st.startTime);
if (tmpStart < minTime) {
minTime = tmpStart;
}
String deviceNameandcore = st.deviceName + "_" + st.coreNumber;
if (!deviceNames1.contains(deviceNameandcore)) {
deviceNames1.add(deviceNameandcore);
}
}
}
int timeInterval = 0;
if (maxTime > -1 && minTime < Integer.MAX_VALUE) {
timeInterval = (maxTime - minTime);
}
columnNames = new String[timeInterval + 1];
columnNames[0] = "Device Name";
for (int i = 0; i < timeInterval; i++) {
columnNames[i + 1] = Integer.toString(minTime + i);
}
dataDetailedByTask = new Object[deviceNames1.size()][timeInterval + 1];
for (SimulationTransaction st : minMaxTasksByRow) {
if (st.coreNumber == null) {
st.coreNumber = "0";
}
for (String dName : deviceNames1) {
String deviceNameandcore = st.deviceName + "_" + st.coreNumber;
if (deviceNameandcore.equals(dName)) {
length = Integer.parseInt(st.length);
for (int i = 0; i < length; i++) {
int columnnmber = Integer.parseInt(st.endTime) - minTime - i;
dataDetailedByTask[deviceNames1.indexOf(dName)][columnnmber] = dgraph.getNameIDTaskList().get(st.id);
;
onPathBehavior.add(dgraph.getNameIDTaskList().get(st.id) + columnNames[columnnmber]);
if (!dgraph.getOnPath().contains(st)) {
dgraph.getOnPath().add(st);
}
}
}
}
}
HashMap<String, ArrayList<ArrayList<Integer>>> delayTime = dgraph.getRowDelayDetailsByHW(row);
for (SimulationTransaction st : minMaxHWByRowDetails) {
if (st.coreNumber == null) {
st.coreNumber = "0";
}
for (String dName : deviceNames1) {
String deviceNameandcore = st.deviceName + "_" + st.coreNumber;
if (deviceNameandcore.equals(dName)) {
length = Integer.parseInt(st.length);
for (int i = 0; i < length; i++) {
int columnnmber = Integer.parseInt(st.endTime) - minTime - i;
dataDetailedByTask[deviceNames1.indexOf(dName)][columnnmber] = dgraph.getNameIDTaskList().get(st.id);
;
boolean causeDelay = false;
if (delayTime.containsKey(deviceNameandcore)) {
for (Entry<String, ArrayList<ArrayList<Integer>>> entry : delayTime.entrySet()) {
if (entry.getKey().equals(deviceNameandcore)) {
ArrayList<ArrayList<Integer>> timeList = entry.getValue();
for (int j = 0; j < timeList.size(); j++) {
if (Integer.valueOf(st.startTime) >= timeList.get(j).get(0)
&& Integer.valueOf(st.startTime) <= timeList.get(j).get(1)) {
causeDelay = true;
}
}
}
}
}
if (causeDelay) {
offPathBehaviorCausingDelay.add(dgraph.getNameIDTaskList().get(st.id) + columnNames[columnnmber]);
if (!dgraph.getOffPathDelay().contains(st)) {
dgraph.getOffPathDelay().add(st);
}
} else {
offPathBehavior.add(dgraph.getNameIDTaskList().get(st.id) + columnNames[columnnmber]);
if (!dgraph.getOffPath().contains(st)) {
dgraph.getOffPath().add(st);
}
}
}
}
}
}
for (String dName : deviceNames1) {
dataDetailedByTask[deviceNames1.indexOf(dName)][0] = dName;
;
}
}
DefaultTableModel model3 = new DefaultTableModel(dataDetailedByTask, columnNames) {
@Override
public boolean isCellEditable(int row, int column) {
return false;
}
};
JTable table = new JTable(model3);
table.setFillsViewportHeight(true);
table.setAutoResizeMode(JTable.AUTO_RESIZE_OFF);
table.setAutoCreateRowSorter(true);
TableRenderer tr = new TableRenderer(onPathBehavior, offPathBehaviorCausingDelay, offPathBehavior);
int ncols = table.getColumnCount();
table.getModel().addTableModelListener(this);
TableColumnModel tcm = table.getColumnModel();
for (int c = 0; c < ncols; c++) {
TableColumn tc = tcm.getColumn(c);
tc.setCellRenderer(tr);
}
// set the column width for small tables/ performance issue with big tables
if (ncols < 1000) {
for (int c = 0; c < ncols; c++) {
TableColumn tc = tcm.getColumn(c);
tc.setCellRenderer(tr);
tc.setPreferredWidth(100);
TableColumn tableColumn = table.getColumnModel().getColumn(c);
int preferredWidth = 100 + tableColumn.getMinWidth();
int maxWidth = tableColumn.getMaxWidth();
for (int row1 = 0; row1 < table.getRowCount(); row1++) {
TableCellRenderer cellRenderer = table.getCellRenderer(row1, c);
Component c1 = table.prepareRenderer(cellRenderer, row1, c);
int width = c1.getPreferredSize().width + table.getIntercellSpacing().width;
preferredWidth = Math.max(preferredWidth, width);
// We've exceeded the maximum width, no need to check other rows
if (preferredWidth >= maxWidth) {
preferredWidth = maxWidth;
break;
}
}
tableColumn.setPreferredWidth(preferredWidth);
}
}
scrollPane14 = new JScrollPane(table, JScrollPane.VERTICAL_SCROLLBAR_ALWAYS, JScrollPane.HORIZONTAL_SCROLLBAR_ALWAYS);
scrollPane14.setVisible(visible);
this.add(scrollPane14);
GridBagLayout gridbag01 = new GridBagLayout();
GridBagConstraints c01 = new GridBagConstraints();
c01.gridheight = 1;
c01.weighty = 1.0;
c01.weightx = 1.0;
c01.gridwidth = 1;
c01.gridx = 0;
c01.gridy = 0;
JLabel pBarLabel0 = new JLabel("Table Lenged: ");
JPanel lengedpanel = new JPanel(gridbag01);
lengedpanel.add(pBarLabel0, c01);
c01.gridheight = 1;
c01.weighty = 1.0;
c01.weightx = 1.0;
c01.gridwidth = 1;
c01.gridx = 2;
c01.gridy = 0;
JLabel pBarLabel = new JLabel("Mandatory Transaction", JLabel.RIGHT);
lengedpanel.add(pBarLabel, c01);
c01.gridheight = 1;
c01.weighty = 1.0;
c01.weightx = 1.0;
c01.gridwidth = 1;
c01.gridx = 1;
c01.gridy = 0;
JLabel pBarLabel2 = new JLabel(" ", JLabel.LEFT);
pBarLabel2.setOpaque(true);
pBarLabel2.setBackground(Color.GREEN);
lengedpanel.add(pBarLabel2, c01);
c01.gridheight = 1;
c01.weighty = 1.0;
c01.weightx = 1.0;
c01.gridwidth = 1;
c01.gridx = 4;
c01.gridy = 0;
JLabel pBarLabel3 = new JLabel("Non-Mandatory Transactions Causing Contention", JLabel.RIGHT);
lengedpanel.add(pBarLabel3, c01);
c01.gridheight = 1;
c01.weighty = 1.0;
c01.weightx = 1.0;
c01.gridwidth = 1;
c01.gridx = 3;
c01.gridy = 0;
JLabel pBarLabel4 = new JLabel(" ", JLabel.LEFT);
pBarLabel4.setOpaque(true);
pBarLabel4.setBackground(Color.RED);
lengedpanel.add(pBarLabel4, c01);
c01.gridheight = 1;
c01.weighty = 1.0;
c01.weightx = 1.0;
c01.gridwidth = 1;
c01.gridx = 6;
c01.gridy = 0;
JLabel pBarLabel5 = new JLabel("Non-Mandatory Transactions No-Contention", JLabel.RIGHT);
lengedpanel.add(pBarLabel5, c01);
c01.gridheight = 1;
c01.weighty = 1.0;
c01.weightx = 1.0;
c01.gridwidth = 1;
c01.gridx = 5;
c01.gridy = 0;
JLabel pBarLabel6 = new JLabel(" ", JLabel.LEFT);
pBarLabel6.setOpaque(true);
pBarLabel6.setBackground(Color.ORANGE);
lengedpanel.add(pBarLabel6, c01);
this.add(lengedpanel);
this.pack();
this.setVisible(visible);
// TODO Auto-generated constructor stub
}
@Override
public void tableChanged(TableModelEvent e) {
// TODO Auto-generated method stub
}
public Object[][] getDataDetailedByTask() {
return dataDetailedByTask;
}
public Object[][] getDataHWDelayByTask() {
return dataHWDelayByTask;
}
}