OLD | NEW |
1 // Copyright (c) 2016, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2016, 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 sourcemap.html_parts; | 5 library sourcemap.html_parts; |
6 | 6 |
7 import 'sourcemap_html_helper.dart'; | 7 import 'sourcemap_html_helper.dart'; |
8 | 8 |
9 class Annotation { | 9 class Annotation { |
10 final id; | 10 final id; |
(...skipping 107 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
118 LineDataFunction getLineData}) { | 118 LineDataFunction getLineData}) { |
119 return new HtmlPrintContext( | 119 return new HtmlPrintContext( |
120 lineNoWidth: lineNoWidth ?? this.lineNoWidth, | 120 lineNoWidth: lineNoWidth ?? this.lineNoWidth, |
121 usePre: usePre ?? this.usePre, | 121 usePre: usePre ?? this.usePre, |
122 includeAnnotation: includeAnnotation ?? this.includeAnnotation, | 122 includeAnnotation: includeAnnotation ?? this.includeAnnotation, |
123 getAnnotationData: getAnnotationData ?? this.getAnnotationData, | 123 getAnnotationData: getAnnotationData ?? this.getAnnotationData, |
124 getLineData: getLineData ?? this.getLineData); | 124 getLineData: getLineData ?? this.getLineData); |
125 } | 125 } |
126 } | 126 } |
127 | 127 |
128 enum HtmlPartKind { | 128 enum HtmlPartKind { CODE, LINE, CONST, NEWLINE, TEXT, TAG, LINE_NUMBER, } |
129 CODE, | |
130 LINE, | |
131 CONST, | |
132 NEWLINE, | |
133 TEXT, | |
134 TAG, | |
135 LINE_NUMBER, | |
136 } | |
137 | 129 |
138 abstract class HtmlPart { | 130 abstract class HtmlPart { |
139 void printHtmlOn(StringBuffer buffer, HtmlPrintContext context); | 131 void printHtmlOn(StringBuffer buffer, HtmlPrintContext context); |
140 | 132 |
141 HtmlPartKind get kind; | 133 HtmlPartKind get kind; |
142 | 134 |
143 toJson(JsonStrategy strategy); | 135 toJson(JsonStrategy strategy); |
144 | 136 |
145 static HtmlPart fromJson(json, JsonStrategy strategy) { | 137 static HtmlPart fromJson(json, JsonStrategy strategy) { |
146 if (json is String) { | 138 if (json is String) { |
(...skipping 335 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
482 | 474 |
483 Annotation decodeAnnotation(Map json) { | 475 Annotation decodeAnnotation(Map json) { |
484 return new Annotation(json['id'], json['codeOffset'], json['title'], | 476 return new Annotation(json['id'], json['codeOffset'], json['title'], |
485 data: json['data']); | 477 data: json['data']); |
486 } | 478 } |
487 | 479 |
488 encodeLineAnnotation(lineAnnotation) => lineAnnotation; | 480 encodeLineAnnotation(lineAnnotation) => lineAnnotation; |
489 | 481 |
490 decodeLineAnnotation(json) => json; | 482 decodeLineAnnotation(json) => json; |
491 } | 483 } |
OLD | NEW |