Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java |
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java |
index cacebf816ddfe04dc4b9fe2fbdef5fe6615b2ecc..e24178dff3e542f7715c9ee85797f08e70eeefa2 100644 |
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java |
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java |
@@ -92,8 +92,8 @@ public class FileBasedSource implements Source { |
} |
@Override |
- public void getContents(ContentReceiver receiver) throws Exception { |
- getContentsFromFile(receiver); |
+ public void getContentsToReceiver(ContentReceiver receiver) throws Exception { |
+ getContentsFromFileToReceiver(receiver); |
} |
@Override |
@@ -220,9 +220,9 @@ public class FileBasedSource implements Source { |
* |
* @param receiver the content receiver to which the content of this source will be passed |
* @throws Exception if the contents of this source could not be accessed |
- * @see #getContents(ContentReceiver) |
+ * @see #getContentsToReceiver(ContentReceiver) |
*/ |
- protected void getContentsFromFile(ContentReceiver receiver) throws Exception { |
+ protected void getContentsFromFileToReceiver(ContentReceiver receiver) throws Exception { |
String contents; |
long modificationTime = file.lastModified(); |
RandomAccessFile randomAccessFile = new RandomAccessFile(file, "r"); |