private void assembleAction() {
String line;
messages = new Vector();
mainFrame.resetExecWindow();
save();
assembleFailed = false;
haveAssemblyErrors = false;
if (Assembler.version()) {
while ((line = Assembler.output()) != null) {
messages.addElement(line);
}
Assembler.setPaths(baseName, sourcePath);
if (Assembler.assemble()) {
while ((line = Assembler.output()) != null) {
System.out.println(line);
messages.addElement(line);
if (line.startsWith(" [ERROR:")) {
haveAssemblyErrors = true;
}
}
messageList.setListData(messages);
messageList.ensureIndexIsVisible(0);
mainFrame.showExecWindow(baseName);
} else {
assembleFailed = true;
}
} else {
assembleFailed = true;
}
if (assembleFailed) {
String message =
String.format(
"Autocoder failed!\nVerify the correctness of autocoder path\n%s",
AssemblerOptions.assemblerPath);
System.out.println(message);
JOptionPane.showMessageDialog(this, message, "ROPE", JOptionPane.ERROR_MESSAGE);
}
}
void jbInit() throws Exception {
titledBorder1 =
new TitledBorder(
BorderFactory.createLineBorder(new Color(153, 153, 153), 2), "Assembler messages");
this.getContentPane().setLayout(borderLayout1);
this.setIconifiable(true);
this.setMaximizable(true);
this.setResizable(true);
this.setTitle("EDIT");
splitPane.setOrientation(JSplitPane.VERTICAL_SPLIT);
splitPane.setDividerLocation(470);
sourceArea.setFont(new java.awt.Font("Monospaced", 0, 12));
controlPanel.setLayout(gridBagLayout1);
controlPanel.setBorder(BorderFactory.createLoweredBevelBorder());
positionPanel.setLayout(gridBagLayout2);
fileLabel.setText("Source file:");
fileText.setEditable(false);
browseButton.setSelected(false);
browseButton.setText("Browse ...");
assembleButton.setEnabled(false);
assembleButton.setText("Assemble file");
saveButton.setEnabled(false);
saveButton.setText("Save file");
lineLabel.setText("Line:");
lineText.setMinimumSize(new Dimension(50, 20));
lineText.setPreferredSize(new Dimension(50, 20));
lineText.setEditable(false);
columnLabel.setText("Column:");
columnText.setMinimumSize(new Dimension(41, 20));
columnText.setPreferredSize(new Dimension(41, 20));
columnText.setEditable(false);
columnText.setText("");
messageScrollPane.setBorder(titledBorder1);
messageScrollPane.setMinimumSize(new Dimension(33, 61));
messageScrollPane.setPreferredSize(new Dimension(60, 90));
optionsButton.setEnabled(false);
optionsButton.setText("Assembler options ...");
messageScrollPane.getViewport().add(messageList, null);
messageList.setSelectionMode(ListSelectionModel.SINGLE_SELECTION);
this.getContentPane().add(splitPane, BorderLayout.CENTER);
splitPane.add(textScrollPane, JSplitPane.TOP);
splitPane.add(controlPanel, JSplitPane.BOTTOM);
textScrollPane.getViewport().add(sourceArea, null);
controlPanel.add(
fileLabel,
new GridBagConstraints(
0,
0,
1,
1,
0.0,
0.0,
GridBagConstraints.WEST,
GridBagConstraints.NONE,
new Insets(5, 5, 0, 0),
0,
0));
controlPanel.add(
fileText,
new GridBagConstraints(
1,
0,
3,
1,
1.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.HORIZONTAL,
new Insets(5, 5, 0, 0),
0,
0));
controlPanel.add(
browseButton,
new GridBagConstraints(
4,
0,
1,
1,
0.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.HORIZONTAL,
new Insets(5, 5, 0, 5),
0,
0));
controlPanel.add(
optionsButton,
new GridBagConstraints(
2,
1,
1,
1,
1.0,
0.0,
GridBagConstraints.EAST,
GridBagConstraints.NONE,
new Insets(5, 5, 0, 0),
0,
0));
controlPanel.add(
assembleButton,
new GridBagConstraints(
3,
1,
1,
1,
0.0,
0.0,
GridBagConstraints.EAST,
GridBagConstraints.NONE,
new Insets(5, 5, 0, 0),
0,
0));
controlPanel.add(
saveButton,
new GridBagConstraints(
4,
1,
1,
1,
0.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.HORIZONTAL,
new Insets(5, 5, 0, 5),
0,
0));
controlPanel.add(
positionPanel,
new GridBagConstraints(
0,
1,
2,
1,
0.0,
0.0,
GridBagConstraints.CENTER,
GridBagConstraints.NONE,
new Insets(5, 5, 0, 0),
0,
0));
positionPanel.add(
lineLabel,
new GridBagConstraints(
0,
0,
1,
1,
0.0,
0.0,
GridBagConstraints.EAST,
GridBagConstraints.NONE,
new Insets(0, 0, 0, 0),
0,
0));
positionPanel.add(
lineText,
new GridBagConstraints(
1,
0,
1,
1,
0.0,
0.0,
GridBagConstraints.EAST,
GridBagConstraints.NONE,
new Insets(0, 5, 0, 0),
0,
0));
positionPanel.add(
columnLabel,
new GridBagConstraints(
2,
0,
1,
1,
0.0,
0.0,
GridBagConstraints.EAST,
GridBagConstraints.NONE,
new Insets(0, 10, 0, 0),
0,
0));
positionPanel.add(
columnText,
new GridBagConstraints(
3,
0,
1,
1,
0.0,
0.0,
GridBagConstraints.EAST,
GridBagConstraints.NONE,
new Insets(0, 5, 0, 0),
0,
0));
controlPanel.add(
messageScrollPane,
new GridBagConstraints(
0,
2,
5,
1,
1.0,
1.0,
GridBagConstraints.CENTER,
GridBagConstraints.BOTH,
new Insets(5, 5, 5, 5),
0,
0));
}
EditFrame(RopeFrame parent) {
super(parent);
// Implement a smarter way to set the initial frame position and size
setLocation(0, 0);
setSize(670, 705);
try {
jbInit();
} catch (Exception ex) {
ex.printStackTrace();
}
sourceArea.addCaretListener(this);
browseButton.addActionListener(this);
optionsButton.addActionListener(this);
assembleButton.addActionListener(this);
saveButton.addActionListener(this);
messageList.addMouseListener(
new MouseAdapter() {
@Override
public void mouseClicked(MouseEvent event) {
highlightError(messageList.locationToIndex(event.getPoint()));
}
});
undoMgr = new CompoundUndoManager(sourceArea);
undoAction = undoMgr.getUndoAction();
redoAction = undoMgr.getRedoAction();
undoMgr.updateUndoAction = new UpdateUndoAction();
undoMgr.updateRedoAction = new UpdateRedoAction();
document = sourceArea.getDocument();
ActionMap am = sourceArea.getActionMap();
InputMap im = sourceArea.getInputMap(JComponent.WHEN_FOCUSED);
// Remove automatic key bindings because we want them controlled by menu items
im.put(KeyStroke.getKeyStroke(KeyEvent.VK_Z, RopeHelper.modifierMaks), "none");
im.put(
KeyStroke.getKeyStroke(KeyEvent.VK_Z, RopeHelper.modifierMaks + InputEvent.SHIFT_MASK),
"none");
im.put(KeyStroke.getKeyStroke(KeyEvent.VK_X, RopeHelper.modifierMaks), "none");
im.put(KeyStroke.getKeyStroke(KeyEvent.VK_C, RopeHelper.modifierMaks), "none");
im.put(KeyStroke.getKeyStroke(KeyEvent.VK_V, RopeHelper.modifierMaks), "none");
im.put(KeyStroke.getKeyStroke(KeyEvent.VK_A, RopeHelper.modifierMaks), "none");
im.put(KeyStroke.getKeyStroke(KeyEvent.VK_L, RopeHelper.modifierMaks), "none");
// Set custom binding action for tab key
String action = "tabKeyAction";
im.put(KeyStroke.getKeyStroke("TAB"), action);
am.put(
action,
new AbstractAction() {
private static final long serialVersionUID = 1L;
@Override
public void actionPerformed(ActionEvent e) {
try {
int caretPos = sourceArea.getCaretPosition();
int lineNum = sourceArea.getLineOfOffset(caretPos);
int startLine = sourceArea.getLineStartOffset(lineNum);
int endLine = sourceArea.getLineEndOffset(lineNum);
int linePos = caretPos - startLine;
if (linePos >= 39 && linePos < 79) {
caretPos = startLine + linePos + 10 - ((linePos + 1) % 10);
} else if (linePos >= 20 && linePos <= 39) {
caretPos = startLine + 39;
} else if (linePos >= 15 && linePos <= 19) {
caretPos = startLine + 20;
} else if (linePos >= 5 && linePos <= 14) {
caretPos = startLine + 15;
} else {
caretPos = startLine + 5;
}
// If the line is shorter than the new position fo the caret add enough spaces...
if (caretPos > endLine) {
StringBuilder str = new StringBuilder();
int size = caretPos - endLine;
while (size-- >= 0) {
str.append(' ');
}
document.insertString(endLine - 1, str.toString(), null);
}
sourceArea.setCaretPosition(caretPos);
} catch (BadLocationException ex) {
ex.printStackTrace();
}
}
});
// Set custom binding action for return/enter key
String actionKey = "backspaceKeyAction";
im.put(KeyStroke.getKeyStroke("BACK_SPACE"), actionKey);
am.put(
actionKey,
new AbstractAction()
// How can I get the original action?
{
private static final long serialVersionUID = 1L;
@Override
public void actionPerformed(ActionEvent e) {
try {
int caretPos = sourceArea.getCaretPosition();
int lineNum = sourceArea.getLineOfOffset(caretPos);
int startLine = sourceArea.getLineStartOffset(lineNum);
int endLine = sourceArea.getLineEndOffset(lineNum);
int linePos = caretPos - startLine;
if (linePos == 15) {
int endPos = 5;
int charPos = linePos;
for (; charPos > endPos; charPos--) {
char ch = sourceArea.getText().charAt((startLine + charPos) - 1);
if (!Character.isWhitespace(ch)) {
break;
}
}
sourceArea.setCaretPosition(startLine + charPos);
} else {
int startSel = sourceArea.getSelectionStart();
int endSel = sourceArea.getSelectionEnd();
if (startSel == endSel) {
startSel = caretPos - 1;
endSel = caretPos;
}
StringBuilder sb = new StringBuilder(sourceArea.getText());
sb.replace(startSel, endSel, "");
sourceArea.setText(sb.toString());
sourceArea.setCaretPosition(startSel);
}
} catch (BadLocationException ex) {
ex.printStackTrace();
}
}
});
// Set custom binding action for return/enter key
action = "enterKeyAction";
im.put(KeyStroke.getKeyStroke("ENTER"), action);
am.put(
action,
new AbstractAction() {
private static final long serialVersionUID = 1L;
@Override
public void actionPerformed(ActionEvent e) {
try {
int caretPos = sourceArea.getCaretPosition();
int lineNum = sourceArea.getLineOfOffset(caretPos);
int startLine = sourceArea.getLineStartOffset(lineNum);
int linePos = caretPos - startLine;
if (linePos >= 5) {
document.insertString(caretPos, "\n ", null);
} else {
document.insertString(caretPos, "\n", null);
}
} catch (BadLocationException ex) {
ex.printStackTrace();
}
}
});
document.addDocumentListener(
new DocumentListener() {
@Override
public void insertUpdate(DocumentEvent e) {
setSourceChanged(true);
}
@Override
public void removeUpdate(DocumentEvent e) {
setSourceChanged(true);
}
@Override
public void changedUpdate(DocumentEvent e) {
setSourceChanged(true);
}
});
}
@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;
}