OLD | NEW |
1 // Copyright (c) 2015, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, 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 analysis_server.src.status.ast_writer; | 5 library analysis_server.src.status.ast_writer; |
6 | 6 |
7 import 'dart:convert'; | 7 import 'dart:convert'; |
8 | 8 |
9 import 'package:analysis_server/src/get_handler.dart'; | 9 import 'package:analysis_server/src/get_handler.dart'; |
10 import 'package:analyzer/src/generated/constant.dart'; | 10 import 'package:analyzer/src/generated/constant.dart'; |
(...skipping 106 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
117 if (valueString == null) { | 117 if (valueString == null) { |
118 buffer.write('<span style="color: #FF0000">'); | 118 buffer.write('<span style="color: #FF0000">'); |
119 buffer.write(HTML_ESCAPE.convert(value.runtimeType.toString())); | 119 buffer.write(HTML_ESCAPE.convert(value.runtimeType.toString())); |
120 buffer.write('</span>'); | 120 buffer.write('</span>'); |
121 } else { | 121 } else { |
122 buffer.write(HTML_ESCAPE.convert(valueString)); | 122 buffer.write(HTML_ESCAPE.convert(valueString)); |
123 if (value is Element && value is! LibraryElement) { | 123 if (value is Element && value is! LibraryElement) { |
124 String name = value.name; | 124 String name = value.name; |
125 if (name != null) { | 125 if (name != null) { |
126 buffer.write(' ['); | 126 buffer.write(' ['); |
127 buffer.write(GetHandler.makeLink(GetHandler.INDEX_ELEMENT_BY_NAME, { | 127 buffer.write(GetHandler.makeLink(GetHandler.INDEX_ELEMENT_BY_NAME, |
128 'name': name | 128 {'name': name}, 'search index')); |
129 }, 'search index')); | |
130 buffer.write(']'); | 129 buffer.write(']'); |
131 } | 130 } |
132 } | 131 } |
133 } | 132 } |
134 } | 133 } |
135 } | 134 } |
136 } | 135 } |
OLD | NEW |