Index: pkg/front_end/lib/src/scanner/reader.dart |
diff --git a/pkg/front_end/lib/src/scanner/reader.dart b/pkg/front_end/lib/src/scanner/reader.dart |
index b0791396e4f703e914258edce7ecb6e6d8b3bbbe..d0cc35219c3a4e3a874b1dff1c9df41f21207da9 100644 |
--- a/pkg/front_end/lib/src/scanner/reader.dart |
+++ b/pkg/front_end/lib/src/scanner/reader.dart |
@@ -28,6 +28,11 @@ abstract class CharacterReader { |
int advance(); |
/** |
+ * Return the source to be scanned. |
+ */ |
+ String getContents(); |
+ |
+ /** |
* Return the substring of the source code between the [start] offset and the |
* modified current position. The current position is modified by adding the |
* [endDelta], which is the number of characters after the current location to |
@@ -88,6 +93,9 @@ class CharSequenceReader implements CharacterReader { |
} |
@override |
+ String getContents() => _sequence; |
+ |
+ @override |
String getString(int start, int endDelta) => |
_sequence.substring(start, _charOffset + endDelta); |
@@ -128,6 +136,9 @@ class SubSequenceReader extends CharSequenceReader { |
} |
@override |
+ String getContents() => super.getContents().substring(_offsetDelta); |
+ |
+ @override |
String getString(int start, int endDelta) => |
super.getString(start - _offsetDelta, endDelta); |
} |