OLD | NEW |
1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dartino project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
4 | 4 |
5 library fletchc.please_report_crash; | 5 library dartino_compiler.please_report_crash; |
6 | 6 |
7 import 'guess_configuration.dart' show | 7 import 'guess_configuration.dart' show |
8 fletchVersion; | 8 dartinoVersion; |
9 | 9 |
10 bool crashReportRequested = false; | 10 bool crashReportRequested = false; |
11 | 11 |
12 final String requestBugReportOnCompilerCrashMessage = """ | 12 final String requestBugReportOnCompilerCrashMessage = """ |
13 The Dartino compiler is broken. | 13 The Dartino compiler is broken. |
14 | 14 |
15 When compiling the above element, the compiler crashed. It is not | 15 When compiling the above element, the compiler crashed. It is not |
16 possible to tell if this is caused by a problem in your program or | 16 possible to tell if this is caused by a problem in your program or |
17 not. Regardless, the compiler should not crash. | 17 not. Regardless, the compiler should not crash. |
18 | 18 |
19 The Dartino team would greatly appreciate if you would take a moment to | 19 The Dartino team would greatly appreciate if you would take a moment to |
20 report this problem at https://github.com/dartino/sdk/issues/new | 20 report this problem at https://github.com/dartino/sdk/issues/new |
21 | 21 |
22 Please include the following information: | 22 Please include the following information: |
23 | 23 |
24 * the name and version of your operating system | 24 * the name and version of your operating system |
25 | 25 |
26 * the Dartino SDK version ($fletchVersion) | 26 * the Dartino SDK version ($dartinoVersion) |
27 | 27 |
28 * the entire message you see here (including the full stack trace | 28 * the entire message you see here (including the full stack trace |
29 below as well as the source location above) | 29 below as well as the source location above) |
30 """; | 30 """; |
31 | 31 |
32 final String requestBugReportOnOtherCrashMessage = """ | 32 final String requestBugReportOnOtherCrashMessage = """ |
33 The Dartino program is broken and has crashed. | 33 The Dartino program is broken and has crashed. |
34 | 34 |
35 The Dartino team would greatly appreciate if you would take a moment to | 35 The Dartino team would greatly appreciate if you would take a moment to |
36 report this problem at https://github.com/dartino/sdk/issues/new | 36 report this problem at https://github.com/dartino/sdk/issues/new |
37 | 37 |
38 Please include the following information: | 38 Please include the following information: |
39 | 39 |
40 * the name and version of your operating system | 40 * the name and version of your operating system |
41 | 41 |
42 * the Dartino SDK version ($fletchVersion) | 42 * the Dartino SDK version ($dartinoVersion) |
43 | 43 |
44 * the entire message you see here (including the full stack trace below) | 44 * the entire message you see here (including the full stack trace below) |
45 """; | 45 """; |
46 | 46 |
47 void pleaseReportCrash(error, StackTrace trace) { | 47 void pleaseReportCrash(error, StackTrace trace) { |
48 String formattedError = stringifyError(error, trace); | 48 String formattedError = stringifyError(error, trace); |
49 if (!crashReportRequested) { | 49 if (!crashReportRequested) { |
50 crashReportRequested = true; | 50 crashReportRequested = true; |
51 print("$requestBugReportOnOtherCrashMessage$formattedError"); | 51 print("$requestBugReportOnOtherCrashMessage$formattedError"); |
52 } else { | 52 } else { |
(...skipping 11 matching lines...) Expand all Loading... |
64 } | 64 } |
65 StringBuffer buffer = new StringBuffer(); | 65 StringBuffer buffer = new StringBuffer(); |
66 buffer.writeln(safeToString(error)); | 66 buffer.writeln(safeToString(error)); |
67 if (stackTrace != null) { | 67 if (stackTrace != null) { |
68 buffer.writeln(safeToString(stackTrace)); | 68 buffer.writeln(safeToString(stackTrace)); |
69 } else { | 69 } else { |
70 buffer.writeln("No stack trace."); | 70 buffer.writeln("No stack trace."); |
71 } | 71 } |
72 return '$buffer'; | 72 return '$buffer'; |
73 } | 73 } |
OLD | NEW |