| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart 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 file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 library compiler_isolate; | 5 library compiler_isolate; |
| 6 | 6 |
| 7 import 'dart:async'; | 7 import 'dart:async'; |
| 8 import 'dart:html'; | 8 import 'dart:html'; |
| 9 import 'dart:isolate'; | 9 import 'dart:isolate'; |
| 10 import 'dart:convert' show JSON; | 10 import 'dart:convert' show JSON; |
| 11 | 11 |
| 12 import 'compilation.dart' show PRIVATE_SCHEME; | 12 import 'compilation.dart' show PRIVATE_SCHEME; |
| 13 | 13 |
| 14 import 'package:compiler/compiler.dart' as compiler; | 14 import 'package:compiler/compiler.dart' as compiler; |
| 15 | 15 |
| 16 import 'caching_compiler.dart' show | 16 import 'package:dart2js_incremental/dart2js_incremental.dart' show |
| 17 reuseCompiler; | 17 reuseCompiler; |
| 18 | 18 |
| 19 const bool THROW_ON_ERROR = false; | 19 const bool THROW_ON_ERROR = false; |
| 20 | 20 |
| 21 final cachedSources = new Map<Uri, Future<String>>(); | 21 final cachedSources = new Map<Uri, Future<String>>(); |
| 22 | 22 |
| 23 Uri sdkLocation; | 23 Uri sdkLocation; |
| 24 List options = []; | 24 List options = []; |
| 25 | 25 |
| 26 var cachedCompiler; | 26 var cachedCompiler; |
| (...skipping 126 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 153 port.send(replyTo.sendPort); | 153 port.send(replyTo.sendPort); |
| 154 replyTo.listen((message) { | 154 replyTo.listen((message) { |
| 155 try { | 155 try { |
| 156 List list = message as List; | 156 List list = message as List; |
| 157 compile(list[0], list[1]); | 157 compile(list[0], list[1]); |
| 158 } catch (exception, stack) { | 158 } catch (exception, stack) { |
| 159 port.send('$exception\n$stack'); | 159 port.send('$exception\n$stack'); |
| 160 } | 160 } |
| 161 }); | 161 }); |
| 162 } | 162 } |
| OLD | NEW |