X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=lily%2Fsequential-music-iterator.cc;h=e8830fb7e4b0d2fda1e50c8f1981656a8bfe3913;hb=f68dfcc7aeb65b0b4054edbb2d9861e14d5d533e;hp=13d08740d0773f084326ef8500d40e15291ec1cc;hpb=d8691dd2c4cf8e365c544e535a6c6d08aa231c8d;p=lilypond.git diff --git a/lily/sequential-music-iterator.cc b/lily/sequential-music-iterator.cc index 13d08740d0..e8830fb7e4 100644 --- a/lily/sequential-music-iterator.cc +++ b/lily/sequential-music-iterator.cc @@ -1,340 +1,20 @@ /* - Sequential_music_iterator.cc -- implement Sequential_music_iterator + sequential-music-iterator.cc -- implement Sequential_music_iterator source file of the GNU LilyPond music typesetter - (c) 1997--2001 Han-Wen Nienhuys + (c) 1997--2005 Han-Wen Nienhuys */ -#include "translator-group.hh" -#include "debug.hh" +#include "context.hh" #include "sequential-music-iterator.hh" -#include "music-list.hh" -#include "request-chord-iterator.hh" +#include "music.hh" +#include "warn.hh" - -/* - - TODO: handling of grace notes is excuisite pain. This handling - should be formally specified and then the implementation verified. - -*/ - -/* - Invariant for the data structure. - - - if (gh_pair_p (cursor_)) - iter_p_->music_l_ == unsmob_music (gh_car (cursor_)) - else - iter_p_ == 0; - - The length of musiclist from start to up to cursor_ (cursor_ not - including), is summed - - here_mom_ = sum (length (musiclist [start ... cursor>)) %) - - */ -Sequential_music_iterator::Sequential_music_iterator () -{ - cursor_ = SCM_EOL; - here_mom_ = Moment (0); - grace_skips_ = 0; - iter_p_ =0; -} - -Sequential_music_iterator::Sequential_music_iterator (Sequential_music_iterator const &src) - : Music_iterator (src) -{ - grace_skips_ = src.grace_skips_; - cursor_ = src.cursor_; - here_mom_ = src.here_mom_; - if (src.iter_p_) - iter_p_ = src.iter_p_->clone (); - else - iter_p_ = 0; -} - -Sequential_music_iterator::~Sequential_music_iterator () -{ - delete iter_p_; -} - - -/* - - - if (start_music.grace) - here.grace -= start_music.grace - - last - if (len - - */ - -Grace_skip * -get_grace_skips (SCM cursor) -{ - Moment here (0); - Moment last (-1); - Grace_skip *head = 0; - Grace_skip **tail = &head; - - for (; gh_pair_p (cursor); cursor = gh_cdr (cursor)) - { - Music * mus = unsmob_music (gh_car (cursor)); - Moment l =mus->length_mom (); - Moment s = mus->start_mom (); - - if (s.grace_part_) - { - if (last != Moment (-1)) - { - Grace_skip *p =new Grace_skip; - p->start_ = last; - p->length_ = (here - last).main_part_; - p->grace_start_ = s.grace_part_; - p->next_ = 0; - *tail = p; - tail = &(*tail)->next_; - } - - here.grace_part_ = s.grace_part_; - } - - if (l.to_bool()) - { - last = here; - here += l; - } - } - return head; -} - -void -Sequential_music_iterator::construct_children () -{ - cursor_ = dynamic_cast (music_l ())->music_list (); - - iter_p_ = gh_pair_p (cursor_) ? get_iterator_p (unsmob_music (gh_car (cursor_))) : 0; - while (iter_p_ && !iter_p_->ok ()) - { - next_element (); - } - - grace_skips_ = get_grace_skips (cursor_); - - here_mom_ = music_l ()->start_mom (); - - /* - iter_p_->ok () is tautology, but what the heck. - */ - if (iter_p_ && iter_p_->ok ()) - descend_to_child (); -} - - -/* - maintain invariants: change cursor, iter and here_mom_ in one fell - swoop. -*/ -void -Sequential_music_iterator::next_element () -{ - Moment len =iter_p_->music_length_mom (); - Moment start = iter_p_->music_start_mom (); - assert (!grace_skips_ || grace_skips_->start_ >= here_mom_); - - if (len.main_part_ && grace_skips_ && - grace_skips_->start_.main_part_ == here_mom_.main_part_) - { - Moment sk; - sk.main_part_ = grace_skips_->length_; - here_mom_ += sk; - here_mom_.grace_part_ = grace_skips_->grace_start_; - - Grace_skip * n =grace_skips_->next_; - delete grace_skips_; - grace_skips_ = n; - } - else if (len.grace_part_ && !len.main_part_) - { - here_mom_.grace_part_ =0; - } - else - { - /* - !len.grace_part_ || len.main_part_ - - We skip over a big chunk (mainpart != 0). Any starting graces - in that chunk are compensated by subtracting START. - - */ - here_mom_ += len - start; - } - - delete iter_p_; - cursor_ = gh_cdr (cursor_); - - if (gh_pair_p (cursor_)) - iter_p_ = get_iterator_p (unsmob_music (gh_car (cursor_))); - else - iter_p_ = 0; -} - -/* - move to context of child iterator if it is deeper down in the - hierarchy. - */ -void -Sequential_music_iterator::descend_to_child () -{ - Translator_group * child_report = child_report = iter_p_->report_to_l (); - Translator_group * me_report = report_to_l (); - - Translator_group * c = child_report; - while (c && c != me_report) - { - c= c->daddy_trans_l_; - } - - if (c == me_report) - set_translator (child_report); -} - - -/* - Retrieve all music (starting at HERE), until a music with length L > - 0 is found. From the precondition, we know that UNTIL is later than - the earliest event. Hence we know - - L >= (UNTIL - HERE) - - so something that comes after this thing with L > 0 happens after - - HERE + L >= HERE + (UNTIL - HERE) = UNTIL - - Hence all events after the one with L>0 are uninteresting, so we - ignore them. - -*/ +IMPLEMENT_CTOR_CALLBACK (Sequential_music_iterator); SCM -Sequential_music_iterator::get_music (Moment until)const -{ - SCM s = SCM_EOL; - if (until < pending_moment ()) - return s; - - Sequential_music_iterator * me = - dynamic_cast (clone ()); - while (me->ok ()) - { - SCM nm = me->iter_p_->get_music (until - me->here_mom_); - s = gh_append2 (nm, s); - - Moment m = 0; - for (SCM i = nm; gh_pair_p (i); i = gh_cdr (i)) - m = m >? unsmob_music (gh_car (i))->length_mom (); - - if (m > Moment (0)) - break ; - else - me->next_element (); - } - delete me; - - return s; -} -/* - Skip events till UNTIL. We don't do any other side effects such as - descending to child iterator contexts, because they might depend on - \context specs and \translator changes being executed - - */ -void -Sequential_music_iterator::skip (Moment until) +Sequential_music_iterator::get_music_list ()const { - while (ok ()) - { - Moment l =iter_p_->music_length_mom (); - if (l >= until - here_mom_) - iter_p_->skip (until - here_mom_); - - if (iter_p_->ok ()) - return ; - - next_element (); - } + return get_music ()->get_property ("elements"); } - -void -Sequential_music_iterator::process (Moment until) -{ - while (iter_p_) - { - if (grace_skips_ && - grace_skips_->start_ == here_mom_ - && (grace_skips_->start_ + grace_skips_->length_).main_part_ == - until.main_part_) - { - /* - do the stuff/note/rest preceding a grace. - */ - Moment u = until; - u.grace_part_ = 0; - iter_p_->process (u - here_mom_); - } - else - iter_p_->process (until - here_mom_ + iter_p_->music_start_mom ()); - - /* - if the iter is still OK, there must be events left that have - - TIME > LEFT - - */ - if (iter_p_->ok ()) - return ; - - descend_to_child (); - next_element (); - } -} - -Moment -Sequential_music_iterator::pending_moment () const -{ - Moment cp = iter_p_->pending_moment (); - - /* - Fix-up a grace note halfway in the music. - */ - if (grace_skips_ && here_mom_ == grace_skips_->start_ - && cp.main_part_ >= grace_skips_->length_) - { - cp += here_mom_ ; - cp.grace_part_ = grace_skips_->grace_start_; - return cp; - - } - - /* - Fix-up a grace note at the start of the music. - */ - return cp + here_mom_ - iter_p_->music_start_mom (); -} - - -bool -Sequential_music_iterator::ok () const -{ - return iter_p_; -} - -Music_iterator* -Sequential_music_iterator::try_music_in_children (Music *m) const -{ - return iter_p_ ? iter_p_->try_music (m) : 0; -} -IMPLEMENT_CTOR_CALLBACK (Sequential_music_iterator);