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) { | 8 constructor(id, broker) { |
9 super(id, broker, null, false); | 9 super(id, broker, null, false); |
10 let view = this; | 10 let view = this; |
(...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
70 [/^\(deferred\)/, BLOCK_HEADER_STYLE], | 70 [/^\(deferred\)/, BLOCK_HEADER_STYLE], |
71 [/^B\d+/, BLOCK_LINK_STYLE], | 71 [/^B\d+/, BLOCK_LINK_STYLE], |
72 [/^<-/, ARROW_STYLE], | 72 [/^<-/, ARROW_STYLE], |
73 [/^->/, ARROW_STYLE], | 73 [/^->/, ARROW_STYLE], |
74 [/^,/, null], | 74 [/^,/, null], |
75 [/^---/, BLOCK_HEADER_STYLE, -1] | 75 [/^---/, BLOCK_HEADER_STYLE, -1] |
76 ], | 76 ], |
77 // Parse opcode including [] | 77 // Parse opcode including [] |
78 [ | 78 [ |
79 [/^[A-Za-z0-9_]+(\[.*\])?$/, NODE_STYLE, -1], | 79 [/^[A-Za-z0-9_]+(\[.*\])?$/, NODE_STYLE, -1], |
80 [/^[A-Za-z0-9_]+(\[.*\])?/, NODE_STYLE, 3] | 80 [/^[A-Za-z0-9_]+(\[(\[.*?\]|.)*?\])?/, NODE_STYLE, 3] |
81 ], | 81 ], |
82 // Parse optional parameters | 82 // Parse optional parameters |
83 [ | 83 [ |
84 [/^ /, null, 4], | 84 [/^ /, null, 4], |
85 [/^\(/, null], | 85 [/^\(/, null], |
86 [/^\d+/, ID_LINK_STYLE], | 86 [/^\d+/, ID_LINK_STYLE], |
87 [/^, /, null], | 87 [/^, /, null], |
88 [/^\)$/, null, -1], | 88 [/^\)$/, null, -1], |
89 [/^\)/, null, 4], | 89 [/^\)/, null, 4], |
90 ], | 90 ], |
(...skipping 28 matching lines...) Expand all Loading... |
119 var selection = this.selection.detachSelection(); | 119 var selection = this.selection.detachSelection(); |
120 var s = new Set(); | 120 var s = new Set(); |
121 for (var i of selection) { | 121 for (var i of selection) { |
122 if (i.location.node_id != undefined && i.location.node_id > 0) { | 122 if (i.location.node_id != undefined && i.location.node_id > 0) { |
123 s.add(i.location.node_id); | 123 s.add(i.location.node_id); |
124 } | 124 } |
125 }; | 125 }; |
126 return s; | 126 return s; |
127 } | 127 } |
128 } | 128 } |
OLD | NEW |