KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > armedbear > j > ErrorRunnable


1 /*
2  * ErrorRunnable.java
3  *
4  * Copyright (C) 1998-2002 Peter Graves
5  * $Id: ErrorRunnable.java,v 1.1.1.1 2002/09/24 16:08:44 piso Exp $
6  *
7  * This program is free software; you can redistribute it and/or
8  * modify it under the terms of the GNU General Public License
9  * as published by the Free Software Foundation; either version 2
10  * of the License, or (at your option) any later version.
11  *
12  * This program is distributed in the hope that it will be useful,
13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15  * GNU General Public License for more details.
16  *
17  * You should have received a copy of the GNU General Public License
18  * along with this program; if not, write to the Free Software
19  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
20  */
21
22 package org.armedbear.j;
23
24 public class ErrorRunnable implements Runnable JavaDoc
25 {
26     private final String JavaDoc defaultMessage;
27
28     protected String JavaDoc message;
29
30     public ErrorRunnable(String JavaDoc defaultMessage)
31     {
32         this.defaultMessage = defaultMessage;
33     }
34
35     public final void setMessage(String JavaDoc s)
36     {
37         message = s;
38     }
39
40     public void run()
41     {
42         for (EditorIterator it = new EditorIterator(); it.hasNext();) {
43             Editor ed = it.nextEditor();
44             ed.setDefaultCursor();
45             ed.updateLocation();
46             ed.status("");
47         }
48         String JavaDoc text;
49         if (message != null && message.length() > 0)
50             text = message;
51         else if (defaultMessage != null)
52             text = defaultMessage;
53         else
54             text = "Unknown error";
55         MessageDialog.showMessageDialog(text, "Error");
56     }
57 }
58
Popular Tags