]> git.donarmstrong.com Git - lilypond.git/blob - lily/parser.yy
''
[lilypond.git] / lily / parser.yy
1 %{ // -*-Fundamental-*-
2
3 /*
4   parser.yy -- Bison/C++ parser for lilypond
5
6   source file of the GNU LilyPond music typesetter
7
8   (c)  1997--2001 Han-Wen Nienhuys <hanwen@cs.uu.nl>
9            Jan Nieuwenhuizen <janneke@gnu.org>
10 */
11
12 /*
13   Two shift/reduce problems:
14     -
15     -
16  */
17
18 /*
19
20 the rules for who is protecting what are very shady. TODO: uniformise
21 this.
22
23
24 */
25
26 #include <ctype.h>
27 #include <iostream.h>
28
29 #include "translator-def.hh"
30 #include "lily-guile.hh"
31 #include "change-iterator.hh"
32 #include "misc.hh"
33 #include "my-lily-lexer.hh"
34 #include "paper-def.hh"
35 #include "midi-def.hh"
36 #include "main.hh"
37 #include "file-path.hh"
38 #include "debug.hh"
39 #include "dimensions.hh"
40 #include "command-request.hh"
41 #include "musical-request.hh"
42 #include "my-lily-parser.hh"
43 #include "context-specced-music.hh"
44 #include "score.hh"
45 #include "music-list.hh"
46 #include "output-property-music-iterator.hh"
47 #include "property-iterator.hh"
48 #include "file-results.hh"
49 #include "input.hh"
50 #include "relative-music.hh"
51 #include "lyric-combine-music.hh"
52 #include "transposed-music.hh"
53 #include "time-scaled-music.hh"
54 #include "repeated-music.hh"
55 #include "untransposable-music.hh"
56 #include "lilypond-input-version.hh"
57 #include "grace-music.hh"
58 #include "part-combine-music.hh"
59 #include "scm-hash.hh"
60 #include "auto-change-iterator.hh"
61 #include "un-relativable-music.hh"
62 #include "chord.hh"
63
64 bool
65 regular_identifier_b (SCM id)
66 {
67   String str = ly_scm2string (id);
68   char const *s = str.ch_C() ;
69
70   bool v = true;
71   while (*s && v)
72    {
73         v = v && isalpha (*s);
74         s++;
75    }
76   return v;
77 }
78
79
80 Music* 
81 set_property_music (SCM sym, SCM value)
82 {
83         Music * p = new Music (SCM_EOL);
84         p->set_mus_property ("symbol", sym);
85         p->set_mus_property ("iterator-ctor",
86         Property_iterator::constructor_cxx_function);
87
88         p->set_mus_property ("value", value);
89         return p;
90 }
91
92 bool
93 is_duration_b (int t)
94 {
95   return t && t == 1 << intlog2 (t);
96 }
97
98 void
99 set_music_properties (Music *p, SCM a)
100 {
101   for (SCM k = a; gh_pair_p (k); k = ly_cdr (k))
102         {
103         p->internal_set_mus_property (ly_caar (k), ly_cdar (k));
104         }
105 }
106
107
108
109
110
111
112
113 // needed for bison.simple's malloc () and free ()
114
115 #include <malloc.h>
116 #include <stdlib.h>
117
118
119
120 #define YYERROR_VERBOSE 1
121
122 #define YYPARSE_PARAM my_lily_parser_l
123 #define YYLEX_PARAM my_lily_parser_l
124 #define THIS\
125         ((My_lily_parser *) my_lily_parser_l)
126
127 #define yyerror THIS->parser_error
128 #define ARRAY_SIZE(a,s)   if (a.size () != s) THIS->parser_error (_f ("Expecting %d arguments", s))
129
130 %}
131
132 /* We use SCMs to do strings, because it saves us the trouble of
133 deleting them.  Let's hope that a stack overflow doesnt trigger a move
134 of the parse stack onto the heap. */
135
136
137 %union {
138
139     Link_array<Request> *reqvec;
140
141     String *string; // needed by the lexer as temporary scratch area.
142     Music *music;
143     Score *score;
144     Scheme_hash_table *scmhash;
145     Music_output_def * outputdef;
146
147     Request * request;
148
149     SCM scm;
150
151     Tempo_req *tempo;
152     int i;
153 }
154 %{
155
156 int
157 yylex (YYSTYPE *s,  void * v_l)
158 {
159         My_lily_parser   *pars_l = (My_lily_parser*) v_l;
160         My_lily_lexer * lex_l = pars_l->lexer_p_;
161
162         lex_l->lexval_l = (void*) s;
163         return lex_l->yylex ();
164 }
165
166
167 %}
168
169 %pure_parser
170
171 /* tokens which are not keywords */
172 %token AUTOCHANGE
173 %token ALIAS
174 %token APPLY
175 %token ARPEGGIO
176 %token DYNAMICSCRIPT
177 %token ACCEPTS
178 %token ALTERNATIVE
179 %token BAR
180 %token BREATHE
181 %token CHORDMODIFIERS
182 %token CHORDS
183 %token CHAR_T
184 %token CLEF
185 %token CM_T
186 %token CONSISTS
187 %token DURATION
188 %token SEQUENTIAL
189 %token GROBDESCRIPTIONS
190 %token SIMULTANEOUS
191 %token CONSISTSEND
192 %token DENIES
193 %token DURATION
194 %token EXTENDER
195 %token FIGURES FIGURE_OPEN FIGURE_CLOSE
196 %token FIGURE_BRACKET_CLOSE FIGURE_BRACKET_OPEN
197 %token GLISSANDO
198 %token GRACE 
199 %token HEADER
200 %token HYPHEN
201 %token IN_T
202 %token INVALID
203 %token KEY
204 %token LYRICS
205 %token MARK
206 %token MULTI_MEASURE_REST
207 %token MIDI
208 %token MM_T
209 %token PITCH
210 %token DEFAULT
211 %token NAME
212 %token PITCHNAMES
213 %token NOTES
214 %token PAPER
215 %token PARTIAL
216 %token PENALTY
217 %token PROPERTY
218 %token OVERRIDE SET REVERT 
219 %token PT_T
220 %token RELATIVE
221 %token REMOVE
222 %token REPEAT
223 %token ADDLYRICS
224 %token PARTCOMBINE
225 %token SCM_T
226 %token SCORE
227 %token SCRIPT
228 %token SKIP
229 %token SPANREQUEST
230 %token STYLESHEET
231 %token COMMANDSPANREQUEST
232 %token TEMPO
233 %token OUTPUTPROPERTY
234 %token TIME_T
235 %token TIMES
236 %token TRANSLATOR
237 %token TRANSPOSE
238 %token TYPE
239 %token UNSET
240 %token CONTEXT
241 %token REST
242
243 /* escaped */
244 %token E_CHAR E_EXCLAMATION E_SMALLER E_BIGGER E_OPEN E_CLOSE
245 %token E_LEFTSQUARE E_RIGHTSQUARE E_TILDE
246 %token E_BACKSLASH
247 %token CHORD_BASS CHORD_COLON CHORD_MINUS CHORD_CARET
248 %token FIGURE_SPACE
249
250
251 %type <i>       exclamations questions dots optional_rest
252 %type <i>       bass_number bass_mod
253 %type <scm>     br_bass_figure bass_figure figure_list figure_spec
254 %token <i>      DIGIT
255 %token <scm>    NOTENAME_PITCH
256 %token <scm>    TONICNAME_PITCH
257 %token <scm>    CHORDMODIFIER_PITCH
258 %token <scm>    DURATION_IDENTIFIER
259 %token <scm>    FRACTION
260 %token <id>     IDENTIFIER
261
262
263 %token <scm>    SCORE_IDENTIFIER
264 %token <scm>    MUSIC_OUTPUT_DEF_IDENTIFIER
265
266 %token <scm>    NUMBER_IDENTIFIER
267 %token <scm>    REQUEST_IDENTIFIER
268 %token <scm>    MUSIC_IDENTIFIER TRANSLATOR_IDENTIFIER
269 %token <scm>    STRING_IDENTIFIER SCM_IDENTIFIER 
270 %token <scm>    RESTNAME
271 %token <scm>    STRING   
272 %token <scm>    SCM_T
273 %token <i>      UNSIGNED
274 %token <scm>   REAL
275
276 %type <outputdef> output_def
277 %type <scmhash>         lilypond_header lilypond_header_body
278 %type <request> open_request_parens close_request_parens open_request close_request
279 %type <request> request_with_dir request_that_take_dir verbose_request
280 %type <i>       sub_quotes sup_quotes
281 %type <music>   simple_element  request_chord command_element Simple_music  Composite_music 
282 %type <music>   Repeated_music
283 %type <scm>     Alternative_music
284 %type <i>       tremolo_type
285 %type <i>       bare_int  bare_unsigned
286 %type <i>       script_dir
287
288 %type <scm>     identifier_init 
289
290 %type <scm> steno_duration optional_notemode_duration multiplied_duration
291 %type <scm>  verbose_duration
292         
293 %type <reqvec>  pre_requests post_requests
294 %type <request> gen_text_def
295 %type <scm>   steno_pitch pitch absolute_pitch
296 %type <scm>   explicit_pitch steno_tonic_pitch
297
298 %type <scm>     chord_additions chord_subtractions chord_notes chord_step
299 %type <music>   chord
300 %type <scm>     chord_note chord_inversion chord_bass
301 %type <scm>     duration_length fraction
302
303 %type <scm>  embedded_scm scalar
304 %type <music>   Music Sequential_music Simultaneous_music 
305 %type <music>   relative_music re_rhythmed_music part_combined_music
306 %type <music>   property_def translator_change
307 %type <scm> Music_list
308 %type <outputdef>  music_output_def_body
309 %type <request> shorthand_command_req
310 %type <request> post_request 
311 %type <music> command_req verbose_command_req
312 %type <request> extender_req
313 %type <request> hyphen_req
314 %type <scm>     string bare_number number_expression number_term number_factor 
315
316 %type <score>   score_block score_body
317
318 %type <scm>     translator_spec_block translator_spec_body
319 %type <tempo>   tempo_request
320 %type <scm> notenames_body notenames_block chordmodifiers_block
321 %type <scm>     script_abbreviation
322
323
324
325 %left '-' '+'
326
327 /* We don't assign precedence to / and *, because we might need varied
328 prec levels in different prods */
329
330 %left UNARY_MINUS
331
332 %%
333
334 lilypond:       /* empty */
335         | lilypond toplevel_expression {}
336         | lilypond assignment  { }
337         | lilypond error {
338                 THIS->error_level_i_  = 1;
339         }
340         | lilypond INVALID      {
341                 THIS->error_level_i_  = 1;
342         }
343         ;
344
345 toplevel_expression:
346         notenames_block                 {
347                 THIS->lexer_p_->pitchname_tab_ =  $1;
348         }
349         | chordmodifiers_block                  {
350                 THIS->lexer_p_->chordmodifier_tab_  = $1;
351         }
352         | lilypond_header {
353                 if (global_header_p)
354                         scm_gc_unprotect_object (global_header_p->self_scm ());
355                 global_header_p = $1;
356         }
357         | score_block {
358                 score_global_array.push ($1);
359         }
360         | output_def {
361                 if (dynamic_cast<Paper_def*> ($1))
362                         THIS->lexer_p_->set_identifier (gh_str02scm ("$defaultpaper"), $1->self_scm ());
363                 else if (dynamic_cast<Midi_def*> ($1))
364                         THIS->lexer_p_->set_identifier (gh_str02scm ("$defaultmidi"), $1->self_scm ());
365         }
366         | embedded_scm {
367                 // junk value
368         }       
369         ;
370
371 embedded_scm:
372         SCM_T
373         | SCM_IDENTIFIER 
374         ;
375
376
377 chordmodifiers_block:
378         CHORDMODIFIERS notenames_body   {  $$ = $2; }
379         ;
380
381 notenames_block:
382         PITCHNAMES notenames_body   {  $$ = $2; }
383         ;
384
385 notenames_body:
386         embedded_scm    {
387           int i = scm_ilength ($1);
388
389           SCM tab = scm_make_vector (gh_int2scm (i), SCM_EOL);
390           for (SCM s = $1; gh_pair_p (s); s = ly_cdr (s)) {
391                 SCM pt = ly_cdar (s);
392                 if (!unsmob_pitch (pt))
393                         THIS->parser_error ("Need pitch object.");
394                 else
395                         scm_hashq_set_x (tab, ly_caar (s), pt);
396           }
397
398           $$ = tab;
399         }
400         ;
401
402 lilypond_header_body:
403         {
404                 $$ = new Scheme_hash_table;
405                 THIS->lexer_p_-> scope_l_arr_.push ($$);
406         }
407         | lilypond_header_body assignment  { 
408
409         }
410         ;
411
412 lilypond_header:
413         HEADER '{' lilypond_header_body '}'     {
414                 $$ = $3;
415                 THIS->lexer_p_->scope_l_arr_.pop ();
416         }
417         ;
418
419
420 /*
421         DECLARATIONS
422 */
423 assignment:
424         STRING {
425                 THIS->push_spot ();
426         }
427         /* cont */ '=' identifier_init  {
428
429         /*
430                 Should find generic way of associating input with objects.
431         */
432                 Input ip = THIS->pop_spot ();
433
434                 if (! regular_identifier_b ($1))
435                 {
436                         ip.warning (_ ("Identifier should have  alphabetic characters only"));
437                 }
438
439                 THIS->lexer_p_->set_identifier ($1, $4);
440
441 /*
442  TODO: devise standard for protection in parser.
443
444   The parser stack lives on the C-stack, which means that
445 all objects can be unprotected as soon as they're here.
446
447 */
448         }
449         ;
450
451
452
453 identifier_init:
454         score_block {
455                 $$ = $1->self_scm ();
456                 scm_gc_unprotect_object ($$);
457         }
458         | output_def {
459                 $$ = $1->self_scm ();
460                 scm_gc_unprotect_object ($$);
461         }
462         | translator_spec_block {
463                 $$ = $1;
464         }
465         | Music  {
466                 $$ = $1->self_scm ();
467                 scm_gc_unprotect_object ($$);
468         }
469         | post_request {
470                 $$ = $1->self_scm ();
471                 scm_gc_unprotect_object ($$);
472         }
473         | verbose_duration {
474                 $$ = $1;
475         }
476         | number_expression {
477                 $$ = $1;
478         }
479         | string {
480                 $$ = $1;
481         }
482         | embedded_scm  {
483                 $$ = $1;
484         }
485         ;
486
487 translator_spec_block:
488         TRANSLATOR '{' translator_spec_body '}'
489                 {
490                 $$ = $3;
491         }
492         ;
493
494 translator_spec_body:
495         TRANSLATOR_IDENTIFIER   {
496                 $$ = unsmob_translator_def ($1)->clone_scm ();
497                 unsmob_translator_def ($$)-> set_spot (THIS->here_input ());
498         }
499         | TYPE STRING   {
500                 $$ = Translator_def::make_scm ();
501                 Translator_def*td =  unsmob_translator_def ($$);
502                 td->translator_group_type_ = $2;
503                 td->set_spot (THIS->here_input ());
504         }
505         | translator_spec_body STRING '=' embedded_scm                  {
506                 unsmob_translator_def ($$)->add_property_assign ($2, $4);
507         }
508         | translator_spec_body STRING OVERRIDE embedded_scm '=' embedded_scm {
509                 unsmob_translator_def ($$)
510                         ->add_push_property (scm_string_to_symbol ($2), $4, $6);
511         }
512         | translator_spec_body STRING REVERT embedded_scm  {
513           unsmob_translator_def ($$)->add_pop_property (
514                 scm_string_to_symbol ($2), $4);
515         }
516         | translator_spec_body NAME STRING  {
517                 unsmob_translator_def ($$)->type_name_ = $3;
518         }
519         | translator_spec_body CONSISTS STRING  {
520                 unsmob_translator_def ($$)->add_element ($3);
521         }
522         | translator_spec_body ALIAS STRING  {
523                 Translator_def*td = unsmob_translator_def ($$);
524                 td->type_aliases_ = gh_cons ($3, td->type_aliases_);
525         }
526         | translator_spec_body GROBDESCRIPTIONS embedded_scm {
527                 Translator_def*td = unsmob_translator_def($$);
528                 // td->add_property_assign (ly_symbol2scm ("allGrobDescriptions"), $3);
529                 for (SCM p = $3; gh_pair_p (p); p = ly_cdr (p))
530                         td->add_property_assign (scm_symbol_to_string (ly_caar (p)), ly_cdar (p));
531         }
532         | translator_spec_body CONSISTSEND STRING  {
533                 unsmob_translator_def ($$)->add_last_element ( $3);
534         }
535         | translator_spec_body ACCEPTS STRING  {
536                 unsmob_translator_def ($$)->set_acceptor ($3,true);
537         }
538         | translator_spec_body DENIES STRING  {
539                 unsmob_translator_def ($$)->set_acceptor ($3,false);
540         }
541         | translator_spec_body REMOVE STRING  {
542                 unsmob_translator_def ($$)->remove_element ($3);
543         }
544         ;
545
546 /*
547         SCORE
548 */
549 score_block:
550         SCORE { 
551                 THIS->push_spot ();
552         }
553         /*cont*/ '{' score_body '}'     {
554                 THIS->pop_spot ();
555                 $$ = $4;
556                 if (!$$->def_p_arr_.size ())
557                 {
558                   Music_output_def *id =
559                         unsmob_music_output_def (THIS->lexer_p_->lookup_identifier ("$defaultpaper"));
560                   $$->add_output (id ? id->clone () :  new Paper_def );
561                 }
562         }
563         ;
564
565 score_body:
566         Music   {
567                 $$ = new Score;
568         
569                 $$->set_spot (THIS->here_input ());
570                 SCM m = $1->self_scm ();
571                 scm_gc_unprotect_object (m);
572                 $$->music_ = m;
573
574                 /*
575                         guh.
576                 */
577                 SCM check_func = scm_c_eval_string ("check-start-chords");
578                 gh_call1 (check_func, m);
579                 
580         }
581         | SCORE_IDENTIFIER {
582                 $$ = new Score (*unsmob_score ($1));
583                 $$->set_spot (THIS->here_input ());
584         }
585         | score_body lilypond_header    {
586                 scm_gc_unprotect_object ($2->self_scm ()); 
587                 $$->header_p_ = $2;
588         }
589         | score_body output_def {
590                 $$->add_output ($2);
591         }
592         | score_body error {
593
594         }
595         ;
596
597
598 /*
599         MIDI
600 */
601 output_def:
602         music_output_def_body '}' {
603                 $$ = $1;
604                 THIS-> lexer_p_-> scope_l_arr_.pop ();
605         }
606         ;
607
608 music_output_def_body:
609         MIDI '{'    {
610            Music_output_def *id = unsmob_music_output_def (THIS->lexer_p_->lookup_identifier ("$defaultmidi"));
611
612                 
613          Midi_def* p =0;
614         if (id)
615                 p = dynamic_cast<Midi_def*> (id->clone ());
616         else
617                 p = new Midi_def;
618
619          $$ = p;
620          THIS->lexer_p_->scope_l_arr_.push (p->variable_tab_);
621         }
622         | PAPER '{'     {
623                 Music_output_def *id = unsmob_music_output_def (THIS->lexer_p_->lookup_identifier ("$defaultpaper"));
624                   Paper_def *p = 0;
625                 if (id)
626                         p = dynamic_cast<Paper_def*> (id->clone ());
627                 else
628                         p = new Paper_def;
629                 THIS-> lexer_p_-> scope_l_arr_.push (p->variable_tab_);
630                 $$ = p;
631         }
632         | PAPER '{' MUSIC_OUTPUT_DEF_IDENTIFIER         {
633                 Music_output_def *p = unsmob_music_output_def ($3);
634                 p = p->clone ();
635                 THIS->lexer_p_->scope_l_arr_.push (p->variable_tab_);
636                 $$ = p;
637         }
638         | MIDI '{' MUSIC_OUTPUT_DEF_IDENTIFIER  {
639                 Music_output_def *p = unsmob_music_output_def ($3);
640                 p = p->clone ();
641
642                 THIS->lexer_p_->scope_l_arr_.push (p->variable_tab_);
643                 $$ = p;
644         }
645         | music_output_def_body assignment  {
646
647         }
648         | music_output_def_body translator_spec_block   {
649                 $$->assign_translator ($2);
650         }
651         | music_output_def_body STYLESHEET embedded_scm {
652                 dynamic_cast<Paper_def*> ($$)-> style_sheet_ = $3;
653         }
654         | music_output_def_body tempo_request  {
655                 /*
656                         junk this ? there already is tempo stuff in
657                         music.
658                 */
659                 int m = gh_scm2int ( $2->get_mus_property ("metronome-count"));
660                 Duration *d = unsmob_duration ($2->get_mus_property ("duration"));
661                 dynamic_cast<Midi_def*> ($$)->set_tempo (d->length_mom (), m);
662         }
663         | music_output_def_body error {
664
665         }
666         ;
667
668 tempo_request:
669         TEMPO steno_duration '=' bare_unsigned  {
670                 $$ = new Tempo_req;
671                 $$->set_mus_property ("duration", $2);
672                 $$->set_mus_property ("metronome-count", gh_int2scm ( $4));
673         }
674         ;
675
676 /*
677 The representation of a  list is the
678
679   (LIST . LAST-CONS)
680
681  to have  efficient append.
682 */
683 Music_list: /* empty */ {
684                 $$ = gh_cons (SCM_EOL, SCM_EOL);
685         }
686         | Music_list Music {
687                 SCM s = $$;
688                 SCM c = gh_cons ($2->self_scm (), SCM_EOL);
689                 scm_gc_unprotect_object ($2->self_scm ()); /* UGH */
690                 if (gh_pair_p (ly_cdr (s)))
691                         gh_set_cdr_x (ly_cdr (s), c); /* append */
692                 else
693                         gh_set_car_x (s, c); /* set first cons */
694                 gh_set_cdr_x (s, c) ;  /* remember last cell */ 
695         }
696         | Music_list error {
697         }
698         ;
699
700
701 Music:
702         Simple_music
703         | Composite_music
704         ;
705
706 Alternative_music:
707         /* empty */ {
708                 $$ = SCM_EOL;
709         }
710         | ALTERNATIVE '{' Music_list '}' {
711                 $$ = $3;
712         }
713         ;
714
715 Repeated_music:
716         REPEAT string bare_unsigned Music Alternative_music
717         {
718                 Music *beg = $4;
719                 int times = $3;
720                 SCM alts = gh_pair_p ($5) ? gh_car ($5) : SCM_EOL;
721                 if (times < scm_ilength (alts)) {
722                   unsmob_music (gh_car (alts))
723                     ->origin ()->warning (
724                     _("More alternatives than repeats.  Junking excess alternatives."));
725                   alts = ly_truncate_list (times, alts);
726                 }
727
728                 Repeated_music * r = new Repeated_music (SCM_EOL);
729                 if (beg)
730                         {
731                         r-> set_mus_property ("element", beg->self_scm ());
732                         scm_gc_unprotect_object (beg->self_scm ());
733                         }
734                 r->set_mus_property ("repeat-count", gh_int2scm (times >? 1));
735
736                 r-> set_mus_property ("elements",alts);
737                 SCM func = scm_primitive_eval (ly_symbol2scm ("repeat-name-to-ctor"));
738                 SCM result = gh_call1 (func, $2);
739
740                 set_music_properties (r, result);
741
742                 r->set_spot (*$4->origin ());
743                 $$ = r;
744         }
745         ;
746
747 Sequential_music:
748         SEQUENTIAL '{' Music_list '}'           {
749                 $$ = new Sequential_music (SCM_EOL);
750                 $$->set_mus_property ("elements", ly_car ($3));
751                 $$->set_spot(THIS->here_input());
752         }
753         | '{' Music_list '}'            {
754                 $$ = new Sequential_music (SCM_EOL);
755                 $$->set_mus_property ("elements", ly_car ($2));
756                 $$->set_spot(THIS->here_input());
757         }
758         ;
759
760 Simultaneous_music:
761         SIMULTANEOUS '{' Music_list '}'{
762                 $$ = new Simultaneous_music (SCM_EOL);
763                 $$->set_mus_property ("elements", ly_car ($3));
764                 $$->set_spot(THIS->here_input());
765
766         }
767         | '<' Music_list '>'    {
768                 $$ = new Simultaneous_music (SCM_EOL);
769                 $$->set_mus_property ("elements", ly_car ($2));
770                 $$->set_spot(THIS->here_input());
771         }
772         ;
773
774 Simple_music:
775         request_chord           { $$ = $1; }
776         | OUTPUTPROPERTY embedded_scm embedded_scm '=' embedded_scm     {
777                 SCM pred = $2;
778                 if (!gh_symbol_p ($3))
779                 {
780                         THIS->parser_error (_ ("Second argument must be a symbol")); 
781                 }
782                 /*hould check # args */
783                 if (!gh_procedure_p (pred))
784                 {
785                         THIS->parser_error (_ ("First argument must be a procedure taking 1 argument"));
786                 }
787
788                 Music *m = new Music (SCM_EOL);
789                 m->set_mus_property ("predicate", pred);
790                 m->set_mus_property ("grob-property", $3);
791                 m->set_mus_property ("grob-value",  $5);
792                 m->set_mus_property ("iterator-ctor",
793                 Output_property_music_iterator::constructor_cxx_function);
794
795                 $$ = m;
796         }
797         | MUSIC_IDENTIFIER {
798                 $$ = unsmob_music ($1)->clone ();
799
800                 $$->set_spot (THIS->here_input());
801         }
802         | property_def
803         | translator_change
804         ;
805
806
807 Composite_music:
808         CONTEXT STRING Music    {
809                 Context_specced_music *csm =  new Context_specced_music (SCM_EOL);
810                 csm->set_mus_property ("element", $3->self_scm ());
811                 scm_gc_unprotect_object ($3->self_scm ());
812
813                 csm->set_mus_property ("context-type",$2);
814                 csm->set_mus_property ("context-id", ly_str02scm (""));
815
816                 $$ = csm;
817         }
818         | AUTOCHANGE STRING Music       {
819                 Music * chm = new Music_wrapper (SCM_EOL);
820                 chm->set_mus_property ("element", $3->self_scm ());
821                 chm->set_mus_property ("iterator-ctor", Auto_change_iterator::constructor_cxx_function);
822
823                 scm_gc_unprotect_object ($3->self_scm ());
824                 chm->set_mus_property ("what", $2); 
825
826                 $$ = chm;
827                 chm->set_spot (*$3->origin ());
828         }
829         | GRACE Music {
830 #if 1
831         /*
832                 The other version is for easier debugging  of
833                 Sequential_music_iterator in combination with grace notes.
834         */
835
836                 SCM start = THIS->lexer_p_->lookup_identifier ("startGraceMusic");
837                 SCM stop = THIS->lexer_p_->lookup_identifier ("stopGraceMusic");
838                 Music *startm = unsmob_music (start);
839                 Music *stopm = unsmob_music (stop);
840
841                 SCM ms = SCM_EOL;
842                 if (stopm) {
843                         stopm = stopm->clone ();
844                         ms = gh_cons (stopm->self_scm (), ms);
845                         scm_gc_unprotect_object (stopm->self_scm ());
846                 }
847                 ms = gh_cons ($2->self_scm (), ms);
848                 scm_gc_unprotect_object ($2->self_scm());
849                 if (startm) {
850                         startm = startm->clone ();
851                         ms = gh_cons (startm->self_scm () , ms);
852                         scm_gc_unprotect_object (startm->self_scm ());
853                 }
854
855                 Music* seq = new Sequential_music (SCM_EOL);
856                 seq->set_mus_property ("elements", ms);
857
858                 $$ = new Grace_music (SCM_EOL);
859                 $$->set_mus_property ("element", seq->self_scm ());
860                 scm_gc_unprotect_object (seq->self_scm ());
861 #else
862                 $$ = new Grace_music (SCM_EOL);
863                 $$->set_mus_property ("element", $2->self_scm ());
864                 scm_gc_unprotect_object ($2->self_scm ());
865 #endif
866         }
867         | CONTEXT string '=' string Music {
868                 Context_specced_music *csm =  new Context_specced_music (SCM_EOL);
869                 csm->set_mus_property ("element", $5->self_scm ());
870                 scm_gc_unprotect_object ($5->self_scm ());
871
872                 csm->set_mus_property ("context-type", $2);
873                 csm->set_mus_property ("context-id", $4);
874
875                 $$ = csm;
876         }
877         | TIMES {
878                 THIS->push_spot ();
879         }
880         /* CONTINUED */ 
881                 fraction Music  
882
883         {
884                 int n = gh_scm2int (ly_car ($3)); int d = gh_scm2int (ly_cdr ($3));
885                 Music *mp = $4;
886                 $$ = new Time_scaled_music (SCM_EOL);
887                 $$->set_spot (THIS->pop_spot ());
888
889
890                 $$->set_mus_property ("element", mp->self_scm ());
891                 scm_gc_unprotect_object (mp->self_scm ());
892                 $$->set_mus_property ("numerator", gh_int2scm (n));
893                 $$->set_mus_property ("denominator", gh_int2scm (d));
894                 $$->compress (Moment (Rational (n,d)));
895
896         }
897         | Repeated_music                { $$ = $1; }
898         | Simultaneous_music            { $$ = $1; }
899         | Sequential_music              { $$ = $1; }
900         | TRANSPOSE pitch Music {
901                 $$ = new Transposed_music (SCM_EOL);
902                 Music *p = $3;
903                 Pitch pit = *unsmob_pitch ($2);
904
905                 p->transpose (pit);
906                 $$->set_mus_property ("element", p->self_scm ());
907                 scm_gc_unprotect_object (p->self_scm ());
908         }
909         | TRANSPOSE steno_tonic_pitch Music {
910                 $$ = new Transposed_music (SCM_EOL);
911                 Music *p = $3;
912                 Pitch pit = *unsmob_pitch ($2);
913
914                 p->transpose (pit);
915                 $$->set_mus_property ("element", p->self_scm ());
916                 scm_gc_unprotect_object (p->self_scm ());
917         
918         }
919         | APPLY embedded_scm Music  {
920                 SCM ret = gh_call1 ($2, $3->self_scm ());
921                 Music *m = unsmob_music (ret);
922                 if (!m) {
923                         THIS->parser_error ("\\apply must return a Music");
924                         m = new Music (SCM_EOL);
925                         }
926                 $$ = m;
927         }
928         | NOTES
929                 { THIS->lexer_p_->push_note_state (); }
930         Music
931                 { $$ = $3;
932                   THIS->lexer_p_->pop_state ();
933                 }
934         | FIGURES
935                 { THIS->lexer_p_->push_figuredbass_state (); }
936         Music
937                 {
938                   Music * chm = new Untransposable_music () ;
939                   chm->set_mus_property ("element", $3->self_scm ());
940                   $$ = chm;
941
942                   THIS->lexer_p_->pop_state ();
943         }
944         | CHORDS
945                 { THIS->lexer_p_->push_chord_state (); }
946         Music
947                 {
948                   Music * chm = new Un_relativable_music ;
949                   chm->set_mus_property ("element", $3->self_scm ());
950                   $$ = chm;
951
952                   THIS->lexer_p_->pop_state ();
953         }
954         | LYRICS
955                 { THIS->lexer_p_->push_lyric_state (); }
956         Music
957                 {
958                   $$ = $3;
959                   THIS->lexer_p_->pop_state ();
960         }
961         | relative_music        { $$ = $1; }
962         | re_rhythmed_music     { $$ = $1; } 
963         | part_combined_music   { $$ = $1; } 
964         ;
965
966 relative_music:
967         RELATIVE absolute_pitch Music {
968                 Music * p = $3;
969                 Pitch pit = *unsmob_pitch ($2);
970                 $$ = new Relative_octave_music (SCM_EOL);
971
972                 $$->set_mus_property ("element", p->self_scm ());
973                 scm_gc_unprotect_object (p->self_scm ());
974
975                 $$->set_mus_property ("last-pitch", p->to_relative_octave (pit).smobbed_copy ());
976
977         }
978         ;
979
980 re_rhythmed_music:
981         ADDLYRICS Music Music {
982           Lyric_combine_music * l = new Lyric_combine_music (SCM_EOL);
983           l->set_mus_property ("elements", gh_list ($2->self_scm (), $3->self_scm (), SCM_UNDEFINED));
984           scm_gc_unprotect_object ($3->self_scm ());
985           scm_gc_unprotect_object ($2->self_scm ());
986           $$ = l;
987         }
988         ;
989
990 part_combined_music:
991         PARTCOMBINE STRING Music Music {
992                 Part_combine_music * p = new Part_combine_music (SCM_EOL);
993
994                 p->set_mus_property ("what", $2);
995                 p->set_mus_property ("elements", gh_list ($3->self_scm (),$4->self_scm (), SCM_UNDEFINED));  
996
997                 scm_gc_unprotect_object ($3->self_scm ());
998                 scm_gc_unprotect_object ($4->self_scm ());  
999
1000                 $$ = p;
1001         }
1002         ;
1003
1004 translator_change:
1005         TRANSLATOR STRING '=' STRING  {
1006                 Music * t = new Music (SCM_EOL);
1007                 t->set_mus_property ("iterator-ctor",
1008                         Change_iterator::constructor_cxx_function);
1009                 t-> set_mus_property ("change-to-type", $2);
1010                 t-> set_mus_property ("change-to-id", $4);
1011
1012                 $$ = t;
1013                 $$->set_spot (THIS->here_input ());
1014         }
1015         ;
1016
1017 property_def:
1018         PROPERTY STRING '.' STRING '='  scalar {
1019                 
1020                 Music *t = set_property_music (scm_string_to_symbol ($4), $6);
1021                 Context_specced_music *csm = new Context_specced_music (SCM_EOL);
1022
1023                 csm->set_mus_property ("element", t->self_scm ());
1024                 scm_gc_unprotect_object (t->self_scm ());
1025
1026                 $$ = csm;
1027                 $$->set_spot (THIS->here_input ());
1028
1029                 csm-> set_mus_property ("context-type", $2);
1030         }
1031         | PROPERTY STRING '.' STRING UNSET {
1032                 Music *t = new Music (SCM_EOL);
1033
1034                 t->set_mus_property ("iterator-ctor",
1035                         Property_unset_iterator::constructor_cxx_function);
1036                 t->set_mus_property ("symbol", scm_string_to_symbol ($4));
1037
1038                 Context_specced_music *csm = new Context_specced_music (SCM_EOL);
1039                 csm->set_mus_property ("element", t->self_scm ());
1040                 scm_gc_unprotect_object (t->self_scm ());
1041
1042                 $$ = csm;
1043                 $$->set_spot (THIS->here_input ());
1044
1045                 csm-> set_mus_property ("context-type", $2);
1046         }
1047         | PROPERTY STRING '.' STRING SET embedded_scm '=' embedded_scm {
1048                 Music *t = new Music (SCM_EOL);
1049                 t->set_mus_property ("iterator-ctor",
1050                         Push_property_iterator::constructor_cxx_function);
1051                 t->set_mus_property ("symbol", scm_string_to_symbol ($4));
1052                 t->set_mus_property ("pop-first", SCM_BOOL_T);
1053                 t->set_mus_property ("grob-property", $6);
1054                 t->set_mus_property ("grob-value", $8);
1055                 Context_specced_music *csm = new Context_specced_music (SCM_EOL);
1056                 csm->set_mus_property ("element", t->self_scm ());
1057                 scm_gc_unprotect_object (t->self_scm ());
1058                 $$ = csm;
1059                 $$->set_spot (THIS->here_input ());
1060
1061                 csm-> set_mus_property ("context-type", $2);
1062         }
1063         | PROPERTY STRING '.' STRING OVERRIDE embedded_scm '=' embedded_scm {
1064                 Music *t = new Music (SCM_EOL);
1065                 t->set_mus_property ("iterator-ctor",
1066                         Push_property_iterator::constructor_cxx_function);
1067                 t->set_mus_property ("symbol", scm_string_to_symbol ($4));
1068                 t->set_mus_property ("grob-property", $6);
1069                 t->set_mus_property ("grob-value", $8);
1070                 Context_specced_music *csm = new Context_specced_music (SCM_EOL);
1071                 csm->set_mus_property ("element", t->self_scm ());
1072                 scm_gc_unprotect_object (t->self_scm ());
1073
1074                 $$ = csm;
1075                 $$->set_spot (THIS->here_input ());
1076
1077                 csm-> set_mus_property ("context-type", $2);
1078         }
1079         | PROPERTY STRING '.' STRING REVERT embedded_scm {
1080                 Music *t = new Music (SCM_EOL);
1081                 t->set_mus_property ("iterator-ctor",
1082                         Pop_property_iterator::constructor_cxx_function);
1083                 t->set_mus_property ("symbol", scm_string_to_symbol ($4));
1084                 t->set_mus_property ("grob-property", $6);
1085
1086                 Context_specced_music *csm = new Context_specced_music (SCM_EOL);
1087                 csm->set_mus_property ("element", t->self_scm ());
1088                 scm_gc_unprotect_object (t->self_scm ());
1089
1090                 $$ = csm;
1091                 $$->set_spot (THIS->here_input ());
1092
1093                 csm-> set_mus_property ("context-type", $2);
1094         }
1095         ;
1096
1097 scalar:
1098         string          { $$ = $1; }
1099         | bare_int      { $$ = gh_int2scm ($1); }
1100         | embedded_scm  { $$ = $1; }
1101         ;
1102
1103
1104 request_chord:
1105         pre_requests {
1106                 THIS->push_spot ();
1107         } /*cont */ simple_element post_requests        {
1108                 Music_sequence *l = dynamic_cast<Music_sequence*> ($3);
1109                 
1110                 $1->concat (*$4);
1111                 for (int i=0; i < $1->size (); i++) {
1112                   Music * m = $1->elem (i);
1113                   l->append_music (m);
1114                 }
1115                 $$ = $3;
1116
1117                 delete $1;
1118                 delete $4;
1119         }
1120         | command_element
1121         ;
1122
1123 command_element:
1124         command_req {
1125                 $$ = new Request_chord (SCM_EOL);
1126                 $$->set_mus_property ("elements", gh_cons ($1->self_scm (), SCM_EOL));
1127                 $$-> set_spot (THIS->here_input ());
1128                 $1-> set_spot (THIS->here_input ());
1129         }
1130         | E_LEFTSQUARE {
1131                 Span_req *l = new Span_req;
1132                 l->set_span_dir (START);
1133                 l->set_mus_property ("span-type", ly_str02scm ("ligature"));
1134                 l->set_spot (THIS->here_input ());
1135
1136                 $$ = new Request_chord (SCM_EOL);
1137                 $$->set_mus_property ("elements", gh_cons (l->self_scm (), SCM_EOL));
1138                 $$->set_spot (THIS->here_input ());
1139         }
1140         | E_RIGHTSQUARE {
1141                 Span_req *l = new Span_req;
1142                 l->set_span_dir (STOP);
1143                 l->set_mus_property ("span-type", ly_str02scm ("ligature"));
1144                 l->set_spot (THIS->here_input ());
1145
1146                 $$ = new Request_chord (SCM_EOL);
1147                 $$->set_mus_property ("elements", gh_cons (l->self_scm (), SCM_EOL));
1148                 $$->set_spot (THIS->here_input ());
1149         }
1150         | E_BACKSLASH {
1151                 $$ = new Music (gh_list (gh_cons (ly_symbol2scm ("name"), ly_symbol2scm ("separator")), SCM_UNDEFINED));
1152                 $$->set_spot (THIS->here_input ());
1153         }
1154         | '|'      {
1155
1156                 extern Music * get_barcheck();
1157                 $$ = get_barcheck ();
1158                 $$->set_spot (THIS->here_input ());
1159         }
1160         | BAR STRING                    {
1161                 Music *t = set_property_music (ly_symbol2scm ("whichBar"), $2);
1162
1163                 Context_specced_music *csm = new Context_specced_music (SCM_EOL);
1164                 csm->set_mus_property ("element", t->self_scm ());
1165                 scm_gc_unprotect_object (t->self_scm ());
1166
1167                 $$ = csm;
1168                 $$->set_spot (THIS->here_input ());
1169
1170                 csm->set_mus_property ("context-type", ly_str02scm ("Score"));
1171         }
1172         | PARTIAL duration_length       {
1173                 Moment m = - unsmob_duration ($2)->length_mom ();
1174                 Music * p = set_property_music (ly_symbol2scm ( "measurePosition"),m.smobbed_copy ());
1175
1176                 Context_specced_music * sp = new Context_specced_music (SCM_EOL);
1177                 sp->set_mus_property ("element", p->self_scm ());
1178                 scm_gc_unprotect_object (p->self_scm ());
1179
1180                 $$ =sp ;
1181                 sp-> set_mus_property ("context-type", ly_str02scm ( "Score"));
1182         }
1183         | CLEF STRING  {
1184                 SCM func = scm_primitive_eval (ly_symbol2scm ("clef-name-to-properties"));
1185                 SCM result = gh_call1 (func, $2);
1186
1187                 SCM l = SCM_EOL;
1188                 for (SCM s = result ; gh_pair_p (s); s = ly_cdr (s)) {
1189                         Music * p = new Music (SCM_EOL);
1190                         set_music_properties (p, ly_car (s));
1191                         l = gh_cons (p->self_scm (), l);
1192                         scm_gc_unprotect_object (p->self_scm ());
1193                 }
1194                 Sequential_music * seq = new Sequential_music (SCM_EOL);
1195                 seq->set_mus_property ("elements", l);
1196
1197                 Context_specced_music * sp = new Context_specced_music (SCM_EOL);
1198                 sp->set_mus_property ("element", seq->self_scm ());
1199                 scm_gc_unprotect_object (seq->self_scm ());
1200
1201                 $$ =sp ;
1202                 sp-> set_mus_property ("context-type", ly_str02scm ("Staff"));
1203         }
1204         | TIME_T fraction  {
1205                 Music * p1 = set_property_music (ly_symbol2scm ( "timeSignatureFraction"), $2);
1206
1207                 int l = gh_scm2int (ly_car ($2));
1208                 int o = gh_scm2int (ly_cdr ($2));
1209
1210                 Moment one_beat = Moment (1)/Moment (o);
1211                 Moment len = Moment (l) * one_beat;
1212
1213
1214                 Music *p2 = set_property_music (ly_symbol2scm ("measureLength"), len.smobbed_copy ());
1215                 Music *p3 = set_property_music (ly_symbol2scm ("beatLength"), one_beat.smobbed_copy ());
1216
1217                 SCM list = scm_list_n (p1->self_scm (), p2->self_scm (), p3->self_scm(), SCM_UNDEFINED);
1218                 Sequential_music *seq = new Sequential_music (SCM_EOL);
1219                 seq->set_mus_property ("elements", list);
1220                 
1221
1222                 Context_specced_music * sp = new Context_specced_music (SCM_EOL);
1223                 sp->set_mus_property ("element", seq->self_scm ());
1224
1225                 
1226
1227                 scm_gc_unprotect_object (p3->self_scm ());
1228                 scm_gc_unprotect_object (p2->self_scm ());
1229                 scm_gc_unprotect_object (p1->self_scm ());
1230                 scm_gc_unprotect_object (seq->self_scm ());
1231
1232                 $$ = sp;
1233
1234 /*
1235  TODO: should make alias TimingContext for Score
1236 */
1237
1238                 sp-> set_mus_property ("context-type", ly_str02scm ( "Score"));
1239         }
1240         ;
1241
1242 command_req:
1243         shorthand_command_req   { $$ = $1; }
1244         | verbose_command_req   { $$ = $1; }
1245         ;
1246
1247 shorthand_command_req:
1248         extender_req {
1249                 $$ = $1;
1250         }
1251         | hyphen_req {
1252                 $$ = $1;
1253         }
1254         | '~'   {
1255                 $$ = new Tie_req;
1256         }
1257         | '['           {
1258                 Span_req*b= new Span_req;
1259                 b->set_span_dir (START);
1260                 b->set_mus_property ("span-type", ly_str02scm ("beam"));
1261                 $$ =b;
1262
1263
1264                 THIS->last_beam_start_ = b->self_scm ();
1265         }
1266         | ']'           {
1267                 Span_req*b= new Span_req;
1268                 b->set_span_dir ( STOP);
1269                 b->set_mus_property ("span-type", ly_str02scm ("beam"));
1270                 $$ = b;
1271         }
1272         | BREATHE {
1273                 $$ = new Breathing_sign_req;
1274         }
1275         | E_TILDE {
1276                 $$ = new Porrectus_req;
1277         }
1278         ;
1279
1280 verbose_command_req:
1281         COMMANDSPANREQUEST bare_int STRING { /*TODO: junkme */
1282                 Span_req * sp_p = new Span_req;
1283                 sp_p-> set_span_dir ( Direction ($2));
1284                 sp_p->set_mus_property ("span-type",$3);
1285                 sp_p->set_spot (THIS->here_input ());
1286                 $$ = sp_p;
1287         }
1288         | MARK DEFAULT  {
1289                 Mark_req * m = new Mark_req;
1290                 $$ = m;
1291         }
1292         | MARK scalar {
1293                 Mark_req *m = new Mark_req;
1294                 m->set_mus_property ("label", $2);
1295                 $$ = m;
1296
1297         }
1298         | PENALTY SCM_T         {
1299                 Break_req * b = new Break_req;
1300                 SCM s = $2;
1301                 if (!gh_number_p (s))
1302                         s  =gh_int2scm (0);
1303
1304                 b->set_mus_property ("penalty", s);
1305                 b->set_spot (THIS->here_input ());
1306                 $$ = b;
1307         }
1308         | SKIP duration_length {
1309                 Skip_req * skip_p = new Skip_req;
1310                 skip_p->set_mus_property ("duration", $2);
1311
1312                 $$ = skip_p;
1313         }
1314         | tempo_request {
1315                 $$ = $1;
1316         }
1317         | KEY DEFAULT {
1318                 Key_change_req *key_p= new Key_change_req;
1319                 $$ = key_p;
1320         }
1321         | KEY NOTENAME_PITCH SCM_IDENTIFIER     {
1322                 Key_change_req *key_p= new Key_change_req;
1323                 
1324                 key_p->set_mus_property ("pitch-alist", $3);
1325                 ((Music*)key_p)->transpose (* unsmob_pitch ($2));
1326                 $$ = key_p; 
1327         }
1328         ;
1329
1330 post_requests:
1331         {
1332                 $$ = new Link_array<Request>;
1333         }
1334         | post_requests post_request {
1335                 $2->set_spot (THIS->here_input ());
1336                 $$->push ($2);
1337         }
1338         ;
1339
1340 post_request:
1341         verbose_request
1342         | request_with_dir
1343         | close_request
1344         ;
1345
1346
1347 request_that_take_dir:
1348         gen_text_def
1349         | verbose_request
1350         | script_abbreviation {
1351                 SCM s = THIS->lexer_p_->lookup_identifier ("dash" + ly_scm2string ($1));
1352                 Articulation_req *a = new Articulation_req;
1353                 if (gh_string_p (s))
1354                         a->set_mus_property ("articulation-type", s);
1355                 else THIS->parser_error (_ ("Expecting string as script definition"));
1356                 $$ = a;
1357         }
1358         ;
1359
1360 request_with_dir:
1361         script_dir request_that_take_dir        {
1362                 if (Script_req * gs = dynamic_cast<Script_req*> ($2))
1363                         gs->set_direction (Direction ($1));
1364                 else if ($1)
1365                         $2->origin ()->warning (_ ("Can't specify direction for this request"));
1366                 $$ = $2;
1367         }
1368         ;
1369         
1370 verbose_request:
1371         REQUEST_IDENTIFIER      {
1372                 $$ = dynamic_cast<Request*> (unsmob_music ($1)->clone ());
1373                 $$->set_spot (THIS->here_input ());
1374         }
1375         | DYNAMICSCRIPT embedded_scm {
1376                 /*
1377                         TODO: junkme, use text-type == dynamic
1378                 */
1379                 Text_script_req *d = new Text_script_req;
1380                 SCM dyn = ly_symbol2scm ("dynamic");
1381                 d->set_mus_property ("text-type" , dyn);
1382                 d->set_mus_property ("text", $2);
1383                 d->set_spot (THIS->here_input ());
1384                 $$ = d;
1385         }
1386         | SPANREQUEST bare_int STRING {
1387                 Span_req * sp_p = new Span_req;
1388                 sp_p->set_span_dir ( Direction ($2));
1389                 sp_p->set_mus_property ("span-type", $3);
1390                 sp_p->set_spot (THIS->here_input ());
1391                 $$ = sp_p;
1392         }
1393         | tremolo_type  {
1394                Tremolo_req* a = new Tremolo_req;
1395                a->set_spot (THIS->here_input ());
1396                a->set_mus_property ("tremolo-type", gh_int2scm ($1));
1397                $$ = a;
1398         }
1399         | SCRIPT STRING         { 
1400                 Articulation_req * a = new Articulation_req;
1401                 a->set_mus_property ("articulation-type", $2);
1402                 a->set_spot (THIS->here_input ());
1403                 $$ = a;
1404         }
1405         /*
1406 duh, junk this syntax from the parser, if possible. 
1407         */
1408         | ARPEGGIO {
1409                 Arpeggio_req *a = new Arpeggio_req;
1410                 a->set_spot (THIS->here_input ());
1411                 $$ = a;
1412         }
1413         | GLISSANDO {
1414                 Glissando_req *g = new Glissando_req;
1415                 g->set_spot /* No pun intended */ (THIS->here_input ());
1416                 $$ = g;
1417         }       
1418         ;
1419
1420 sup_quotes:
1421         '\'' {
1422                 $$ = 1;
1423         }
1424         | sup_quotes '\'' {
1425                 $$ ++;
1426         }
1427         ;
1428
1429 sub_quotes:
1430         ',' {
1431                 $$ = 1;
1432         }
1433         | sub_quotes ',' {
1434                 $$ ++ ;
1435         }
1436         ;
1437
1438 steno_pitch:
1439         NOTENAME_PITCH  {
1440                 $$ = $1;
1441         }
1442         | NOTENAME_PITCH sup_quotes     {
1443                 Pitch p = *unsmob_pitch ($1);
1444                 p.octave_i_ +=  $2;
1445                 $$ = p.smobbed_copy ();
1446         }
1447         | NOTENAME_PITCH sub_quotes      {
1448                 Pitch p =* unsmob_pitch ($1);
1449
1450                 p.octave_i_ +=  -$2;
1451                 $$ = p.smobbed_copy ();
1452
1453         }
1454         ;
1455
1456 /*
1457 ugh. duplication
1458 */
1459
1460 steno_tonic_pitch:
1461         TONICNAME_PITCH {
1462                 $$ = $1;
1463         }
1464         | TONICNAME_PITCH sup_quotes    {
1465                 Pitch p = *unsmob_pitch ($1);
1466                 p.octave_i_ +=  $2;
1467                 $$ = p.smobbed_copy ();
1468         }
1469         | TONICNAME_PITCH sub_quotes     {
1470                 Pitch p =* unsmob_pitch ($1);
1471
1472                 p.octave_i_ +=  -$2;
1473                 $$ = p.smobbed_copy ();
1474
1475         }
1476         ;
1477
1478 pitch:
1479         steno_pitch {
1480                 $$ = $1;
1481         }
1482         | explicit_pitch {
1483                 $$ = $1;
1484         }
1485         ;
1486
1487 explicit_pitch:
1488         PITCH embedded_scm {
1489                 $$ = $2;
1490                 if (!unsmob_pitch ($2)) {
1491                         THIS->parser_error (_f ("Expecting musical-pitch value", 3));
1492                          $$ = Pitch ().smobbed_copy ();
1493                 }
1494         }
1495         ;
1496
1497 verbose_duration:
1498         DURATION embedded_scm   {
1499                 $$ = $2;
1500                 if (!unsmob_duration ($2))
1501                 {
1502                         THIS->parser_error (_ ("Must have duration object"));
1503                         $$ = Duration ().smobbed_copy ();
1504                 }
1505         }
1506         ;
1507
1508 extender_req:
1509         EXTENDER {
1510                 if (!THIS->lexer_p_->lyric_state_b ())
1511                         THIS->parser_error (_ ("Have to be in Lyric mode for lyrics"));
1512                 $$ = new Extender_req;
1513         }
1514         ;
1515
1516 hyphen_req:
1517         HYPHEN {
1518                 if (!THIS->lexer_p_->lyric_state_b ())
1519                         THIS->parser_error (_ ("Have to be in Lyric mode for lyrics"));
1520                 $$ = new Hyphen_req;
1521         }
1522         ;
1523
1524 close_request:
1525         close_request_parens {
1526                 $$ = $1;
1527                 dynamic_cast<Span_req*> ($$)->set_span_dir ( START);
1528         }
1529         ;
1530  
1531 close_request_parens:
1532         '('     {
1533                 Span_req* s= new Span_req;
1534                 $$ = s;
1535                 s->set_mus_property ("span-type", ly_str02scm ( "slur"));
1536         }
1537         | E_OPEN        {
1538                 Span_req* s= new Span_req;
1539                 $$ = s;
1540                 s->set_mus_property ("span-type", ly_str02scm ( "phrasing-slur"));
1541         }
1542         | E_SMALLER {
1543                 Span_req*s =new Span_req;
1544                 $$ = s;
1545                 s->set_mus_property ("span-type", ly_str02scm ( "crescendo"));
1546         }
1547         | E_BIGGER {
1548                 Span_req*s =new Span_req;
1549                 $$ = s;
1550                 s->set_mus_property ("span-type", ly_str02scm ("decrescendo"));
1551         }
1552         ;
1553
1554
1555 open_request:
1556         open_request_parens {
1557                 $$ = $1;
1558                 dynamic_cast<Span_req*> ($$)->set_span_dir (STOP);
1559         }
1560         ;
1561
1562 open_request_parens:
1563         E_EXCLAMATION   {
1564                 Span_req *s =  new Span_req;
1565                 s->set_mus_property ("span-type", ly_str02scm ( "crescendo"));
1566
1567                 $$ = s;
1568         }
1569         | ')'   {
1570                 Span_req* s= new Span_req;
1571                 $$ = s;
1572                 s->set_mus_property ("span-type", ly_str02scm ( "slur"));
1573         }
1574         | E_CLOSE       {
1575                 Span_req* s= new Span_req;
1576                 $$ = s;
1577                 s->set_mus_property ("span-type", ly_str02scm ( "phrasing-slur"));
1578         }
1579         ;
1580
1581 gen_text_def:
1582         embedded_scm {
1583                 Text_script_req *t = new Text_script_req;
1584                 t->set_mus_property ("text", $1);
1585                 t->set_spot (THIS->here_input ());
1586                 $$ = t;
1587         }
1588         | string {
1589                 Text_script_req *t = new Text_script_req;
1590                 t->set_mus_property ("text", $1);
1591                 t->set_spot (THIS->here_input ());
1592                 $$ = t;
1593         }
1594         | DIGIT {
1595                 String ds = to_str ($1);
1596                 Text_script_req* t = new Text_script_req;
1597                 SCM finger = ly_symbol2scm ("finger");
1598                 t->set_mus_property ("text",  ly_str02scm (ds.ch_C ()));
1599                 t->set_mus_property ("text-type" , finger);
1600                 t->set_spot (THIS->here_input ());
1601                 $$ = t;
1602         }
1603         ;
1604
1605 script_abbreviation:
1606         '^'             {
1607                 $$ = gh_str02scm ("Hat");
1608         }
1609         | '+'           {
1610                 $$ = gh_str02scm ("Plus");
1611         }
1612         | '-'           {
1613                 $$ = gh_str02scm ("Dash");
1614         }
1615         | '|'           {
1616                 $$ = gh_str02scm ("Bar");
1617         }
1618         | '>'           {
1619                 $$ = gh_str02scm ("Larger");
1620         }
1621         | '.'           {
1622                 $$ = gh_str02scm ("Dot");
1623         }
1624         ;
1625
1626 script_dir:
1627         '_'     { $$ = DOWN; }
1628         | '^'   { $$ = UP; }
1629         | '-'   { $$ = CENTER; }
1630         ;
1631
1632 pre_requests:
1633         {
1634                 $$ = new Link_array<Request>;
1635         }
1636         | pre_requests open_request {
1637                 $$->push ($2);
1638         }
1639         ;
1640
1641 absolute_pitch:
1642         steno_pitch     {
1643                 $$ = $1;
1644         }
1645         ;
1646
1647 duration_length:
1648         multiplied_duration {
1649                 $$ = $1;
1650         }
1651         | verbose_duration {
1652                 $$ = $1;
1653         }       
1654         ;
1655
1656 optional_notemode_duration:
1657         {
1658                 Duration dd = THIS->default_duration_;
1659                 $$ = dd.smobbed_copy ();
1660
1661                 THIS->beam_check ($$);
1662         }
1663         | multiplied_duration   {
1664                 $$ = $1;
1665                 THIS->default_duration_ = *unsmob_duration ($$);
1666
1667                 THIS->beam_check ($$);
1668         }
1669         | verbose_duration {
1670                 $$ = $1;
1671                 THIS->default_duration_ = *unsmob_duration ($$);
1672         }       
1673         ;
1674
1675 steno_duration:
1676         bare_unsigned dots              {
1677                 int l = 0;
1678                 if (!is_duration_b ($1))
1679                         THIS->parser_error (_f ("not a duration: %d", $1));
1680                 else
1681                         l =  intlog2 ($1);
1682
1683                 $$ = Duration (l, $2).smobbed_copy ();
1684         }
1685         | DURATION_IDENTIFIER dots      {
1686                 Duration *d =unsmob_duration ($1);
1687                 Duration k (d->duration_log (),d->dot_count () + $2);
1688                 $$ = k.smobbed_copy ();
1689         }
1690         ;
1691
1692
1693
1694
1695 multiplied_duration:
1696         steno_duration {
1697                 $$ = $1;
1698         }
1699         | multiplied_duration '*' bare_unsigned {
1700                 $$ = unsmob_duration ($$)->compressed ( $3) .smobbed_copy ();
1701         }
1702         | multiplied_duration '*' FRACTION {
1703                 Rational  m (gh_scm2int (ly_car ($3)), gh_scm2int (ly_cdr ($3)));
1704
1705                 $$ = unsmob_duration ($$)->compressed (m).smobbed_copy ();
1706         }
1707         ;
1708
1709 fraction:
1710         FRACTION { $$ = $1; }
1711         | UNSIGNED '/' UNSIGNED {
1712                 $$ = gh_cons (gh_int2scm ($1), gh_int2scm ($3));
1713         }
1714         ;
1715
1716 dots:
1717         /* empty */     {
1718                 $$ = 0;
1719         }
1720         | dots '.' {
1721                 $$ ++;
1722         }
1723         ;
1724
1725
1726 tremolo_type: 
1727         ':'     {
1728                 $$ =0;
1729         }
1730         | ':' bare_unsigned {
1731                 if (!is_duration_b ($2))
1732                         THIS->parser_error (_f ("not a duration: %d", $2));
1733                 $$ = $2;
1734         }
1735         ;
1736
1737
1738 bass_number:
1739         DIGIT
1740         | UNSIGNED 
1741         ;
1742
1743 bass_mod:
1744         '-'     { $$ = -1; }
1745         | '+'   { $$ = 1; } 
1746         | '!'   { $$ = 0; }
1747         ;
1748
1749 bass_figure:
1750         FIGURE_SPACE {
1751                 Bass_figure_req *bfr = new Bass_figure_req;
1752                 $$ = bfr->self_scm();
1753                 scm_gc_unprotect_object ($$);
1754         }
1755         | bass_number  {
1756                 Bass_figure_req *bfr = new Bass_figure_req;
1757                 $$ = bfr->self_scm();
1758
1759                 bfr->set_mus_property ("figure", gh_int2scm ($1));
1760
1761                 scm_gc_unprotect_object ($$);
1762         }
1763         | bass_figure bass_mod {
1764                 Music *m = unsmob_music ($1);
1765                 if ($2) {
1766                         SCM salter =m->get_mus_property ("alteration");
1767                         int alter = gh_number_p( salter) ? gh_scm2int (salter) : 0;
1768                         m->set_mus_property ("alteration",
1769                                 gh_int2scm (alter + $2));
1770                 } else {
1771                         m->set_mus_property ("alteration", gh_int2scm (0));
1772                 }
1773         }
1774         ;
1775
1776 br_bass_figure:
1777         '[' bass_figure {
1778                 $$ = $2;
1779                 unsmob_music ($$)->set_mus_property ("bracket-start", SCM_BOOL_T);
1780         }
1781         | bass_figure   {
1782                 $$ = $1;
1783         }
1784         | br_bass_figure ']' {
1785                 $$ = $1;
1786                 unsmob_music ($1)->set_mus_property ("bracket-stop", SCM_BOOL_T);
1787         }
1788         ;
1789
1790 figure_list:
1791         /**/            {
1792                 $$ = SCM_EOL;
1793         }
1794         | figure_list br_bass_figure {
1795                 $$ = gh_cons ($2, $1); 
1796         }
1797         ;
1798
1799 figure_spec:
1800         FIGURE_OPEN figure_list FIGURE_CLOSE {
1801                 Music * m = new Request_chord (SCM_EOL);
1802                 $2 = scm_reverse_x ($2, SCM_EOL);
1803                 m->set_mus_property ("elements",  $2);
1804                 $$ = m->self_scm ();
1805         }
1806         ;
1807
1808
1809 optional_rest:
1810         /**/   { $$ = 0; }
1811         | REST { $$ = 1; }
1812         ;
1813
1814 simple_element:
1815         pitch exclamations questions optional_notemode_duration optional_rest {
1816
1817                 Input i = THIS->pop_spot ();
1818                 if (!THIS->lexer_p_->note_state_b ())
1819                         THIS->parser_error (_ ("Have to be in Note mode for notes"));
1820
1821                 Music *n = 0;
1822                 if ($5)
1823                         n =  new Rest_req ;
1824                 else
1825                         n =  new Note_req;
1826                 
1827                 n->set_mus_property ("pitch", $1);
1828                 n->set_mus_property ("duration", $4);
1829
1830
1831                 if ($3 % 2)
1832                         n->set_mus_property ("cautionary", SCM_BOOL_T);
1833                 if ($2 % 2 || $3 % 2)
1834                         n->set_mus_property ("force-accidental", SCM_BOOL_T);
1835
1836                 Simultaneous_music*v = new Request_chord (SCM_EOL);
1837                 v->set_mus_property ("elements", scm_list_n (n->self_scm (), SCM_UNDEFINED));
1838
1839                 v->set_spot (i);
1840                 n->set_spot (i);
1841                 $$ = v;
1842         }
1843         | figure_spec optional_notemode_duration {
1844                 Music * m = unsmob_music ($1);
1845                 Input i = THIS->pop_spot (); 
1846                 m->set_spot (i);
1847                 for (SCM s = m->get_mus_property ("elements"); gh_pair_p (s); s = ly_cdr (s))
1848                         {
1849                                 unsmob_music (ly_car (s))->set_mus_property ("duration", $2);
1850                         }
1851                 $$ = m;
1852         }       
1853         | RESTNAME optional_notemode_duration           {
1854
1855                 Input i = THIS->pop_spot ();
1856                 SCM e = SCM_UNDEFINED;
1857                 if (ly_scm2string ($1) =="s") {
1858                         /* Space */
1859                         Skip_req * skip_p = new Skip_req;
1860                         skip_p->set_mus_property ("duration" ,$2);
1861                         skip_p->set_spot (i);
1862                         e = skip_p->self_scm ();
1863                   }
1864                   else {
1865                         Rest_req * rest_req_p = new Rest_req;
1866                         rest_req_p->set_mus_property ("duration", $2);
1867                         rest_req_p->set_spot (i);
1868                         e = rest_req_p->self_scm ();
1869                     }
1870                 Simultaneous_music* velt_p = new Request_chord (SCM_EOL);
1871                 velt_p-> set_mus_property ("elements", scm_list_n (e,SCM_UNDEFINED));
1872                 velt_p->set_spot (i);
1873
1874                 $$ = velt_p;
1875         }
1876         | MULTI_MEASURE_REST optional_notemode_duration         {
1877                 Input i = THIS->pop_spot ();
1878
1879                 Skip_req * sk = new Skip_req;
1880                 sk->set_mus_property ("duration", $2);
1881                 Span_req *sp1 = new Span_req;
1882                 Span_req *sp2 = new Span_req;
1883                 sp1-> set_span_dir ( START);
1884                 sp2-> set_span_dir ( STOP);
1885                 SCM r = ly_str02scm ("rest");
1886                 sp1->set_mus_property ("span-type", r);
1887                 sp2->set_mus_property ("span-type", r);
1888
1889                 Request_chord * rqc1 = new Request_chord (SCM_EOL);
1890                 rqc1->set_mus_property ("elements", scm_list_n (sp1->self_scm (), SCM_UNDEFINED));
1891                 Request_chord * rqc2 = new Request_chord (SCM_EOL);
1892                 rqc2->set_mus_property ("elements", scm_list_n (sk->self_scm (), SCM_UNDEFINED));;
1893                 Request_chord * rqc3 = new Request_chord (SCM_EOL);
1894                 rqc3->set_mus_property ("elements", scm_list_n (sp2->self_scm (), SCM_UNDEFINED));;
1895
1896                 SCM ms = scm_list_n (rqc1->self_scm (), rqc2->self_scm (), rqc3->self_scm (), SCM_UNDEFINED);
1897
1898                 $$ = new Sequential_music (SCM_EOL);
1899                 $$->set_mus_property ("elements", ms);
1900         }
1901         | STRING optional_notemode_duration     {
1902                 Input i = THIS->pop_spot ();
1903
1904                 Lyric_req* lreq_p = new Lyric_req;
1905                 lreq_p->set_mus_property ("text", $1);
1906                 lreq_p->set_mus_property ("duration",$2);
1907                 lreq_p->set_spot (i);
1908                 Simultaneous_music* velt_p = new Request_chord (SCM_EOL);
1909                 velt_p->set_mus_property ("elements", scm_list_n (lreq_p->self_scm (), SCM_UNDEFINED));
1910
1911                 $$= velt_p;
1912         }
1913         | chord {
1914                 Input i = THIS->pop_spot ();
1915
1916                 if (!THIS->lexer_p_->chord_state_b ())
1917                         THIS->parser_error (_ ("Have to be in Chord mode for chords"));
1918                 $$ = $1;
1919         }
1920         ;
1921
1922
1923 chord:
1924         steno_tonic_pitch optional_notemode_duration chord_additions chord_subtractions chord_inversion chord_bass {
1925                 $$ = Chord::get_chord ($1, $3, $4, $5, $6, $2);
1926                 $$->set_spot (THIS->here_input ());
1927         };
1928
1929 chord_additions: 
1930         {
1931                 $$ = SCM_EOL;
1932         } 
1933         | CHORD_COLON chord_notes {
1934                 $$ = $2;
1935         }
1936         ;
1937
1938 chord_notes:
1939         chord_step {
1940                 $$ = $1
1941         }
1942         | chord_notes '.' chord_step {
1943                 $$ = gh_append2 ($$, $3);
1944         }
1945         ;
1946
1947 chord_subtractions: 
1948         {
1949                 $$ = SCM_EOL;
1950         } 
1951         | CHORD_CARET chord_notes {
1952                 $$ = $2;
1953         }
1954         ;
1955
1956
1957 chord_inversion:
1958         {
1959                 $$ = SCM_EOL;
1960         }
1961         | '/' steno_tonic_pitch {
1962                 $$ = $2;
1963         }
1964         ;
1965
1966 chord_bass:
1967         {
1968                 $$ = SCM_EOL;
1969         }
1970         | CHORD_BASS steno_tonic_pitch {
1971                 $$ = $2;
1972         }
1973         ;
1974
1975 chord_step:
1976         chord_note {
1977                 $$ = gh_cons ($1, SCM_EOL);
1978         }
1979         | CHORDMODIFIER_PITCH {
1980                 $$ = gh_cons (unsmob_pitch ($1)->smobbed_copy (), SCM_EOL);
1981         }
1982         | CHORDMODIFIER_PITCH chord_note { /* Ugh. */
1983                 $$ = scm_list_n (unsmob_pitch ($1)->smobbed_copy (),
1984                         $2, SCM_UNDEFINED);
1985         }
1986         ;
1987
1988 chord_note:
1989         bare_unsigned {
1990                  Pitch m;
1991                 m.notename_i_ = ($1 - 1) % 7;
1992                 m.octave_i_ = $1 > 7 ? 1 : 0;
1993                 m.alteration_i_ = 0;
1994
1995                 $$ = m.smobbed_copy ();
1996         } 
1997         | bare_unsigned '+' {
1998                 Pitch m;
1999                 m.notename_i_ = ($1 - 1) % 7;
2000                 m.octave_i_ = $1 > 7 ? 1 : 0;
2001                 m.alteration_i_ = 1;
2002
2003
2004                 $$ = m.smobbed_copy ();
2005         }
2006         | bare_unsigned CHORD_MINUS {
2007                 Pitch m;
2008                 m.notename_i_ = ($1 - 1) % 7;
2009                 m.octave_i_ = $1 > 7 ? 1 : 0;
2010                 m.alteration_i_ = -1;
2011
2012                 $$ = m.smobbed_copy ();
2013         }
2014         ;
2015
2016 /*
2017         UTILITIES
2018  */
2019 number_expression:
2020         number_expression '+' number_term {
2021                 $$ = scm_sum ($1, $3);
2022         }
2023         | number_expression '-' number_term {
2024                 $$ = scm_difference ($1, $3);
2025         }
2026         | number_term 
2027         ;
2028
2029 number_term:
2030         number_factor {
2031                 $$ = $1;
2032         }
2033         | number_factor '*' number_factor {
2034                 $$ = scm_product ($1, $3);
2035         }
2036         | number_factor '/' number_factor {
2037                 $$ = scm_divide ($1, $3);
2038         }
2039         ;
2040
2041 number_factor:
2042         '(' number_expression ')'       {
2043                 $$ = $2;
2044         }
2045         | '-'  number_factor { /* %prec UNARY_MINUS */
2046                 $$ = scm_difference ($2, SCM_UNDEFINED);
2047         }
2048         | bare_number
2049         ;
2050
2051
2052 bare_number:
2053         UNSIGNED        {
2054                 $$ = gh_int2scm ($1);
2055         }
2056         | REAL          {
2057                 $$ = $1;
2058         }
2059         | NUMBER_IDENTIFIER             {
2060                 $$ = $1;
2061         }
2062         | REAL CM_T     {
2063                 $$ = gh_double2scm (gh_scm2double ($1) CM );
2064         }
2065         | REAL PT_T     {
2066                 $$ = gh_double2scm (gh_scm2double ($1) PT);
2067         }
2068         | REAL IN_T     {
2069                 $$ = gh_double2scm (gh_scm2double ($1) INCH);
2070         }
2071         | REAL MM_T     {
2072                 $$ = gh_double2scm (gh_scm2double ($1) MM);
2073         }
2074         | REAL CHAR_T   {
2075                 $$ = gh_double2scm (gh_scm2double ($1) CHAR);
2076         }
2077         ;
2078
2079
2080 bare_unsigned:
2081         UNSIGNED {
2082                         $$ = $1;
2083         }
2084         | DIGIT {
2085                 $$ = $1;
2086         }
2087         ;
2088
2089 bare_int:
2090         bare_number {
2091                 if (scm_integer_p ($1) == SCM_BOOL_T)
2092                 {
2093                         int k = gh_scm2int ($1);
2094                         $$ = k;
2095                 } else
2096                 {
2097                         THIS->parser_error (_ ("need integer number arg"));
2098                         $$ = 0;
2099                 }
2100         }
2101         | '-' bare_int {
2102                 $$ = -$2;
2103         }
2104         ;
2105
2106
2107 string:
2108         STRING          {
2109                 $$ = $1;
2110         }
2111         | STRING_IDENTIFIER     {
2112                 $$ = $1;
2113         }
2114         | string '+' string {
2115                 $$ = scm_string_append (scm_list_n ($1, $3, SCM_UNDEFINED));
2116         }
2117         ;
2118
2119
2120 exclamations:
2121                 { $$ = 0; }
2122         | exclamations '!'      { $$ ++; }
2123         ;
2124
2125 questions:
2126                 { $$ = 0; }
2127         | questions '?' { $$ ++; }
2128         ;
2129
2130
2131 %%
2132
2133 void
2134 My_lily_parser::set_yydebug (bool )
2135 {
2136 #if 0
2137         yydebug = b;
2138 #endif
2139 }
2140
2141 extern My_lily_parser * current_parser;
2142
2143 void
2144 My_lily_parser::do_yyparse ()
2145 {
2146
2147         current_parser = this;;
2148         yyparse ((void*)this);
2149 }
2150
2151
2152 /*
2153 Should make this optional?    It will also complain when you do
2154
2155         [s4]
2156
2157 which is entirely legitimate.
2158
2159 Or we can scrap it. Barchecks should detect wrong durations, and
2160 skipTypesetting speeds it up a lot.
2161 */
2162 void
2163 My_lily_parser::beam_check (SCM dur)
2164 {
2165   Duration *d = unsmob_duration (dur);
2166   if (unsmob_music (last_beam_start_) && d->duration_log () <= 2)
2167     {
2168       Music * m = unsmob_music (last_beam_start_);
2169       m->origin ()->warning (_("Suspect duration found following this beam"));
2170     }
2171   last_beam_start_ = SCM_EOL;
2172 }