| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 dump_info; | 5 library dump_info; |
| 6 | 6 |
| 7 import 'elements/elements.dart'; | 7 import 'elements/elements.dart'; |
| 8 import 'elements/visitor.dart'; | 8 import 'elements/visitor.dart'; |
| 9 import 'dart:convert' show HtmlEscape; | 9 import 'dart:convert' show HtmlEscape; |
| 10 import 'dart2jslib.dart' show | 10 import 'dart2jslib.dart' show |
| (...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 70 /// An [ElementNode] holds information about an [Element] | 70 /// An [ElementNode] holds information about an [Element] |
| 71 class ElementInfoNode implements InfoNode { | 71 class ElementInfoNode implements InfoNode { |
| 72 /// The name of the represented [Element]. | 72 /// The name of the represented [Element]. |
| 73 final String name; | 73 final String name; |
| 74 | 74 |
| 75 /// The kind of the [Element] represented. This is presented to the | 75 /// The kind of the [Element] represented. This is presented to the |
| 76 /// user, so it might be more specific than [element.kind]. | 76 /// user, so it might be more specific than [element.kind]. |
| 77 final String kind; | 77 final String kind; |
| 78 | 78 |
| 79 /// The static type of the represented [Element]. | 79 /// The static type of the represented [Element]. |
| 80 /// [null] if this kind of element has no type. | 80 /// [:null:] if this kind of element has no type. |
| 81 final String type; | 81 final String type; |
| 82 | 82 |
| 83 /// Any extra information to display about the represented [Element]. | 83 /// Any extra information to display about the represented [Element]. |
| 84 final String extra; | 84 final String extra; |
| 85 | 85 |
| 86 /// A textual description of the modifiers (such as "static", "abstract") of | 86 /// A textual description of the modifiers (such as "static", "abstract") of |
| 87 /// the represented [Element]. | 87 /// the represented [Element]. |
| 88 final String modifiers; | 88 final String modifiers; |
| 89 | 89 |
| 90 /// Describes how many bytes the code for the represented [Element] takes up | 90 /// Describes how many bytes the code for the represented [Element] takes up |
| (...skipping 401 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 492 var container = containers[i]; | 492 var container = containers[i]; |
| 493 container.addEventListener('click', | 493 container.addEventListener('click', |
| 494 toggler(container.nextElementSibling), false); | 494 toggler(container.nextElementSibling), false); |
| 495 container.nextElementSibling.hidden = true; | 495 container.nextElementSibling.hidden = true; |
| 496 }; | 496 }; |
| 497 </script> | 497 </script> |
| 498 </body> | 498 </body> |
| 499 </html>"""); | 499 </html>"""); |
| 500 } | 500 } |
| 501 } | 501 } |
| OLD | NEW |