set_translator (child_report);
}
+/*
+ [todo: translate]
+
+ Hier staat in feite: haal alle muziek op (startend op tijd HERE) tot
+ je iets met lengte L > 0 tegenkomt. Aangezien de preconditie is dat
+ UNTIL het eerstvolgende event is, weet je (per definitie)
+
+ L >= (UNTIL - HERE)
+
+ en iets wat hierna komt (op tijd T) komt dus na tijd
+
+ HERE + L >= HERE + (UNTIL - HERE) = UNTIL
+
+ Dus als je een L>0 tegenkomt, wil je de rest niet meer. Aangezien
+ alles wat tot nu toe hebt gespaard op HERE begint, is dat precies wat
+ je nodig hebt.
+
+ Misschien kan je deze comment erbij stoppen, en moeten we de
+ eigenschappen van het muziek datatype wat formaliseren, zodat deze
+ redenering helderder is.
+*/
SCM
-Sequential_music_iterator::get_music (Moment until) const
+Sequential_music_iterator::get_music (Moment until)const
{
- Sequential_music_iterator* i = dynamic_cast<Sequential_music_iterator *> (this->clone ());
SCM s = SCM_EOL;
- while (1)
- {
- Moment local_until = until - i->here_mom_;
- while (i->iter_p_->ok ())
- {
- Moment here = i->iter_p_->pending_moment ();
- if (here != local_until)
- goto finalise;
-
- s = gh_append2 (i->iter_p_->get_music (local_until), s);
- i->iter_p_->skip (local_until);
- }
-
- if (!i->iter_p_->ok ())
- {
- i->leave_element ();
-
- if (gh_pair_p (i->cursor_))
- i->start_next_element ();
- else
- goto finalise;
- }
- }
- finalise:
- delete i;
+ SCM curs = cursor_;
+ Music_iterator * iter = iter_p_->clone ();
+ while (1)
+ {
+ SCM nm = iter->get_music (until - 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 ();
+
+ delete iter;
+
+ curs = gh_cdr (curs);
+
+ if (!gh_pair_p (curs) || m > Moment (0))
+ return s;
+ else
+ {
+ iter = get_iterator_p (unsmob_music (gh_car (curs)));
+ }
+ }
return s;
}
-
+
void
Sequential_music_iterator::process (Moment until)
{