| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, 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 part of dart.io; | 5 part of dart.io; |
| 6 | 6 |
| 7 class _Timer extends LinkedListEntry<_Timer> implements Timer { | 7 class _Timer extends LinkedListEntry<_Timer> implements Timer { |
| 8 // Disables the timer. | 8 // Disables the timer. |
| 9 static const int _NO_TIMER = -1; | 9 static const int _NO_TIMER = -1; |
| 10 | 10 |
| 11 // Timers are ordered by wakeup time. | 11 // Timers are ordered by wakeup time. |
| 12 static LinkedList<_Timer> _timers = new LinkedList<_Timer>(); | 12 static LinkedList<_Timer> _timers = new LinkedList<_Timer>(); |
| 13 | 13 |
| 14 static ReceivePort _receivePort; | 14 static RawReceivePort _receivePort; |
| 15 static bool _handling_callbacks = false; | 15 static bool _handling_callbacks = false; |
| 16 | 16 |
| 17 Function _callback; | 17 Function _callback; |
| 18 int _milliSeconds; | 18 int _milliSeconds; |
| 19 int _wakeupTime; | 19 int _wakeupTime; |
| 20 | 20 |
| 21 static Timer _createTimer(void callback(Timer timer), | 21 static Timer _createTimer(void callback(Timer timer), |
| 22 int milliSeconds, | 22 int milliSeconds, |
| 23 bool repeating) { | 23 bool repeating) { |
| 24 _Timer timer = new _Timer._internal(); | 24 _Timer timer = new _Timer._internal(); |
| (...skipping 131 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 156 } | 156 } |
| 157 } | 157 } |
| 158 } | 158 } |
| 159 } finally { | 159 } finally { |
| 160 _handling_callbacks = false; | 160 _handling_callbacks = false; |
| 161 _notifyEventHandler(); | 161 _notifyEventHandler(); |
| 162 } | 162 } |
| 163 } | 163 } |
| 164 | 164 |
| 165 if(_receivePort == null) { | 165 if(_receivePort == null) { |
| 166 _receivePort = new ReceivePort(); | 166 _receivePort = new RawReceivePort((_) { _handleTimeout(); }); |
| 167 _receivePort.receive((var message, ignored) { | |
| 168 _handleTimeout(); | |
| 169 }); | |
| 170 } | 167 } |
| 171 } | 168 } |
| 172 | 169 |
| 173 void _shutdownTimerHandler() { | 170 void _shutdownTimerHandler() { |
| 174 _receivePort.close(); | 171 _receivePort.close(); |
| 175 _receivePort = null; | 172 _receivePort = null; |
| 176 } | 173 } |
| 177 } | 174 } |
| 178 | 175 |
| 179 // Provide a closure which will allocate a Timer object to be able to hook | 176 // Provide a closure which will allocate a Timer object to be able to hook |
| 180 // up the Timer interface in dart:isolate with the implementation here. | 177 // up the Timer interface in dart:isolate with the implementation here. |
| 181 _getTimerFactoryClosure() { | 178 _getTimerFactoryClosure() { |
| 182 return (int milliSeconds, void callback(Timer timer), bool repeating) { | 179 return (int milliSeconds, void callback(Timer timer), bool repeating) { |
| 183 if (repeating) { | 180 if (repeating) { |
| 184 return new _Timer.periodic(milliSeconds, callback); | 181 return new _Timer.periodic(milliSeconds, callback); |
| 185 } | 182 } |
| 186 return new _Timer(milliSeconds, callback); | 183 return new _Timer(milliSeconds, callback); |
| 187 }; | 184 }; |
| 188 } | 185 } |
| 189 | 186 |
| 190 | 187 |
| OLD | NEW |