| 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");
|
|
|