| 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 patch class ReceivePort { | 5 patch class ReceivePort { |
| 6 /* patch */ factory ReceivePort() { | 6 /* patch */ factory ReceivePort() { |
| 7 return new _ReceivePortImpl(); | 7 return new _ReceivePortImpl(); |
| 8 } | 8 } |
| 9 } | 9 } |
| 10 | 10 |
| (...skipping 110 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 121 _portInternal = _getPortInternal(); | 121 _portInternal = _getPortInternal(); |
| 122 } | 122 } |
| 123 return _portInternal; | 123 return _portInternal; |
| 124 } | 124 } |
| 125 | 125 |
| 126 patch spawnFunction(void topLevelFunction()) native "isolate_spawnFunction"; | 126 patch spawnFunction(void topLevelFunction()) native "isolate_spawnFunction"; |
| 127 | 127 |
| 128 patch spawnUri(String uri) native "isolate_spawnUri"; | 128 patch spawnUri(String uri) native "isolate_spawnUri"; |
| 129 | 129 |
| 130 patch class Timer { | 130 patch class Timer { |
| 131 /* patch */ factory Timer(int milliSeconds, void callback(Timer timer)) { | 131 /* patch */ factory Timer(int milliseconds, void callback(Timer timer)) { |
| 132 if (_TimerFactory._factory == null) { | 132 if (_TimerFactory._factory == null) { |
| 133 throw new UnsupportedError("Timer interface not supported."); | 133 throw new UnsupportedError("Timer interface not supported."); |
| 134 } | 134 } |
| 135 return _TimerFactory._factory(milliSeconds, callback, false); | 135 return _TimerFactory._factory(milliseconds, callback, false); |
| 136 } | 136 } |
| 137 | 137 |
| 138 /** | 138 /** |
| 139 * Creates a new repeating timer. The [callback] is invoked every | 139 * Creates a new repeating timer. The [callback] is invoked every |
| 140 * [milliSeconds] millisecond until cancelled. | 140 * [milliseconds] millisecond until cancelled. |
| 141 */ | 141 */ |
| 142 /* patch */ factory Timer.repeating(int milliSeconds, | 142 /* patch */ factory Timer.repeating(int milliseconds, |
| 143 void callback(Timer timer)) { | 143 void callback(Timer timer)) { |
| 144 if (_TimerFactory._factory == null) { | 144 if (_TimerFactory._factory == null) { |
| 145 throw new UnsupportedError("Timer interface not supported."); | 145 throw new UnsupportedError("Timer interface not supported."); |
| 146 } | 146 } |
| 147 return _TimerFactory._factory(milliSeconds, callback, true); | 147 return _TimerFactory._factory(milliseconds, callback, true); |
| 148 } | 148 } |
| 149 } | 149 } |
| 150 | 150 |
| 151 typedef Timer _TimerFactoryClosure(int milliSeconds, | 151 typedef Timer _TimerFactoryClosure(int milliseconds, |
| 152 void callback(Timer timer), | 152 void callback(Timer timer), |
| 153 bool repeating); | 153 bool repeating); |
| 154 | 154 |
| 155 class _TimerFactory { | 155 class _TimerFactory { |
| 156 static _TimerFactoryClosure _factory; | 156 static _TimerFactoryClosure _factory; |
| 157 } | 157 } |
| 158 | 158 |
| 159 // TODO(ahe): Warning: this is NOT called by Dartium. Instead, it sets | 159 // TODO(ahe): Warning: this is NOT called by Dartium. Instead, it sets |
| 160 // [_TimerFactory._factory] directly. | 160 // [_TimerFactory._factory] directly. |
| 161 void _setTimerFactoryClosure(_TimerFactoryClosure closure) { | 161 void _setTimerFactoryClosure(_TimerFactoryClosure closure) { |
| 162 _TimerFactory._factory = closure; | 162 _TimerFactory._factory = closure; |
| 163 } | 163 } |
| OLD | NEW |