KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > edu > rice > cs > drjava > ui > DrJavaErrorHandler


1 /*BEGIN_COPYRIGHT_BLOCK
2  *
3  * This file is part of DrJava. Download the current version of this project from http://www.drjava.org/
4  * or http://sourceforge.net/projects/drjava/
5  *
6  * DrJava Open Source License
7  *
8  * Copyright (C) 2001-2005 JavaPLT group at Rice University (javaplt@rice.edu). All rights reserved.
9  *
10  * Developed by: Java Programming Languages Team, Rice University, http://www.cs.rice.edu/~javaplt/
11  *
12  * Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated
13  * documentation files (the "Software"), to deal with the Software without restriction, including without limitation
14  * the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and
15  * to permit persons to whom the Software is furnished to do so, subject to the following conditions:
16  *
17  * - Redistributions of source code must retain the above copyright notice, this list of conditions and the
18  * following disclaimers.
19  * - Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the
20  * following disclaimers in the documentation and/or other materials provided with the distribution.
21  * - Neither the names of DrJava, the JavaPLT, Rice University, nor the names of its contributors may be used to
22  * endorse or promote products derived from this Software without specific prior written permission.
23  * - Products derived from this software may not be called "DrJava" nor use the term "DrJava" as part of their
24  * names without prior written permission from the JavaPLT group. For permission, write to javaplt@rice.edu.
25  *
26  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO
27  * THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
28  * CONTRIBUTORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF
29  * CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
30  * WITH THE SOFTWARE.
31  *
32  END_COPYRIGHT_BLOCK*/
33
34 package edu.rice.cs.drjava.ui;
35
36 import javax.swing.JButton JavaDoc;
37 import java.util.List JavaDoc;
38 import java.util.ArrayList JavaDoc;
39
40 import edu.rice.cs.drjava.DrJava;
41 import edu.rice.cs.util.UnexpectedException;
42 import edu.rice.cs.drjava.config.OptionConstants;
43
44 /** The handle() method in this class is called everytime an uncaught exception propagates to an AWT action.
45  * The static log() method can be used to put log entries into the error log but continue execution.
46  * This does not automatically update the "DrJava Errors" window when new errors occur. In the case of errors,
47  * we want to minimize the effects on the GUI. If we want to see an updated dialog, we can click on the
48  * "DrJava Errors" button again.
49  * @version $Id: DrJavaErrorHandler.java 3869 2006-05-27 04:24:47Z mgricken $
50  */
51 public class DrJavaErrorHandler {
52   /** the list of errors */
53   private static ArrayList JavaDoc<Throwable JavaDoc> _errors = new ArrayList JavaDoc<Throwable JavaDoc>();
54
55   /** the button to show */
56   private static JButton JavaDoc _errorsButton;
57   
58   /** Sets the button to show. */
59   public static void setButton(JButton JavaDoc b) { _errorsButton = b; }
60   
61   /** Gets the button to show. */
62   public static JButton JavaDoc getButton() { return _errorsButton; }
63   
64   /** Returns the size of the error list. */
65   public static int getErrorCount() { return _errors.size(); }
66   
67   /** Returns the error with the given index. */
68   public static Throwable JavaDoc getError(int index) {
69     if ((index>=0) && (index<_errors.size())) {
70       return _errors.get(index);
71     }
72     else {
73       return new UnexpectedException("Error in DrJavaErrorHandler");
74     }
75   }
76   
77   /** Clears the list of errors. */
78   public static void clearErrors() { _errors.clear(); }
79
80   /** Handles an uncaught exception. This gets called automatically by AWT. */
81   public void handle(Throwable JavaDoc thrown) {
82     System.out.println("Unhandled exception: " + thrown);
83     record(thrown);
84   }
85   
86   /** Record the throwable in the errors list. */
87   public static void record(Throwable JavaDoc thrown) {
88     _errors.add(thrown);
89     if (_errorsButton!=null) {
90       _errorsButton.setVisible(true);
91     }
92     if ((_errors.size()==1) && (DrJava.getConfig().getSetting(OptionConstants.DIALOG_DRJAVA_ERROR_POPUP_ENABLED).booleanValue())) {
93       DrJavaErrorPopup popup = new DrJavaErrorPopup(DrJavaErrorWindow.getFrame(), thrown);
94       MainFrame.setPopupLoc(popup, popup.getOwner());
95       popup.setVisible(true);
96     }
97   }
98   
99   /** Log an unexpected situation. */
100   public static void log(String JavaDoc message) {
101     record(new LoggedCondition(message));
102   }
103   
104   /** The throwable used for logging unexpected situations. */
105   public static class LoggedCondition extends Throwable JavaDoc {
106     public LoggedCondition(String JavaDoc s) { super(s); }
107   }
108 }
109
Popular Tags