01: //
02: // Copyright (C) 2005 United States Government as represented by the
03: // Administrator of the National Aeronautics and Space Administration
04: // (NASA). All Rights Reserved.
05: //
06: // This software is distributed under the NASA Open Source Agreement
07: // (NOSA), version 1.3. The NOSA has been approved by the Open Source
08: // Initiative. See the file NOSA-1.3-JPF at the top of the distribution
09: // 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;
24:
25: import java.util.ArrayList;
26:
27: /**
28: * represents the case of an unhandled exception detected by JPF
29: * <2do> control flow exception, remove this!
30: */
31: public class UncaughtException extends RuntimeException implements
32: Printable {
33:
34: ThreadInfo thread;
35: int xObjRef; // the exception object reference (that went uncaught)
36:
37: String xClsName;
38: String details;
39:
40: ArrayList 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 getRawMessage() {
56: return xClsName;
57: }
58:
59: public String getMessage() {
60: String s = "uncaught exception in thread " + thread.getName()
61: + " #" + thread.getIndex() + " : " + xClsName;
62:
63: if (details != null) {
64: s += " : \"" + details + "\"";
65: }
66:
67: return s;
68: }
69:
70: public void printOn(PrintWriter pw) {
71: DynamicArea da = DynamicArea.getHeap();
72:
73: pw.print("uncaught exception in thread ");
74: pw.print(thread.getName());
75: pw.print(" #");
76: pw.print(thread.index);
77: pw.print(" : ");
78:
79: thread.printStackTrace(pw, xObjRef);
80: pw.flush();
81: }
82: }
|