>From 00a1f8886dd59ffadd5213af9de8ebf5fc0228fe Mon Sep 17 00:00:00 2001 From: Zefram Date: Mon, 24 Dec 2012 11:36:18 +0000 Subject: [PATCH] report unterminated ties at end of music --- lily/tie-engraver.cc | 9 +++++++++ 1 files changed, 9 insertions(+), 0 deletions(-) diff --git a/lily/tie-engraver.cc b/lily/tie-engraver.cc index 07eb919..aa8544b 100644 --- a/lily/tie-engraver.cc +++ b/lily/tie-engraver.cc @@ -88,6 +88,7 @@ protected: void typeset_tie (Grob *); void report_unterminated_tie (Head_event_tuple const &); bool has_autosplit_end (Stream_event *event); + virtual void finalize (); public: TRANSLATOR_DECLARATIONS (Tie_engraver); }; @@ -131,6 +132,14 @@ Tie_engraver::has_autosplit_end (Stream_event *event) } void +Tie_engraver::finalize () +{ + vector::iterator it = heads_to_tie_.begin (); + for (; it < heads_to_tie_.end (); it++) + report_unterminated_tie (*it); +} + +void Tie_engraver::process_music () { bool busy = event_; -- 1.7.2.5