protected static final SimpleAttributeSet NORMAL_ATTRIBUTES = _getNormalAttributes();

protected static final SimpleAttributeSet BOLD_ATTRIBUTES = _getBoldAttributes();

/** The total number of errors in the list */

protected volatile int _numErrors;

protected final JCheckBox _showHighlightsCheckBox;

protected final SingleDisplayModel _model;

private final JScrollPane _scroller;

/** This contains the _scroller and the _errorNavPanel. */

private final JPanel _leftPanel;

/** This contains the label, showHighlightsCheckBox, and the customPanel. */

private final JPanel _rightPanel;

private final JPanel _errorNavPanel;

private final JPanel _errorNavButtonsPanel;

/** This JPanel contains each child panel's specific UI components. **/

protected final JPanel customPanel;

private final JButton _nextErrorButton;

private final JButton _prevErrorButton;

/** _popupMenu and _popupMenuListener are either both null or both non-null. */

protected volatile JPopupMenu _popupMenu = null;

protected volatile RightClickMouseAdapter _popupMenuListener = null;

/** Highlight painter for selected list items. Not final because it is rebound in CompilerErrorColorOptionListener */

static volatile ReverseHighlighter.DrJavaHighlightPainter _listHighlightPainter =

new ReverseHighlighter.DrJavaHighlightPainter(DrJava.getConfig().getSetting(COMPILER_ERROR_COLOR));

protected static final SimpleAttributeSet _getBoldAttributes() {

SimpleAttributeSet s = new SimpleAttributeSet();

StyleConstants.setBold(s, true);

return s;

}

protected static final SimpleAttributeSet _getNormalAttributes() {

SimpleAttributeSet s = new SimpleAttributeSet();

return s;

}

public ErrorPanel(SingleDisplayModel model, MainFrame frame, String tabString, String labelString) {

super(frame, tabString);

_model = model;

_mainPanel.setLayout(new BorderLayout());

_leftPanel = new JPanel(new BorderLayout());

_errorNavPanel = new JPanel(new GridBagLayout());

/******** Initialize the error navigation buttons ********/

_errorNavButtonsPanel = new JPanel(new BorderLayout());

_nextErrorButton = new JButton(MainFrame.getIcon("Down16.gif"));//new JButton("Next Error");

_prevErrorButton = new JButton(MainFrame.getIcon("Up16.gif"));//new JButton("Prev Error");

_nextErrorButton.setMargin(new Insets(0, 0, 0, 0));

_nextErrorButton.setToolTipText("Go to the next error");

_prevErrorButton.setMargin(new Insets(0, 0, 0, 0));

_prevErrorButton.setToolTipText("Go to the previous error");

// _errorPanel = new JPanel(new FlowLayout(FlowLayout.LEFT, 0, 3));

// _errorPanel.setPreferredSize(new Dimension(27,35));

// _errorPanel.add(_prevErrorButton);

// _errorPanel.add(_nextErrorButton);

// _uiBox.add(_errorPanel, BorderLayout.WEST);

_errorNavButtonsPanel.add(_prevErrorButton, BorderLayout.NORTH);

_errorNavButtonsPanel.add(_nextErrorButton, BorderLayout.SOUTH);

_errorNavButtonsPanel.setBorder(new EmptyBorder(18, 5, 18, 5)); // 5 pix padding on sides

// JPanel middlePanel = new JPanel(new FlowLayout(FlowLayout.CENTER, 0, 0));

// middlePanel.add(_errorNavButtonsPanel);

_errorNavPanel.add(_errorNavButtonsPanel);//, BorderLayout.CENTER);

_showHighlightsCheckBox = new JCheckBox( "Highlight source", true);

// _mainPanel.setMinimumSize(new Dimension(225,60));

// We make the vertical scrollbar always there.

// If we don't, when it pops up it cuts away the right edge of the

// text. Very bad.

_scroller = new BorderlessScrollPane(ScrollPaneConstants.VERTICAL_SCROLLBAR_ALWAYS,

ScrollPaneConstants.HORIZONTAL_SCROLLBAR_NEVER);

_leftPanel.add(_scroller, BorderLayout.CENTER);

_leftPanel.add(_errorNavPanel, BorderLayout.EAST);

customPanel = new JPanel(new BorderLayout());

_rightPanel = new JPanel(new BorderLayout());

_rightPanel.setBorder(new EmptyBorder(0,5,0,5)); // 5 pix padding on sides

// uiBox.setBorder(new EmptyBorder(5,0,0,0)); // 5 pix padding on top

_rightPanel.add(new JLabel(labelString, SwingConstants.LEFT), BorderLayout.NORTH);

_rightPanel.add(customPanel, BorderLayout.CENTER);

_rightPanel.add(_showHighlightsCheckBox, BorderLayout.SOUTH);

_mainPanel.add(_leftPanel, BorderLayout.CENTER);

_mainPanel.add(_rightPanel, BorderLayout.EAST);

/** Default copy action. Returns focus to the correct pane. */

final Action copyAction = new AbstractAction("Copy Contents to Clipboard", MainFrame.getIcon("Copy16.gif")) {

public void actionPerformed(ActionEvent e) {

getErrorListPane().selectAll();

String t = getErrorListPane().getSelectedText();

if (t != null) {

if (t.length() != 0) {

StringSelection stringSelection = new StringSelection(t);

Clipboard clipboard = Toolkit.getDefaultToolkit().getSystemClipboard();

clipboard.setContents(stringSelection, getErrorListPane());

ClipboardHistoryModel.singleton().put(t);

}

}

}

};

addPopupMenu(copyAction);

getPopupMenu().add(new AbstractAction("Save Copy of Contents...", MainFrame.getIcon("Save16.gif")) {

public void actionPerformed(ActionEvent e) {

_frame._saveDocumentCopy(getErrorListPane().getErrorDocument());

}

});

getPopupMenu().addSeparator();

getPopupMenu().add(new AbstractAction("Print...", MainFrame.getIcon("Print16.gif")) {

public void actionPerformed(ActionEvent e) {

getErrorListPane().getErrorDocument().print();

}

});

getPopupMenu().add(new AbstractAction("Print Preview...", MainFrame.getIcon("PrintPreview16.gif")) {

public void actionPerformed(ActionEvent e) {

getErrorListPane().getErrorDocument().preparePrintJob();

new PreviewErrorFrame();

}

});

}

protected void setErrorListPane(final ErrorListPane elp) {

if (_popupMenuListener!=null) {

if ((_scroller!=null) && // unnecessary?

(_scroller.getViewport()!=null) &&

(_scroller.getViewport().getView()!=null)) {

_scroller.getViewport().getView().removeMouseListener(_popupMenuListener);

}

}

_scroller.setViewportView(elp);

if (_popupMenuListener!=null) {

_scroller.getViewport().getView().addMouseListener(_popupMenuListener);

}

_nextErrorButton.setEnabled(false);

_nextErrorButton.addActionListener(new ActionListener() {

public void actionPerformed(ActionEvent e) {

elp.nextError();

// _prevErrorButton.setEnabled(_errorListPane.hasPrevError());

// _nextErrorButton.setEnabled(_errorListPane.hasNextError());

}

});

_prevErrorButton.setEnabled(false);

_prevErrorButton.addActionListener(new ActionListener() {

public void actionPerformed(ActionEvent e) {

elp.prevError();

// _prevErrorButton.setEnabled(_errorListPane.hasPrevError());

// _nextErrorButton.setEnabled(_errorListPane.hasNextError());

}

});

}

/** Changes the font of the error list.

public void setListFont(Font f) {

SimpleAttributeSet set = new SimpleAttributeSet();

StyleConstants.setFontFamily(set, f.getFamily());

StyleConstants.setFontSize(set, f.getSize());

StyleConstants.setBold(set, f.isBold());

StyleConstants.setItalic(set, f.isItalic());

_updateStyles(set);

getErrorListPane().setFont(f);

ErrorDocument doc = getErrorListPane().getErrorDocument();

doc.setCharacterAttributes(0, doc.getLength() + 1, set, false);

}

/** Updates all document styles with the attributes contained in newSet.

protected void _updateStyles(AttributeSet newSet) {

NORMAL_ATTRIBUTES.addAttributes(newSet);

BOLD_ATTRIBUTES.addAttributes(newSet);

StyleConstants.setBold(BOLD_ATTRIBUTES, true); // bold should always be bold

}

abstract protected ErrorListPane getErrorListPane();

protected SingleDisplayModel getModel() { return _model; }

/** @return the correct error model */

abstract protected CompilerErrorModel getErrorModel();

/** Pane to show compiler errors. Similar to a listbox (clicking selects an item) but items can each wrap, etc. */

public abstract class ErrorListPane extends JEditorPane implements ClipboardOwner {

/** The custom keymap for the error list pane. */

protected volatile Keymap _keymap;

/** Index into _errorListPositions of the currently selected error. */

private volatile int _selectedIndex;

/** The start position of each error in the list. This position is the place

protected volatile Position[] _errorListPositions;

/** Table mapping Positions in the error list to CompilerErrors. */

protected final HashMap<Position, DJError> _errorTable = new HashMap<Position, DJError>();

// when we create a highlight we get back a tag we can use to remove it

private volatile HighlightManager.HighlightInfo _listHighlightTag = null;

private volatile HighlightManager _highlightManager = new HighlightManager(this);

/** Default cut action. */

volatile Action cutAction = new DefaultEditorKit.CutAction() {

public void actionPerformed(ActionEvent e) {

if (getSelectedText() != null) {

super.actionPerformed(e);

String s = edu.rice.cs.util.swing.Utilities.getClipboardSelection(ErrorListPane.this);

if ((s != null) && (s.length() != 0)) { ClipboardHistoryModel.singleton().put(s); }

}

}

};

/** Default copy action. */

volatile Action copyAction = new DefaultEditorKit.CopyAction() {

public void actionPerformed(ActionEvent e) {

if (getSelectedText() != null) {

super.actionPerformed(e);

String s = edu.rice.cs.util.swing.Utilities.getClipboardSelection(ErrorListPane.this);

if (s != null && s.length() != 0) { ClipboardHistoryModel.singleton().put(s); }

}

}

};

/** No-op paste action. */

volatile Action pasteAction = new DefaultEditorKit.PasteAction() {

public void actionPerformed(ActionEvent e) { }

};

protected MouseAdapter defaultMouseListener = new MouseAdapter() {

public void mousePressed(MouseEvent e) { selectNothing(); }

public void mouseReleased(MouseEvent e) {

DJError error = _errorAtPoint(e.getPoint());

if (_isEmptySelection() && error != null) getErrorListPane().switchToError(error);

else selectNothing();

}

};

/** Constructs the CompilerErrorListPane.*/

public ErrorListPane() {

setContentType("text/rtf");

setDocument(new ErrorDocument(getErrorDocumentTitle()));

setHighlighter(new ReverseHighlighter());

addMouseListener(defaultMouseListener);

_selectedIndex = 0;

_errorListPositions = new Position[0];

this.setFont(new Font("Courier", 0, 20));

// We set the editor pane disabled so it won't get keyboard focus,

// which makes it uneditable, and so you can't select text inside it.

//setEnabled(false);

// Set the editor pane to be uneditable, but allow selecting text.

setEditable(false);

DrJava.getConfig().addOptionListener(COMPILER_ERROR_COLOR, new CompilerErrorColorOptionListener());

// Set the colors.

StyleConstants.setForeground(NORMAL_ATTRIBUTES, DrJava.getConfig().getSetting(DEFINITIONS_NORMAL_COLOR));

StyleConstants.setForeground(BOLD_ATTRIBUTES, DrJava.getConfig().getSetting(DEFINITIONS_NORMAL_COLOR));

setBackground(DrJava.getConfig().getSetting(DEFINITIONS_BACKGROUND_COLOR));

// Add OptionListeners for the colors.

DrJava.getConfig().addOptionListener(DEFINITIONS_NORMAL_COLOR, new ForegroundColorListener());

DrJava.getConfig().addOptionListener(DEFINITIONS_BACKGROUND_COLOR, new BackgroundColorListener());

/* Item listener instead of change listener so that this code won't be called (twice) every time the mouse moves

_showHighlightsCheckBox.addItemListener(new ItemListener() {

public void itemStateChanged(ItemEvent e) {

DefinitionsPane lastDefPane = _frame.getCurrentDefPane();

if (e.getStateChange() == ItemEvent.DESELECTED) {

lastDefPane.removeErrorHighlight();

}

else if (e.getStateChange() == ItemEvent.SELECTED) {

getErrorListPane().switchToError(getSelectedIndex());

}

}

});

_keymap = addKeymap("ERRORLIST_KEYMAP", getKeymap());

addActionForKeyStroke(DrJava.getConfig().getSetting(OptionConstants.KEY_CUT), cutAction);

addActionForKeyStroke(DrJava.getConfig().getSetting(OptionConstants.KEY_COPY), copyAction);

addActionForKeyStroke(DrJava.getConfig().getSetting(OptionConstants.KEY_PASTE_FROM_HISTORY), pasteAction);

DrJava.getConfig().addOptionListener(OptionConstants.KEY_CUT, new OptionListener<Vector<KeyStroke>>() {

public void optionChanged(OptionEvent<Vector<KeyStroke>> oe) {

addActionForKeyStroke(DrJava.getConfig().getSetting(OptionConstants.KEY_CUT), cutAction);

}

});

DrJava.getConfig().addOptionListener(OptionConstants.KEY_COPY, new OptionListener<Vector<KeyStroke>>() {

public void optionChanged(OptionEvent<Vector<KeyStroke>> oe) {

addActionForKeyStroke(DrJava.getConfig().getSetting(OptionConstants.KEY_COPY), copyAction);

}

});

DrJava.getConfig().addOptionListener(OptionConstants.KEY_PASTE_FROM_HISTORY, new OptionListener<Vector<KeyStroke>>() {

public void optionChanged(OptionEvent<Vector<KeyStroke>> oe) {

addActionForKeyStroke(DrJava.getConfig().getSetting(OptionConstants.KEY_PASTE_FROM_HISTORY), pasteAction);

}

});

}

/** Gets the ErrorDocument associated with this ErrorListPane.

public ErrorDocument getErrorDocument() { return (ErrorDocument) getDocument(); }

/** Assigns the given keystroke to the given action in this pane.

public void addActionForKeyStroke(Vector<KeyStroke> stroke, Action action) {

// remove previous bindings

KeyStroke[] keys = _keymap.getKeyStrokesForAction(action);

if (keys != null) {

for (int i = 0; i < keys.length; i++) {

_keymap.removeKeyStrokeBinding(keys[i]);

}

}

for (KeyStroke ks: stroke) {

_keymap.addActionForKeyStroke(ks, action);

}

setKeymap(_keymap);

}

/** We lost ownership of what we put in the clipboard. */

public void lostOwnership(Clipboard clipboard, Transferable contents) {

// ignore

}

/** Returns true if the errors should be highlighted in the source

public boolean shouldShowHighlightsInSource() { return _showHighlightsCheckBox.isSelected(); }

/** @return the index of the current error in the error array. */

public int getSelectedIndex() { return _selectedIndex; }

/** @param p the point at which to find the error

protected DJError _errorAtPoint(Point p) {

int modelPos = viewToModel(p);

if (modelPos == -1) return null;

// Find the first error whose position preceeds this model position

int errorNum = -1;

for (int i = 0; i < _errorListPositions.length; i++) {

if (_errorListPositions[i].getOffset() <= modelPos) errorNum = i;

else break; // we've gone past the correct error; the last value was right

}

if (errorNum >= 0) return _errorTable.get(_errorListPositions[errorNum]);

return null;

}

/** @param error the error for which to find the index

private int _getIndexForError(DJError error) {

if (error == null) throw new IllegalArgumentException("Couldn't find index for null error");

for (int i = 0; i < _errorListPositions.length; i++) {

DJError e= _errorTable.get(_errorListPositions[i]);

if (error.equals(e)) return i;

}

throw new IllegalArgumentException("Couldn't find index for error " + error);

}

/** @return true if the text selection interval is empty. */

protected boolean _isEmptySelection() { return getSelectionStart() == getSelectionEnd(); }

/** Update the pane which holds the list of errors for the viewer.

protected void updateListPane(boolean done) {

try {

_errorListPositions = new Position[_numErrors];

_errorTable.clear();

if (_numErrors == 0) _updateNoErrors(done);

else _updateWithErrors();

}

catch (BadLocationException e) { throw new UnexpectedException(e); }

// Force UI to redraw

repaint();

}

abstract protected void _updateNoErrors(boolean done) throws BadLocationException;

abstract protected void _updateWithErrors() throws BadLocationException;

/** @param failureName the name of the failure

protected String _getNumErrorsMessage(String failureName, String failureMeaning) {

StringBuilder numErrMsg;

/** Used for display purposes only */

int numCompErrs = getErrorModel().getNumCompilerErrors();

int numWarnings = getErrorModel().getNumWarnings();

if (!getErrorModel().hasOnlyWarnings()) {

//failureName = error or test (for compilation and JUnit testing respectively)

numErrMsg = new StringBuilder(numCompErrs + " " + failureName);

if (numCompErrs > 1) numErrMsg.append("s");

if (numWarnings > 0) numErrMsg.append(" and " + numWarnings + " warning");

}

else numErrMsg = new StringBuilder(numWarnings + " warning");

if (numWarnings > 1) numErrMsg.append("s");

numErrMsg.append(" " + failureMeaning + ":\n");

return numErrMsg.toString();

}

/** @return the message to title the block containing only errors. */

protected String _getErrorTitle() {

CompilerErrorModel cem = getErrorModel();

if (cem.getNumCompilerErrors() > 1) return "--------------\n*** Errors ***\n--------------\n";

if (cem.getNumCompilerErrors() > 0) return "-------------\n*** Error ***\n-------------\n";

return "";

}

/** @return the message to title the block containing only warnings. */

protected String _getWarningTitle() {

CompilerErrorModel cem = getErrorModel();

if (cem.getNumWarnings() > 1) return "--------------\n** Warnings **\n--------------\n";

if (cem.getNumWarnings() > 0) return "-------------\n** Warning **\n-------------\n";

return "";

}

/** Used to show that the last compile was unsuccessful.

protected void _updateWithErrors(String failureName, String failureMeaning, ErrorDocument doc)

throws BadLocationException {

// Print how many errors

String numErrsMsg = _getNumErrorsMessage(failureName, failureMeaning);

doc.append(numErrsMsg, BOLD_ATTRIBUTES);

_insertErrors(doc);

setDocument(doc);

// Select the first error if there are some errors (i.e. does not select if there are only warnings)

if (!getErrorModel().hasOnlyWarnings())

getErrorListPane().switchToError(0);

}

/** @return true if there is an error after the selected error. */

public boolean hasNextError() { return this.getSelectedIndex() + 1 < _numErrors; }

/** @return true if there is an error before the selected error. */

public boolean hasPrevError() { return this.getSelectedIndex() > 0; }

/** Switches to the next error. */

public void nextError() {

// Select the error

if (hasNextError()) {

this._selectedIndex += 1;

getErrorListPane().switchToError(this.getSelectedIndex());

}

}

/** Switches to the previous error. */

public void prevError() {

// Select the error

if (hasPrevError()) {

this._selectedIndex -= 1;

getErrorListPane().switchToError(this.getSelectedIndex());

}

}

/** Inserts all of the errors into the given document.

protected void _insertErrors(ErrorDocument doc) throws BadLocationException {

CompilerErrorModel cem = getErrorModel();

int numErrors = cem.getNumErrors();

//Added this counter in order to add errors and warnings in correct order and select them correctly

//Previous version used errorNum as a counter, but this doesn't work anymore because we are not doing

//errors and variables at the same time.

int errorPositionInListOfErrors = 0;

// Show errors first and warnings second

String errorTitle = _getErrorTitle();

if (cem.getNumWarnings() > 0) doc.append(errorTitle, BOLD_ATTRIBUTES);

for (int errorNum = 0; errorNum < numErrors; errorNum++) {

int startPos = doc.getLength();

DJError err = cem.getError(errorNum);

if (!err.isWarning()) {

_insertErrorText(err, doc);

Position pos = doc.createPosition(startPos);

_errorListPositions[errorPositionInListOfErrors] = pos;

_errorTable.put(pos, err);

errorPositionInListOfErrors++;

}

}

String warningTitle = _getWarningTitle();

if (cem.getNumCompilerErrors() > 0) doc.append(warningTitle, BOLD_ATTRIBUTES);

for (int errorNum = 0; errorNum < numErrors; errorNum++) {

int startPos = doc.getLength();

DJError err = cem.getError(errorNum);

if (err.isWarning()) {

_insertErrorText(err, doc);

Position pos = doc.createPosition(startPos);

_errorListPositions[errorPositionInListOfErrors] = pos;

_errorTable.put(pos, err);

errorPositionInListOfErrors++;

}

}

}

/** Prints a message for the given error

protected void _insertErrorText(DJError error, ErrorDocument doc) throws BadLocationException {

// Show file and line number

doc.append("File: ", BOLD_ATTRIBUTES);

String fileAndLineNumber = error.getFileMessage() + " [line: " + error.getLineMessage() + "]";

doc.append(fileAndLineNumber + "\n", NORMAL_ATTRIBUTES);

if (error.isWarning()) doc.append(_getWarningText(), BOLD_ATTRIBUTES);

else doc.append(_getErrorText(), BOLD_ATTRIBUTES);

doc.append(error.message(), NORMAL_ATTRIBUTES);

doc.append("\n", NORMAL_ATTRIBUTES);

}

/** @return the string to identify a warning. */

protected String _getWarningText() { return "Warning: "; }

/** @return the string to identify an error. */

protected String _getErrorText() { return "Error: "; }

/** When the selection of the current error changes, remove the highlight in the error pane. */

protected void _removeListHighlight() {

if (_listHighlightTag != null) {

_listHighlightTag.remove();

_listHighlightTag = null;

}

// _prevErrorButton.setEnabled(false);

// _nextErrorButton.setEnabled(false);

}

/** Don't select any errors in the error pane. */

public void selectNothing() {

// _selectedIndex = -1;

_removeListHighlight();

// Remove highlight from the defPane that has it

_frame.getCurrentDefPane().removeErrorHighlight();

}

/** Selects the given error inside the error list pane.

public void selectItem(DJError error) {

try {

// Find corresponding index

int i = _getIndexForError(error);

_selectedIndex = i;

_removeListHighlight();

int startPos = _errorListPositions[i].getOffset();

// end pos is either the end of the document (if this is the last error)

// or the end of the error if the last error (i.e. before the warnings title)

// or the char where the next error starts

int endPos;

if (i + 1 >= (_numErrors)) endPos = getDocument().getLength();

else {

endPos = _errorListPositions[i + 1].getOffset();

DJError nextError = _errorTable.get(_errorListPositions[i+1]);

if (!error.isWarning() && nextError.isWarning()) endPos = endPos - _getWarningTitle().length();

}

try {

_listHighlightTag = _highlightManager.addHighlight(startPos, endPos, _listHighlightPainter);

// If first error, show number of errors and warnings preferentially to showing the error

// Otherwise, scroll to make sure this item is visible

Rectangle startRect;

if (i == 0) startRect = modelToView(0);

else startRect = modelToView(startPos);

Rectangle endRect = modelToView(endPos - 1);

if (startRect != null && endRect != null) {

// Add the end rect onto the start rect to make a rectangle

// that encompasses the entire error

startRect.add(endRect);

//System.err.println("scrll vis: " + startRect);

scrollRectToVisible(startRect);

_updateScrollButtons();

}

else {

// Couldn't draw the box to highlight, so don't highlight anything

_removeListHighlight();

}

}

catch (BadLocationException badBadLocation) { }

}

catch (IllegalArgumentException iae) {

// This shouldn't be happening, but it was reported in bug 704006.

// (_getIndexForError throws it.)

// We'll at least fail a little more gracefully.

_removeListHighlight();

}

}

protected void _updateScrollButtons() {

if (hasNextError()) {

_nextErrorButton.setEnabled(true);

}

else {

_nextErrorButton.setEnabled(false);

}

if (hasPrevError()) {

_prevErrorButton.setEnabled(true);

}

else {

_prevErrorButton.setEnabled(false);

}

}

/** Change all state to select a new error, including moving the caret to the error, if a corresponding position

void switchToError(DJError error) {

if (error == null) return;

final SingleDisplayModel model = getModel();

DefinitionsPane prevPane = _frame.getCurrentDefPane();

prevPane.removeErrorHighlight(); // hide previous error highlight

OpenDefinitionsDocument prevDoc = prevPane.getOpenDefDocument();

if (error.file() != null) {

try {

boolean open = false;

for(OpenDefinitionsDocument doc : model.getOpenDefinitionsDocuments()) {

if ((doc.getFile() != null) && (doc.getFile().equals(error.file()))) {

open = true;

break;

}

}

if (open) {

OpenDefinitionsDocument doc = model.getDocumentForFile(error.file());

CompilerErrorModel errorModel = getErrorModel();

Position pos = errorModel.getPosition(error); // null if error has no Position

// switch to correct def pane and move caret to error position

if (! prevDoc.equals(doc)) {

model.setActiveDocument(doc);

EventQueue.invokeLater(new Runnable() {

public void run() {

model.addToBrowserHistory();

} });

}

else model.refreshActiveDocument();

DefinitionsPane defPane = _frame.getCurrentDefPane();

if (pos != null) {

int errPos = pos.getOffset();

if (errPos >= 0 && errPos <= doc.getLength()) {

defPane.centerViewOnOffset(errPos);

/* The folowing fixes a bug where, if two consecutive errors are in the same position, the previous error

defPane.getErrorCaretListener().updateHighlight(errPos);

}

}

// The following line is a brute force hack that fixed a bug plaguing the DefinitionsPane immediately after a compilation

// with errors. In some cases (which were consistently reproducible), the DefinitionsPane editing functions would break

// whereby the keystrokes had their usual meaning but incorrect updates were performed in the DefinitionsPane. For example,

// the display behaved as if the editor were in "overwrite" mode.

defPane.requestFocusInWindow();

defPane.getCaret().setVisible(true);

}

}

catch (IOException ioe) {

// Don't highlight the source if file can't be opened

}

}

/* setActiveDocument(doc) selects the first error corresponding to the current position (caret location) but this may not

getErrorListPane().selectItem(error);

}

/** Another interface to switchToError.

void switchToError(int index) {

if ((index >= 0) && (index < _errorListPositions.length)) {

Position pos = _errorListPositions[index];

DJError error= _errorTable.get(pos);

switchToError(error);

}

}

/** The OptionListener for compiler COMPILER_ERROR_COLOR */

private class CompilerErrorColorOptionListener implements OptionListener<Color> {

public void optionChanged(OptionEvent<Color> oce) {

_listHighlightPainter = new ReverseHighlighter.DrJavaHighlightPainter(oce.value);

if (_listHighlightTag != null) {

_listHighlightTag.refresh(_listHighlightPainter);

}

}

}

/** The OptionListener for compiler DEFINITIONS_NORMAL_COLOR */

private class ForegroundColorListener implements OptionListener<Color> {

public void optionChanged(OptionEvent<Color> oce) {

StyleConstants.setForeground(NORMAL_ATTRIBUTES, oce.value);

StyleConstants.setForeground(BOLD_ATTRIBUTES, oce.value);

// Re-attribute the existing text with the new color.

ErrorDocument doc = getErrorListPane().getErrorDocument();

SimpleAttributeSet set = new SimpleAttributeSet();

set.addAttribute(StyleConstants.Foreground, oce.value);

doc.setCharacterAttributes(0, doc.getLength(), set, false);

}

}

/** The OptionListener for compiler DEFINITIONS_BACKGROUND_COLOR. */

private class BackgroundColorListener implements OptionListener<Color> {

public void optionChanged(OptionEvent<Color> oce) {

setBackground(oce.value);

ErrorListPane.this.repaint();

}

}

public String getErrorDocumentTitle() { return "Errors"; }

}

public class ErrorDocument extends SwingDocument {

protected volatile DrJavaBook _book;

protected final String _title;

public ErrorDocument(String t) { _title = t; }

public Pageable getPageable() throws IllegalStateException { return _book; }

public void preparePrintJob() {

_book = new DrJavaBook(getDocText(0, getLength()), _title, new PageFormat());

}

public void print() {

preparePrintJob();

PrinterJob printJob = PrinterJob.getPrinterJob();

printJob.setPageable(_book);

try {

if (printJob.printDialog()) printJob.print();

}

catch(PrinterException e) {

MainFrameStatics.showError(_frame, e, "Print Error", "An error occured while printing.");

}

cleanUpPrintJob();

}

public void cleanUpPrintJob() { _book = null; }

}

public class PreviewErrorFrame extends PreviewFrame {

public PreviewErrorFrame() throws IllegalStateException {

super(ErrorPanel.this._model, ErrorPanel.this._frame, false);

}

protected Pageable setUpDocument(SingleDisplayModel model, boolean interactions) {

return getErrorListPane().getErrorDocument().getPageable();

}

protected void _print() {

getErrorListPane().getErrorDocument().print();

}

}

public JPopupMenu getPopupMenu() { return _popupMenu; }

public void addPopupMenu(Action... actions) {

if (_popupMenu == null) {

_popupMenu = new JPopupMenu();

}

else {

_popupMenu.removeAll();

removeMouseListener(_popupMenuListener);

_scroller.removeMouseListener(_popupMenuListener);

_scroller.getViewport().getView().removeMouseListener(_popupMenuListener);

}

for(Action a: actions) { _popupMenu.add(a); }

_popupMenuListener = new RightClickMouseAdapter() {

protected void _popupAction(MouseEvent e) {

requestFocusInWindow();

_popupMenu.show(e.getComponent(), e.getX(), e.getY());

}

};

addMouseListener(_popupMenuListener);

if (_scroller!=null) { // test unnecessary?

_scroller.addMouseListener(_popupMenuListener);

if (_scroller.getViewport().getView()!=null) {

_scroller.getViewport().getView().addMouseListener(_popupMenuListener);

}

}

}