]>
Commit | Line | Data |
---|---|---|
adb4b10c | 1 | /* |
b3f22de0 | 2 | * This file is part of the PulseView project. |
adb4b10c JH |
3 | * |
4 | * Copyright (C) 2012 Joel Holdsworth <joel@airwebreathe.org.uk> | |
5 | * | |
6 | * This program is free software; you can redistribute it and/or modify | |
7 | * it under the terms of the GNU General Public License as published by | |
8 | * the Free Software Foundation; either version 2 of the License, or | |
9 | * (at your option) any later version. | |
10 | * | |
11 | * This program is distributed in the hope that it will be useful, | |
12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 | * GNU General Public License for more details. | |
15 | * | |
16 | * You should have received a copy of the GNU General Public License | |
17 | * along with this program; if not, write to the Free Software | |
18 | * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA | |
19 | */ | |
20 | ||
269528f5 | 21 | #ifdef ENABLE_DECODE |
4e5a4405 | 22 | #include <libsigrokdecode/libsigrokdecode.h> |
269528f5 | 23 | #endif |
4e5a4405 | 24 | |
c3a740dd JH |
25 | #include <cassert> |
26 | #include <climits> | |
27 | #include <cmath> | |
28 | #include <mutex> | |
adb4b10c | 29 | |
adb4b10c | 30 | #include <QEvent> |
cbd80f64 | 31 | #include <QMouseEvent> |
adb4b10c JH |
32 | #include <QScrollBar> |
33 | ||
84a0d458 | 34 | #include "cursorheader.h" |
b9329558 | 35 | #include "decodetrace.h" |
1d8dca91 | 36 | #include "header.h" |
ccdd3ef5 | 37 | #include "ruler.h" |
2e575351 | 38 | #include "signal.h" |
cdf7bea7 JH |
39 | #include "view.h" |
40 | #include "viewport.h" | |
adb4b10c | 41 | |
1b1ec774 JH |
42 | #include "pv/sigsession.h" |
43 | #include "pv/data/logic.h" | |
44 | #include "pv/data/logicsnapshot.h" | |
adb4b10c | 45 | |
aca64cac JH |
46 | using boost::shared_lock; |
47 | using boost::shared_mutex; | |
1bc6525b | 48 | using pv::data::SignalData; |
a2321722 | 49 | using std::back_inserter; |
819f4c25 JH |
50 | using std::deque; |
51 | using std::list; | |
c3a740dd | 52 | using std::lock_guard; |
819f4c25 | 53 | using std::max; |
1bc6525b | 54 | using std::make_pair; |
819f4c25 | 55 | using std::min; |
1bc6525b | 56 | using std::pair; |
819f4c25 | 57 | using std::set; |
f9abf97e | 58 | using std::shared_ptr; |
819f4c25 | 59 | using std::vector; |
f9abf97e | 60 | using std::weak_ptr; |
adb4b10c | 61 | |
cdf7bea7 JH |
62 | namespace pv { |
63 | namespace view { | |
adb4b10c | 64 | |
cdf7bea7 JH |
65 | const double View::MaxScale = 1e9; |
66 | const double View::MinScale = 1e-15; | |
adb4b10c | 67 | |
f25770e2 JH |
68 | const int View::MaxScrollValue = INT_MAX / 2; |
69 | ||
f76af637 JH |
70 | const QColor View::CursorAreaColour(220, 231, 243); |
71 | ||
2e04f9bd JH |
72 | const QSizeF View::LabelPadding(4, 0); |
73 | ||
cdf7bea7 | 74 | View::View(SigSession &session, QWidget *parent) : |
adb4b10c JH |
75 | QAbstractScrollArea(parent), |
76 | _session(session), | |
cdf7bea7 | 77 | _viewport(new Viewport(*this)), |
ccdd3ef5 | 78 | _ruler(new Ruler(*this)), |
84a0d458 | 79 | _cursorheader(new CursorHeader(*this)), |
1d8dca91 | 80 | _header(new Header(*this)), |
adb4b10c JH |
81 | _scale(1e-6), |
82 | _offset(0), | |
cbd80f64 | 83 | _v_offset(0), |
528bd8a1 | 84 | _updating_scroll(false), |
f76af637 | 85 | _show_cursors(false), |
b42d25c4 | 86 | _cursors(*this), |
cbd80f64 | 87 | _hover_point(-1, -1) |
adb4b10c | 88 | { |
b16907d3 JH |
89 | connect(horizontalScrollBar(), SIGNAL(valueChanged(int)), |
90 | this, SLOT(h_scroll_value_changed(int))); | |
adb4b10c JH |
91 | connect(verticalScrollBar(), SIGNAL(valueChanged(int)), |
92 | this, SLOT(v_scroll_value_changed(int))); | |
69dd2b03 JH |
93 | |
94 | connect(&_session, SIGNAL(signals_changed()), | |
95 | this, SLOT(signals_changed())); | |
50f97924 PZ |
96 | connect(&_session, SIGNAL(capture_state_changed(int)), |
97 | this, SLOT(data_updated())); | |
1f374035 JH |
98 | connect(&_session, SIGNAL(data_received()), |
99 | this, SLOT(data_updated())); | |
100 | connect(&_session, SIGNAL(frame_ended()), | |
adb4b10c | 101 | this, SLOT(data_updated())); |
1d8dca91 | 102 | |
58864c5c | 103 | connect(_cursors.first().get(), SIGNAL(time_changed()), |
ca4ec3ea | 104 | this, SLOT(marker_time_changed())); |
58864c5c | 105 | connect(_cursors.second().get(), SIGNAL(time_changed()), |
ca4ec3ea JH |
106 | this, SLOT(marker_time_changed())); |
107 | ||
d7c0ca4a JH |
108 | connect(_header, SIGNAL(geometry_updated()), |
109 | this, SLOT(on_geometry_updated())); | |
54401bbb | 110 | connect(_header, SIGNAL(signals_moved()), |
07204819 | 111 | this, SLOT(on_signals_moved())); |
54401bbb | 112 | |
17348f85 | 113 | connect(_header, SIGNAL(selection_changed()), |
84a0d458 JS |
114 | _cursorheader, SLOT(clear_selection())); |
115 | connect(_cursorheader, SIGNAL(selection_changed()), | |
17348f85 JH |
116 | _header, SLOT(clear_selection())); |
117 | ||
8b454527 JH |
118 | connect(_header, SIGNAL(selection_changed()), |
119 | this, SIGNAL(selection_changed())); | |
84a0d458 | 120 | connect(_cursorheader, SIGNAL(selection_changed()), |
8b454527 JH |
121 | this, SIGNAL(selection_changed())); |
122 | ||
33c62f44 JH |
123 | connect(this, SIGNAL(hover_point_changed()), |
124 | this, SLOT(on_hover_point_changed())); | |
125 | ||
adb4b10c | 126 | setViewport(_viewport); |
cbd80f64 JH |
127 | |
128 | _viewport->installEventFilter(this); | |
129 | _ruler->installEventFilter(this); | |
84a0d458 | 130 | _cursorheader->installEventFilter(this); |
cbd80f64 | 131 | _header->installEventFilter(this); |
d873f4d6 | 132 | |
9f46d905 JH |
133 | // Trigger the initial event manually. The default device has signals |
134 | // which were created before this object came into being | |
d873f4d6 | 135 | signals_changed(); |
84a0d458 | 136 | |
512bfc56 | 137 | // make sure the transparent widgets are on the top |
84a0d458 | 138 | _cursorheader->raise(); |
512bfc56 | 139 | _header->raise(); |
adb4b10c JH |
140 | } |
141 | ||
1d19ef83 JH |
142 | SigSession& View::session() |
143 | { | |
144 | return _session; | |
145 | } | |
146 | ||
38eeddea JH |
147 | const SigSession& View::session() const |
148 | { | |
149 | return _session; | |
150 | } | |
151 | ||
eae6e30a JH |
152 | View* View::view() |
153 | { | |
154 | return this; | |
155 | } | |
156 | ||
157 | const View* View::view() const | |
158 | { | |
159 | return this; | |
160 | } | |
161 | ||
2ae445ba SA |
162 | Viewport* View::viewport() |
163 | { | |
164 | return _viewport; | |
165 | } | |
166 | ||
167 | const Viewport* View::viewport() const | |
168 | { | |
169 | return _viewport; | |
170 | } | |
171 | ||
cdf7bea7 | 172 | double View::scale() const |
adb4b10c JH |
173 | { |
174 | return _scale; | |
175 | } | |
176 | ||
cdf7bea7 | 177 | double View::offset() const |
adb4b10c JH |
178 | { |
179 | return _offset; | |
180 | } | |
181 | ||
eae6e30a | 182 | int View::owner_v_offset() const |
adb4b10c | 183 | { |
23935421 | 184 | return -_v_offset; |
adb4b10c JH |
185 | } |
186 | ||
cdf7bea7 | 187 | void View::zoom(double steps) |
adb4b10c | 188 | { |
f3f98f8f | 189 | zoom(steps, _viewport->width() / 2); |
adb4b10c JH |
190 | } |
191 | ||
17c0f398 JH |
192 | void View::zoom(double steps, int offset) |
193 | { | |
8b2e2a9a | 194 | set_zoom(_scale * pow(3.0/2.0, -steps), offset); |
17c0f398 JH |
195 | } |
196 | ||
ca46b534 JH |
197 | void View::zoom_fit() |
198 | { | |
1bc6525b JH |
199 | const pair<double, double> extents = get_time_extents(); |
200 | const double delta = extents.second - extents.first; | |
201 | if (delta < 1e-12) | |
ca46b534 JH |
202 | return; |
203 | ||
204 | assert(_viewport); | |
205 | const int w = _viewport->width(); | |
206 | if (w <= 0) | |
207 | return; | |
208 | ||
78311127 JH |
209 | const double scale = max(min(delta / w, MaxScale), MinScale); |
210 | set_scale_offset(scale, extents.first); | |
ca46b534 JH |
211 | } |
212 | ||
d1e7d82c JH |
213 | void View::zoom_one_to_one() |
214 | { | |
215 | using pv::data::SignalData; | |
216 | ||
d1e7d82c | 217 | // Make a set of all the visible data objects |
0fc664a9 | 218 | set< shared_ptr<SignalData> > visible_data = get_visible_data(); |
d1e7d82c JH |
219 | if (visible_data.empty()) |
220 | return; | |
221 | ||
222 | double samplerate = 0.0; | |
d9aecf1f | 223 | for (const shared_ptr<SignalData> d : visible_data) { |
d1e7d82c JH |
224 | assert(d); |
225 | samplerate = max(samplerate, d->samplerate()); | |
226 | } | |
227 | ||
228 | if (samplerate == 0.0) | |
229 | return; | |
230 | ||
231 | assert(_viewport); | |
232 | const int w = _viewport->width(); | |
233 | if (w <= 0) | |
234 | return; | |
235 | ||
236 | set_zoom(1.0 / samplerate, w / 2); | |
237 | } | |
238 | ||
cdf7bea7 | 239 | void View::set_scale_offset(double scale, double offset) |
adb4b10c JH |
240 | { |
241 | _scale = scale; | |
242 | _offset = offset; | |
ccdd3ef5 | 243 | |
adb4b10c | 244 | update_scroll(); |
ccdd3ef5 | 245 | _ruler->update(); |
84a0d458 | 246 | _cursorheader->update(); |
adb4b10c | 247 | _viewport->update(); |
e0fc5810 | 248 | scale_offset_changed(); |
adb4b10c JH |
249 | } |
250 | ||
1bc6525b JH |
251 | set< shared_ptr<SignalData> > View::get_visible_data() const |
252 | { | |
aca64cac | 253 | shared_lock<shared_mutex> lock(session().signals_mutex()); |
c3a740dd | 254 | const vector< shared_ptr<Signal> > &sigs(session().signals()); |
1bc6525b JH |
255 | |
256 | // Make a set of all the visible data objects | |
257 | set< shared_ptr<SignalData> > visible_data; | |
d9aecf1f | 258 | for (const shared_ptr<Signal> sig : sigs) |
1bc6525b JH |
259 | if (sig->enabled()) |
260 | visible_data.insert(sig->data()); | |
261 | ||
262 | return visible_data; | |
263 | } | |
264 | ||
265 | pair<double, double> View::get_time_extents() const | |
266 | { | |
267 | const set< shared_ptr<SignalData> > visible_data = get_visible_data(); | |
268 | if (visible_data.empty()) | |
269 | return make_pair(0.0, 0.0); | |
270 | ||
271 | double left_time = DBL_MAX, right_time = DBL_MIN; | |
d9aecf1f | 272 | for (const shared_ptr<SignalData> d : visible_data) |
1bc6525b JH |
273 | { |
274 | const double start_time = d->get_start_time(); | |
a472a884 JH |
275 | double samplerate = d->samplerate(); |
276 | samplerate = (samplerate <= 0.0) ? 1.0 : samplerate; | |
277 | ||
1bc6525b JH |
278 | left_time = min(left_time, start_time); |
279 | right_time = max(right_time, start_time + | |
a472a884 | 280 | d->get_max_sample_count() / samplerate); |
1bc6525b JH |
281 | } |
282 | ||
283 | assert(left_time < right_time); | |
284 | return make_pair(left_time, right_time); | |
285 | } | |
286 | ||
f76af637 JH |
287 | bool View::cursors_shown() const |
288 | { | |
289 | return _show_cursors; | |
290 | } | |
291 | ||
292 | void View::show_cursors(bool show) | |
293 | { | |
294 | _show_cursors = show; | |
84a0d458 | 295 | _cursorheader->update(); |
f76af637 JH |
296 | _viewport->update(); |
297 | } | |
298 | ||
b4d91e56 JH |
299 | void View::centre_cursors() |
300 | { | |
301 | const double time_width = _scale * _viewport->width(); | |
58864c5c JH |
302 | _cursors.first()->set_time(_offset + time_width * 0.4); |
303 | _cursors.second()->set_time(_offset + time_width * 0.6); | |
84a0d458 | 304 | _cursorheader->update(); |
b4d91e56 JH |
305 | _viewport->update(); |
306 | } | |
307 | ||
b42d25c4 | 308 | CursorPair& View::cursors() |
f76af637 JH |
309 | { |
310 | return _cursors; | |
311 | } | |
312 | ||
58864c5c JH |
313 | const CursorPair& View::cursors() const |
314 | { | |
315 | return _cursors; | |
316 | } | |
317 | ||
cbd80f64 JH |
318 | const QPoint& View::hover_point() const |
319 | { | |
320 | return _hover_point; | |
321 | } | |
322 | ||
9cef9567 JH |
323 | void View::update_viewport() |
324 | { | |
325 | assert(_viewport); | |
326 | _viewport->update(); | |
327 | } | |
328 | ||
f25770e2 JH |
329 | void View::get_scroll_layout(double &length, double &offset) const |
330 | { | |
1bc6525b JH |
331 | const pair<double, double> extents = get_time_extents(); |
332 | length = (extents.second - extents.first) / _scale; | |
f25770e2 JH |
333 | offset = _offset / _scale; |
334 | } | |
335 | ||
d1e7d82c JH |
336 | void View::set_zoom(double scale, int offset) |
337 | { | |
338 | const double cursor_offset = _offset + _scale * offset; | |
339 | const double new_scale = max(min(scale, MaxScale), MinScale); | |
340 | const double new_offset = cursor_offset - new_scale * offset; | |
341 | set_scale_offset(new_scale, new_offset); | |
342 | } | |
343 | ||
cdf7bea7 | 344 | void View::update_scroll() |
adb4b10c JH |
345 | { |
346 | assert(_viewport); | |
347 | ||
348 | const QSize areaSize = _viewport->size(); | |
349 | ||
350 | // Set the horizontal scroll bar | |
351 | double length = 0, offset = 0; | |
f25770e2 JH |
352 | get_scroll_layout(length, offset); |
353 | length = max(length - areaSize.width(), 0.0); | |
adb4b10c | 354 | |
b4ef7f2a | 355 | horizontalScrollBar()->setPageStep(areaSize.width() / 2); |
f25770e2 | 356 | |
528bd8a1 JH |
357 | _updating_scroll = true; |
358 | ||
333d5bbc | 359 | if (length < MaxScrollValue) { |
f25770e2 JH |
360 | horizontalScrollBar()->setRange(0, length); |
361 | horizontalScrollBar()->setSliderPosition(offset); | |
362 | } else { | |
363 | horizontalScrollBar()->setRange(0, MaxScrollValue); | |
364 | horizontalScrollBar()->setSliderPosition( | |
365 | _offset * MaxScrollValue / (_scale * length)); | |
366 | } | |
adb4b10c | 367 | |
528bd8a1 JH |
368 | _updating_scroll = false; |
369 | ||
adb4b10c JH |
370 | // Set the vertical scrollbar |
371 | verticalScrollBar()->setPageStep(areaSize.height()); | |
a5d93c27 JH |
372 | |
373 | const pair<int, int> extents = v_extents(); | |
374 | const int extra_scroll_height = (extents.second - extents.first) / 4; | |
375 | verticalScrollBar()->setRange(extents.first - extra_scroll_height, | |
376 | extents.first + extra_scroll_height); | |
adb4b10c JH |
377 | } |
378 | ||
d7c0ca4a JH |
379 | void View::update_layout() |
380 | { | |
512bfc56 JS |
381 | setViewportMargins( |
382 | _header->sizeHint().width() - pv::view::Header::BaselineOffset, | |
a6c1726e | 383 | _ruler->sizeHint().height(), 0, 0); |
d7c0ca4a JH |
384 | _ruler->setGeometry(_viewport->x(), 0, |
385 | _viewport->width(), _viewport->y()); | |
84a0d458 JS |
386 | _cursorheader->setGeometry( |
387 | _viewport->x(), | |
388 | _ruler->sizeHint().height() - _cursorheader->sizeHint().height() / 2, | |
389 | _viewport->width(), _cursorheader->sizeHint().height()); | |
d7c0ca4a | 390 | _header->setGeometry(0, _viewport->y(), |
512bfc56 | 391 | _header->sizeHint().width(), _viewport->height()); |
d7c0ca4a JH |
392 | update_scroll(); |
393 | } | |
394 | ||
eae6e30a JH |
395 | void View::paint_label(QPainter &p, int right, bool hover) |
396 | { | |
397 | (void)p; | |
398 | (void)right; | |
399 | (void)hover; | |
400 | } | |
401 | ||
402 | QRectF View::label_rect(int right) | |
403 | { | |
404 | (void)right; | |
405 | return QRectF(); | |
406 | } | |
407 | ||
cbd80f64 JH |
408 | bool View::eventFilter(QObject *object, QEvent *event) |
409 | { | |
410 | const QEvent::Type type = event->type(); | |
333d5bbc | 411 | if (type == QEvent::MouseMove) { |
cbd80f64 JH |
412 | |
413 | const QMouseEvent *const mouse_event = (QMouseEvent*)event; | |
333d5bbc | 414 | if (object == _viewport) |
cbd80f64 | 415 | _hover_point = mouse_event->pos(); |
84a0d458 | 416 | else if (object == _ruler || object == _cursorheader) |
cbd80f64 | 417 | _hover_point = QPoint(mouse_event->x(), 0); |
333d5bbc | 418 | else if (object == _header) |
cbd80f64 JH |
419 | _hover_point = QPoint(0, mouse_event->y()); |
420 | else | |
421 | _hover_point = QPoint(-1, -1); | |
422 | ||
423 | hover_point_changed(); | |
424 | ||
333d5bbc | 425 | } else if (type == QEvent::Leave) { |
cbd80f64 JH |
426 | _hover_point = QPoint(-1, -1); |
427 | hover_point_changed(); | |
428 | } | |
429 | ||
430 | return QObject::eventFilter(object, event); | |
431 | } | |
432 | ||
cdf7bea7 | 433 | bool View::viewportEvent(QEvent *e) |
adb4b10c JH |
434 | { |
435 | switch(e->type()) { | |
436 | case QEvent::Paint: | |
437 | case QEvent::MouseButtonPress: | |
438 | case QEvent::MouseButtonRelease: | |
439 | case QEvent::MouseButtonDblClick: | |
440 | case QEvent::MouseMove: | |
441 | case QEvent::Wheel: | |
4b4f1c0d MC |
442 | case QEvent::TouchBegin: |
443 | case QEvent::TouchUpdate: | |
444 | case QEvent::TouchEnd: | |
adb4b10c JH |
445 | return false; |
446 | ||
447 | default: | |
448 | return QAbstractScrollArea::viewportEvent(e); | |
449 | } | |
450 | } | |
451 | ||
e314eca4 | 452 | void View::resizeEvent(QResizeEvent*) |
adb4b10c | 453 | { |
d7c0ca4a | 454 | update_layout(); |
adb4b10c JH |
455 | } |
456 | ||
b16907d3 | 457 | void View::h_scroll_value_changed(int value) |
adb4b10c | 458 | { |
528bd8a1 JH |
459 | if (_updating_scroll) |
460 | return; | |
461 | ||
f25770e2 | 462 | const int range = horizontalScrollBar()->maximum(); |
333d5bbc | 463 | if (range < MaxScrollValue) |
f25770e2 JH |
464 | _offset = _scale * value; |
465 | else { | |
466 | double length = 0, offset; | |
467 | get_scroll_layout(length, offset); | |
468 | _offset = _scale * length * value / MaxScrollValue; | |
469 | } | |
470 | ||
ccdd3ef5 | 471 | _ruler->update(); |
84a0d458 | 472 | _cursorheader->update(); |
adb4b10c JH |
473 | _viewport->update(); |
474 | } | |
475 | ||
cdf7bea7 | 476 | void View::v_scroll_value_changed(int value) |
adb4b10c JH |
477 | { |
478 | _v_offset = value; | |
1d8dca91 | 479 | _header->update(); |
adb4b10c JH |
480 | _viewport->update(); |
481 | } | |
482 | ||
69dd2b03 JH |
483 | void View::signals_changed() |
484 | { | |
68b21a71 JH |
485 | // Populate the traces |
486 | clear_child_items(); | |
487 | ||
aca64cac | 488 | shared_lock<shared_mutex> lock(session().signals_mutex()); |
c3a740dd | 489 | const vector< shared_ptr<Signal> > &sigs(session().signals()); |
68b21a71 JH |
490 | for (auto s : sigs) |
491 | add_child_item(s); | |
492 | ||
493 | #ifdef ENABLE_DECODE | |
494 | const vector< shared_ptr<DecodeTrace> > decode_sigs( | |
495 | session().get_decode_signals()); | |
496 | for (auto s : decode_sigs) | |
497 | add_child_item(s); | |
498 | #endif | |
499 | ||
500 | // Create the initial layout | |
a5d93c27 | 501 | int offset = 0; |
aa59d5c2 | 502 | for (shared_ptr<RowItem> r : *this) { |
a5d93c27 JH |
503 | const pair<int, int> extents = r->v_extents(); |
504 | if (r->enabled()) | |
505 | offset += -extents.first; | |
be9e7b4b | 506 | r->force_to_v_offset(offset); |
a5d93c27 JH |
507 | if (r->enabled()) |
508 | offset += extents.second; | |
ef8311a4 JH |
509 | } |
510 | ||
a6c1726e | 511 | update_layout(); |
14009012 JH |
512 | |
513 | // Update the child widgets | |
514 | _header->signals_updated(); | |
515 | _viewport->signals_updated(); | |
69dd2b03 JH |
516 | } |
517 | ||
cdf7bea7 | 518 | void View::data_updated() |
adb4b10c | 519 | { |
adb4b10c JH |
520 | // Update the scroll bars |
521 | update_scroll(); | |
522 | ||
523 | // Repaint the view | |
524 | _viewport->update(); | |
525 | } | |
cdf7bea7 | 526 | |
ca4ec3ea JH |
527 | void View::marker_time_changed() |
528 | { | |
84a0d458 | 529 | _cursorheader->update(); |
ca4ec3ea JH |
530 | _viewport->update(); |
531 | } | |
532 | ||
07204819 | 533 | void View::on_signals_moved() |
54401bbb | 534 | { |
07204819 JH |
535 | update_scroll(); |
536 | signals_moved(); | |
54401bbb JH |
537 | } |
538 | ||
d7c0ca4a JH |
539 | void View::on_geometry_updated() |
540 | { | |
541 | update_layout(); | |
542 | } | |
543 | ||
33c62f44 JH |
544 | void View::on_hover_point_changed() |
545 | { | |
aa59d5c2 | 546 | for (shared_ptr<RowItem> r : *this) |
eae6e30a | 547 | r->hover_point_changed(); |
33c62f44 JH |
548 | } |
549 | ||
cdf7bea7 JH |
550 | } // namespace view |
551 | } // namespace pv |