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.diff_view; | 5 library sourcemap.diff_view; |
6 | 6 |
7 import 'dart:async'; | 7 import 'dart:async'; |
8 import 'dart:convert'; | 8 import 'dart:convert'; |
9 import 'dart:io'; | 9 import 'dart:io'; |
10 | 10 |
(...skipping 127 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
138 | 138 |
139 @override | 139 @override |
140 decodeLineAnnotation(json) { | 140 decodeLineAnnotation(json) { |
141 if (json != null) { | 141 if (json != null) { |
142 return CodeSource.fromJson(json); | 142 return CodeSource.fromJson(json); |
143 } | 143 } |
144 return null; | 144 return null; |
145 } | 145 } |
146 | 146 |
147 @override | 147 @override |
148 encodeLineAnnotation(CodeSource lineAnnotation) { | 148 encodeLineAnnotation(covariant CodeSource lineAnnotation) { |
149 if (lineAnnotation != null) { | 149 if (lineAnnotation != null) { |
150 return lineAnnotation.toJson(); | 150 return lineAnnotation.toJson(); |
151 } | 151 } |
152 return null; | 152 return null; |
153 } | 153 } |
154 } | 154 } |
155 | 155 |
156 /// The structured output of a compilation. | 156 /// The structured output of a compilation. |
157 class AnnotatedOutput { | 157 class AnnotatedOutput { |
158 final String filename; | 158 final String filename; |
(...skipping 795 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
954 if (data.annotationType == AnnotationType.WITHOUT_SOURCE_INFO) { | 954 if (data.annotationType == AnnotationType.WITHOUT_SOURCE_INFO) { |
955 return new AnnotationData(tag: 'span', properties: { | 955 return new AnnotationData(tag: 'span', properties: { |
956 'title': annotation.title, | 956 'title': annotation.title, |
957 'class': '${ClassNames.marker} ' | 957 'class': '${ClassNames.marker} ' |
958 '${data.annotationType.className}' | 958 '${data.annotationType.className}' |
959 }); | 959 }); |
960 } | 960 } |
961 } | 961 } |
962 return null; | 962 return null; |
963 } | 963 } |
OLD | NEW |