- if (status < PROCESSED_REQS)
- post_move_processing();
- else if (status >= PROCESSED_REQS)
- return;
-
- status = PROCESSED_REQS;
- do_process_requests();
-}
-
-void
-Engraver::pre_move_processing()
-{
- do_pre_move_processing();
- status = CREATION_INITED;
-}
-
-void
-Engraver::fill_staff_info (Staff_info&)
-{
-
-}
-
-Scalar
-Engraver::get_feature (String t)
-{
- return daddy_grav_l_->get_feature (t);
-}
-
-bool
-Engraver::do_try_request (Request*)
-{
- return false;
-}
-
-Engraver::Engraver()
-{
- status = VIRGIN;
- daddy_grav_l_ = 0;
-}
-
-void
-Engraver::announce_element (Score_elem_info i)
-{
- i.origin_grav_l_arr_.push (this);
- daddy_grav_l_->announce_element (i);