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.element_writer; | 5 library analysis_server.src.status.element_writer; |
6 | 6 |
7 import 'dart:collection'; | 7 import 'dart:collection'; |
8 import 'dart:convert'; | 8 import 'dart:convert'; |
9 | 9 |
10 import 'package:analysis_server/src/status/get_handler.dart'; | 10 import 'package:analysis_server/src/status/get_handler.dart'; |
11 import 'package:analysis_server/src/status/tree_writer.dart'; | 11 import 'package:analysis_server/src/status/tree_writer.dart'; |
12 import 'package:analyzer/src/generated/element.dart'; | 12 import 'package:analyzer/dart/element/element.dart'; |
| 13 import 'package:analyzer/dart/element/visitor.dart'; |
| 14 import 'package:analyzer/src/dart/element/element.dart'; |
13 | 15 |
14 /** | 16 /** |
15 * A visitor that will produce an HTML representation of an element structure. | 17 * A visitor that will produce an HTML representation of an element structure. |
16 */ | 18 */ |
17 class ElementWriter extends GeneralizingElementVisitor with TreeWriter { | 19 class ElementWriter extends GeneralizingElementVisitor with TreeWriter { |
18 /** | 20 /** |
19 * Initialize a newly created element writer to write the HTML representation | 21 * Initialize a newly created element writer to write the HTML representation |
20 * of visited elements on the given [buffer]. | 22 * of visited elements on the given [buffer]. |
21 */ | 23 */ |
22 ElementWriter(StringBuffer buffer) { | 24 ElementWriter(StringBuffer buffer) { |
(...skipping 145 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
168 if (name != null) { | 170 if (name != null) { |
169 buffer.write(' ['); | 171 buffer.write(' ['); |
170 buffer.write(GetHandler.makeLink( | 172 buffer.write(GetHandler.makeLink( |
171 GetHandler.INDEX_ELEMENT_BY_NAME, {'name': name}, 'search index')); | 173 GetHandler.INDEX_ELEMENT_BY_NAME, {'name': name}, 'search index')); |
172 buffer.write(']'); | 174 buffer.write(']'); |
173 } | 175 } |
174 } | 176 } |
175 buffer.write('<br>'); | 177 buffer.write('<br>'); |
176 } | 178 } |
177 } | 179 } |
OLD | NEW |