OLD | NEW |
1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Fletch 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.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
4 | 4 |
5 import 'dart:_fletch_system' as fletch; | 5 import 'dart:fletch._system' as fletch; |
6 import 'dart:fletch'; | 6 import 'dart:fletch'; |
7 import 'dart:fletch.os' as os; | 7 import 'dart:fletch.os' as os; |
8 import 'dart:math'; | 8 import 'dart:math'; |
9 | 9 |
10 const patch = "patch"; | 10 const patch = "patch"; |
11 | 11 |
12 Channel _eventQueue; | 12 Channel _eventQueue; |
13 int _numberOfEvents = 0; | 13 int _numberOfEvents = 0; |
14 | 14 |
15 void _handleEvents() { | 15 void _handleEvents() { |
(...skipping 92 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
108 } | 108 } |
109 | 109 |
110 @patch static Timer _createPeriodicTimer(Duration duration, | 110 @patch static Timer _createPeriodicTimer(Duration duration, |
111 void callback(Timer timer)) { | 111 void callback(Timer timer)) { |
112 int milliseconds = max(0, duration.inMilliseconds); | 112 int milliseconds = max(0, duration.inMilliseconds); |
113 return new _FletchTimer.periodic(_currentTimestamp + milliseconds, | 113 return new _FletchTimer.periodic(_currentTimestamp + milliseconds, |
114 callback, | 114 callback, |
115 milliseconds); | 115 milliseconds); |
116 } | 116 } |
117 } | 117 } |
OLD | NEW |