Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(37)

Side by Side Diff: mojo/public/dart/src/timer_queue.dart

Issue 814543006: Move //mojo/{public, edk} underneath //third_party (Closed) Base URL: https://chromium.googlesource.com/chromium/src.git@master
Patch Set: Rebase Created 5 years, 11 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « mojo/public/dart/src/timer_impl.dart ('k') | mojo/public/dart/src/types.dart » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
(Empty)
1 // Copyright 2014 The Chromium Authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file.
4
5 part of core;
6
7 class Timeout implements Comparable<Timeout> {
8 int deadline; // milliseconds since the Unix epoch.
9 SendPort port;
10
11 Timeout(this.port, this.deadline);
12
13 int compareTo(Timeout other) => other.deadline - deadline;
14 }
15
16 class TimerQueue {
17 SplayTreeSet _set;
18 Timeout _nextTimer;
19
20 TimerQueue() : _set = new SplayTreeSet();
21
22 void updateTimer(SendPort port, int deadline) {
23 var removedTimeout = null;
24 _set.removeWhere((timeout) {
25 if (timeout.port == port) {
26 removedTimeout = timeout;
27 return true;
28 }
29 return false;
30 });
31
32 if ((removedTimeout == null) && (deadline >= 0)) {
33 _set.add(new Timeout(port, deadline));
34 } else {
35 if (deadline > 0) {
36 removedTimeout.deadline = deadline;
37 _set.add(removedTimeout);
38 }
39 }
40
41 if (_set.isNotEmpty) {
42 _nextTimer = _set.first;
43 } else {
44 _nextTimer = null;
45 }
46 }
47
48 void removeCurrent() => updateTimer(currentPort, -1);
49
50 bool get hasTimer => _nextTimer != null;
51 int get currentTimeout => _nextTimer.deadline;
52 SendPort get currentPort => _nextTimer.port;
53 }
OLDNEW
« no previous file with comments | « mojo/public/dart/src/timer_impl.dart ('k') | mojo/public/dart/src/types.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698