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