OLD | NEW |
1 // Copyright 2015 the V8 project authors. All rights reserved. | 1 // Copyright 2015 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 "use strict"; | 5 "use strict"; |
6 | 6 |
7 class ScheduleView extends TextView { | 7 class ScheduleView extends TextView { |
8 constructor(id, broker, nodePositionMap) { | 8 constructor(id, broker) { |
9 super(id, broker, null, false); | 9 super(id, broker, null, false); |
10 let view = this; | 10 let view = this; |
11 let BLOCK_STYLE = { | 11 let BLOCK_STYLE = { |
12 css: 'tag' | 12 css: 'tag' |
13 }; | 13 }; |
14 const BLOCK_HEADER_STYLE = { | 14 const BLOCK_HEADER_STYLE = { |
15 css: 'com', | 15 css: 'com', |
16 block_id: -1, | 16 block_id: -1, |
17 location: function(text) { | 17 location: function(text) { |
18 let matches = /\d+/.exec(text); | 18 let matches = /\d+/.exec(text); |
(...skipping 77 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
96 [/^B\d+$/, BLOCK_LINK_STYLE, -1], | 96 [/^B\d+$/, BLOCK_LINK_STYLE, -1], |
97 [/^B\d+/, BLOCK_LINK_STYLE], | 97 [/^B\d+/, BLOCK_LINK_STYLE], |
98 [/^, /, null] | 98 [/^, /, null] |
99 ], | 99 ], |
100 [ | 100 [ |
101 [/^ -> /, ARROW_STYLE], | 101 [/^ -> /, ARROW_STYLE], |
102 [/^B\d+$/, BLOCK_LINK_STYLE, -1] | 102 [/^B\d+$/, BLOCK_LINK_STYLE, -1] |
103 ] | 103 ] |
104 ]; | 104 ]; |
105 this.setPatterns(patterns); | 105 this.setPatterns(patterns); |
106 this.setNodePositionMap(nodePositionMap); | |
107 } | 106 } |
108 | 107 |
109 initializeContent(data, rememberedSelection) { | 108 initializeContent(data, rememberedSelection) { |
110 super.initializeContent(data, rememberedSelection); | 109 super.initializeContent(data, rememberedSelection); |
111 var graph = this; | 110 var graph = this; |
112 var locations = []; | 111 var locations = []; |
113 for (var id of rememberedSelection) { | 112 for (var id of rememberedSelection) { |
114 locations.push({ node_id : id }); | 113 locations.push({ node_id : id }); |
115 } | 114 } |
116 this.selectLocations(locations, true, false); | 115 this.selectLocations(locations, true, true); |
117 } | 116 } |
118 | 117 |
119 detachSelection() { | 118 detachSelection() { |
120 var selection = this.selection.detachSelection(); | 119 var selection = this.selection.detachSelection(); |
121 var s = new Set(); | 120 var s = new Set(); |
122 for (var i of selection) { | 121 for (var i of selection) { |
123 s.add(i.location.node_id); | 122 if (i.location.node_id != undefined && i.location.node_id > 0) { |
| 123 s.add(i.location.node_id); |
| 124 } |
124 }; | 125 }; |
125 return s; | 126 return s; |
126 } | 127 } |
127 } | 128 } |
OLD | NEW |