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 observatory; | 5 part of observatory; |
6 | 6 |
7 /// Collection of isolates which are running in the VM. Updated | 7 /// Collection of isolates which are running in the VM. Updated |
8 class IsolateManager extends Observable { | 8 class IsolateManager extends Observable { |
9 ObservatoryApplication _application; | 9 ObservatoryApplication _application; |
10 ObservatoryApplication get application => _application; | 10 ObservatoryApplication get application => _application; |
11 | 11 |
12 @observable final Map<int, Isolate> isolates = | 12 @observable final Map<int, Isolate> isolates = |
13 toObservable(new Map<int, Isolate>()); | 13 toObservable(new Map<int, Isolate>()); |
14 | 14 |
15 static bool _foundIsolateInMembers(int id, List<Map> members) { | 15 static bool _foundIsolateInMembers(int id, List<Map> members) { |
16 return members.any((E) => E['id'] == id); | 16 return members.any((E) => E['id'] == id); |
17 } | 17 } |
18 | 18 |
19 void _responseInterceptor() { | 19 void _responseInterceptor() { |
20 _application.requestManager.responses.forEach((response) { | 20 _application.requestManager.responses.forEach((response) { |
21 if (response['type'] == 'IsolateList') { | 21 if (response['type'] == 'IsolateList') { |
22 _updateIsolates(response['members']); | 22 _updateIsolates(response['members']); |
23 } | 23 } |
24 }); | 24 }); |
25 } | 25 } |
26 | 26 |
| 27 Isolate getIsolate(int id) { |
| 28 Isolate isolate = isolates[id]; |
| 29 if (isolate == null) { |
| 30 isolate = new Isolate(id, ''); |
| 31 isolates[id] = isolate; |
| 32 } |
| 33 return isolate; |
| 34 } |
| 35 |
27 void _updateIsolates(List<Map> members) { | 36 void _updateIsolates(List<Map> members) { |
28 // Find dead isolates. | 37 // Find dead isolates. |
29 var deadIsolates = []; | 38 var deadIsolates = []; |
30 isolates.forEach((k, v) { | 39 isolates.forEach((k, v) { |
31 if (!_foundIsolateInMembers(k, members)) { | 40 if (!_foundIsolateInMembers(k, members)) { |
32 deadIsolates.add(k); | 41 deadIsolates.add(k); |
33 } | 42 } |
34 }); | 43 }); |
35 // Remove them. | 44 // Remove them. |
36 deadIsolates.forEach((k) { | 45 deadIsolates.forEach((k) { |
37 isolates.remove(k); | 46 isolates.remove(k); |
38 }); | 47 }); |
39 // Add new isolates. | 48 // Add new isolates. |
40 members.forEach((k) { | 49 members.forEach((k) { |
41 var id = k['id']; | 50 var id = k['id']; |
42 var name = k['name']; | 51 var name = k['name']; |
43 if (isolates[id] == null) { | 52 if (isolates[id] == null) { |
44 var isolate = new Isolate(id, name); | 53 var isolate = new Isolate(id, name); |
45 isolates[id] = isolate; | 54 isolates[id] = isolate; |
| 55 } else { |
| 56 isolates[id].name = name; |
46 } | 57 } |
47 }); | 58 }); |
48 } | 59 } |
49 } | 60 } |
OLD | NEW |