| OLD | NEW |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, 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 _TimerFactory { | 5 abstract class Timer { |
| 6 /** | 6 /** |
| 7 * Creates a new timer. The [callback] callback is invoked after | 7 * Creates a new timer. The [callback] callback is invoked after |
| 8 * [milliSeconds] milliseconds. | 8 * [milliSeconds] milliseconds. |
| 9 */ | 9 */ |
| 10 Timer(int milliSeconds, void callback(Timer timer)); | 10 factory Timer(int milliSeconds, void callback(Timer timer)) { |
| 11 if (_factory == null) { |
| 12 throw new UnsupportedOperationException("Timer interface not supported."); |
| 13 } |
| 14 return _factory(milliSeconds, callback, false); |
| 15 } |
| 11 | 16 |
| 12 /** | 17 /** |
| 13 * Creates a new repeating timer. The [callback] is invoked every | 18 * Creates a new repeating timer. The [callback] is invoked every |
| 14 * [milliSeconds] millisecond until cancelled. | 19 * [milliSeconds] millisecond until cancelled. |
| 15 */ | 20 */ |
| 16 Timer.repeating(int milliSeconds, void callback(Timer timer)); | 21 factory Timer.repeating(int milliSeconds, void callback(Timer timer)) { |
| 22 if (_factory == null) { |
| 23 throw new UnsupportedOperationException("Timer interface not supported."); |
| 24 } |
| 25 return _factory(milliSeconds, callback, true); |
| 26 } |
| 17 | 27 |
| 18 /** | 28 /** |
| 19 * Cancels the timer. | 29 * Cancels the timer. |
| 20 */ | 30 */ |
| 21 void cancel(); | 31 void cancel(); |
| 32 |
| 33 static _TimerFactoryClosure _factory; |
| 22 } | 34 } |
| 23 | 35 |
| 24 // TODO(ajohnsen): Patch timer once we have support for patching named | 36 // TODO(ajohnsen): Patch timer once we have support for patching named |
| 25 // factory constructors in the VM. | 37 // factory constructors in the VM. |
| 26 | 38 |
| 27 typedef Timer _TimerFactoryClosure(int milliSeconds, | 39 typedef Timer _TimerFactoryClosure(int milliSeconds, |
| 28 void callback(Timer timer), | 40 void callback(Timer timer), |
| 29 bool repeating); | 41 bool repeating); |
| 30 | 42 |
| 31 // _TimerFactory provides a hook which allows various implementations of this | 43 void _setTimerFactoryClosure(_TimerFactoryClosure closure) { |
| 32 // library to provide a concrete class for the Timer interface. | 44 Timer._factory = closure; |
| 33 class _TimerFactory { | |
| 34 factory Timer(int milliSeconds, void callback(Timer timer)) { | |
| 35 if (_factory == null) { | |
| 36 throw new UnsupportedOperationException("Timer interface not supported."); | |
| 37 } | |
| 38 return _factory(milliSeconds, callback, false); | |
| 39 } | |
| 40 | |
| 41 factory Timer.repeating(int milliSeconds, void callback(Timer timer)) { | |
| 42 if (_factory == null) { | |
| 43 throw new UnsupportedOperationException("Timer interface not supported."); | |
| 44 } | |
| 45 return _factory(milliSeconds, callback, true); | |
| 46 } | |
| 47 | |
| 48 static _TimerFactoryClosure _factory; | |
| 49 } | 45 } |
| 50 | |
| 51 void _setTimerFactoryClosure(_TimerFactoryClosure closure) { | |
| 52 _TimerFactory._factory = closure; | |
| 53 } | |
| OLD | NEW |