01: // This file is part of KeY - Integrated Deductive Software Design
02: // Copyright (C) 2001-2007 Universitaet Karlsruhe, Germany
03: // Universitaet Koblenz-Landau, Germany
04: // Chalmers University of Technology, Sweden
05: //
06: // The KeY system is protected by the GNU General Public License.
07: // See LICENSE.TXT for details.
08: /*
09: * Created on 18.03.2005
10: */
11: package de.uka.ilkd.key.gui.notification.events;
12:
13: import de.uka.ilkd.key.gui.notification.NotificationEventID;
14:
15: /**
16: * A notification event caused by a general unexpected failure
17: * (usually caused by a bug of the system)
18: * @author bubel
19: */
20: public class GeneralFailureEvent extends NotificationEvent {
21:
22: private String errorMessage = "Unknown Error.";
23:
24: /**
25: * creates an instance of this event
26: * @param errorMessage a String describing the failure
27: */
28: public GeneralFailureEvent(String errorMessage) {
29: super (NotificationEventID.GENERAL_FAILURE);
30: this .errorMessage = errorMessage;
31: }
32:
33: /**
34: * @return the error message describing the reason for
35: * this event
36: */
37: public String getErrorMessage() {
38: return errorMessage;
39: }
40:
41: }
|