Return dart:html scroll* etc types to int

tools/dom/templates/html/impl/impl_Element.darttemplate

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of $LIBRARYNAME;
 
 class _ChildrenElementList extends ListBase<Element>
     implements NodeListWrapper {
   // Raw Element.
   final Element _element;
@@ skipping 1310 matching lines @@
 
   /**
    * This is an ease-of-use accessor for event streams which should only be
    * used when an explicit accessor is not available.
    */
   ElementEvents get on => new ElementEvents(this);
 
 $if DART2JS
   @DomName('Element.offsetHeight')
   @DocsEditable()
-  num get offsetHeight => JS('num', '#.offsetHeight', this).round();
+  int get offsetHeight => JS('int', '#.offsetHeight', this).round();

[vsm, 2014/06/03 10:50:45]

The JS type probably should be num.  I.e., JS('num', '#.offsetHeight', this) has
type num, round converts to int.

I suppose the compiler could optimize away the round() if it "knew" the receiver
was already an int.

[Leaf, 2014/06/03 11:01:42]

Done.

 
   @DomName('Element.offsetLeft')
   @DocsEditable()
-  num get offsetLeft => JS('num', '#.offsetLeft', this).round();
+  int get offsetLeft => JS('int', '#.offsetLeft', this).round();
 
   @DomName('Element.offsetTop')
   @DocsEditable()
-  num get offsetTop => JS('num', '#.offsetTop', this).round();
+  int get offsetTop => JS('int', '#.offsetTop', this).round();
 
   @DomName('Element.offsetWidth')
   @DocsEditable()
-  num get offsetWidth => JS('num', '#.offsetWidth', this).round();
+  int get offsetWidth => JS('int', '#.offsetWidth', this).round();
 
   @DomName('Element.clientHeight')
   @DocsEditable()
-  num get clientHeight => JS('num', '#.clientHeight', this).round();
+  int get clientHeight => JS('int', '#.clientHeight', this).round();
 
   @DomName('Element.clientLeft')
   @DocsEditable()
-  num get clientLeft => JS('num', '#.clientLeft', this).round();
+  int get clientLeft => JS('int', '#.clientLeft', this).round();
 
   @DomName('Element.clientTop')
   @DocsEditable()
-  num get clientTop => JS('num', '#.clientTop', this).round();
+  int get clientTop => JS('int', '#.clientTop', this).round();
 
   @DomName('Element.clientWidth')
   @DocsEditable()
-  num get clientWidth => JS('num', '#.clientWidth', this).round();
+  int get clientWidth => JS('int', '#.clientWidth', this).round();
 
   @DomName('Element.scrollHeight')
   @DocsEditable()
-  num get scrollHeight => JS('num', '#.scrollHeight', this).round();
+  int get scrollHeight => JS('int', '#.scrollHeight', this).round();
 
   @DomName('Element.scrollLeft')
   @DocsEditable()
-  num get scrollLeft => JS('num', '#.scrollLeft', this).round();
+  int get scrollLeft => JS('int', '#.scrollLeft', this).round();
 
   @DomName('Element.scrollLeft')
   @DocsEditable()
-  void set scrollLeft(num value) => JS("void", "#.scrollLeft = #", this, value.round());
+  void set scrollLeft(int value) => JS("void", "#.scrollLeft = #", this, value.round());
 
   @DomName('Element.scrollTop')
   @DocsEditable()
-  num get scrollTop => JS('num', '#.scrollTop', this).round();
+  int get scrollTop => JS('int', '#.scrollTop', this).round();
 
   @DomName('Element.scrollTop')
   @DocsEditable()
-  void set scrollTop(num value) => JS("void", "#.scrollTop = #", this, value.round());
+  void set scrollTop(int value) => JS("void", "#.scrollTop = #", this, value.round());
 
   @DomName('Element.scrollWidth')
   @DocsEditable()
-  num get scrollWidth => JS('num', '#.scrollWidth', this).round();
+  int get scrollWidth => JS('int', '#.scrollWidth', this).round();
 
 $else
   @DomName('Element.offsetHeight')
   @DocsEditable()
-  num get offsetHeight => _blink.Native_Element_offsetHeight_Getter(this).round();
+  int get offsetHeight => _blink.Native_Element_offsetHeight_Getter(this).round();
 
   @DomName('Element.offsetLeft')
   @DocsEditable()
-  num get offsetLeft => _blink.Native_Element_offsetLeft_Getter(this).round();
+  int get offsetLeft => _blink.Native_Element_offsetLeft_Getter(this).round();
 
   @DomName('Element.offsetTop')
   @DocsEditable()
-  num get offsetTop => _blink.Native_Element_offsetTop_Getter(this).round();
+  int get offsetTop => _blink.Native_Element_offsetTop_Getter(this).round();
 
   @DomName('Element.offsetWidth')
   @DocsEditable()
-  num get offsetWidth => _blink.Native_Element_offsetWidth_Getter(this).round();
+  int get offsetWidth => _blink.Native_Element_offsetWidth_Getter(this).round();
 
   @DomName('Element.clientHeight')
   @DocsEditable()
-  num get clientHeight => _blink.Native_Element_clientHeight_Getter(this).round();
+  int get clientHeight => _blink.Native_Element_clientHeight_Getter(this).round();
 
   @DomName('Element.clientLeft')
   @DocsEditable()
-  num get clientLeft => _blink.Native_Element_clientLeft_Getter(this).round();
+  int get clientLeft => _blink.Native_Element_clientLeft_Getter(this).round();
 
   @DomName('Element.clientTop')
   @DocsEditable()
-  num get clientTop => _blink.Native_Element_clientTop_Getter(this).round();
+  int get clientTop => _blink.Native_Element_clientTop_Getter(this).round();
 
   @DomName('Element.clientWidth')
   @DocsEditable()
-  num get clientWidth => _blink.Native_Element_clientWidth_Getter(this).round();
+  int get clientWidth => _blink.Native_Element_clientWidth_Getter(this).round();
 
   @DomName('Element.scrollHeight')
   @DocsEditable()
-  num get scrollHeight => _blink.Native_Element_scrollHeight_Getter(this).round();
+  int get scrollHeight => _blink.Native_Element_scrollHeight_Getter(this).round();
 
   @DomName('Element.scrollLeft')
   @DocsEditable()
-  num get scrollLeft => _blink.Native_Element_scrollLeft_Getter(this).round();
+  int get scrollLeft => _blink.Native_Element_scrollLeft_Getter(this).round();
 
   @DomName('Element.scrollLeft')
   @DocsEditable()
-  void set scrollLeft(num value) => _blink.Native_Element_scrollLeft_Setter(this, value.round());
+  void set scrollLeft(int value) => _blink.Native_Element_scrollLeft_Setter(this, value.round());
 
   @DomName('Element.scrollTop')
   @DocsEditable()
-  num get scrollTop => _blink.Native_Element_scrollTop_Getter(this).round();
+  int get scrollTop => _blink.Native_Element_scrollTop_Getter(this).round();
 
   @DomName('Element.scrollTop')
   @DocsEditable()
-  void set scrollTop(num value) => _blink.Native_Element_scrollTop_Setter(this, value.round());
+  void set scrollTop(int value) => _blink.Native_Element_scrollTop_Setter(this, value.round());
 
   @DomName('Element.scrollWidth')
   @DocsEditable()
-  num get scrollWidth => _blink.Native_Element_scrollWidth_Getter(this).round();
+  int get scrollWidth => _blink.Native_Element_scrollWidth_Getter(this).round();
 $endif
 
 $!MEMBERS
 }
 
 
 class _ElementFactoryProvider {
 
   @DomName('Document.createElement')
 $if DART2JS
@@ skipping 27 matching lines @@
   const ScrollAlignment._internal(this._value);
   toString() => 'ScrollAlignment.$_value';
 
   /// Attempt to align the element to the top of the scrollable area.
   static const TOP = const ScrollAlignment._internal('TOP');
   /// Attempt to center the element in the scrollable area.
   static const CENTER = const ScrollAlignment._internal('CENTER');
   /// Attempt to align the element to the bottom of the scrollable area.
   static const BOTTOM = const ScrollAlignment._internal('BOTTOM');
 }