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 |