| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerWarmup.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerWarmup.java (revision 5427)
|
| +++ editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/utilities/compiler/DartCompilerWarmup.java (working copy)
|
| @@ -156,6 +156,11 @@
|
| }
|
|
|
| @Override
|
| + public String getUniqueIdentifier() {
|
| + return dartSrc.getUniqueIdentifier();
|
| + }
|
| +
|
| + @Override
|
| public URI getUri() {
|
| return dartSrc.getUri();
|
| }
|
| @@ -188,8 +193,8 @@
|
| /**
|
| * @see #warmUpCompiler()
|
| */
|
| - public static void warmUpCompiler(CachingArtifactProvider rootProvider,
|
| - DartCompilerListener listener) {
|
| + public static void warmUpCompiler(
|
| + CachingArtifactProvider rootProvider, DartCompilerListener listener) {
|
| EditorLibraryManager sysLibMgr = SystemLibraryManagerProvider.getSystemLibraryManager();
|
|
|
| String warmupSrcCode = "main() {print('success');}";
|
| @@ -202,7 +207,7 @@
|
|
|
| try {
|
| CompilerConfiguration config = new DefaultCompilerConfiguration(options, sysLibMgr) {
|
| - @Override
|
| + @Override
|
| public CompilerMetrics getCompilerMetrics() {
|
| return metrics;
|
| }
|
|
|