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