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 |