| 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 |