]> git.donarmstrong.com Git - lilypond.git/blobdiff - lily/parser.yy
contributors: add David Nalesnik.
[lilypond.git] / lily / parser.yy
index c26f2aae63806f409a745a9f08eb84868df209ba..35252bcb6e84f9fba33a6e6f2dbe43ef265286a0 100644 (file)
@@ -29,9 +29,6 @@
 
 %{
 
-#define YYDEBUG 1
-#define YYERROR_VERBOSE 1
-
 #define yyerror Lily_parser::parser_error
 
 /* We use custom location type: Input objects */
@@ -44,6 +41,8 @@
 
 %parse-param {Lily_parser *parser}
 %lex-param {Lily_parser *parser}
+%error-verbose
+%debug
 
 /* We use SCMs to do strings, because it saves us the trouble of
 deleting them.  Let's hope that a stack overflow doesn't trigger a move
@@ -241,6 +240,7 @@ void set_music_properties (Music *p, SCM a);
 */
 
 /* Keyword tokens with plain escaped name.  */
+%token END_OF_FILE 0 "end of input"
 %token ACCEPTS "\\accepts"
 %token ADDLYRICS "\\addlyrics"
 %token ALIAS "\\alias"
@@ -405,6 +405,8 @@ If we give names, Bison complains.
 %type <scm> music_bare
 %type <scm> music_arg
 %type <scm> music_assign
+%type <scm> music_embedded
+%type <scm> music_or_context_def
 %type <scm> complex_music
 %type <scm> complex_music_prefix
 %type <scm> mode_changed_music
@@ -459,6 +461,8 @@ If we give names, Bison complains.
 %type <scm> context_def_spec_block
 %type <scm> context_def_spec_body
 %type <scm> context_mod
+%type <scm> context_mod_arg
+%type <scm> context_mod_embedded
 %type <scm> context_mod_list
 %type <scm> context_prop_spec
 %type <scm> direction_less_char
@@ -472,13 +476,14 @@ If we give names, Bison complains.
 %type <scm> event_function_event
 %type <scm> figure_list
 %type <scm> figure_spec
-%type <scm> fraction
 %type <scm> full_markup
 %type <scm> full_markup_list
 %type <scm> function_arglist
 %type <scm> function_arglist_optional
 %type <scm> function_arglist_backup
 %type <scm> function_arglist_nonbackup
+%type <scm> function_arglist_nonbackup_common
+%type <scm> function_arglist_closed_nonbackup
 %type <scm> function_arglist_skip
 %type <scm> function_arglist_bare
 %type <scm> function_arglist_closed
@@ -492,7 +497,6 @@ If we give names, Bison complains.
 %type <scm> identifier_init
 %type <scm> lilypond
 %type <scm> lilypond_header
-%type <scm> lilypond_header_body
 %type <scm> lyric_element
 %type <scm> lyric_element_arg
 %type <scm> lyric_element_music
@@ -561,7 +565,7 @@ start_symbol:
        lilypond
        | EMBEDDED_LILY {
                SCM nn = parser->lexer_->lookup_identifier ("pitchnames");
-               parser->lexer_->push_note_state (alist_to_hashq (nn));
+               parser->lexer_->push_note_state (nn);
        } embedded_lilypond {
                parser->lexer_->pop_state ();
                parser->lexer_->set_identifier (ly_symbol2scm ("parseStringResult"), $3);
@@ -583,8 +587,10 @@ lilypond:  /* empty */ { }
 
 
 toplevel_expression:
-       lilypond_header {
-               parser->lexer_->set_identifier (ly_symbol2scm ("$defaultheader"), $1);
+       {
+               parser->lexer_->add_scope (get_header (parser));
+       } lilypond_header {
+               parser->lexer_->set_identifier (ly_symbol2scm ("$defaultheader"), $2);
        }
        | book_block {
                Book *book = $1;
@@ -637,7 +643,7 @@ toplevel_expression:
 embedded_scm_bare:
        SCM_TOKEN
        {
-               $$ = parser->lexer_->eval_scm ($1);
+               $$ = parser->lexer_->eval_scm_token ($1);
        }
        | SCM_IDENTIFIER
        ;
@@ -698,9 +704,13 @@ embedded_lilypond:
                $$ = MAKE_SYNTAX ("void-music", @$);
        }
        | identifier_init
-       | music music music_list {
-               $$ = MAKE_SYNTAX ("sequential-music", @$,       
-                                 scm_cons2 ($1, $2, scm_reverse_x ($3, SCM_EOL)));
+       | music_embedded music_embedded music_list {
+               $3 = scm_reverse_x ($3, SCM_EOL);
+               if (unsmob_music ($2))
+                       $3 = scm_cons ($2, $3);
+               if (unsmob_music ($1))
+                       $3 = scm_cons ($1, $3);
+               $$ = MAKE_SYNTAX ("sequential-music", @$, $3);
        }
        | error {
                parser->error_level_ = 1;
@@ -712,10 +722,7 @@ embedded_lilypond:
 
 
 lilypond_header_body:
-       {
-               $$ = get_header (parser);
-               parser->lexer_->add_scope ($$);
-       }
+       /* empty */
        | lilypond_header_body assignment  {
 
        }
@@ -784,6 +791,9 @@ identifier_init:
        | number_expression {
                $$ = $1;
        }
+       | FRACTION {
+               $$ = $1;
+       }
        | string {
                $$ = $1;
        }
@@ -808,6 +818,27 @@ context_def_spec_block:
        }
        ;
 
+context_mod_arg:
+       embedded_scm
+       | composite_music
+       ;
+
+context_mod_embedded:
+       context_mod_arg
+       {
+               if (unsmob_music ($1)) {
+                       SCM proc = parser->lexer_->lookup_identifier ("context-mod-music-handler");
+                       $1 = scm_call_2 (proc, parser->self_scm (), $1);
+               }
+               if (unsmob_context_mod ($1))
+                       $$ = $1;
+               else {
+                       parser->parser_error (@1, _ ("not a context mod"));
+               }
+       }
+       ;
+
+
 context_def_spec_body:
        /**/ {
                $$ = Context_def::make_scm ();
@@ -817,18 +848,6 @@ context_def_spec_body:
                $$ = $1;
                unsmob_context_def ($$)->origin ()->set_spot (@$);
        }
-       | context_def_spec_body embedded_scm {
-               if (Context_mod *cm = unsmob_context_mod ($2)) {
-                       SCM p = cm->get_mods ();
-                       Context_def*td = unsmob_context_def ($$);
-
-                       for (; scm_is_pair (p); p = scm_cdr (p)) {
-                               td->add_context_mod (scm_car (p));
-                       }
-               } else {
-                       parser->parser_error (@2, _ ("not a context mod"));
-               }
-       }
        | context_def_spec_body context_mod {
                unsmob_context_def ($$)->add_context_mod ($2);
        }
@@ -839,6 +858,13 @@ context_def_spec_body:
                     td->add_context_mod (scm_car (m));
                 }
        }
+       | context_def_spec_body context_mod_embedded {
+                Context_def *td = unsmob_context_def ($$);
+                SCM new_mods = unsmob_context_mod ($2)->get_mods ();
+                for (SCM m = new_mods; scm_is_pair (m); m = scm_cdr (m)) {
+                    td->add_context_mod (scm_car (m));
+                }
+       }
        ;
 
 
@@ -862,7 +888,7 @@ book_body:
                $$->paper_ = dynamic_cast<Output_def*> (unsmob_output_def (parser->lexer_->lookup_identifier ("$defaultpaper"))->clone ());
                $$->paper_->unprotect ();
                push_paper (parser, $$->paper_);
-               $$->header_ = parser->lexer_->lookup_identifier ("$defaultheader");
+               $$->header_ = get_header (parser);
                parser->lexer_->set_identifier (ly_symbol2scm ("$current-book"), $$->self_scm ());
        }
        | BOOK_IDENTIFIER {
@@ -901,9 +927,10 @@ book_body:
                SCM proc = parser->lexer_->lookup_identifier ("book-text-handler");
                scm_call_2 (proc, $$->self_scm (), $2);
        }
-       | book_body lilypond_header {
-               $$->header_ = $2;
-       }
+       | book_body
+       {
+               parser->lexer_->add_scope ($1->header_);
+       } lilypond_header
        | book_body embedded_scm { }
        | book_body error {
                $$->paper_ = 0;
@@ -954,9 +981,12 @@ bookpart_body:
                SCM proc = parser->lexer_->lookup_identifier ("bookpart-text-handler");
                scm_call_2 (proc, $$->self_scm (), $2);
        }
-       | bookpart_body lilypond_header {
-               $$->header_ = $2;
-       }
+       | bookpart_body
+       {
+               if (!ly_is_module ($1->header_))
+                       $1->header_ = ly_make_module (false);
+               parser->lexer_->add_scope ($1->header_);
+       } lilypond_header
        | bookpart_body embedded_scm { }
        | bookpart_body error {
                $$->paper_ = 0;
@@ -986,9 +1016,12 @@ score_body:
                $$->protect ();
                $$->origin ()->set_spot (@$);
        }
-       | score_body lilypond_header    {
-               $$->set_header ($2);
-       }
+       | score_body
+       {
+               if (!ly_is_module ($1->get_header ()))
+                       $1->set_header (ly_make_module (false));
+               parser->lexer_->add_scope ($1->get_header ());
+       } lilypond_header
        | score_body output_def {
                if ($2->lookup_variable (ly_symbol2scm ("is-paper")) == SCM_BOOL_T)
                {
@@ -1059,6 +1092,25 @@ output_def_head_with_mode_switch:
        }
        ;
 
+// We need this weird nonterminal because both music as well as a
+// context definition can start with \context and the difference is
+// only apparent after looking at the next token.  If it is '{', there
+// is still time to escape from notes mode.
+
+music_or_context_def:
+       music_arg
+       {
+               parser->lexer_->pop_state ();
+       }
+       | CONTEXT
+       {
+               parser->lexer_->pop_state ();
+       } '{' context_def_spec_body '}'
+       {
+               $$ = $4;
+       }
+       ;
+
 output_def_body:
        output_def_head_with_mode_switch '{' {
                $$ = $1;
@@ -1077,8 +1129,21 @@ output_def_body:
        | output_def_body assignment  {
 
        }
-       | output_def_body context_def_spec_block        {
-               assign_context_def ($$, $2);
+       | output_def_body
+       {
+               SCM nn = parser->lexer_->lookup_identifier ("pitchnames");
+               parser->lexer_->push_note_state (nn);
+       } music_or_context_def
+       {
+               if (unsmob_context_def ($3))
+                       assign_context_def ($$, $3);
+               else {
+
+                       SCM proc = parser->lexer_->lookup_identifier
+                                    ("output-def-music-handler");
+                       scm_call_3 (proc, parser->self_scm (),
+                                   $1->self_scm (), $3);
+               }
        }
        | output_def_body error {
 
@@ -1104,11 +1169,9 @@ music_list:
        /* empty */ {
                $$ = SCM_EOL;
        }
-       | music_list music {
-               $$ = scm_cons ($2, $1);
-       }
-       | music_list embedded_scm {
-
+       | music_list music_embedded {
+               if (unsmob_music ($2))
+                       $$ = scm_cons ($2, $1);
        }
        | music_list error {
                Music *m = MY_MAKE_MUSIC("Music", @$);
@@ -1130,6 +1193,21 @@ music:   music_arg
        | lyric_element_music
        ;
 
+music_embedded:
+       music
+       | embedded_scm
+       {
+               if (unsmob_music ($1)
+                   || scm_is_eq ($1, SCM_UNSPECIFIED))
+                       $$ = $1;
+               else
+               {
+                       @$.warning (_ ("Ignoring non-music expression"));
+                       $$ = SCM_UNSPECIFIED;
+               }
+       }
+       ;
+
 music_arg:
        simple_music
        {
@@ -1232,12 +1310,9 @@ context_mod_list:
                  if (md)
                      unsmob_context_mod ($1)->add_context_mods (md->get_mods ());
         }
-       | context_mod_list embedded_scm {
-               Context_mod *md = unsmob_context_mod ($2);
-               if (md)
-                       unsmob_context_mod ($1)->add_context_mods (md->get_mods ());
-               else
-                       parser->parser_error (@2, _ ("not a context mod"));
+       | context_mod_list context_mod_embedded {
+               unsmob_context_mod ($1)->add_context_mods
+                       (unsmob_context_mod ($2)->get_mods ());
         }
         ;
 
@@ -1287,21 +1362,13 @@ function_arglist_skip:
        ;
 
 
-function_arglist_nonbackup:
+function_arglist_nonbackup_common:
        EXPECT_OPTIONAL EXPECT_PITCH function_arglist pitch_also_in_chords {
                $$ = scm_cons ($4, $3);
        }
        | EXPECT_OPTIONAL EXPECT_DURATION function_arglist_closed duration_length {
                $$ = scm_cons ($4, $3);
        }
-       | EXPECT_OPTIONAL EXPECT_SCM function_arglist embedded_scm_arg_closed
-       {
-               $$ = check_scheme_arg (parser, @4, $4, $3, $2);
-       }
-       | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed bare_number_closed
-       {
-               $$ = check_scheme_arg (parser, @4, $4, $3, $2);
-       }
        | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed FRACTION
        {
                $$ = check_scheme_arg (parser, @4, $4, $3, $2);
@@ -1340,6 +1407,29 @@ function_arglist_nonbackup:
        }
        ;
 
+function_arglist_closed_nonbackup:
+       function_arglist_nonbackup_common
+       | EXPECT_OPTIONAL EXPECT_SCM function_arglist embedded_scm_arg_closed
+       {
+               $$ = check_scheme_arg (parser, @4, $4, $3, $2);
+       }
+       | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed bare_number_closed
+       {
+               $$ = check_scheme_arg (parser, @4, $4, $3, $2);
+       }
+       ;
+
+function_arglist_nonbackup:
+       function_arglist_nonbackup_common
+       | EXPECT_OPTIONAL EXPECT_SCM function_arglist embedded_scm_arg
+       {
+               $$ = check_scheme_arg (parser, @4, $4, $3, $2);
+       }
+       | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed bare_number
+       {
+               $$ = check_scheme_arg (parser, @4, $4, $3, $2);
+       }
+       ;
 
 function_arglist_keep:
        function_arglist_common
@@ -1493,11 +1583,6 @@ function_arglist_backup:
                $$ = check_scheme_arg (parser, @3,
                                       $3, $1, $2);
        }
-       | function_arglist_backup REPARSE fraction
-       {
-               $$ = check_scheme_arg (parser, @3,
-                                      $3, $1, $2);
-       }
        ;
 
 function_arglist:
@@ -1517,7 +1602,7 @@ function_arglist_common:
                $$ = check_scheme_arg (parser, @3,
                                       $3, $2, $1);
        }
-       | EXPECT_SCM function_arglist_closed_optional fraction
+       | EXPECT_SCM function_arglist_closed_optional FRACTION
        {
                $$ = check_scheme_arg (parser, @3,
                                       $3, $2, $1);
@@ -1608,7 +1693,7 @@ function_arglist_common_minus:
 
 function_arglist_closed:
        function_arglist_closed_common
-       | function_arglist_nonbackup
+       | function_arglist_closed_nonbackup
        ;
 
 function_arglist_closed_common:
@@ -1656,7 +1741,7 @@ function_arglist_closed_common:
                $$ = check_scheme_arg (parser, @3,
                                       $3, $2, $1);
        }
-       | EXPECT_SCM function_arglist_closed_optional fraction
+       | EXPECT_SCM function_arglist_closed_optional FRACTION
        {
                $$ = check_scheme_arg (parser, @3,
                                       $3, $2, $1);
@@ -1804,14 +1889,14 @@ mode_changed_music:
 mode_changing_head:
        NOTEMODE {
                SCM nn = parser->lexer_->lookup_identifier ("pitchnames");
-               parser->lexer_->push_note_state (alist_to_hashq (nn));
+               parser->lexer_->push_note_state (nn);
 
                $$ = ly_symbol2scm ("notes");
        }
        | DRUMMODE
                {
                SCM nn = parser->lexer_->lookup_identifier ("drumPitchNames");
-               parser->lexer_->push_note_state (alist_to_hashq (nn));
+               parser->lexer_->push_note_state (nn);
 
                $$ = ly_symbol2scm ("drums");
        }
@@ -1824,7 +1909,7 @@ mode_changing_head:
                SCM nn = parser->lexer_->lookup_identifier ("chordmodifiers");
                parser->lexer_->chordmodifier_tab_ = alist_to_hashq (nn);
                nn = parser->lexer_->lookup_identifier ("pitchnames");
-               parser->lexer_->push_chord_state (alist_to_hashq (nn));
+               parser->lexer_->push_chord_state (nn);
                $$ = ly_symbol2scm ("chords");
 
        }
@@ -1837,7 +1922,7 @@ mode_changing_head:
 mode_changing_head_with_context:
        DRUMS {
                SCM nn = parser->lexer_->lookup_identifier ("drumPitchNames");
-               parser->lexer_->push_note_state (alist_to_hashq (nn));
+               parser->lexer_->push_note_state (nn);
 
                $$ = ly_symbol2scm ("DrumStaff");
        }
@@ -1850,7 +1935,7 @@ mode_changing_head_with_context:
                SCM nn = parser->lexer_->lookup_identifier ("chordmodifiers");
                parser->lexer_->chordmodifier_tab_ = alist_to_hashq (nn);
                nn = parser->lexer_->lookup_identifier ("pitchnames");
-               parser->lexer_->push_chord_state (alist_to_hashq (nn));
+               parser->lexer_->push_chord_state (nn);
                $$ = ly_symbol2scm ("ChordNames");
        }
        | LYRICS
@@ -2041,12 +2126,14 @@ simple_string: STRING {
 scalar:
        embedded_scm_arg
        | bare_number
+       | FRACTION
        | lyric_element
        ;
 
 scalar_closed:
        embedded_scm_arg_closed
        | bare_number
+       | FRACTION
        | lyric_element
        ;
 
@@ -2577,13 +2664,6 @@ multiplied_duration:
        }
        ;
 
-fraction:
-       FRACTION { $$ = $1; }
-       | UNSIGNED '/' UNSIGNED {
-               $$ = scm_cons ($1, $3);
-       }
-       ;
-
 dots:
        /* empty */     {
                $$ = 0;
@@ -3137,7 +3217,7 @@ simple_markup:
        }
        | SCORE {
                SCM nn = parser->lexer_->lookup_identifier ("pitchnames");
-               parser->lexer_->push_note_state (alist_to_hashq (nn));
+               parser->lexer_->push_note_state (nn);
        } '{' score_body '}' {
                Score * sc = $4;
                $$ = scm_list_2 (ly_lily_module_constant ("score-markup"), sc->self_scm ());