Make ~/, round, ceil, floor, truncate return ints. Remove toInt.

samples/swarm/swarm_ui_lib/view/PagedViews.dart

 // Copyright (c) 2011, 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 view;
 
 class PageState {
   final ObservableValue<int> current;
   final ObservableValue<int> target;
   final ObservableValue<int> length;
@@ skipping 154 matching lines @@
     _columnGap = _toPixels(gap, 'column-gap or font-size');
     _columnWidth = _toPixels(style.columnWidth, 'column-width');
   }
 
   static int _toPixels(String value, String message) {
     // TODO(jmesserly): Safari 4 has a bug where this property does not end
     // in "px" like it should, but the value is correct. Handle that gracefully.
     if (value.endsWith('px')) {
       value = value.substring(0, value.length - 2);
     }
-    return double.parse(value).round().toInt();
+    return double.parse(value).round();
   }
 
   /** Watch for resize and update page count. */
   void windowResized() {
     // TODO(jmesserly): verify we aren't triggering unnecessary layouts.
 
     // The content needs to have its height explicitly set, or columns don't
     // flow to the right correctly. So we copy our own height and set the height
     // of the content.
     window.requestLayoutFrame(() {
       contentView.node.style.height = '${node.offsetHeight}px';
     });
     _updatePageCount(null);
   }
 
   bool _updatePageCount(Callback callback) {
     int pageLength = 1;
     window.requestLayoutFrame(() {
       if (_container.scrollWidth > _container.offsetWidth) {
         pageLength = (_container.scrollWidth / _computePageSize(_container))
-            .ceil().toInt();
+            .ceil();
       }
       pageLength = Math.max(pageLength, 1);
 
       int oldPage = pages.target.value;
       int newPage = Math.min(oldPage, pageLength - 1);
 
       // Hacky: make sure a change event always fires.
       // This is so we adjust the 3d transform after resize.
       if (oldPage == newPage) {
         pages.target.value = 0;
       }
       assert(newPage < pageLength);
       pages.target.value = newPage;
       pages.length.value = pageLength;
       if (callback != null) {
         callback();
       }
     });
   }
 
   void _onContentMoved(Event e) {
     window.requestLayoutFrame(() {
       num current = scroller.contentOffset.x;
       int pageSize = _computePageSize(_container);
-      pages.current.value = -(current / pageSize).round().toInt();
+      pages.current.value = -(current / pageSize).round();
     });
   }
 
   void _snapToPage(Event e) {
     num current = scroller.contentOffset.x;
     num currentTarget = scroller.currentTarget.x;
     window.requestLayoutFrame(() {
       int pageSize = _computePageSize(_container);
       int destination;
       num currentPageNumber = -(current / pageSize).round();
       num pageNumber = -currentTarget / pageSize;
       if (current == currentTarget) {
         // User was just static dragging so round to the nearest page.
         pageNumber = pageNumber.round();
       } else {
         if (currentPageNumber == pageNumber.round() &&
           (pageNumber - currentPageNumber).abs() > MIN_THROW_PAGE_FRACTION &&
           -current + _viewportSize < _getViewLength(_container) &&
           current < 0) {
           // The user is trying to throw so we want to round up to the
           // nearest page in the direction they are throwing.
           pageNumber = currentTarget < current
               ? currentPageNumber + 1 : currentPageNumber - 1;
         } else {
           pageNumber = pageNumber.round();
         }
       }
-      pageNumber = pageNumber.toInt();
+      pageNumber = pageNumber;

[floitsch, 2013/03/11 13:39:15]

Remove line.

       num translate = -pageNumber * pageSize;
       pages.current.value = pageNumber;
       if (currentTarget != translate) {
         scroller.throwTo(translate, 0);
       } else {
         // Update the target page number when we are done animating.
         pages.target.value = pageNumber;
       }
     });
   }
@@ skipping 16 matching lines @@
     return perPage * (columnSize + _columnGap);
   }
 
   void _onPageSelected() {
     window.requestLayoutFrame(() {
       int translate = -pages.target.value * _computePageSize(_container);
       scroller.throwTo(translate, 0);
     });
   }
 }