OLD | NEW |
1 library java.engine; | 1 library java.engine; |
2 | 2 |
3 import 'interner.dart'; | 3 import 'interner.dart'; |
4 import 'java_core.dart'; | 4 import 'java_core.dart'; |
5 | 5 |
6 /** | 6 /** |
7 * A predicate is a one-argument function that returns a boolean value. | 7 * A predicate is a one-argument function that returns a boolean value. |
8 */ | 8 */ |
9 typedef bool Predicate<E>(E argument); | 9 typedef bool Predicate<E>(E argument); |
10 | 10 |
(...skipping 79 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
90 if (stackTrace != null) { | 90 if (stackTrace != null) { |
91 buffer.writeln(stackTrace.toString()); | 91 buffer.writeln(stackTrace.toString()); |
92 } | 92 } |
93 CaughtException cause = analysisException.cause; | 93 CaughtException cause = analysisException.cause; |
94 if (cause != null) { | 94 if (cause != null) { |
95 buffer.write('Caused by '); | 95 buffer.write('Caused by '); |
96 cause._writeOn(buffer); | 96 cause._writeOn(buffer); |
97 } | 97 } |
98 } else { | 98 } else { |
99 buffer.writeln(exception.toString()); | 99 buffer.writeln(exception.toString()); |
100 buffer.writeln(stackTrace.toString()); | 100 if (stackTrace != null) { |
| 101 buffer.writeln(stackTrace.toString()); |
| 102 } |
101 } | 103 } |
102 } | 104 } |
103 } | 105 } |
104 | 106 |
105 class FileNameUtilities { | 107 class FileNameUtilities { |
106 static String getExtension(String fileName) { | 108 static String getExtension(String fileName) { |
107 if (fileName == null) { | 109 if (fileName == null) { |
108 return ""; | 110 return ""; |
109 } | 111 } |
110 int index = fileName.lastIndexOf('.'); | 112 int index = fileName.lastIndexOf('.'); |
(...skipping 252 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
363 } | 365 } |
364 } | 366 } |
365 | 367 |
366 class UUID { | 368 class UUID { |
367 static int __nextId = 0; | 369 static int __nextId = 0; |
368 final String id; | 370 final String id; |
369 UUID(this.id); | 371 UUID(this.id); |
370 String toString() => id; | 372 String toString() => id; |
371 static UUID randomUUID() => new UUID((__nextId).toString()); | 373 static UUID randomUUID() => new UUID((__nextId).toString()); |
372 } | 374 } |
OLD | NEW |