| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 part of $LIBRARYNAME; | 5 part of $LIBRARYNAME; |
| 6 | 6 |
| 7 class _ChildrenElementList extends ListBase<Element> { | 7 class _ChildrenElementList extends ListBase<Element> { |
| 8 // Raw Element. | 8 // Raw Element. |
| 9 final Element _element; | 9 final Element _element; |
| 10 final HtmlCollection _childElements; | 10 final HtmlCollection _childElements; |
| 11 | 11 |
| 12 _ChildrenElementList._wrap(Element element) | 12 _ChildrenElementList._wrap(Element element) |
| 13 : _childElements = element.$dom_children, | 13 : _childElements = element.$dom_children, |
| 14 _element = element; | 14 _element = element; |
| 15 | 15 |
| 16 bool contains(Element element) => _childElements.contains(element); | 16 bool contains(Object element) => _childElements.contains(element); |
| 17 | 17 |
| 18 | 18 |
| 19 bool get isEmpty { | 19 bool get isEmpty { |
| 20 return _element.$dom_firstElementChild == null; | 20 return _element.$dom_firstElementChild == null; |
| 21 } | 21 } |
| 22 | 22 |
| 23 int get length { | 23 int get length { |
| 24 return _childElements.length; | 24 return _childElements.length; |
| 25 } | 25 } |
| 26 | 26 |
| (...skipping 1036 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1063 const ScrollAlignment._internal(this._value); | 1063 const ScrollAlignment._internal(this._value); |
| 1064 toString() => 'ScrollAlignment.$_value'; | 1064 toString() => 'ScrollAlignment.$_value'; |
| 1065 | 1065 |
| 1066 /// Attempt to align the element to the top of the scrollable area. | 1066 /// Attempt to align the element to the top of the scrollable area. |
| 1067 static const TOP = const ScrollAlignment._internal('TOP'); | 1067 static const TOP = const ScrollAlignment._internal('TOP'); |
| 1068 /// Attempt to center the element in the scrollable area. | 1068 /// Attempt to center the element in the scrollable area. |
| 1069 static const CENTER = const ScrollAlignment._internal('CENTER'); | 1069 static const CENTER = const ScrollAlignment._internal('CENTER'); |
| 1070 /// Attempt to align the element to the bottom of the scrollable area. | 1070 /// Attempt to align the element to the bottom of the scrollable area. |
| 1071 static const BOTTOM = const ScrollAlignment._internal('BOTTOM'); | 1071 static const BOTTOM = const ScrollAlignment._internal('BOTTOM'); |
| 1072 } | 1072 } |
| OLD | NEW |