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