OLD | NEW |
(Empty) | |
| 1 // Copyright (c) 2014, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. |
| 4 |
| 5 library source_span.span; |
| 6 |
| 7 import 'location.dart'; |
| 8 import 'span.dart'; |
| 9 |
| 10 /// A class that describes a segment of source text with additional context. |
| 11 class SourceSpanWithContext extends SourceSpanBase { |
| 12 /// Text around the span, which includes the line containing this span. |
| 13 final String context; |
| 14 |
| 15 /// Creates a new span from [start] to [end] (exclusive) containing [text], in |
| 16 /// the given [context]. |
| 17 /// |
| 18 /// [start] and [end] must have the same source URL and [start] must come |
| 19 /// before [end]. [text] must have a number of characters equal to the |
| 20 /// distance between [start] and [end]. [context] must contain [text], and |
| 21 /// [text] should start at `start.column` from the beginning of a line in |
| 22 /// [context]. |
| 23 SourceSpanWithContext( |
| 24 SourceLocation start, SourceLocation end, String text, this.context) |
| 25 : super(start, end, text) { |
| 26 var index = context.indexOf(text); |
| 27 if (index == -1) { |
| 28 throw new ArgumentError( |
| 29 'The context line "$context" must contain "$text".'); |
| 30 } |
| 31 |
| 32 var beginningOfLine = context.lastIndexOf('\n', index) + 1; |
| 33 if (start.column != index - beginningOfLine) { |
| 34 throw new ArgumentError('The span text "$text" must start at ' |
| 35 'column ${start.column + 1} in a line within "$context".'); |
| 36 } |
| 37 } |
| 38 } |
OLD | NEW |