| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/AnalysisContext.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/AnalysisContext.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/AnalysisContext.java
|
| index 7b91b23ce403d8f6fbf6af0797071c10f10c79f9..aaa854116641f8bf42a17c57067fafcd1556145b 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/AnalysisContext.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/context/AnalysisContext.java
|
| @@ -28,6 +28,7 @@ import com.google.dart.engine.source.SourceContainer;
|
| import com.google.dart.engine.source.SourceFactory;
|
| import com.google.dart.engine.source.SourceKind;
|
| import com.google.dart.engine.utilities.source.LineInfo;
|
| +import com.google.dart.engine.utilities.translation.DartOmit;
|
|
|
| import java.util.List;
|
|
|
| @@ -233,6 +234,7 @@ public interface AnalysisContext {
|
| * @throws Exception if the contents of the source could not be accessed
|
| */
|
| @Deprecated
|
| + @DartOmit
|
| public void getContentsToReceiver(Source source, ContentReceiver receiver) throws Exception;
|
|
|
| /**
|
|
|