Chris@1612
|
1 /* -*- c-basic-offset: 4 indent-tabs-mode: nil -*- vi:set ts=8 sts=4 sw=4: */
|
Chris@1612
|
2
|
Chris@1612
|
3 /*
|
Chris@1612
|
4 Sonic Visualiser
|
Chris@1612
|
5 An audio file viewer and annotation editor.
|
Chris@1612
|
6 Centre for Digital Music, Queen Mary, University of London.
|
Chris@1612
|
7
|
Chris@1612
|
8 This program is free software; you can redistribute it and/or
|
Chris@1612
|
9 modify it under the terms of the GNU General Public License as
|
Chris@1612
|
10 published by the Free Software Foundation; either version 2 of the
|
Chris@1612
|
11 License, or (at your option) any later version. See the file
|
Chris@1612
|
12 COPYING included with this distribution for more information.
|
Chris@1612
|
13 */
|
Chris@1612
|
14
|
Chris@1615
|
15 #ifndef SV_EVENT_SERIES_H
|
Chris@1615
|
16 #define SV_EVENT_SERIES_H
|
Chris@1612
|
17
|
Chris@1615
|
18 #include "Event.h"
|
Chris@1631
|
19 #include "XmlExportable.h"
|
Chris@1612
|
20
|
Chris@1612
|
21 #include <set>
|
Chris@1687
|
22 #include <functional>
|
Chris@1612
|
23
|
Chris@1796
|
24 #include <QMutex>
|
Chris@1796
|
25
|
Chris@1615
|
26 //#define DEBUG_EVENT_SERIES 1
|
Chris@1614
|
27
|
Chris@1615
|
28 /**
|
Chris@1615
|
29 * Container storing a series of events, with or without durations,
|
Chris@1616
|
30 * and supporting the ability to query which events are active at a
|
Chris@1616
|
31 * given frame or within a span of frames.
|
Chris@1616
|
32 *
|
Chris@1616
|
33 * To that end, in addition to the series of events, it stores a
|
Chris@1616
|
34 * series of "seams", which are frame positions at which the set of
|
Chris@1616
|
35 * simultaneous events changes (i.e. an event of non-zero duration
|
Chris@1616
|
36 * starts or ends) associated with a set of the events that are active
|
Chris@1616
|
37 * at or from that position. These are updated when an event is added
|
Chris@1616
|
38 * or removed.
|
Chris@1618
|
39 *
|
Chris@1632
|
40 * This class is highly optimised for inserting events in increasing
|
Chris@1632
|
41 * order of start frame. Inserting (or deleting) events in the middle
|
Chris@1632
|
42 * does work, and should be acceptable in interactive use, but it is
|
Chris@1632
|
43 * very slow in bulk.
|
Chris@1795
|
44 *
|
Chris@1796
|
45 * EventSeries is thread-safe.
|
Chris@1615
|
46 */
|
Chris@1631
|
47 class EventSeries : public XmlExportable
|
Chris@1612
|
48 {
|
Chris@1612
|
49 public:
|
Chris@1640
|
50 EventSeries() : m_finalDurationlessEventFrame(0) { }
|
Chris@1616
|
51 ~EventSeries() =default;
|
Chris@1616
|
52
|
Chris@1796
|
53 EventSeries(const EventSeries &);
|
Chris@1795
|
54
|
Chris@1796
|
55 EventSeries &operator=(const EventSeries &);
|
Chris@1796
|
56 EventSeries &operator=(EventSeries &&);
|
Chris@1616
|
57
|
Chris@1796
|
58 bool operator==(const EventSeries &other) const;
|
Chris@1679
|
59
|
Chris@1679
|
60 static EventSeries fromEvents(const EventVector &ee);
|
Chris@1612
|
61
|
Chris@1631
|
62 void clear();
|
Chris@1632
|
63 void add(const Event &e);
|
Chris@1632
|
64 void remove(const Event &e);
|
Chris@1632
|
65 bool contains(const Event &e) const;
|
Chris@1631
|
66 bool isEmpty() const;
|
Chris@1631
|
67 int count() const;
|
Chris@1612
|
68
|
Chris@1612
|
69 /**
|
Chris@1640
|
70 * Return the frame of the first event in the series. If there are
|
Chris@1640
|
71 * no events, return 0.
|
Chris@1640
|
72 */
|
Chris@1640
|
73 sv_frame_t getStartFrame() const;
|
Chris@1640
|
74
|
Chris@1640
|
75 /**
|
Chris@1640
|
76 * Return the frame plus duration of the event in the series that
|
Chris@1640
|
77 * ends last. If there are no events, return 0.
|
Chris@1640
|
78 */
|
Chris@1640
|
79 sv_frame_t getEndFrame() const;
|
Chris@1640
|
80
|
Chris@1640
|
81 /**
|
Chris@1635
|
82 * Retrieve all events any part of which falls within the range in
|
Chris@1616
|
83 * frames defined by the given frame f and duration d.
|
Chris@1616
|
84 *
|
Chris@1635
|
85 * - An event without duration is spanned by the range if its own
|
Chris@1635
|
86 * frame is greater than or equal to f and less than f + d.
|
Chris@1616
|
87 *
|
Chris@1635
|
88 * - An event with duration is spanned by the range if its start
|
Chris@1635
|
89 * frame is less than f + d and its start frame plus its duration
|
Chris@1635
|
90 * is greater than f.
|
Chris@1616
|
91 *
|
Chris@1619
|
92 * Note: Passing a duration of zero is seldom useful here; you
|
Chris@1619
|
93 * probably want getEventsCovering instead. getEventsSpanning(f,
|
Chris@1619
|
94 * 0) is not equivalent to getEventsCovering(f). The latter
|
Chris@1619
|
95 * includes durationless events at f and events starting at f,
|
Chris@1619
|
96 * both of which are excluded from the former.
|
Chris@1616
|
97 */
|
Chris@1617
|
98 EventVector getEventsSpanning(sv_frame_t frame,
|
Chris@1631
|
99 sv_frame_t duration) const;
|
Chris@1616
|
100
|
Chris@1616
|
101 /**
|
Chris@1656
|
102 * Retrieve all events that cover the given frame. An event without
|
Chris@1656
|
103 * duration covers a frame if its own frame is equal to it. An event
|
Chris@1656
|
104 * with duration covers a frame if its start frame is less than or
|
Chris@1656
|
105 * equal to it and its end frame (start + duration) is greater
|
Chris@1656
|
106 * than it.
|
Chris@1656
|
107 */
|
Chris@1656
|
108 EventVector getEventsCovering(sv_frame_t frame) const;
|
Chris@1656
|
109
|
Chris@1656
|
110 /**
|
Chris@1635
|
111 * Retrieve all events falling wholly within the range in frames
|
Chris@1635
|
112 * defined by the given frame f and duration d.
|
Chris@1635
|
113 *
|
Chris@1635
|
114 * - An event without duration is within the range if its own
|
Chris@1635
|
115 * frame is greater than or equal to f and less than f + d.
|
Chris@1635
|
116 *
|
Chris@1635
|
117 * - An event with duration is within the range if its start frame
|
Chris@1635
|
118 * is greater than or equal to f and its start frame plus its
|
Chris@1635
|
119 * duration is less than or equal to f + d.
|
Chris@1654
|
120 *
|
Chris@1654
|
121 * If overspill is greater than zero, also include that number of
|
Chris@1654
|
122 * additional events (where they exist) both before and after the
|
Chris@1654
|
123 * edges of the range.
|
Chris@1635
|
124 */
|
Chris@1635
|
125 EventVector getEventsWithin(sv_frame_t frame,
|
Chris@1654
|
126 sv_frame_t duration,
|
Chris@1654
|
127 int overspill = 0) const;
|
Chris@1635
|
128
|
Chris@1635
|
129 /**
|
Chris@1638
|
130 * Retrieve all events starting within the range in frames defined
|
Chris@1656
|
131 * by the given frame f and duration d. An event (regardless of
|
Chris@1656
|
132 * whether it has duration or not) starts within the range if its
|
Chris@1656
|
133 * start frame is greater than or equal to f and less than f + d.
|
Chris@1638
|
134 */
|
Chris@1638
|
135 EventVector getEventsStartingWithin(sv_frame_t frame,
|
Chris@1638
|
136 sv_frame_t duration) const;
|
Chris@1638
|
137
|
Chris@1638
|
138 /**
|
Chris@1656
|
139 * Retrieve all events starting at exactly the given frame.
|
Chris@1612
|
140 */
|
Chris@1656
|
141 EventVector getEventsStartingAt(sv_frame_t frame) const {
|
Chris@1656
|
142 return getEventsStartingWithin(frame, 1);
|
Chris@1656
|
143 }
|
Chris@1644
|
144
|
Chris@1644
|
145 /**
|
Chris@1644
|
146 * Retrieve all events, in their natural order.
|
Chris@1644
|
147 */
|
Chris@1644
|
148 EventVector getAllEvents() const;
|
Chris@1635
|
149
|
Chris@1631
|
150 /**
|
Chris@1632
|
151 * If e is in the series and is not the first event in it, set
|
Chris@1632
|
152 * preceding to the event immediate preceding it according to the
|
Chris@1632
|
153 * standard event ordering and return true. Otherwise leave
|
Chris@1632
|
154 * preceding unchanged and return false.
|
Chris@1632
|
155 *
|
Chris@1632
|
156 * If there are multiple events identical to e in the series,
|
Chris@1632
|
157 * assume that the event passed in is the first one (i.e. never
|
Chris@1632
|
158 * set preceding equal to e).
|
Chris@1633
|
159 *
|
Chris@1633
|
160 * It is acceptable for preceding to alias e when this is called.
|
Chris@1632
|
161 */
|
Chris@1632
|
162 bool getEventPreceding(const Event &e, Event &preceding) const;
|
Chris@1632
|
163
|
Chris@1632
|
164 /**
|
Chris@1632
|
165 * If e is in the series and is not the final event in it, set
|
Chris@1632
|
166 * following to the event immediate following it according to the
|
Chris@1632
|
167 * standard event ordering and return true. Otherwise leave
|
Chris@1632
|
168 * following unchanged and return false.
|
Chris@1632
|
169 *
|
Chris@1632
|
170 * If there are multiple events identical to e in the series,
|
Chris@1632
|
171 * assume that the event passed in is the last one (i.e. never set
|
Chris@1632
|
172 * following equal to e).
|
Chris@1633
|
173 *
|
Chris@1633
|
174 * It is acceptable for following to alias e when this is called.
|
Chris@1632
|
175 */
|
Chris@1632
|
176 bool getEventFollowing(const Event &e, Event &following) const;
|
Chris@1632
|
177
|
Chris@1653
|
178 enum Direction {
|
Chris@1653
|
179 Forward,
|
Chris@1653
|
180 Backward
|
Chris@1653
|
181 };
|
Chris@1653
|
182
|
Chris@1653
|
183 /**
|
Chris@1653
|
184 * Return the first event for which the given predicate returns
|
Chris@1653
|
185 * true, searching events with start frames increasingly far from
|
Chris@1653
|
186 * the given frame in the given direction. If the direction is
|
Chris@1653
|
187 * Forward then the search includes events starting at the given
|
Chris@1653
|
188 * frame, otherwise it does not.
|
Chris@1653
|
189 */
|
Chris@1653
|
190 bool getNearestEventMatching(sv_frame_t startSearchAt,
|
Chris@1653
|
191 std::function<bool(const Event &)> predicate,
|
Chris@1653
|
192 Direction direction,
|
Chris@1653
|
193 Event &found) const;
|
Chris@1653
|
194
|
Chris@1632
|
195 /**
|
Chris@1632
|
196 * Return the event at the given numerical index in the series,
|
Chris@1632
|
197 * where 0 = the first event and count()-1 = the last.
|
Chris@1632
|
198 */
|
Chris@1632
|
199 Event getEventByIndex(int index) const;
|
Chris@1640
|
200
|
Chris@1640
|
201 /**
|
Chris@1640
|
202 * Return the index of the first event in the series that does not
|
Chris@1640
|
203 * compare inferior to the given event. If there is no such event,
|
Chris@1640
|
204 * return count().
|
Chris@1640
|
205 */
|
Chris@1640
|
206 int getIndexForEvent(const Event &e) const;
|
Chris@1653
|
207
|
Chris@1632
|
208 /**
|
Chris@1631
|
209 * Emit to XML as a dataset element.
|
Chris@1631
|
210 */
|
Chris@1631
|
211 void toXml(QTextStream &out,
|
Chris@1631
|
212 QString indent,
|
Chris@1631
|
213 QString extraAttributes) const override;
|
Chris@1674
|
214
|
Chris@1674
|
215 /**
|
Chris@1674
|
216 * Emit to XML as a dataset element.
|
Chris@1674
|
217 */
|
Chris@1674
|
218 void toXml(QTextStream &out,
|
Chris@1674
|
219 QString indent,
|
Chris@1674
|
220 QString extraAttributes,
|
Chris@1674
|
221 Event::ExportNameOptions) const;
|
Chris@1679
|
222
|
Chris@1679
|
223 /**
|
Chris@1679
|
224 * Emit events starting within the given range to a delimited
|
Chris@1679
|
225 * (e.g. comma-separated) data format.
|
Chris@1679
|
226 */
|
Chris@1679
|
227 QString toDelimitedDataString(QString delimiter,
|
Chris@1679
|
228 DataExportOptions options,
|
Chris@1679
|
229 sv_frame_t startFrame,
|
Chris@1679
|
230 sv_frame_t duration,
|
Chris@1679
|
231 sv_samplerate_t sampleRate,
|
Chris@1679
|
232 sv_frame_t resolution,
|
Chris@1679
|
233 Event fillEvent) const;
|
Chris@1631
|
234
|
Chris@1612
|
235 private:
|
Chris@1796
|
236 mutable QMutex m_mutex;
|
Chris@1796
|
237
|
Chris@1797
|
238 EventSeries(const EventSeries &other, const QMutexLocker &);
|
Chris@1796
|
239
|
Chris@1616
|
240 /**
|
Chris@1631
|
241 * This vector contains all events in the series, in the normal
|
Chris@1631
|
242 * sort order. For backward compatibility we must support series
|
Chris@1631
|
243 * containing multiple instances of identical events, so
|
Chris@1631
|
244 * consecutive events in this vector will not always be distinct.
|
Chris@1631
|
245 * The vector is used in preference to a multiset or map<Event,
|
Chris@1631
|
246 * int> in order to allow indexing by "row number" as well as by
|
Chris@1631
|
247 * properties such as frame.
|
Chris@1631
|
248 *
|
Chris@1631
|
249 * Because events are immutable, we do not have to worry about the
|
Chris@1631
|
250 * order changing once an event is inserted - we only add or
|
Chris@1631
|
251 * delete them.
|
Chris@1616
|
252 */
|
Chris@1631
|
253 typedef std::vector<Event> Events;
|
Chris@1616
|
254 Events m_events;
|
Chris@1631
|
255
|
Chris@1616
|
256 /**
|
Chris@1616
|
257 * The FrameEventMap maps from frame number to a set of events. In
|
Chris@1616
|
258 * the seam map this is used to represent the events that are
|
Chris@1616
|
259 * active at that frame, either because they begin at that frame
|
Chris@1616
|
260 * or because they are continuing from an earlier frame. There is
|
Chris@1616
|
261 * an entry here for each frame at which an event starts or ends,
|
Chris@1616
|
262 * with the event appearing in all entries from its start time
|
Chris@1616
|
263 * onward and disappearing again at its end frame.
|
Chris@1616
|
264 *
|
Chris@1616
|
265 * Only events with duration appear in this map; point events
|
Chris@1627
|
266 * appear only in m_events. Note that unlike m_events, we only
|
Chris@1627
|
267 * store one instance of each event here, even if we hold many -
|
Chris@1627
|
268 * we refer back to m_events when we need to know how many
|
Chris@1627
|
269 * identical copies of a given event we have.
|
Chris@1616
|
270 */
|
Chris@1627
|
271 typedef std::map<sv_frame_t, std::vector<Event>> FrameEventMap;
|
Chris@1616
|
272 FrameEventMap m_seams;
|
Chris@1614
|
273
|
Chris@1640
|
274 /**
|
Chris@1640
|
275 * The frame of the last durationless event we have in the series.
|
Chris@1640
|
276 * This is to support a fast-ish getEndFrame(): we can easily keep
|
Chris@1640
|
277 * this up-to-date when events are added or removed, and we can
|
Chris@1640
|
278 * easily find the end frame of the last with-duration event from
|
Chris@1640
|
279 * the seam map, but it's not so easy to continuously update an
|
Chris@1640
|
280 * overall end frame or to find the last frame of all events
|
Chris@1640
|
281 * without this.
|
Chris@1640
|
282 */
|
Chris@1640
|
283 sv_frame_t m_finalDurationlessEventFrame;
|
Chris@1640
|
284
|
Chris@1796
|
285 /**
|
Chris@1796
|
286 * Create a seam at the given frame, copying from the prior seam
|
Chris@1796
|
287 * if there is one. If a seam already exists at the given frame,
|
Chris@1796
|
288 * leave it untouched.
|
Chris@1796
|
289 *
|
Chris@1796
|
290 * Call with m_mutex locked.
|
Chris@1614
|
291 */
|
Chris@1614
|
292 void createSeam(sv_frame_t frame) {
|
Chris@1625
|
293 auto itr = m_seams.lower_bound(frame);
|
Chris@1625
|
294 if (itr == m_seams.end() || itr->first > frame) {
|
Chris@1614
|
295 if (itr != m_seams.begin()) {
|
Chris@1614
|
296 --itr;
|
Chris@1614
|
297 }
|
Chris@1614
|
298 }
|
Chris@1614
|
299 if (itr == m_seams.end()) {
|
Chris@1614
|
300 m_seams[frame] = {};
|
Chris@1625
|
301 } else if (itr->first < frame) {
|
Chris@1625
|
302 m_seams[frame] = itr->second;
|
Chris@1625
|
303 } else if (itr->first > frame) { // itr must be begin()
|
Chris@1614
|
304 m_seams[frame] = {};
|
Chris@1614
|
305 }
|
Chris@1614
|
306 }
|
Chris@1614
|
307
|
Chris@1796
|
308 /**
|
Chris@1796
|
309 * Return true if the two seam map entries contain the same set of
|
Chris@1796
|
310 * events.
|
Chris@1796
|
311 *
|
Chris@1796
|
312 * Precondition: no duplicates, i.e. no event appears more than
|
Chris@1796
|
313 * once in s1 or more than once in s2.
|
Chris@1796
|
314 *
|
Chris@1796
|
315 * Call with m_mutex locked.
|
Chris@1796
|
316 */
|
Chris@1627
|
317 bool seamsEqual(const std::vector<Event> &s1,
|
Chris@1627
|
318 const std::vector<Event> &s2) const {
|
Chris@1627
|
319
|
Chris@1627
|
320 if (s1.size() != s2.size()) {
|
Chris@1627
|
321 return false;
|
Chris@1627
|
322 }
|
Chris@1627
|
323
|
Chris@1627
|
324 #ifdef DEBUG_EVENT_SERIES
|
Chris@1627
|
325 for (int i = 0; in_range_for(s1, i); ++i) {
|
Chris@1627
|
326 for (int j = i + 1; in_range_for(s1, j); ++j) {
|
Chris@1627
|
327 if (s1[i] == s1[j] || s2[i] == s2[j]) {
|
Chris@1627
|
328 throw std::runtime_error
|
Chris@1627
|
329 ("debug error: duplicate event in s1 or s2");
|
Chris@1627
|
330 }
|
Chris@1627
|
331 }
|
Chris@1627
|
332 }
|
Chris@1627
|
333 #endif
|
Chris@1627
|
334
|
Chris@1627
|
335 std::set<Event> ee;
|
Chris@1627
|
336 for (const auto &e: s1) {
|
Chris@1627
|
337 ee.insert(e);
|
Chris@1627
|
338 }
|
Chris@1627
|
339 for (const auto &e: s2) {
|
Chris@1627
|
340 if (ee.find(e) == ee.end()) {
|
Chris@1627
|
341 return false;
|
Chris@1627
|
342 }
|
Chris@1627
|
343 }
|
Chris@1627
|
344 return true;
|
Chris@1627
|
345 }
|
Chris@1627
|
346
|
Chris@1615
|
347 #ifdef DEBUG_EVENT_SERIES
|
Chris@1615
|
348 void dumpEvents() const {
|
Chris@1618
|
349 std::cerr << "EVENTS (" << m_events.size() << ") [" << std::endl;
|
Chris@1616
|
350 for (const auto &i: m_events) {
|
Chris@1631
|
351 std::cerr << " " << i.toXmlString();
|
Chris@1614
|
352 }
|
Chris@1614
|
353 std::cerr << "]" << std::endl;
|
Chris@1614
|
354 }
|
Chris@1614
|
355
|
Chris@1614
|
356 void dumpSeams() const {
|
Chris@1618
|
357 std::cerr << "SEAMS (" << m_seams.size() << ") [" << std::endl;
|
Chris@1614
|
358 for (const auto &s: m_seams) {
|
Chris@1614
|
359 std::cerr << " " << s.first << " -> {" << std::endl;
|
Chris@1614
|
360 for (const auto &p: s.second) {
|
Chris@1614
|
361 std::cerr << p.toXmlString(" ");
|
Chris@1614
|
362 }
|
Chris@1614
|
363 std::cerr << " }" << std::endl;
|
Chris@1614
|
364 }
|
Chris@1614
|
365 std::cerr << "]" << std::endl;
|
Chris@1614
|
366 }
|
Chris@1614
|
367 #endif
|
Chris@1612
|
368 };
|
Chris@1612
|
369
|
Chris@1612
|
370 #endif
|