| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/NonExistingSource.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/NonExistingSource.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/NonExistingSource.java
|
| index 4061e88f6b60d3722de1612066be42d0d75f724d..8a6d6f178d49ee4580dffc11fc69598574d0d143 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/NonExistingSource.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/NonExistingSource.java
|
| @@ -14,6 +14,7 @@
|
| package com.google.dart.engine.source;
|
|
|
| import com.google.dart.engine.internal.context.TimestampedData;
|
| +import com.google.dart.engine.utilities.translation.DartOmit;
|
|
|
| import java.net.URI;
|
|
|
| @@ -43,6 +44,7 @@ public class NonExistingSource implements Source {
|
|
|
| @Override
|
| @Deprecated
|
| + @DartOmit
|
| public void getContentsToReceiver(ContentReceiver receiver) throws Exception {
|
| throw new UnsupportedOperationException(name + "does not exist.");
|
| }
|
|
|