KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > gov > nasa > jpf > jvm > UncaughtException


1 //
2 // Copyright (C) 2005 United States Government as represented by the
3 // Administrator of the National Aeronautics and Space Administration
4 // (NASA). All Rights Reserved.
5 //
6 // This software is distributed under the NASA Open Source Agreement
7 // (NOSA), version 1.3. The NOSA has been approved by the Open Source
8 // Initiative. See the file NOSA-1.3-JPF at the top of the distribution
9 // directory tree for the complete NOSA document.
10 //
11 // THE SUBJECT SOFTWARE IS PROVIDED "AS IS" WITHOUT ANY WARRANTY OF ANY
12 // KIND, EITHER EXPRESSED, IMPLIED, OR STATUTORY, INCLUDING, BUT NOT
13 // LIMITED TO, ANY WARRANTY THAT THE SUBJECT SOFTWARE WILL CONFORM TO
14 // SPECIFICATIONS, ANY IMPLIED WARRANTIES OF MERCHANTABILITY, FITNESS FOR
15 // A PARTICULAR PURPOSE, OR FREEDOM FROM INFRINGEMENT, ANY WARRANTY THAT
16 // THE SUBJECT SOFTWARE WILL BE ERROR FREE, OR ANY WARRANTY THAT
17 // DOCUMENTATION, IF PROVIDED, WILL CONFORM TO THE SUBJECT SOFTWARE.
18 //
19 package gov.nasa.jpf.jvm;
20
21 import gov.nasa.jpf.util.Printable;
22
23 import java.io.PrintWriter JavaDoc;
24
25 import java.util.ArrayList JavaDoc;
26
27
28 /**
29  * represents the case of an unhandled exception detected by JPF
30  * <2do> control flow exception, remove this!
31  */
32 public class UncaughtException extends RuntimeException JavaDoc implements Printable {
33
34   ThreadInfo thread;
35   int xObjRef; // the exception object reference (that went uncaught)
36
37   String JavaDoc xClsName;
38   String JavaDoc details;
39
40   ArrayList JavaDoc stackTrace;
41
42   public UncaughtException (ThreadInfo ti, int objRef) {
43     thread = ti;
44     xObjRef = objRef;
45     
46     ElementInfo ei = DynamicArea.getHeap().get(xObjRef);
47     xClsName = ei.getClassInfo().getName();
48     details = ei.getStringField("detailMessage", null);
49   }
50   
51   public boolean isAssertionError () {
52     return ("java.lang.AssertionError".equals(xClsName));
53   }
54
55   public String JavaDoc getRawMessage () {
56     return xClsName;
57   }
58   
59   public String JavaDoc getMessage () {
60     String JavaDoc s = "uncaught exception in thread " + thread.getName() +
61               " #" + thread.getIndex() + " : "
62               + xClsName;
63     
64     if (details != null) {
65       s += " : \"" + details + "\"";
66     }
67     
68     return s;
69   }
70
71   public void printOn (PrintWriter JavaDoc pw) {
72     DynamicArea da = DynamicArea.getHeap();
73     
74     pw.print("uncaught exception in thread ");
75     pw.print( thread.getName());
76     pw.print(" #");
77     pw.print(thread.index);
78     pw.print(" : ");
79
80     thread.printStackTrace(pw, xObjRef);
81     pw.flush();
82   }
83 }
84
Popular Tags