001: /*BEGIN_COPYRIGHT_BLOCK
002: *
003: * Copyright (c) 2001-2007, JavaPLT group at Rice University (javaplt@rice.edu)
004: * All rights reserved.
005: *
006: * Redistribution and use in source and binary forms, with or without
007: * modification, are permitted provided that the following conditions are met:
008: * * Redistributions of source code must retain the above copyright
009: * notice, this list of conditions and the following disclaimer.
010: * * Redistributions in binary form must reproduce the above copyright
011: * notice, this list of conditions and the following disclaimer in the
012: * documentation and/or other materials provided with the distribution.
013: * * Neither the names of DrJava, the JavaPLT group, Rice University, nor the
014: * names of its contributors may be used to endorse or promote products
015: * derived from this software without specific prior written permission.
016: *
017: * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
018: * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
019: * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
020: * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
021: * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
022: * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
023: * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
024: * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
025: * LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
026: * NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
027: * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
028: *
029: * This software is Open Source Initiative approved Open Source Software.
030: * Open Source Initative Approved is a trademark of the Open Source Initiative.
031: *
032: * This file is part of DrJava. Download the current version of this project
033: * from http://www.drjava.org/ or http://sourceforge.net/projects/drjava/
034: *
035: * END_COPYRIGHT_BLOCK*/
036:
037: package edu.rice.cs.drjava.ui;
038:
039: import javax.swing.JButton;
040: import java.util.List;
041: import java.util.ArrayList;
042:
043: import edu.rice.cs.drjava.DrJava;
044: import edu.rice.cs.util.UnexpectedException;
045: import edu.rice.cs.drjava.config.OptionConstants;
046:
047: /** The handle() method in this class is called everytime an uncaught exception propagates to an AWT action.
048: * The static log() method can be used to put log entries into the error log but continue execution.
049: * This does not automatically update the "DrJava Errors" window when new errors occur. In the case of errors,
050: * we want to minimize the effects on the GUI. If we want to see an updated dialog, we can click on the
051: * "DrJava Errors" button again.
052: * @version $Id: DrJavaErrorHandler.java 4255 2007-08-28 19:17:37Z mgricken $
053: */
054: public class DrJavaErrorHandler {
055: /** the list of errors */
056: private static ArrayList<Throwable> _errors = new ArrayList<Throwable>();
057:
058: /** the button to show */
059: private static JButton _errorsButton;
060:
061: /** Sets the button to show. */
062: public static void setButton(JButton b) {
063: _errorsButton = b;
064: }
065:
066: /** Gets the button to show. */
067: public static JButton getButton() {
068: return _errorsButton;
069: }
070:
071: /** Returns the size of the error list. */
072: public static int getErrorCount() {
073: return _errors.size();
074: }
075:
076: /** Returns the error with the given index. */
077: public static Throwable getError(int index) {
078: if ((index >= 0) && (index < _errors.size())) {
079: return _errors.get(index);
080: } else {
081: return new UnexpectedException(
082: "Error in DrJavaErrorHandler");
083: }
084: }
085:
086: /** Clears the list of errors. */
087: public static void clearErrors() {
088: _errors.clear();
089: }
090:
091: /** Handles an uncaught exception. This gets called automatically by AWT. */
092: public void handle(Throwable thrown) {
093: System.out.println("Unhandled exception: " + thrown);
094: record(thrown);
095: }
096:
097: /** Record the throwable in the errors list. */
098: public static void record(Throwable thrown) {
099: _errors.add(thrown);
100: if (_errorsButton != null) {
101: _errorsButton.setVisible(true);
102: }
103: if (_errors.size() == 1
104: && DrJava
105: .getConfig()
106: .getSetting(
107: OptionConstants.DIALOG_DRJAVA_ERROR_POPUP_ENABLED)
108: .booleanValue()) {
109: DrJavaErrorPopup popup = new DrJavaErrorPopup(
110: DrJavaErrorWindow.getFrame(), thrown);
111: MainFrame.setPopupLoc(popup, popup.getOwner());
112: popup.setVisible(true);
113: }
114: }
115:
116: /** Log an unexpected situation. */
117: public static void log(String message) {
118: record(new LoggedCondition(message));
119: }
120:
121: /** The throwable used for logging unexpected situations. */
122: public static class LoggedCondition extends Throwable {
123: public LoggedCondition(String s) {
124: super(s);
125: }
126: }
127: }
|