| 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. If [repeating] is set, the timer |
| 10 * is repeated every [milliSeconds] milliseconds until cancelled. | 10 * is repeated every [milliSeconds] milliseconds until cancelled. |
| 11 * [repeating] is false by default. |
| 11 */ | 12 */ |
| 12 Timer(void callback(Timer timer), int milliSeconds, bool repeating); | 13 Timer(void callback(Timer timer), int milliSeconds, [bool repeating]); |
| 13 | 14 |
| 14 /* | 15 /* |
| 15 * Cancels the timer. | 16 * Cancels the timer. |
| 16 */ | 17 */ |
| 17 void cancel(); | 18 void cancel(); |
| 18 } | 19 } |
| 19 | 20 |
| OLD | NEW |