Index: lib/src/file.dart |
diff --git a/lib/src/file.dart b/lib/src/file.dart |
index ed5f6a8371226ed65065789a6ec8ee043701426f..c7e58982fe06efc2f6a6a6bcc1f818aabe4d25f3 100644 |
--- a/lib/src/file.dart |
+++ b/lib/src/file.dart |
@@ -13,6 +13,7 @@ import 'colors.dart' as colors; |
import 'location.dart'; |
import 'span.dart'; |
import 'span_mixin.dart'; |
+import 'span_with_context.dart'; |
import 'utils.dart'; |
// Constants to determine end-of-lines. |
@@ -183,7 +184,7 @@ class FileLocation extends SourceLocation { |
/// [FileSpan.union] will return a [FileSpan] if possible. |
/// |
/// A [FileSpan] can be created using [SourceFile.span]. |
-class FileSpan extends SourceSpanMixin { |
+class FileSpan extends SourceSpanMixin implements SourceSpanWithContext { |
/// The [file] that [this] belongs to. |
final SourceFile file; |
@@ -205,6 +206,12 @@ class FileSpan extends SourceSpanMixin { |
FileLocation get end => new FileLocation._(file, _end); |
String get text => file.getText(_start, _end); |
+ String get context { |
+ var line = start.line; |
+ return file.getText(file.getOffset(line), |
+ line == file.lines - 1 ? null : file.getOffset(line + 1)); |
+ } |
+ |
FileSpan._(this.file, this._start, this._end) { |
if (_end < _start) { |
throw new ArgumentError('End $_end must come after start $_start.'); |
@@ -261,41 +268,4 @@ class FileSpan extends SourceSpanMixin { |
var end = math.max(this._end, other._end); |
return new FileSpan._(file, start, end); |
} |
- |
- String message(String message, {color}) { |
- if (color == true) color = colors.RED; |
- if (color == false) color = null; |
- |
- var line = start.line; |
- var column = start.column; |
- |
- var buffer = new StringBuffer(); |
- buffer.write('line ${start.line + 1}, column ${start.column + 1}'); |
- if (sourceUrl != null) buffer.write(' of ${p.prettyUri(sourceUrl)}'); |
- buffer.write(': $message\n'); |
- |
- var textLine = file.getText(file.getOffset(line), |
- line == file.lines - 1 ? null : file.getOffset(line + 1)); |
- |
- column = math.min(column, textLine.length - 1); |
- var toColumn = |
- math.min(column + end.offset - start.offset, textLine.length); |
- |
- if (color != null) { |
- buffer.write(textLine.substring(0, column)); |
- buffer.write(color); |
- buffer.write(textLine.substring(column, toColumn)); |
- buffer.write(colors.NONE); |
- buffer.write(textLine.substring(toColumn)); |
- } else { |
- buffer.write(textLine); |
- } |
- if (!textLine.endsWith('\n')) buffer.write('\n'); |
- |
- buffer.write(' ' * column); |
- if (color != null) buffer.write(color); |
- buffer.write('^' * math.max(toColumn - column, 1)); |
- if (color != null) buffer.write(colors.NONE); |
- return buffer.toString(); |
- } |
} |