| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/Source.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/Source.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/Source.java
|
| index 458e0793f2f4abaa9d5e5105d2092327ef8ac882..c8442e852c32e44fdee4b8fce5b422dddd98ab75 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/Source.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/Source.java
|
| @@ -90,7 +90,7 @@ public interface Source {
|
| * @throws Exception if the contents of this source could not be accessed
|
| */
|
| @Deprecated
|
| - public void getContents(ContentReceiver receiver) throws Exception;
|
| + public void getContentsToReceiver(ContentReceiver receiver) throws Exception;
|
|
|
| /**
|
| * Return an encoded representation of this source that can be used to create a source that is
|
|
|