/** Reaction to value changes in the form. */
public void stateChanged(ChangeEvent e) {
String nm = ((JComponent) e.getSource()).getName();
double x;
if (nm.equals(nmSpinMaxFlow)) {
x = (Double) spinMaxFlow.getValue();
mf = x;
}
if (nm.equals(nmSpinCapDrop)) {
x = (Double) spinCapDrop.getValue();
drp = x;
}
if (nm.equals(nmSpinCritDen)) {
x = (Double) spinCritDen.getValue();
if (x <= jd) cd = x;
}
if (nm.equals(nmSpinJamDen)) {
x = (Double) spinJamDen.getValue();
if (x >= cd) jd = x;
}
if (nm.equals(nmSpinVff)) {
x = (Double) spinVff.getValue();
if (x > 0.0) cd = mf / x;
double xx = (Double) spinWc.getValue();
if (xx > 0.0) jd = cd + (mf / xx);
}
if (nm.equals(nmSpinWc)) {
x = (Double) spinWc.getValue();
if (x > 0.0) jd = cd + (mf / x);
}
updateSpinners();
updateFDSeries();
return;
}
/** Updates spinner values. */
private void updateSpinners() {
spinMaxFlow.setValue((Double) mf);
spinCapDrop.setValue((Double) drp);
spinCritDen.setValue((Double) cd);
spinJamDen.setValue((Double) jd);
spinVff.setValue((Double) (mf / cd));
spinWc.setValue((Double) (mf / (jd - cd)));
return;
}
/** Fills the panel with event specific fields. */
protected void fillPanel() {
JLabel l;
Box fdp = Box.createVerticalBox();
fdp.setBorder(BorderFactory.createTitledBorder("Fundamental Diagram"));
fdChart = makeFDChart();
ChartPanel cp = new ChartPanel(fdChart);
cp.setMinimumDrawWidth(100);
cp.setMinimumDrawHeight(60);
cp.setPreferredSize(new Dimension(250, 80));
fdp.add(new JScrollPane(cp));
JPanel prmp = new JPanel(new SpringLayout());
l = new JLabel("Capacity:", JLabel.TRAILING);
prmp.add(l);
spinMaxFlow = new JSpinner(new SpinnerNumberModel(mf, 0, 99999, 1.0));
spinMaxFlow.setEditor(new JSpinner.NumberEditor(spinMaxFlow, "####0.00"));
spinMaxFlow.addChangeListener(this);
spinMaxFlow.setName(nmSpinMaxFlow);
l.setLabelFor(spinMaxFlow);
prmp.add(spinMaxFlow);
l = new JLabel("Cap.Drop:", JLabel.TRAILING);
prmp.add(l);
spinCapDrop = new JSpinner(new SpinnerNumberModel(drp, 0, 99999, 1.0));
spinCapDrop.setEditor(new JSpinner.NumberEditor(spinCapDrop, "####0.00"));
spinCapDrop.addChangeListener(this);
spinCapDrop.setName(nmSpinCapDrop);
l.setLabelFor(spinCapDrop);
prmp.add(spinCapDrop);
l = new JLabel("C.Density:", JLabel.TRAILING);
prmp.add(l);
spinCritDen = new JSpinner(new SpinnerNumberModel(cd, 0, 99999, 1.0));
spinCritDen.setEditor(new JSpinner.NumberEditor(spinCritDen, "####0.00"));
spinCritDen.addChangeListener(this);
spinCritDen.setName(nmSpinCritDen);
l.setLabelFor(spinCritDen);
prmp.add(spinCritDen);
l = new JLabel(" V:", JLabel.TRAILING);
prmp.add(l);
spinVff = new JSpinner(new SpinnerNumberModel(mf / cd, 0, 200, 1.0));
spinVff.setEditor(new JSpinner.NumberEditor(spinVff, "#0.00"));
spinVff.addChangeListener(this);
spinVff.setName(nmSpinVff);
l.setLabelFor(spinVff);
prmp.add(spinVff);
l = new JLabel("J.Density:", JLabel.TRAILING);
prmp.add(l);
spinJamDen = new JSpinner(new SpinnerNumberModel(jd, 0, 99999, 1.0));
spinJamDen.setEditor(new JSpinner.NumberEditor(spinJamDen, "####0.00"));
spinJamDen.addChangeListener(this);
spinJamDen.setName(nmSpinJamDen);
l.setLabelFor(spinJamDen);
prmp.add(spinJamDen);
l = new JLabel(" W:", JLabel.TRAILING);
prmp.add(l);
if (jd == cd) jd = cd + 1;
int ulim = (int) Math.max(Math.ceil(mf / (jd - cd)), 999);
spinWc = new JSpinner(new SpinnerNumberModel(mf / (jd - cd), 0, ulim, 1.0));
spinWc.setEditor(new JSpinner.NumberEditor(spinWc, "#0.00"));
spinWc.addChangeListener(this);
spinWc.setName(nmSpinWc);
l.setLabelFor(spinWc);
prmp.add(spinWc);
SpringUtilities.makeCompactGrid(prmp, 3, 4, 2, 2, 2, 2);
fdp.add(prmp);
// add(new JScrollPane(fdp));
add(fdp);
return;
}
@Analyzer(
name = "Event Data Attribute Visualizer",
names = {"Log"})
public JComponent analyze(LogReader log) {
/*
* this plugin takes a log, shows a list of available data-attributes
* and a list of cases After selecting a data-attribute (and possibly a
* case) a graph is made of the value of the data-attribute against
* either time or against the sequence of events.
*
* input: log with data attributes gui-input: select a data-attribute,
* choose time or event-sequence, and possibly a case
*
* internally : if not caseselected -> scatterplot of values against
* time/event-number else show graph for value against time/event-number
*
* createGraph : check number / string
*/
mylog = log;
mainPanel = new JPanel();
mainPanel.setLayout(new BorderLayout());
chartPanel = new JPanel();
chartPanel.setLayout(new BoxLayout(chartPanel, BoxLayout.PAGE_AXIS));
optionsPanel = new JPanel();
optionsPanel.setLayout(new SpringLayout());
JLabel attributelabel = new JLabel("Select attributes to use");
attributeslist = new JList(getAttributes());
attributeslist.setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
attributeslist.setLayoutOrientation(JList.VERTICAL);
optionsPanel.add(attributelabel);
optionsPanel.add(attributeslist);
JLabel xlabel = new JLabel("Chart type");
String[] xvalues = new String[4];
xvalues[0] = " Attribute values against event sequence";
xvalues[1] = "Attribute values against timestamps";
xvalues[2] = "Average attribute values against event sequence";
xvalues[3] = "Average attribute values against timestamps";
xbox = new JComboBox(xvalues);
xbox.setMaximumSize(xbox.preferredSize());
xbox.setSelectedIndex(1);
xbox.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
JComboBox cb = (JComboBox) e.getSource();
if (cb.getSelectedIndex() == 3) {
BSpinner.setVisible(true);
} else {
BSpinner.setVisible(false);
}
};
});
optionsPanel.add(xlabel);
optionsPanel.add(xbox);
JLabel timelabel = new JLabel("show time by ");
String[] timevalues = new String[4];
timevalues[0] = "second";
timevalues[1] = "minute";
timevalues[2] = "hour";
timevalues[3] = "day";
timebox = new JComboBox(timevalues);
timebox.setMaximumSize(timebox.preferredSize());
timebox.setSelectedIndex(1);
optionsPanel.add(timelabel);
optionsPanel.add(timebox);
SpinnerModel Bmodel = new SpinnerNumberModel(10, 2, 1000000, 1);
BSpinner = new JSpinner(Bmodel);
JLabel BLabel = new JLabel("Select histogram barsize");
JLabel B2Label = new JLabel("used for average against timestamps");
BSpinner.setMaximumSize(BSpinner.preferredSize());
BSpinner.setVisible(false);
optionsPanel.add(BLabel);
optionsPanel.add(B2Label);
optionsPanel.add(BSpinner);
JButton updatebutton = new JButton("update");
updatebutton.addActionListener(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
Object[] sels = attributeslist.getSelectedValues();
String[] els = new String[sels.length];
for (int i = 0; i < sels.length; i++) {
els[i] = sels[i].toString();
}
long timesize = 1000;
switch (timebox.getSelectedIndex()) {
case 0:
timesize = 1000;
break;
case 1:
timesize = 1000 * 60;
break;
case 2:
timesize = 1000 * 60 * 60;
break;
case 3:
timesize = 1000 * 60 * 60 * 24;
break;
}
String xname = null;
JFreeChart mychart = null;
if (xbox.getSelectedIndex() == 0) {
data = getDataAttributes(els, false, timesize);
xname = "Event sequence";
mychart =
ChartFactory.createScatterPlot(
"Scatterplot of all values",
xname,
"attribute value",
data,
PlotOrientation.VERTICAL,
true,
true,
false);
} else if (xbox.getSelectedIndex() == 1) {
data = getDataAttributes(els, true, timesize);
xname = "Time(" + timebox.getSelectedItem() + ") since beginning of the process";
mychart =
ChartFactory.createScatterPlot(
"Scatterplot of all values",
xname,
"attribute value",
data,
PlotOrientation.VERTICAL,
true,
true,
false);
} else if (xbox.getSelectedIndex() == 2) {
xname = "Event sequence";
data = getHistrogrammedDataAttributes(els, 1, 1);
mychart =
ChartFactory.createXYLineChart(
"Average values",
xname,
"attribute value",
data,
PlotOrientation.VERTICAL,
true,
true,
false);
mychart.setBackgroundPaint(Color.white);
XYPlot plot = mychart.getXYPlot();
plot.setBackgroundPaint(Color.white);
plot.setDomainGridlinePaint(Color.white);
plot.setRangeGridlinePaint(Color.white);
DeviationRenderer renderer = new DeviationRenderer(true, true);
renderer.setSeriesStroke(
0, new BasicStroke(3.0f, BasicStroke.CAP_ROUND, BasicStroke.JOIN_ROUND));
renderer.setSeriesStroke(0, new BasicStroke(2.0f));
renderer.setSeriesStroke(1, new BasicStroke(2.0f));
renderer.setSeriesStroke(2, new BasicStroke(2.0f));
renderer.setSeriesStroke(3, new BasicStroke(2.0f));
renderer.setSeriesFillPaint(0, Color.red);
renderer.setSeriesFillPaint(1, Color.blue);
renderer.setSeriesFillPaint(2, Color.green);
renderer.setSeriesFillPaint(3, Color.orange);
plot.setRenderer(renderer);
// change the auto tick unit selection to integer units
// only...
NumberAxis yAxis = (NumberAxis) plot.getRangeAxis();
// yAxis.setAutoRangeIncludesZero(false);
yAxis.setStandardTickUnits(NumberAxis.createIntegerTickUnits());
NumberAxis xAxis = (NumberAxis) plot.getDomainAxis();
xAxis.setStandardTickUnits(NumberAxis.createIntegerTickUnits());
} else {
xname = "Time(" + timebox.getSelectedItem() + "s) since beginning of the process";
data =
getHistrogrammedDataAttributes(
els, ((Integer) BSpinner.getValue()) * timesize, timesize);
mychart =
ChartFactory.createXYLineChart(
"Average values",
xname,
"attribute value",
data,
PlotOrientation.VERTICAL,
true,
true,
false);
mychart.setBackgroundPaint(Color.white);
XYPlot plot = mychart.getXYPlot();
plot.setBackgroundPaint(Color.white);
plot.setDomainGridlinePaint(Color.white);
plot.setRangeGridlinePaint(Color.white);
DeviationRenderer renderer = new DeviationRenderer(true, true);
renderer.setSeriesStroke(
0, new BasicStroke(3.0f, BasicStroke.CAP_ROUND, BasicStroke.JOIN_ROUND));
renderer.setSeriesStroke(0, new BasicStroke(2.0f));
renderer.setSeriesStroke(1, new BasicStroke(2.0f));
renderer.setSeriesStroke(2, new BasicStroke(2.0f));
renderer.setSeriesStroke(3, new BasicStroke(2.0f));
renderer.setSeriesFillPaint(0, Color.red);
renderer.setSeriesFillPaint(1, Color.blue);
renderer.setSeriesFillPaint(2, Color.green);
renderer.setSeriesFillPaint(3, Color.orange);
plot.setRenderer(renderer);
// change the auto tick unit selection to integer units
// only...
NumberAxis yAxis = (NumberAxis) plot.getRangeAxis();
// yAxis.setAutoRangeIncludesZero(false);
yAxis.setStandardTickUnits(NumberAxis.createIntegerTickUnits());
}
ChartPanel mychartpanel = new ChartPanel(mychart);
mychartpanel.setBackground(Color.white);
chartPanel.removeAll();
chartPanel.add(mychartpanel);
chartPanel.updateUI();
};
});
optionsPanel.add(updatebutton);
JSplitPane splitPanel = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, optionsPanel, chartPanel);
SpringUtils.makeCompactGrid(
optionsPanel,
10,
1, // rows, cols
6,
2, // initX, initY
6,
2); // xPad, yPad
mainPanel.add(splitPanel, BorderLayout.CENTER);
return mainPanel;
}