| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/error/ErrorReporter.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/error/ErrorReporter.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/error/ErrorReporter.java
|
| index 05bcde430960b9b59fb4b30849011c821e47d6fa..8cf64de12d9bff89078708338bc8689e9728205a 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/error/ErrorReporter.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/error/ErrorReporter.java
|
| @@ -64,6 +64,10 @@ public class ErrorReporter {
|
| this.source = defaultSource;
|
| }
|
|
|
| + public Source getSource() {
|
| + return source;
|
| + }
|
| +
|
| /**
|
| * Creates an error with properties with the given error code and arguments.
|
| *
|
|
|