public JPanel getAdditionalCharacteristicsPanel(final DisplayObjectType displayObjectType) {
JLabel translationFactorLabel = new JLabel("Verschiebungsfaktor: ");
SpinnerModel spinnerModel = new SpinnerNumberModel(100, 0, 5000, 1);
_translationFactorSpinner.setModel(spinnerModel);
_translationFactorSpinner.setMaximumSize(new Dimension(60, 30));
_translationFactorSpinner.setEnabled(_dotDefinitionDialogFrame.isEditable());
JPanel translationPanel = new JPanel();
translationPanel.setLayout(new BoxLayout(translationPanel, BoxLayout.X_AXIS));
translationPanel.setBorder(BorderFactory.createEmptyBorder(0, 0, 10, 10));
translationPanel.add(translationFactorLabel);
translationPanel.add(_translationFactorSpinner);
JLabel joinByLineLabel = new JLabel("Verbindungslinie: ");
_joinByLineCheckBox.setSelected(false);
_joinByLineCheckBox.setEnabled(_dotDefinitionDialogFrame.isEditable());
JPanel joinByLinePanel = new JPanel();
joinByLinePanel.setLayout(new BoxLayout(joinByLinePanel, BoxLayout.X_AXIS));
joinByLinePanel.setBorder(BorderFactory.createEmptyBorder(10, 10, 10, 10));
joinByLinePanel.add(joinByLineLabel);
joinByLinePanel.add(_joinByLineCheckBox);
JPanel invisiblePanel = new JPanel();
invisiblePanel.add(new JTextField());
invisiblePanel.setVisible(false);
JPanel thePanel = new JPanel();
thePanel.setBorder(BorderFactory.createEmptyBorder(10, 10, 0, 10));
thePanel.setLayout(new SpringLayout());
thePanel.add(translationPanel);
thePanel.add(joinByLinePanel);
thePanel.add(invisiblePanel);
SpringUtilities.makeCompactGrid(thePanel, 3, 5, 5);
if (displayObjectType != null) {
DOTPoint dotPoint = (DOTPoint) displayObjectType;
_translationFactorSpinner.setValue(dotPoint.getTranslationFactor());
_joinByLineCheckBox.setSelected(dotPoint.isJoinByLine());
}
addChangeListeners(); // Erst jetzt, denn sonst werden die Setzungen von
// _translationFactorSpinner und _joinByLineCheckBox schon verarbeitet!
return thePanel;
}
private StaticPanel createStaticSpinnerPanel(
PrimitiveForm primitiveForm,
DOTProperty property,
String labelText,
SpinnerModel spinnerModel) {
JLabel label = new JLabel(labelText);
JSpinner spinner = new JSpinner(spinnerModel);
spinner.setMaximumSize(new Dimension(200, 20));
spinner.setEnabled(_dotDefinitionDialogFrame.isEditable());
StaticPanel thePanel = new StaticPanel(primitiveForm, property);
thePanel.setLayout(new SpringLayout());
thePanel.setBorder(BorderFactory.createMatteBorder(2, 2, 2, 2, Color.BLACK));
thePanel.add(label);
thePanel.add(spinner);
SpringUtilities.makeCompactGrid(thePanel, 2, 5, 5);
thePanel.setValue(spinner);
thePanel.addListener(spinner);
return thePanel;
}
@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;
}