| 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 interface Timer default _Timer{ | 5 interface Timer default _Timer{ |
| 6 | |
| 7 /** | 6 /** |
| 8 * Creates a new timer. The [callback] callback is invoked after | 7 * Creates a new timer. The [callback] callback is invoked after |
| 9 * [milliSeconds] milliseconds. | 8 * [milliSeconds] milliseconds. |
| 10 */ | 9 */ |
| 11 Timer(void callback(Timer timer), int milliSeconds); | 10 Timer(void callback(Timer timer), int milliSeconds); |
| 12 | 11 |
| 13 /** | 12 /** |
| 14 * Creates a new repeating timer. The [callback] is invoked every | 13 * Creates a new repeating timer. The [callback] is invoked every |
| 15 * [milliSeconds] millisecond until cancelled. | 14 * [milliSeconds] millisecond until cancelled. |
| 16 */ | 15 */ |
| 17 Timer.repeating(void callback(Timer timer), int milliSeconds); | 16 Timer.repeating(void callback(Timer timer), int milliSeconds); |
| 18 | 17 |
| 19 /** | 18 /** |
| 20 * Cancels the timer. | 19 * Cancels the timer. |
| 21 */ | 20 */ |
| 22 void cancel(); | 21 void cancel(); |
| 23 } | 22 } |
| 24 | 23 |
| OLD | NEW |