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