| OLD | NEW |
| 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, 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 // Dart core library. | 5 // Dart core library. |
| 6 | 6 |
| 7 interface double extends num { | 7 interface double extends num { |
| 8 static final double NAN = 0.0 / 0.0; | 8 static final double NAN = 0.0 / 0.0; |
| 9 static final double INFINITY = 1.0 / 0.0; | 9 static final double INFINITY = 1.0 / 0.0; |
| 10 static final double NEGATIVE_INFINITY = -INFINITY; | 10 static final double NEGATIVE_INFINITY = -INFINITY; |
| 11 | 11 |
| 12 // Specialization of super-interface. Double is contagious. We can therefore | 12 // Specialization of super-interface. Double is contagious. We can therefore |
| 13 // specialize more methods than in other num sub-interfaces. | 13 // specialize more methods than in other num sub-interfaces. |
| 14 double remainder(num other); | 14 double remainder(num other); |
| 15 double operator +(num other); | 15 double operator +(num other); |
| 16 double operator -(num other); | 16 double operator -(num other); |
| 17 double operator *(num other); | 17 double operator *(num other); |
| 18 double operator %(num other); | 18 double operator %(num other); |
| 19 double operator /(num other); | 19 double operator /(num other); |
| 20 double operator ~/(num other); | 20 double operator ~/(num other); |
| 21 double operator negate(); | 21 double operator negate(); |
| 22 double abs(); | 22 double abs(); |
| 23 double round(); | 23 double round(); |
| 24 double floor(); | 24 double floor(); |
| 25 double ceil(); | 25 double ceil(); |
| 26 double truncate(); | 26 double truncate(); |
| 27 } | 27 } |
| OLD | NEW |