| Index: lib/src/span_with_context.dart
|
| diff --git a/lib/src/span_with_context.dart b/lib/src/span_with_context.dart
|
| index 1336b1225e31ea5dbcf3bb3e488c8e91080b03e6..a02d78047575e2b85f697ba38d45248817e639be 100644
|
| --- a/lib/src/span_with_context.dart
|
| +++ b/lib/src/span_with_context.dart
|
| @@ -8,8 +8,10 @@ import 'utils.dart';
|
|
|
| /// A class that describes a segment of source text with additional context.
|
| class SourceSpanWithContext extends SourceSpanBase {
|
| + // This is a getter so that subclasses can override it.
|
| /// Text around the span, which includes the line containing this span.
|
| - final String context;
|
| + String get context => _context;
|
| + final String _context;
|
|
|
| /// Creates a new span from [start] to [end] (exclusive) containing [text], in
|
| /// the given [context].
|
| @@ -20,7 +22,7 @@ class SourceSpanWithContext extends SourceSpanBase {
|
| /// [text] should start at `start.column` from the beginning of a line in
|
| /// [context].
|
| SourceSpanWithContext(
|
| - SourceLocation start, SourceLocation end, String text, this.context)
|
| + SourceLocation start, SourceLocation end, String text, this._context)
|
| : super(start, end, text) {
|
| if (!context.contains(text)) {
|
| throw new ArgumentError(
|
|
|