1 /* -*- mode: c++; c-file-style: "linux"; indent-tabs-mode: t -*- */
3 This file is part of LilyPond, the GNU music typesetter.
5 Copyright (C) 1997--2012 Han-Wen Nienhuys <hanwen@xs4all.nl>
6 Jan Nieuwenhuizen <janneke@gnu.org>
8 LilyPond is free software: you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation, either version 3 of the License, or
11 (at your option) any later version.
13 LilyPond is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with LilyPond. If not, see <http://www.gnu.org/licenses/>.
22 /* Mode and indentation are at best a rough approximation based on TAB
23 * formatting (reasonable for compatibility with unspecific editor
24 * modes as Bison modes are hard to find) and need manual correction
25 * frequently. Without a reasonably dependable way of formatting a
26 * Bison file sensibly, there is little point in trying to fix the
27 * inconsistent state of indentation.
32 #define yyerror Lily_parser::parser_error
34 /* We use custom location type: Input objects */
37 #define YYLLOC_DEFAULT(Current,Rhs,N) \
38 ((Current).set_location ((Rhs)[1], (Rhs)[N]))
40 #define YYPRINT(file, type, value) \
42 if (scm_is_eq (value, SCM_UNSPECIFIED)) \
44 char *p = scm_to_locale_string \
45 (scm_simple_format (SCM_BOOL_F, \
46 scm_from_locale_string ("~S"), \
47 scm_list_1 (value))); \
54 %parse-param {Lily_parser *parser}
55 %parse-param {SCM *retval}
56 %lex-param {Lily_parser *parser}
60 /* We use SCMs to do strings, because it saves us the trouble of
61 deleting them. Let's hope that a stack overflow doesn't trigger a move
62 of the parse stack onto the heap. */
68 /* The above precedences tackle the shift/reduce problem
71 \repeat .. \alternative
73 \repeat { \repeat .. \alternative }
77 \repeat { \repeat } \alternative
83 /* ADDLYRICS needs to have lower precedence than argument scanning,
84 * or we won't be able to tell music apart from closed_music without
85 * lookahead in the context of function calls.
90 /* \default is only applied after exhausting function arguments */
92 %nonassoc FUNCTION_ARGLIST
94 /* expressions with units are permitted into argument lists */
96 %right PITCH_IDENTIFIER NOTENAME_PITCH TONICNAME_PITCH
97 UNSIGNED REAL DURATION_IDENTIFIER ':'
99 /* The above are the symbols that can start optional function arguments
100 that are recognized in the grammar rather than by predicate
103 %nonassoc NUMBER_IDENTIFIER '/'
105 /* Number-unit expressions, where permitted, are concatenated into
106 * function arguments, just like fractions and tremoli. Tremoli must
107 * not have higher precedence than UNSIGNED, or Lilypond will not
108 * join ':' with a following optional number.
121 %{ // -*-Fundamental-*-
126 * The rules for who is protecting what are very shady. Uniformise
129 * There are too many lexical modes?
140 #include "context-def.hh"
141 #include "context-mod.hh"
142 #include "dimensions.hh"
143 #include "file-path.hh"
145 #include "international.hh"
146 #include "lily-guile.hh"
147 #include "lily-lexer.hh"
148 #include "lily-parser.hh"
152 #include "output-def.hh"
153 #include "paper-book.hh"
154 #include "scm-hash.hh"
156 #include "text-interface.hh"
160 Lily_parser::parser_error (Input const *i, Lily_parser *parser, SCM *, string s)
162 parser->parser_error (*i, s);
165 #define MYBACKUP(Token, Value, Location) \
167 if (yychar == YYEMPTY) \
170 parser->lexer_->push_extra_token (Token, Value); \
171 parser->lexer_->push_extra_token (BACKUP); \
173 parser->parser_error \
174 (Location, _("Too much lookahead")); \
179 #define MYREPARSE(Location, Pred, Token, Value) \
181 if (yychar == YYEMPTY) \
183 parser->lexer_->push_extra_token (Token, Value); \
184 parser->lexer_->push_extra_token (REPARSE, \
187 parser->parser_error \
188 (Location, _("Too much lookahead")); \
197 #define MY_MAKE_MUSIC(x, spot) \
198 make_music_with_input (ly_symbol2scm (x), \
199 parser->lexer_->override_input (spot))
202 - Don't use lily module, create a new module instead.
203 - delay application of the function
205 #define LOWLEVEL_MAKE_SYNTAX(proc, args) \
206 scm_apply_0 (proc, args)
207 /* Syntactic Sugar. */
208 #define MAKE_SYNTAX(name, location, ...) \
209 LOWLEVEL_MAKE_SYNTAX (ly_lily_module_constant (name), scm_list_n (parser->self_scm (), make_input (parser->lexer_->override_input (location)), ##__VA_ARGS__, SCM_UNDEFINED))
210 #define START_MAKE_SYNTAX(name, ...) \
211 scm_list_n (ly_lily_module_constant (name) , ##__VA_ARGS__, SCM_UNDEFINED)
212 #define FINISH_MAKE_SYNTAX(start, location, ...) \
213 LOWLEVEL_MAKE_SYNTAX (scm_car (start), scm_cons2 (parser->self_scm (), make_input (parser->lexer_->override_input (location)), scm_append_x (scm_list_2 (scm_cdr (start), scm_list_n (__VA_ARGS__, SCM_UNDEFINED)))))
215 SCM get_next_unique_context_id ();
216 SCM get_next_unique_lyrics_context_id ();
223 #define _(x) gettext (x)
227 static Music *make_music_with_input (SCM name, Input where);
228 SCM check_scheme_arg (Lily_parser *parser, Input loc,
229 SCM arg, SCM args, SCM pred, SCM disp = SCM_UNDEFINED);
230 SCM make_music_from_simple (Lily_parser *parser, Input loc, SCM pitch);
231 SCM loc_on_music (Input loc, SCM arg);
232 SCM make_chord_elements (Input loc, SCM pitch, SCM dur, SCM modification_list);
233 SCM make_chord_step (SCM step, Rational alter);
234 SCM make_simple_markup (SCM a);
235 bool is_duration (int t);
236 bool is_regular_identifier (SCM id, bool multiple=false);
237 SCM try_string_variants (SCM pred, SCM str);
238 int yylex (YYSTYPE *s, YYLTYPE *loc, Lily_parser *parser);
242 /* The third option is an alias that will be used to display the
243 syntax error. Bison CVS now correctly handles backslash escapes.
245 FIXME: Bison needs to translate some of these, eg, STRING.
249 /* Keyword tokens with plain escaped name. */
250 %token END_OF_FILE 0 "end of input"
251 %token ACCEPTS "\\accepts"
252 %token ADDLYRICS "\\addlyrics"
253 %token ALIAS "\\alias"
254 %token ALTERNATIVE "\\alternative"
256 %token BOOKPART "\\bookpart"
257 %token CHANGE "\\change"
258 %token CHORDMODE "\\chordmode"
259 %token CHORDS "\\chords"
260 %token CONSISTS "\\consists"
261 %token CONTEXT "\\context"
262 %token DEFAULT "\\default"
263 %token DEFAULTCHILD "\\defaultchild"
264 %token DENIES "\\denies"
265 %token DESCRIPTION "\\description"
266 %token DRUMMODE "\\drummode"
267 %token DRUMS "\\drums"
268 %token FIGUREMODE "\\figuremode"
269 %token FIGURES "\\figures"
270 %token HEADER "\\header"
271 %token INVALID "\\version-error"
272 %token LAYOUT "\\layout"
273 %token LYRICMODE "\\lyricmode"
274 %token LYRICS "\\lyrics"
275 %token LYRICSTO "\\lyricsto"
276 %token MARKUP "\\markup"
277 %token MARKUPLIST "\\markuplist"
280 %token NOTEMODE "\\notemode"
281 %token OVERRIDE "\\override"
282 %token PAPER "\\paper"
283 %token REMOVE "\\remove"
284 %token REPEAT "\\repeat"
286 %token REVERT "\\revert"
287 %token SCORE "\\score"
288 %token SEQUENTIAL "\\sequential"
290 %token SIMULTANEOUS "\\simultaneous"
291 %token TEMPO "\\tempo"
293 %token UNSET "\\unset"
296 /* Keyword token exceptions. */
297 %token NEWCONTEXT "\\new"
300 /* Other string tokens. */
302 %token CHORD_BASS "/+"
303 %token CHORD_CARET "^"
304 %token CHORD_COLON ":"
305 %token CHORD_MINUS "-"
306 %token CHORD_SLASH "/"
307 %token ANGLE_OPEN "<"
308 %token ANGLE_CLOSE ">"
309 %token DOUBLE_ANGLE_OPEN "<<"
310 %token DOUBLE_ANGLE_CLOSE ">>"
311 %token E_BACKSLASH "\\"
312 %token E_ANGLE_CLOSE "\\>"
313 %token E_CHAR "\\C[haracter]"
315 %token E_EXCLAMATION "\\!"
316 %token E_BRACKET_OPEN "\\["
318 %token E_BRACKET_CLOSE "\\]"
319 %token E_ANGLE_OPEN "\\<"
325 If we give names, Bison complains.
327 %token FIGURE_CLOSE /* "\\>" */
328 %token FIGURE_OPEN /* "\\<" */
329 %token FIGURE_SPACE "_"
332 %token CHORDMODIFIERS
333 %token MULTI_MEASURE_REST
339 /* Artificial tokens, for more generic function syntax */
340 %token EXPECT_MARKUP "markup?"
341 %token EXPECT_PITCH "ly:pitch?"
342 %token EXPECT_DURATION "ly:duration?"
343 %token EXPECT_SCM "scheme?"
344 %token BACKUP "(backed-up?)"
345 %token REPARSE "(reparsed?)"
346 %token EXPECT_MARKUP_LIST "markup-list?"
347 %token EXPECT_OPTIONAL "optional?"
348 /* After the last argument. */
349 %token EXPECT_NO_MORE_ARGS;
351 /* An artificial token for parsing embedded Lilypond */
352 %token EMBEDDED_LILY "#{"
354 %token BOOK_IDENTIFIER
355 %token CHORDMODIFIER_PITCH
356 %token CHORD_MODIFIER
357 %token CHORD_REPETITION
358 %token CONTEXT_DEF_IDENTIFIER
359 %token CONTEXT_MOD_IDENTIFIER
361 %token PITCH_IDENTIFIER
362 %token DURATION_IDENTIFIER
363 %token EVENT_IDENTIFIER
364 %token EVENT_FUNCTION
367 %token MARKUP_FUNCTION
368 %token MARKUP_LIST_FUNCTION
369 %token MARKUP_IDENTIFIER
370 %token MARKUPLIST_IDENTIFIER
371 %token MUSIC_FUNCTION
372 %token MUSIC_IDENTIFIER
373 %token NOTENAME_PITCH
374 %token NUMBER_IDENTIFIER
375 %token OUTPUT_DEF_IDENTIFIER
380 %token SCM_IDENTIFIER
384 %token TONICNAME_PITCH
388 /* We don't assign precedence to / and *, because we might need varied
389 prec levels in different prods */
398 SCM nn = parser->lexer_->lookup_identifier ("pitchnames");
399 parser->lexer_->push_note_state (nn);
400 } embedded_lilypond {
401 parser->lexer_->pop_state ();
406 lilypond: /* empty */ { $$ = SCM_UNSPECIFIED; }
407 | lilypond toplevel_expression {
409 | lilypond assignment {
412 parser->error_level_ = 1;
415 parser->error_level_ = 1;
422 parser->lexer_->add_scope (get_header (parser));
424 parser->lexer_->set_identifier (ly_symbol2scm ("$defaultheader"), $2);
427 SCM proc = parser->lexer_->lookup_identifier ("toplevel-book-handler");
428 scm_call_2 (proc, parser->self_scm (), $1);
431 SCM proc = parser->lexer_->lookup_identifier ("toplevel-bookpart-handler");
432 scm_call_2 (proc, parser->self_scm (), $1);
435 SCM proc = parser->lexer_->lookup_identifier ("toplevel-score-handler");
436 scm_call_2 (proc, parser->self_scm (), $1);
439 SCM proc = parser->lexer_->lookup_identifier ("toplevel-music-handler");
440 scm_call_2 (proc, parser->self_scm (), $1);
443 SCM proc = parser->lexer_->lookup_identifier ("toplevel-text-handler");
444 scm_call_2 (proc, parser->self_scm (), scm_list_1 ($1));
447 SCM proc = parser->lexer_->lookup_identifier ("toplevel-text-handler");
448 scm_call_2 (proc, parser->self_scm (), $1);
451 // Evaluate and ignore #xxx, as opposed to \xxx
452 parser->lexer_->eval_scm_token ($1);
454 | embedded_scm_active
456 SCM out = SCM_UNDEFINED;
457 if (Text_interface::is_markup ($1))
458 out = scm_list_1 ($1);
459 else if (Text_interface::is_markup_list ($1))
461 if (scm_is_pair (out))
463 SCM proc = parser->lexer_->lookup_identifier ("toplevel-text-handler");
464 scm_call_2 (proc, parser->self_scm (), out);
465 } else if (!scm_is_eq ($1, SCM_UNSPECIFIED))
466 parser->parser_error (@1, _("bad expression type"));
470 Output_def * od = unsmob_output_def ($1);
472 if (od->c_variable ("is-paper") == SCM_BOOL_T)
473 id = ly_symbol2scm ("$defaultpaper");
474 else if (od->c_variable ("is-midi") == SCM_BOOL_T)
475 id = ly_symbol2scm ("$defaultmidi");
476 else if (od->c_variable ("is-layout") == SCM_BOOL_T)
477 id = ly_symbol2scm ("$defaultlayout");
479 parser->lexer_->set_identifier (id, $1);
486 $$ = parser->lexer_->eval_scm_token ($1);
496 embedded_scm_bare_arg:
500 $$ = parser->lexer_->eval_scm_token ($1);
503 | context_modification
505 | context_def_spec_block
511 /* The generic version may end in music, or not */
519 embedded_scm_bare_arg
525 SCM_FUNCTION function_arglist {
526 $$ = MAKE_SYNTAX ("music-function", @$,
534 $$ = MAKE_SYNTAX ("void-music", @$);
537 | music_embedded music_embedded music_list {
538 $3 = scm_reverse_x ($3, SCM_EOL);
539 if (unsmob_music ($2))
540 $3 = scm_cons ($2, $3);
541 if (unsmob_music ($1))
542 $3 = scm_cons ($1, $3);
543 $$ = MAKE_SYNTAX ("sequential-music", @$, $3);
546 parser->error_level_ = 1;
547 $$ = SCM_UNSPECIFIED;
549 | INVALID embedded_lilypond {
550 parser->error_level_ = 1;
556 lilypond_header_body:
557 /* empty */ { $$ = SCM_UNSPECIFIED; }
558 | lilypond_header_body assignment {
561 | lilypond_header_body embedded_scm {
567 HEADER '{' lilypond_header_body '}' {
568 $$ = parser->lexer_->remove_scope ();
580 assignment_id '=' identifier_init {
581 parser->lexer_->set_identifier ($1, $3);
582 $$ = SCM_UNSPECIFIED;
584 | assignment_id property_path '=' identifier_init {
585 SCM path = scm_cons (scm_string_to_symbol ($1), $2);
586 parser->lexer_->set_identifier (path, $4);
587 $$ = SCM_UNSPECIFIED;
597 | context_def_spec_block
599 | post_event_nofinger post_events
601 $$ = scm_reverse_x ($2, SCM_EOL);
602 if (Music *m = unsmob_music ($1))
604 if (m->is_mus_type ("post-event-wrapper"))
606 (scm_list_2 (m->get_property ("elements"),
609 $$ = scm_cons ($1, $$);
612 && scm_is_null (scm_cdr ($$)))
616 Music * m = MY_MAKE_MUSIC ("PostEvents", @$);
617 m->set_property ("elements", $$);
618 $$ = m->unprotect ();
626 | context_modification
629 context_def_spec_block:
630 CONTEXT '{' context_def_spec_body '}'
641 context_mod_embedded:
644 if (unsmob_music ($1)) {
645 SCM proc = parser->lexer_->lookup_identifier ("context-mod-music-handler");
646 $1 = scm_call_2 (proc, parser->self_scm (), $1);
648 if (unsmob_context_mod ($1))
651 parser->parser_error (@1, _ ("not a context mod"));
657 context_def_spec_body:
659 $$ = Context_def::make_scm ();
660 unsmob_context_def ($$)->origin ()->set_spot (@$);
662 | CONTEXT_DEF_IDENTIFIER {
664 unsmob_context_def ($$)->origin ()->set_spot (@$);
666 | context_def_spec_body context_mod {
667 if (!SCM_UNBNDP ($2))
668 unsmob_context_def ($$)->add_context_mod ($2);
670 | context_def_spec_body context_modification {
671 Context_def *td = unsmob_context_def ($$);
672 SCM new_mods = unsmob_context_mod ($2)->get_mods ();
673 for (SCM m = new_mods; scm_is_pair (m); m = scm_cdr (m)) {
674 td->add_context_mod (scm_car (m));
677 | context_def_spec_body context_mod_embedded {
678 Context_def *td = unsmob_context_def ($$);
679 SCM new_mods = unsmob_context_mod ($2)->get_mods ();
680 for (SCM m = new_mods; scm_is_pair (m); m = scm_cdr (m)) {
681 td->add_context_mod (scm_car (m));
689 BOOK '{' book_body '}' {
692 parser->lexer_->set_identifier (ly_symbol2scm ("$current-book"), SCM_BOOL_F);
697 * Use 'handlers' like for toplevel-* stuff?
698 * grok \layout and \midi? */
701 Book *book = new Book;
702 init_papers (parser);
703 book->origin ()->set_spot (@$);
704 book->paper_ = dynamic_cast<Output_def*> (unsmob_output_def (parser->lexer_->lookup_identifier ("$defaultpaper"))->clone ());
705 book->paper_->unprotect ();
706 push_paper (parser, book->paper_);
707 book->header_ = get_header (parser);
708 $$ = book->unprotect ();
709 parser->lexer_->set_identifier (ly_symbol2scm ("$current-book"), $$);
712 unsmob_book ($1)->origin ()->set_spot (@$);
713 parser->lexer_->set_identifier (ly_symbol2scm ("$current-book"), $1);
715 | book_body paper_block {
716 unsmob_book ($1)->paper_ = unsmob_output_def ($2);
717 set_paper (parser, unsmob_output_def ($2));
719 | book_body bookpart_block {
720 SCM proc = parser->lexer_->lookup_identifier ("book-bookpart-handler");
721 scm_call_2 (proc, $1, $2);
723 | book_body score_block {
724 SCM proc = parser->lexer_->lookup_identifier ("book-score-handler");
725 scm_call_2 (proc, $1, $2);
727 | book_body composite_music {
728 SCM proc = parser->lexer_->lookup_identifier ("book-music-handler");
729 scm_call_3 (proc, parser->self_scm (), $1, $2);
731 | book_body full_markup {
732 SCM proc = parser->lexer_->lookup_identifier ("book-text-handler");
733 scm_call_2 (proc, $1, scm_list_1 ($2));
735 | book_body full_markup_list {
736 SCM proc = parser->lexer_->lookup_identifier ("book-text-handler");
737 scm_call_2 (proc, $1, $2);
739 | book_body SCM_TOKEN {
740 // Evaluate and ignore #xxx, as opposed to \xxx
741 parser->lexer_->eval_scm_token ($2);
743 | book_body embedded_scm_active
745 SCM out = SCM_UNDEFINED;
746 if (Text_interface::is_markup ($2))
747 out = scm_list_1 ($2);
748 else if (Text_interface::is_markup_list ($2))
750 if (scm_is_pair (out))
752 SCM proc = parser->lexer_->lookup_identifier ("book-text-handler");
753 scm_call_2 (proc, $1, out);
754 } else if (!scm_is_eq ($2, SCM_UNSPECIFIED))
755 parser->parser_error (@2, _("bad expression type"));
759 parser->lexer_->add_scope (unsmob_book ($1)->header_);
762 Book *book = unsmob_book ($1);
764 book->scores_ = SCM_EOL;
765 book->bookparts_ = SCM_EOL;
770 BOOKPART '{' bookpart_body '}' {
772 parser->lexer_->set_identifier (ly_symbol2scm ("$current-bookpart"), SCM_BOOL_F);
778 Book *book = new Book;
779 book->origin ()->set_spot (@$);
780 $$ = book->unprotect ();
781 parser->lexer_->set_identifier (ly_symbol2scm ("$current-bookpart"), $$);
784 unsmob_book ($1)->origin ()->set_spot (@$);
785 parser->lexer_->set_identifier (ly_symbol2scm ("$current-bookpart"), $1);
787 | bookpart_body paper_block {
788 unsmob_book ($$)->paper_ = unsmob_output_def ($2);
790 | bookpart_body score_block {
791 SCM proc = parser->lexer_->lookup_identifier ("bookpart-score-handler");
792 scm_call_2 (proc, $1, $2);
794 | bookpart_body composite_music {
795 SCM proc = parser->lexer_->lookup_identifier ("bookpart-music-handler");
796 scm_call_3 (proc, parser->self_scm (), $1, $2);
798 | bookpart_body full_markup {
799 SCM proc = parser->lexer_->lookup_identifier ("bookpart-text-handler");
800 scm_call_2 (proc, $1, scm_list_1 ($2));
802 | bookpart_body full_markup_list {
803 SCM proc = parser->lexer_->lookup_identifier ("bookpart-text-handler");
804 scm_call_2 (proc, $1, $2);
806 | bookpart_body SCM_TOKEN {
807 // Evaluate and ignore #xxx, as opposed to \xxx
808 parser->lexer_->eval_scm_token ($2);
810 | bookpart_body embedded_scm_active
812 SCM out = SCM_UNDEFINED;
813 if (Text_interface::is_markup ($2))
814 out = scm_list_1 ($2);
815 else if (Text_interface::is_markup_list ($2))
817 if (scm_is_pair (out))
819 SCM proc = parser->lexer_->lookup_identifier ("bookpart-text-handler");
820 scm_call_2 (proc, $1, out);
821 } else if (!scm_is_eq ($2, SCM_UNSPECIFIED))
822 parser->parser_error (@2, _("bad expression type"));
826 Book *book = unsmob_book ($1);
827 if (!ly_is_module (book->header_))
828 book->header_ = ly_make_module (false);
829 parser->lexer_->add_scope (book->header_);
831 | bookpart_body error {
832 Book *book = unsmob_book ($1);
834 book->scores_ = SCM_EOL;
839 SCORE '{' score_body '}' {
846 SCM scorify = ly_lily_module_constant ("scorify-music");
847 $$ = scm_call_2 (scorify, $1, parser->self_scm ());
849 unsmob_score ($$)->origin ()->set_spot (@$);
851 | embedded_scm_active {
853 if (unsmob_score ($1))
854 score = new Score (*unsmob_score ($1));
857 parser->parser_error (@1, _("score expected"));
859 unsmob_score ($$)->origin ()->set_spot (@$);
860 $$ = score->unprotect ();
864 Score *score = unsmob_score ($1);
865 if (!ly_is_module (score->get_header ()))
866 score->set_header (ly_make_module (false));
867 parser->lexer_->add_scope (score->get_header ());
869 | score_body output_def {
870 Output_def *od = unsmob_output_def ($2);
871 if (od->lookup_variable (ly_symbol2scm ("is-paper")) == SCM_BOOL_T)
873 parser->parser_error (@2, _("\\paper cannot be used in \\score, use \\layout instead"));
878 unsmob_score ($1)->add_output_def (od);
882 unsmob_score ($$)->error_found_ = true;
893 Output_def *od = unsmob_output_def ($1);
895 if (od->lookup_variable (ly_symbol2scm ("is-paper")) != SCM_BOOL_T)
897 parser->parser_error (@1, _ ("need \\paper for paper block"));
898 $$ = get_paper (parser)->unprotect ();
905 output_def_body '}' {
908 parser->lexer_->remove_scope ();
909 parser->lexer_->pop_state ();
915 Output_def *p = get_paper (parser);
916 p->input_origin_ = @$;
917 parser->lexer_->add_scope (p->scope_);
918 $$ = p->unprotect ();
921 Output_def *p = get_midi (parser);
922 $$ = p->unprotect ();
923 parser->lexer_->add_scope (p->scope_);
926 Output_def *p = get_layout (parser);
928 parser->lexer_->add_scope (p->scope_);
929 $$ = p->unprotect ();
933 output_def_head_with_mode_switch:
935 parser->lexer_->push_initial_state ();
940 // We need this weird nonterminal because both music as well as a
941 // context definition can start with \context and the difference is
942 // only apparent after looking at the next token. If it is '{', there
943 // is still time to escape from notes mode.
945 music_or_context_def:
948 parser->lexer_->pop_state ();
952 parser->lexer_->pop_state ();
953 } '{' context_def_spec_body '}'
960 output_def_head_with_mode_switch '{' {
962 unsmob_output_def ($$)->input_origin_.set_spot (@$);
964 | output_def_head_with_mode_switch '{' OUTPUT_DEF_IDENTIFIER {
965 Output_def *o = unsmob_output_def ($3);
966 o->input_origin_.set_spot (@$);
968 parser->lexer_->remove_scope ();
969 parser->lexer_->add_scope (o->scope_);
971 | output_def_body assignment {
974 | output_def_body embedded_scm {
979 SCM nn = parser->lexer_->lookup_identifier ("pitchnames");
980 parser->lexer_->push_note_state (nn);
981 } music_or_context_def
983 if (unsmob_context_def ($3))
984 assign_context_def (unsmob_output_def ($1), $3);
987 SCM proc = parser->lexer_->lookup_identifier
988 ("output-def-music-handler");
989 scm_call_3 (proc, parser->self_scm (),
993 | output_def_body error {
999 TEMPO steno_duration '=' tempo_range {
1000 $$ = MAKE_SYNTAX ("tempo", @$, SCM_EOL, $2, $4);
1002 | TEMPO scalar_closed steno_duration '=' tempo_range {
1003 $$ = MAKE_SYNTAX ("tempo", @$, $2, $3, $5);
1006 $$ = MAKE_SYNTAX ("tempo", @$, $2);
1011 The representation of a list is reversed to have efficient append. */
1017 | music_list music_embedded {
1018 if (unsmob_music ($2))
1019 $$ = scm_cons ($2, $1);
1021 | music_list error {
1022 Music *m = MY_MAKE_MUSIC("Music", @$);
1024 m->set_property ("error-found", SCM_BOOL_T);
1025 $$ = scm_cons (m->self_scm (), $1);
1026 m->unprotect (); /* UGH */
1033 $$ = scm_reverse_x ($2, SCM_EOL);
1038 | lyric_element_music
1044 if (unsmob_music ($1)->is_mus_type ("post-event")) {
1045 parser->parser_error (@1, _ ("unexpected post-event"));
1046 $$ = SCM_UNSPECIFIED;
1051 if (scm_is_eq ($1, SCM_UNSPECIFIED))
1053 else if (Music *m = unsmob_music ($1)) {
1054 if (m->is_mus_type ("post-event")) {
1055 parser->parser_error
1056 (@1, _ ("unexpected post-event"));
1057 $$ = SCM_UNSPECIFIED;
1061 @$.warning (_ ("Ignoring non-music expression"));
1062 $$ = SCM_UNSPECIFIED;
1070 $$ = make_music_from_simple (parser, @1, $1);
1071 if (!unsmob_music ($$))
1072 parser->parser_error (@1, _ ("music expected"));
1074 | composite_music %prec COMPOSITE
1079 | composite_music %prec COMPOSITE
1083 REPEAT simple_string unsigned_number music
1085 $$ = MAKE_SYNTAX ("repeat", @$, $2, $3, $4, SCM_EOL);
1087 | REPEAT simple_string unsigned_number music ALTERNATIVE braced_music_list
1089 $$ = MAKE_SYNTAX ("repeat", @$, $2, $3, $4, $6);
1094 SEQUENTIAL braced_music_list {
1095 $$ = MAKE_SYNTAX ("sequential-music", @$, $2);
1097 | braced_music_list {
1098 $$ = MAKE_SYNTAX ("sequential-music", @$, $1);
1103 SIMULTANEOUS braced_music_list {
1104 $$ = MAKE_SYNTAX ("simultaneous-music", @$, $2);
1106 | DOUBLE_ANGLE_OPEN music_list DOUBLE_ANGLE_CLOSE {
1107 $$ = MAKE_SYNTAX ("simultaneous-music", @$, scm_reverse_x ($2, SCM_EOL));
1113 | music_property_def
1117 context_modification:
1118 WITH { parser->lexer_->push_initial_state (); } '{' context_mod_list '}'
1120 parser->lexer_->pop_state ();
1123 | WITH CONTEXT_MOD_IDENTIFIER
1127 | CONTEXT_MOD_IDENTIFIER
1131 | WITH embedded_scm_closed
1133 if (unsmob_context_mod ($2))
1136 parser->parser_error (@2, _ ("not a context mod"));
1137 $$ = Context_mod ().smobbed_copy ();
1142 optional_context_mod:
1146 | context_modification
1154 $$ = Context_mod ().smobbed_copy ();
1156 | context_mod_list context_mod {
1157 if (!SCM_UNBNDP ($2))
1158 unsmob_context_mod ($1)->add_context_mod ($2);
1160 | context_mod_list CONTEXT_MOD_IDENTIFIER {
1161 Context_mod *md = unsmob_context_mod ($2);
1163 unsmob_context_mod ($1)->add_context_mods (md->get_mods ());
1165 | context_mod_list context_mod_embedded {
1166 unsmob_context_mod ($1)->add_context_mods
1167 (unsmob_context_mod ($2)->get_mods ());
1176 /* Music that can be parsed without lookahead */
1179 | complex_music_prefix closed_music
1181 $$ = FINISH_MAKE_SYNTAX ($1, @$, $2);
1183 | music_function_call_closed
1189 | grouped_music_list
1193 simultaneous_music { $$ = $1; }
1194 | sequential_music { $$ = $1; }
1197 /* An argument list. If a function \foo expects scm scm pitch, then the lexer expands \foo into the token sequence:
1198 MUSIC_FUNCTION EXPECT_PITCH EXPECT_SCM EXPECT_SCM EXPECT_NO_MORE_ARGS
1199 and this rule returns the reversed list of arguments. */
1201 /* Function argument lists come in a number of flavors. Whenever
1202 * LilyPond has to pick between different flavors, the decision is
1203 * either made because of tokens it has already seen, or it is
1204 * postponed until tokens suitable for making the decision come up.
1205 * For postponing decisions, it may be necessary that the competing
1206 * rules are written in a way making them compatible until a decision
1207 * can be made. Sometimes this is done by putting common traits into
1208 * a separate "common" rule set.
1210 * function_arglist: a full argument list. Optional arguments at the
1211 * end of the list can only be skipped by writing \default in their
1214 * function_arglist_backup: an argument list ending in an optional
1215 * argument that may be skipped depending on its predicate.
1217 * function_arglist_skip: an argument list _not_ ending in an optional
1218 * argument that is actually taken.
1220 * function_arglist_nonbackup: an argument list ending in an optional
1221 * argument that may not be skipped because it is in end position and
1222 * has not been shortcircuited with \default.
1224 * function_arglist* / function_arglist_closed*: The closed variants
1225 * don't end in simple music expressions that might still accept
1226 * things like a duration or a postevent.
1229 function_arglist_skip:
1230 function_arglist_common
1231 | EXPECT_OPTIONAL EXPECT_PITCH function_arglist_skip
1233 $$ = scm_cons ($1, $3);
1234 } %prec FUNCTION_ARGLIST
1235 | EXPECT_OPTIONAL EXPECT_DURATION function_arglist_skip
1237 $$ = scm_cons ($1, $3);
1238 } %prec FUNCTION_ARGLIST
1239 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_skip
1241 $$ = scm_cons ($1, $3);
1242 } %prec FUNCTION_ARGLIST
1246 function_arglist_nonbackup_common:
1247 EXPECT_OPTIONAL EXPECT_PITCH function_arglist pitch_also_in_chords {
1248 $$ = scm_cons ($4, $3);
1250 | EXPECT_OPTIONAL EXPECT_DURATION function_arglist_closed duration_length {
1251 $$ = scm_cons ($4, $3);
1253 | EXPECT_OPTIONAL EXPECT_SCM function_arglist FRACTION
1255 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1257 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed post_event_nofinger
1259 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1261 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed '-' UNSIGNED
1263 SCM n = scm_difference ($5, SCM_UNDEFINED);
1264 if (scm_is_true (scm_call_1 ($2, n)))
1265 $$ = scm_cons (n, $3);
1267 Music *t = MY_MAKE_MUSIC ("FingeringEvent", @5);
1268 t->set_property ("digit", $5);
1269 $$ = check_scheme_arg (parser, @4, t->unprotect (),
1274 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed '-' REAL
1276 $$ = check_scheme_arg (parser, @4,
1277 scm_difference ($5, SCM_UNDEFINED),
1280 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed '-' NUMBER_IDENTIFIER
1282 $$ = check_scheme_arg (parser, @4,
1283 scm_difference ($5, SCM_UNDEFINED),
1288 function_arglist_closed_nonbackup:
1289 function_arglist_nonbackup_common
1290 | EXPECT_OPTIONAL EXPECT_SCM function_arglist embedded_scm_arg_closed
1292 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1294 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed bare_number_closed
1296 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1298 | EXPECT_OPTIONAL EXPECT_SCM function_arglist SCM_IDENTIFIER
1300 $$ = check_scheme_arg (parser, @4,
1301 try_string_variants ($2, $4),
1304 | EXPECT_OPTIONAL EXPECT_SCM function_arglist STRING
1306 $$ = check_scheme_arg (parser, @4,
1307 try_string_variants ($2, $4),
1310 | EXPECT_OPTIONAL EXPECT_SCM function_arglist full_markup
1312 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1318 | SYMBOL_LIST '.' symbol_list_rev
1320 $$ = scm_append (scm_list_2 ($1, scm_reverse_x ($3, SCM_EOL)));
1326 | symbol_list_rev '.' symbol_list_part
1328 $$ = scm_append_x (scm_list_2 ($3, $1));
1332 // symbol_list_part delivers elements in reverse copy.
1337 SCM sym_l_p = ly_lily_module_constant ("symbol-list?");
1338 $$ = try_string_variants (sym_l_p, $1);
1339 if (SCM_UNBNDP ($$)) {
1340 parser->parser_error (@1, _("not a symbol"));
1343 $$ = scm_reverse ($$);
1348 symbol_list_element:
1354 function_arglist_nonbackup:
1355 function_arglist_nonbackup_common
1356 | EXPECT_OPTIONAL EXPECT_SCM function_arglist embedded_scm_arg
1358 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1360 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed bare_number
1362 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1364 | function_arglist_nonbackup_reparse REPARSE SCM_ARG
1366 $$ = check_scheme_arg (parser, @3, $3, $1, $2);
1368 | function_arglist_nonbackup_reparse REPARSE lyric_element_music
1370 $$ = check_scheme_arg (parser, @3, $3, $1, $2);
1372 | function_arglist_nonbackup_reparse REPARSE symbol_list_arg
1374 $$ = check_scheme_arg (parser, @3, $3, $1, $2);
1378 function_arglist_nonbackup_reparse:
1379 EXPECT_OPTIONAL EXPECT_SCM function_arglist SCM_IDENTIFIER
1382 SCM res = try_string_variants ($2, $4);
1383 if (!SCM_UNBNDP (res))
1384 if (scm_is_pair (res))
1385 MYREPARSE (@4, $2, SYMBOL_LIST, res);
1387 MYREPARSE (@4, $2, SCM_ARG, res);
1388 else if (scm_is_true
1390 ($2, make_music_from_simple
1392 MYREPARSE (@4, $2, STRING, $4);
1394 MYREPARSE (@4, $2, SCM_ARG, $4);
1396 | EXPECT_OPTIONAL EXPECT_SCM function_arglist STRING
1399 SCM res = try_string_variants ($2, $4);
1400 if (!SCM_UNBNDP (res))
1401 if (scm_is_pair (res))
1402 MYREPARSE (@4, $2, SYMBOL_LIST, res);
1404 MYREPARSE (@4, $2, SCM_ARG, res);
1405 else if (scm_is_true
1407 ($2, make_music_from_simple
1409 MYREPARSE (@4, $2, STRING, $4);
1411 MYREPARSE (@4, $2, SCM_ARG, $4);
1413 | EXPECT_OPTIONAL EXPECT_SCM function_arglist full_markup
1416 if (scm_is_true (scm_call_1 ($2, $4)))
1417 MYREPARSE (@4, $2, SCM_ARG, $4);
1418 else if (scm_is_true
1420 ($2, make_music_from_simple
1422 MYREPARSE (@4, $2, STRING, $4);
1424 MYREPARSE (@4, $2, SCM_ARG, $4);
1428 function_arglist_keep:
1429 function_arglist_common
1430 | function_arglist_backup
1433 function_arglist_closed_keep:
1434 function_arglist_closed_common
1435 | function_arglist_backup
1438 function_arglist_backup:
1439 EXPECT_OPTIONAL EXPECT_SCM function_arglist_keep embedded_scm_arg_closed
1441 if (scm_is_true (scm_call_1 ($2, $4)))
1443 $$ = scm_cons ($4, $3);
1445 $$ = scm_cons (loc_on_music (@3, $1), $3);
1446 MYBACKUP (SCM_ARG, $4, @4);
1449 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep post_event_nofinger
1451 if (scm_is_true (scm_call_1 ($2, $4)))
1453 $$ = scm_cons ($4, $3);
1455 $$ = scm_cons (loc_on_music (@3, $1), $3);
1456 MYBACKUP (EVENT_IDENTIFIER, $4, @4);
1459 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_keep full_markup
1461 if (scm_is_true (scm_call_1 ($2, $4)))
1462 $$ = scm_cons ($4, $3);
1464 $$ = scm_cons (loc_on_music (@3, $1), $3);
1465 MYBACKUP (LYRIC_ELEMENT, $4, @4);
1468 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep UNSIGNED
1470 if (scm_is_true (scm_call_1 ($2, $4)))
1473 MYREPARSE (@4, $2, UNSIGNED, $4);
1475 $$ = scm_cons (loc_on_music (@3, $1), $3);
1476 MYBACKUP (UNSIGNED, $4, @4);
1479 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep REAL
1481 if (scm_is_true (scm_call_1 ($2, $4)))
1484 MYREPARSE (@4, $2, REAL, $4);
1486 $$ = scm_cons (loc_on_music (@3, $1), $3);
1487 MYBACKUP (REAL, $4, @4);
1490 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep NUMBER_IDENTIFIER
1492 if (scm_is_true (scm_call_1 ($2, $4)))
1494 $$ = scm_cons ($4, $3);
1496 $$ = scm_cons (loc_on_music (@3, $1), $3);
1497 MYBACKUP (NUMBER_IDENTIFIER, $4, @4);
1500 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_keep FRACTION
1502 if (scm_is_true (scm_call_1 ($2, $4)))
1504 $$ = scm_cons ($4, $3);
1506 $$ = scm_cons (loc_on_music (@3, $1), $3);
1507 MYBACKUP (FRACTION, $4, @4);
1510 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep '-' UNSIGNED
1512 SCM n = scm_difference ($5, SCM_UNDEFINED);
1513 if (scm_is_true (scm_call_1 ($2, n))) {
1515 MYREPARSE (@5, $2, REAL, n);
1517 Music *t = MY_MAKE_MUSIC ("FingeringEvent", @5);
1518 t->set_property ("digit", $5);
1519 $$ = t->unprotect ();
1520 if (scm_is_true (scm_call_1 ($2, $$)))
1521 $$ = scm_cons ($$, $3);
1523 $$ = scm_cons (loc_on_music (@3, $1), $3);
1524 MYBACKUP (UNSIGNED, $5, @5);
1525 parser->lexer_->push_extra_token ('-');
1530 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep '-' REAL
1532 SCM n = scm_difference ($5, SCM_UNDEFINED);
1533 if (scm_is_true (scm_call_1 ($2, n))) {
1534 MYREPARSE (@5, $2, REAL, n);
1537 $$ = scm_cons (loc_on_music (@3, $1), $3);
1538 MYBACKUP (REAL, n, @5);
1541 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep '-' NUMBER_IDENTIFIER
1543 SCM n = scm_difference ($5, SCM_UNDEFINED);
1544 if (scm_is_true (scm_call_1 ($2, n))) {
1545 $$ = scm_cons (n, $3);
1547 $$ = scm_cons (loc_on_music (@3, $1), $3);
1548 MYBACKUP (NUMBER_IDENTIFIER, n, @5);
1551 | EXPECT_OPTIONAL EXPECT_PITCH function_arglist_keep pitch_also_in_chords
1553 $$ = scm_cons ($4, $3);
1555 | EXPECT_OPTIONAL EXPECT_DURATION function_arglist_closed_keep duration_length
1557 $$ = scm_cons ($4, $3);
1559 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_keep SCM_IDENTIFIER
1561 SCM res = try_string_variants ($2, $4);
1562 if (!SCM_UNBNDP (res))
1563 if (scm_is_pair (res)) {
1565 MYREPARSE (@4, $2, SYMBOL_LIST, res);
1568 $$ = scm_cons (res, $3);
1570 $$ = scm_cons (loc_on_music (@3, $1), $3);
1571 MYBACKUP (SCM_IDENTIFIER, $4, @4);
1574 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_keep STRING
1576 SCM res = try_string_variants ($2, $4);
1577 if (!SCM_UNBNDP (res))
1578 if (scm_is_pair (res)) {
1580 MYREPARSE (@4, $2, SYMBOL_LIST, res);
1583 $$ = scm_cons (res, $3);
1585 $$ = scm_cons (loc_on_music (@3, $1), $3);
1586 MYBACKUP (STRING, $4, @4);
1589 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_backup BACKUP
1591 $$ = scm_cons ($1, $3);
1592 MYBACKUP(0, SCM_UNDEFINED, @3);
1594 | function_arglist_backup REPARSE bare_number
1596 $$ = check_scheme_arg (parser, @3,
1599 | function_arglist_backup REPARSE symbol_list_arg
1601 $$ = check_scheme_arg (parser, @3, $3, $1, $2);
1606 function_arglist_common
1607 | function_arglist_nonbackup
1610 function_arglist_common:
1611 function_arglist_bare
1612 | EXPECT_SCM function_arglist_optional embedded_scm_arg
1614 $$ = check_scheme_arg (parser, @3,
1617 | EXPECT_SCM function_arglist_closed_optional bare_number
1619 $$ = check_scheme_arg (parser, @3,
1622 | EXPECT_SCM function_arglist_optional FRACTION
1624 $$ = check_scheme_arg (parser, @3,
1627 | EXPECT_SCM function_arglist_closed_optional post_event_nofinger
1629 $$ = check_scheme_arg (parser, @3,
1632 | EXPECT_SCM function_arglist_closed_optional '-' NUMBER_IDENTIFIER
1634 SCM n = scm_difference ($4, SCM_UNDEFINED);
1635 $$ = check_scheme_arg (parser, @4, n, $2, $1);
1637 | function_arglist_common_reparse REPARSE SCM_ARG
1639 $$ = check_scheme_arg (parser, @3,
1642 | function_arglist_common_reparse REPARSE lyric_element_music
1644 $$ = check_scheme_arg (parser, @3,
1647 | function_arglist_common_reparse REPARSE bare_number
1649 $$ = check_scheme_arg (parser, @3,
1652 | function_arglist_common_reparse REPARSE symbol_list_arg
1654 $$ = check_scheme_arg (parser, @3, $3, $1, $2);
1658 function_arglist_common_reparse:
1659 EXPECT_SCM function_arglist_optional SCM_IDENTIFIER
1662 SCM res = try_string_variants ($1, $3);
1663 if (!SCM_UNBNDP (res))
1664 if (scm_is_pair (res))
1665 MYREPARSE (@3, $1, SYMBOL_LIST, res);
1667 MYREPARSE (@3, $1, SCM_ARG, res);
1668 else if (scm_is_true
1670 ($1, make_music_from_simple (parser, @3, $3))))
1671 MYREPARSE (@3, $1, LYRIC_ELEMENT, $3);
1673 // This is going to flag a syntax error, we
1674 // know the predicate to be false.
1675 MYREPARSE (@3, $1, SCM_ARG, $3);
1677 | EXPECT_SCM function_arglist_optional STRING
1680 SCM res = try_string_variants ($1, $3);
1681 if (!SCM_UNBNDP (res))
1682 if (scm_is_pair (res))
1683 MYREPARSE (@3, $1, SYMBOL_LIST, res);
1685 MYREPARSE (@3, $1, SCM_ARG, res);
1686 else if (scm_is_true
1688 ($1, make_music_from_simple (parser, @3, $3))))
1689 MYREPARSE (@3, $1, LYRIC_ELEMENT, $3);
1691 // This is going to flag a syntax error, we
1692 // know the predicate to be false.
1693 MYREPARSE (@3, $1, SCM_ARG, $3);
1695 | EXPECT_SCM function_arglist_optional full_markup
1698 if (scm_is_true (scm_call_1 ($1, $3)))
1699 MYREPARSE (@3, $1, SCM_ARG, $3);
1700 else if (scm_is_true
1702 ($1, make_music_from_simple (parser, @3, $3))))
1703 MYREPARSE (@3, $1, LYRIC_ELEMENT, $3);
1705 // This is going to flag a syntax error, we
1706 // know the predicate to be false.
1707 MYREPARSE (@3, $1, SCM_ARG, $3);
1709 | EXPECT_SCM function_arglist_closed_optional '-' UNSIGNED
1712 SCM n = scm_difference ($4, SCM_UNDEFINED);
1713 if (scm_is_true (scm_call_1 ($1, n)))
1714 MYREPARSE (@4, $1, REAL, n);
1716 Music *t = MY_MAKE_MUSIC ("FingeringEvent", @4);
1717 t->set_property ("digit", $4);
1718 SCM m = t->unprotect ();
1719 if (scm_is_true (scm_call_1 ($1, m)))
1720 MYREPARSE (@4, $1, SCM_ARG, m);
1722 MYREPARSE (@4, $1, SCM_ARG, $4);
1726 | EXPECT_SCM function_arglist_closed_optional '-' REAL
1729 SCM n = scm_difference ($4, SCM_UNDEFINED);
1730 MYREPARSE (@4, $1, REAL, n);
1734 function_arglist_closed:
1735 function_arglist_closed_common
1736 | function_arglist_closed_nonbackup
1739 function_arglist_closed_common:
1740 function_arglist_bare
1741 | EXPECT_SCM function_arglist_optional embedded_scm_arg_closed
1743 $$ = check_scheme_arg (parser, @3,
1746 | EXPECT_SCM function_arglist_closed_optional bare_number
1748 $$ = check_scheme_arg (parser, @3,
1751 | EXPECT_SCM function_arglist_closed_optional '-' NUMBER_IDENTIFIER
1753 $$ = check_scheme_arg (parser, @3,
1754 scm_difference ($4, SCM_UNDEFINED),
1757 | EXPECT_SCM function_arglist_closed_optional post_event_nofinger
1759 $$ = check_scheme_arg (parser, @3,
1762 | EXPECT_SCM function_arglist_optional FRACTION
1764 $$ = check_scheme_arg (parser, @3,
1767 | function_arglist_common_reparse REPARSE SCM_ARG
1769 $$ = check_scheme_arg (parser, @3,
1772 | function_arglist_common_reparse REPARSE bare_number
1774 $$ = check_scheme_arg (parser, @3,
1777 | function_arglist_common_reparse REPARSE symbol_list_arg
1779 $$ = check_scheme_arg (parser, @3, $3, $1, $2);
1783 function_arglist_optional:
1784 function_arglist_keep %prec FUNCTION_ARGLIST
1785 | function_arglist_backup BACKUP
1786 | EXPECT_OPTIONAL EXPECT_PITCH function_arglist_optional
1788 $$ = scm_cons ($1, $3);
1790 | EXPECT_OPTIONAL EXPECT_DURATION function_arglist_optional
1792 $$ = scm_cons ($1, $3);
1796 function_arglist_closed_optional:
1797 function_arglist_closed_keep %prec FUNCTION_ARGLIST
1798 | function_arglist_backup BACKUP
1799 | EXPECT_OPTIONAL EXPECT_PITCH function_arglist_closed_optional
1801 $$ = scm_cons ($1, $3);
1803 | EXPECT_OPTIONAL EXPECT_DURATION function_arglist_closed_optional
1805 $$ = scm_cons ($1, $3);
1809 embedded_scm_closed:
1811 | scm_function_call_closed
1814 embedded_scm_arg_closed:
1815 embedded_scm_bare_arg
1816 | scm_function_call_closed
1820 scm_function_call_closed:
1821 SCM_FUNCTION function_arglist_closed {
1822 $$ = MAKE_SYNTAX ("music-function", @$,
1824 } %prec FUNCTION_ARGLIST
1827 function_arglist_bare:
1828 EXPECT_NO_MORE_ARGS {
1831 | EXPECT_PITCH function_arglist_optional pitch_also_in_chords {
1832 $$ = scm_cons ($3, $2);
1834 | EXPECT_DURATION function_arglist_closed_optional duration_length {
1835 $$ = scm_cons ($3, $2);
1837 | EXPECT_OPTIONAL EXPECT_PITCH function_arglist_skip DEFAULT {
1838 $$ = scm_cons ($1, $3);
1840 | EXPECT_OPTIONAL EXPECT_DURATION function_arglist_skip DEFAULT {
1841 $$ = scm_cons ($1, $3);
1843 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_skip DEFAULT {
1844 $$ = scm_cons ($1, $3);
1848 music_function_call:
1849 MUSIC_FUNCTION function_arglist {
1850 $$ = MAKE_SYNTAX ("music-function", @$,
1857 /**/ { $$ = SCM_EOL; }
1858 | '=' simple_string {
1865 | repeated_music { $$ = $1; }
1866 | re_rhythmed_music { $$ = $1; }
1867 | complex_music_prefix music
1869 $$ = FINISH_MAKE_SYNTAX ($1, @$, $2);
1873 complex_music_prefix:
1874 CONTEXT simple_string optional_id optional_context_mod {
1875 Context_mod *ctxmod = unsmob_context_mod ($4);
1878 mods = ctxmod->get_mods ();
1879 $$ = START_MAKE_SYNTAX ("context-specification", $2, $3, mods, SCM_BOOL_F);
1881 | NEWCONTEXT simple_string optional_id optional_context_mod {
1882 Context_mod *ctxmod = unsmob_context_mod ($4);
1885 mods = ctxmod->get_mods ();
1886 $$ = START_MAKE_SYNTAX ("context-specification", $2, $3, mods, SCM_BOOL_T);
1891 mode_changing_head grouped_music_list {
1892 if ($1 == ly_symbol2scm ("chords"))
1894 $$ = MAKE_SYNTAX ("unrelativable-music", @$, $2);
1900 parser->lexer_->pop_state ();
1902 | mode_changing_head_with_context optional_context_mod grouped_music_list {
1903 Context_mod *ctxmod = unsmob_context_mod ($2);
1906 mods = ctxmod->get_mods ();
1907 $$ = MAKE_SYNTAX ("context-specification", @$, $1, SCM_EOL, mods, SCM_BOOL_T, $3);
1908 if ($1 == ly_symbol2scm ("ChordNames"))
1910 $$ = MAKE_SYNTAX ("unrelativable-music", @$, $$);
1912 parser->lexer_->pop_state ();
1918 SCM nn = parser->lexer_->lookup_identifier ("pitchnames");
1919 parser->lexer_->push_note_state (nn);
1921 $$ = ly_symbol2scm ("notes");
1925 SCM nn = parser->lexer_->lookup_identifier ("drumPitchNames");
1926 parser->lexer_->push_note_state (nn);
1928 $$ = ly_symbol2scm ("drums");
1931 parser->lexer_->push_figuredbass_state ();
1933 $$ = ly_symbol2scm ("figures");
1936 SCM nn = parser->lexer_->lookup_identifier ("chordmodifiers");
1937 parser->lexer_->chordmodifier_tab_ = alist_to_hashq (nn);
1938 nn = parser->lexer_->lookup_identifier ("pitchnames");
1939 parser->lexer_->push_chord_state (nn);
1940 $$ = ly_symbol2scm ("chords");
1944 { parser->lexer_->push_lyric_state ();
1945 $$ = ly_symbol2scm ("lyrics");
1949 mode_changing_head_with_context:
1951 SCM nn = parser->lexer_->lookup_identifier ("drumPitchNames");
1952 parser->lexer_->push_note_state (nn);
1954 $$ = ly_symbol2scm ("DrumStaff");
1957 parser->lexer_->push_figuredbass_state ();
1959 $$ = ly_symbol2scm ("FiguredBass");
1962 SCM nn = parser->lexer_->lookup_identifier ("chordmodifiers");
1963 parser->lexer_->chordmodifier_tab_ = alist_to_hashq (nn);
1964 nn = parser->lexer_->lookup_identifier ("pitchnames");
1965 parser->lexer_->push_chord_state (nn);
1966 $$ = ly_symbol2scm ("ChordNames");
1969 { parser->lexer_->push_lyric_state ();
1970 $$ = ly_symbol2scm ("Lyrics");
1975 ADDLYRICS { parser->lexer_->push_lyric_state (); }
1978 /* Can also use music at the expensive of two S/Rs similar to
1979 \repeat \alternative */
1980 parser->lexer_->pop_state ();
1982 $$ = scm_cons ($3, SCM_EOL);
1984 | new_lyrics ADDLYRICS {
1985 parser->lexer_->push_lyric_state ();
1987 parser->lexer_->pop_state ();
1988 $$ = scm_cons ($4, $1);
1993 composite_music new_lyrics {
1994 $$ = MAKE_SYNTAX ("add-lyrics", @$, $1, scm_reverse_x ($2, SCM_EOL));
1996 | LYRICSTO simple_string {
1997 parser->lexer_->push_lyric_state ();
1999 parser->lexer_->pop_state ();
2000 $$ = MAKE_SYNTAX ("lyric-combine", @$, $2, $4);
2005 CHANGE STRING '=' STRING {
2006 $$ = MAKE_SYNTAX ("context-change", @$, scm_string_to_symbol ($2), $4);
2013 $$ = scm_reverse_x ($1, SCM_EOL);
2015 | symbol_list_rev property_path {
2016 $$ = scm_reverse_x ($1, $2);
2022 $$ = scm_list_3 (ly_symbol2scm ("assign"),
2023 scm_string_to_symbol ($1), $3);
2025 | UNSET simple_string {
2026 $$ = scm_list_2 (ly_symbol2scm ("unset"),
2027 scm_string_to_symbol ($2));
2029 | OVERRIDE property_path '=' scalar {
2030 if (scm_ilength ($2) < 2) {
2031 parser->parser_error (@2, _("bad grob property path"));
2034 $$ = scm_cons (ly_symbol2scm ("push"),
2035 scm_cons2 (scm_car ($2),
2040 | REVERT revert_arg {
2041 $$ = scm_cons (ly_symbol2scm ("pop"), $2);
2045 // This is all quite awkward for the sake of substantial backward
2046 // compatibility while at the same time allowing a more "natural" form
2047 // of specification not separating grob specification from grob
2048 // property path. The purpose of this definition of revert_arg is to
2049 // allow the symbol list which specifies grob and property to revert
2050 // to be optionally be split into two parts after the grob (which in
2051 // this case is just the first element of the list). symbol_list_part
2052 // is only one path component, but it can be parsed without lookahead,
2053 // so we can follow it with a synthetic BACKUP token when needed. If
2054 // the first symbol_list_part already contains multiple elements (only
2055 // possible if a Scheme expression provides them), we just parse for
2056 // additional elements introduced by '.', which is what the
2057 // SYMBOL_LIST backup in connection with the immediately following
2058 // rule using symbol_list_arg does.
2060 // As long as we don't have our coffers filled with both grob and at
2061 // least one grob property specification, the rest of the required
2062 // symbol list chain may be provided either with or without a leading
2063 // dot. This is for both allowing the traditional
2064 // \revert Accidental #'color
2065 // as well as well as the "naive" form
2066 // \revert Accidental.color
2071 if (scm_is_null ($1)
2072 || scm_is_null (scm_cdr ($1)))
2073 MYBACKUP (SCM_ARG, $1, @1);
2075 MYBACKUP (SYMBOL_LIST, scm_reverse_x ($1, SCM_EOL), @1);
2077 | revert_arg BACKUP symbol_list_arg
2083 // revert_arg_part delivers results in reverse
2086 | revert_arg BACKUP SCM_ARG '.' symbol_list_part
2088 $$ = scm_append_x (scm_list_2 ($5, $3));
2090 | revert_arg BACKUP SCM_ARG symbol_list_part
2092 $$ = scm_append_x (scm_list_2 ($4, $3));
2097 CONSISTS { $$ = ly_symbol2scm ("consists"); }
2098 | REMOVE { $$ = ly_symbol2scm ("remove"); }
2100 | ACCEPTS { $$ = ly_symbol2scm ("accepts"); }
2101 | DEFAULTCHILD { $$ = ly_symbol2scm ("default-child"); }
2102 | DENIES { $$ = ly_symbol2scm ("denies"); }
2104 | ALIAS { $$ = ly_symbol2scm ("alias"); }
2105 | TYPE { $$ = ly_symbol2scm ("translator-type"); }
2106 | DESCRIPTION { $$ = ly_symbol2scm ("description"); }
2107 | NAME { $$ = ly_symbol2scm ("context-name"); }
2111 property_operation { $$ = $1; }
2112 | context_def_mod STRING {
2113 $$ = scm_list_2 ($1, $2);
2115 | context_def_mod embedded_scm
2117 if (!scm_is_string ($2)
2118 && ly_symbol2scm ("consists") != $1
2119 && ly_symbol2scm ("remove") != $1)
2122 parser->parser_error (@1, _ ("only \\consists and \\remove take non-string argument."));
2126 $$ = scm_list_2 ($1, $2);
2131 // If defined, at least two members.
2135 SCM l = scm_reverse_x ($1, SCM_EOL);
2138 (scm_object_property (scm_car (l),
2139 ly_symbol2scm ("is-grob?"))))
2140 l = scm_cons (ly_symbol2scm ("Bottom"), l);
2141 if (scm_is_null (l) || scm_is_null (scm_cdr (l))) {
2142 parser->parser_error (@1, _ ("bad grob property path"));
2149 // If defined, at least three members
2153 if (!SCM_UNBNDP ($1) && scm_is_null (scm_cddr ($1)))
2155 parser->parser_error (@1, _ ("bad grob property path"));
2159 | grob_prop_spec property_path
2161 if (!SCM_UNBNDP ($1)) {
2162 $$ = scm_append_x (scm_list_2 ($1, $2));
2163 if (scm_is_null (scm_cddr ($$))) {
2164 parser->parser_error (@$, _ ("bad grob property path"));
2172 // Exactly two elements or undefined
2176 SCM l = scm_reverse_x ($1, SCM_EOL);
2177 switch (scm_ilength (l)) {
2179 l = scm_cons (ly_symbol2scm ("Bottom"), l);
2183 parser->parser_error (@1, _ ("bad context property path"));
2190 simple_music_property_def:
2191 OVERRIDE grob_prop_path '=' scalar {
2192 if (SCM_UNBNDP ($2))
2195 $$ = scm_list_5 (scm_car ($2),
2196 ly_symbol2scm ("OverrideProperty"),
2202 | REVERT simple_revert_context revert_arg {
2203 $$ = scm_list_4 ($2,
2204 ly_symbol2scm ("RevertProperty"),
2208 | SET context_prop_spec '=' scalar {
2209 if (SCM_UNBNDP ($2))
2212 $$ = scm_list_4 (scm_car ($2),
2213 ly_symbol2scm ("PropertySet"),
2217 | UNSET context_prop_spec {
2218 if (SCM_UNBNDP ($2))
2221 $$ = scm_list_3 (scm_car ($2),
2222 ly_symbol2scm ("PropertyUnset"),
2228 // This is all quite awkward for the sake of substantial backward
2229 // compatibility while at the same time allowing a more "natural" form
2230 // of specification not separating grob specification from grob
2231 // property path. The purpose of this definition of
2232 // simple_revert_context is to allow the symbol list which specifies
2233 // grob and property to revert to be optionally be split into two
2234 // parts after the grob (which may be preceded by a context
2235 // specification, a case which we distinguish by checking whether the
2236 // first symbol is a valid grob symbol instead).
2238 // See revert_arg above for the main work horse of this arrangement.
2239 // simple_revert_context just caters for the context and delegates the
2240 // rest of the job to revert_arg.
2242 simple_revert_context:
2245 $1 = scm_reverse_x ($1, SCM_EOL);
2246 if (scm_is_null ($1)
2248 (scm_object_property (scm_car ($1),
2249 ly_symbol2scm ("is-grob?")))) {
2250 $$ = ly_symbol2scm ("Bottom");
2251 parser->lexer_->push_extra_token (SCM_IDENTIFIER, $1);
2254 parser->lexer_->push_extra_token (SCM_IDENTIFIER,
2261 simple_music_property_def {
2262 if (SCM_UNBNDP ($1))
2263 $$ = MAKE_SYNTAX ("void-music", @1);
2265 $$ = LOWLEVEL_MAKE_SYNTAX (ly_lily_module_constant ("property-operation"), scm_cons2 (parser->self_scm (), make_input (@$), $1));
2274 | string '+' string {
2275 if (!scm_is_string ($1)) {
2276 parser->parser_error (@1, (_ ("simple string expected")));
2277 $1 = scm_string (SCM_EOL);
2279 if (!scm_is_string ($3)) {
2280 parser->parser_error (@3, (_ ("simple string expected")));
2281 $3 = scm_string (SCM_EOL);
2283 $$ = scm_string_append (scm_list_2 ($1, $3));
2287 simple_string: STRING {
2292 if (scm_is_string ($1)) {
2295 parser->parser_error (@1, (_ ("simple string expected")));
2296 $$ = scm_string (SCM_EOL);
2310 embedded_scm_arg_closed
2319 simple_element post_events {
2320 // Let the rhythmic music iterator sort this mess out.
2321 if (scm_is_pair ($2)) {
2322 $$ = make_music_from_simple (parser, @1, $1);
2323 if (unsmob_music ($$))
2324 unsmob_music ($$)->set_property ("articulations",
2325 scm_reverse_x ($2, SCM_EOL));
2327 parser->parser_error (@1, _("music expected"));
2330 | simple_chord_elements post_events {
2331 SCM elts = ly_append2 ($1, scm_reverse_x ($2, SCM_EOL));
2334 /* why is this giving wrong start location? -ns
2336 i.set_location (@1, @2);
2337 $$ = MAKE_SYNTAX ("event-chord", i, elts);
2339 | CHORD_REPETITION optional_notemode_duration post_events {
2341 i.set_location (@1, @3);
2342 $$ = MAKE_SYNTAX ("repetition-chord", i,
2343 $2, scm_reverse_x ($3, SCM_EOL));
2345 | MULTI_MEASURE_REST optional_notemode_duration post_events {
2347 i.set_location (@1, @3);
2348 $$ = MAKE_SYNTAX ("multi-measure-rest", i, $2,
2349 scm_reverse_x ($3, SCM_EOL));
2352 | note_chord_element
2357 chord_body optional_notemode_duration post_events
2359 Music *m = unsmob_music ($1);
2360 SCM dur = unsmob_duration ($2)->smobbed_copy ();
2361 SCM es = m->get_property ("elements");
2362 SCM postevs = scm_reverse_x ($3, SCM_EOL);
2364 for (SCM s = es; scm_is_pair (s); s = scm_cdr (s))
2365 unsmob_music (scm_car (s))->set_property ("duration", dur);
2366 es = ly_append2 (es, postevs);
2368 m-> set_property ("elements", es);
2370 $$ = m->self_scm ();
2375 ANGLE_OPEN chord_body_elements ANGLE_CLOSE
2377 $$ = MAKE_SYNTAX ("event-chord", @$, scm_reverse_x ($2, SCM_EOL));
2381 chord_body_elements:
2382 /* empty */ { $$ = SCM_EOL; }
2383 | chord_body_elements chord_body_element {
2384 if (!SCM_UNBNDP ($2))
2385 $$ = scm_cons ($2, $1);
2390 pitch exclamations questions octave_check post_events
2392 bool q = to_boolean ($3);
2393 bool ex = to_boolean ($2);
2397 Music *n = MY_MAKE_MUSIC ("NoteEvent", @$);
2398 n->set_property ("pitch", $1);
2400 n->set_property ("cautionary", SCM_BOOL_T);
2402 n->set_property ("force-accidental", SCM_BOOL_T);
2404 if (scm_is_pair (post)) {
2405 SCM arts = scm_reverse_x (post, SCM_EOL);
2406 n->set_property ("articulations", arts);
2408 if (scm_is_number (check))
2410 int q = scm_to_int (check);
2411 n->set_property ("absolute-octave", scm_from_int (q-1));
2414 $$ = n->unprotect ();
2416 | DRUM_PITCH post_events {
2417 Music *n = MY_MAKE_MUSIC ("NoteEvent", @$);
2418 n->set_property ("drum-type", $1);
2420 if (scm_is_pair ($2)) {
2421 SCM arts = scm_reverse_x ($2, SCM_EOL);
2422 n->set_property ("articulations", arts);
2424 $$ = n->unprotect ();
2426 | music_function_chord_body
2428 Music *m = unsmob_music ($1);
2430 while (m && m->is_mus_type ("music-wrapper-music")) {
2431 $$ = m->get_property ("element");
2432 m = unsmob_music ($$);
2435 if (!(m && m->is_mus_type ("rhythmic-event"))) {
2436 parser->parser_error (@$, _ ("not a rhythmic event"));
2442 music_function_chord_body:
2447 // Event functions may only take closed arglists, otherwise it would
2448 // not be clear whether a following postevent should be associated
2449 // with the last argument of the event function or with the expression
2450 // for which the function call acts itself as event.
2452 music_function_call_closed:
2453 MUSIC_FUNCTION function_arglist_closed {
2454 $$ = MAKE_SYNTAX ("music-function", @$,
2459 event_function_event:
2460 EVENT_FUNCTION function_arglist_closed {
2461 $$ = MAKE_SYNTAX ("music-function", @$,
2471 Music *m = MY_MAKE_MUSIC ("LigatureEvent", @$);
2472 m->set_property ("span-direction", scm_from_int (START));
2473 $$ = m->unprotect();
2476 Music *m = MY_MAKE_MUSIC ("LigatureEvent", @$);
2477 m->set_property ("span-direction", scm_from_int (STOP));
2478 $$ = m->unprotect ();
2481 $$ = MAKE_SYNTAX ("voice-separator", @$);
2484 SCM pipe = parser->lexer_->lookup_identifier ("pipeSymbol");
2486 Music *m = unsmob_music (pipe);
2491 $$ = m->unprotect ();
2494 $$ = MAKE_SYNTAX ("bar-check", @$);
2501 $$ = MY_MAKE_MUSIC ("PesOrFlexaEvent", @$)->unprotect ();
2513 | post_events post_event {
2515 if (Music *m = unsmob_music ($2))
2517 if (m->is_mus_type ("post-event-wrapper"))
2519 for (SCM p = m->get_property ("elements");
2523 $$ = scm_cons (scm_car (p), $$);
2527 $$ = scm_cons ($2, $$);
2533 post_event_nofinger:
2534 direction_less_event {
2537 | script_dir music_function_call_closed {
2539 if (!unsmob_music ($2)->is_mus_type ("post-event")) {
2540 parser->parser_error (@2, _ ("post-event expected"));
2541 $$ = SCM_UNSPECIFIED;
2542 } else if (!SCM_UNBNDP ($1))
2544 unsmob_music ($$)->set_property ("direction", $1);
2548 if (!parser->lexer_->is_lyric_state ())
2549 parser->parser_error (@1, _ ("have to be in Lyric mode for lyrics"));
2550 $$ = MY_MAKE_MUSIC ("HyphenEvent", @$)->unprotect ();
2553 if (!parser->lexer_->is_lyric_state ())
2554 parser->parser_error (@1, _ ("have to be in Lyric mode for lyrics"));
2555 $$ = MY_MAKE_MUSIC ("ExtenderEvent", @$)->unprotect ();
2557 | script_dir direction_reqd_event {
2558 if (!SCM_UNBNDP ($1))
2560 Music *m = unsmob_music ($2);
2561 m->set_property ("direction", $1);
2565 | script_dir direction_less_event {
2566 if (!SCM_UNBNDP ($1))
2568 Music *m = unsmob_music ($2);
2569 m->set_property ("direction", $1);
2576 unsmob_music ($$)->set_property ("direction", scm_from_int (UP));
2581 unsmob_music ($$)->set_property ("direction", scm_from_int (DOWN));
2592 string_number_event:
2594 Music *s = MY_MAKE_MUSIC ("StringNumberEvent", @$);
2595 s->set_property ("string-number", $1);
2596 $$ = s->unprotect ();
2600 direction_less_char:
2602 $$ = ly_symbol2scm ("bracketOpenSymbol");
2605 $$ = ly_symbol2scm ("bracketCloseSymbol");
2608 $$ = ly_symbol2scm ("tildeSymbol");
2611 $$ = ly_symbol2scm ("parenthesisOpenSymbol");
2614 $$ = ly_symbol2scm ("parenthesisCloseSymbol");
2617 $$ = ly_symbol2scm ("escapedExclamationSymbol");
2620 $$ = ly_symbol2scm ("escapedParenthesisOpenSymbol");
2623 $$ = ly_symbol2scm ("escapedParenthesisCloseSymbol");
2626 $$ = ly_symbol2scm ("escapedBiggerSymbol");
2629 $$ = ly_symbol2scm ("escapedSmallerSymbol");
2633 direction_less_event:
2634 direction_less_char {
2635 SCM predefd = parser->lexer_->lookup_identifier_symbol ($1);
2637 if (unsmob_music (predefd))
2639 m = unsmob_music (predefd)->clone ();
2644 m = MY_MAKE_MUSIC ("Music", @$);
2646 $$ = m->unprotect ();
2648 | string_number_event
2649 | EVENT_IDENTIFIER {
2653 Music *a = MY_MAKE_MUSIC ("TremoloEvent", @$);
2654 a->set_property ("tremolo-type", $1);
2655 $$ = a->unprotect ();
2657 | event_function_event
2660 direction_reqd_event:
2664 | script_abbreviation {
2665 SCM s = parser->lexer_->lookup_identifier ("dash" + ly_scm2string ($1));
2666 Music *a = MY_MAKE_MUSIC ("ArticulationEvent", @$);
2667 if (scm_is_string (s))
2668 a->set_property ("articulation-type", s);
2669 else parser->parser_error (@1, _ ("expecting string as script definition"));
2670 $$ = a->unprotect ();
2675 /**/ { $$ = SCM_EOL; }
2676 | '=' quotes { $$ = $2; }
2690 $$ = scm_from_int (1);
2693 $$ = scm_oneplus ($1);
2699 $$ = scm_from_int (-1);
2702 $$ = scm_oneminus ($1);
2707 NOTENAME_PITCH quotes {
2708 if (!scm_is_eq (SCM_INUM0, $2))
2710 Pitch p = *unsmob_pitch ($1);
2711 p = p.transposed (Pitch (scm_to_int ($2),0,0));
2712 $$ = p.smobbed_copy ();
2722 TONICNAME_PITCH quotes {
2723 if (!scm_is_eq (SCM_INUM0, $2))
2725 Pitch p = *unsmob_pitch ($1);
2726 p = p.transposed (Pitch (scm_to_int ($2),0,0));
2727 $$ = p.smobbed_copy ();
2737 pitch_also_in_chords:
2744 Music *t = MY_MAKE_MUSIC ("TextScriptEvent", @$);
2745 t->set_property ("text", $1);
2746 $$ = t->unprotect ();
2749 Music *t = MY_MAKE_MUSIC ("TextScriptEvent", @$);
2750 t->set_property ("text",
2751 make_simple_markup ($1));
2752 $$ = t->unprotect ();
2754 | embedded_scm_closed
2756 Music *m = unsmob_music ($1);
2757 if (m && m->is_mus_type ("post-event"))
2759 else if (Text_interface::is_markup ($1)) {
2760 Music *t = MY_MAKE_MUSIC ("TextScriptEvent", @$);
2761 t->set_property ("text", $1);
2762 $$ = t->unprotect ();
2764 parser->parser_error (@1, _ ("not an articulation"));
2770 Music *t = MY_MAKE_MUSIC ("FingeringEvent", @$);
2771 t->set_property ("digit", $1);
2772 $$ = t->unprotect ();
2776 script_abbreviation:
2778 $$ = scm_from_locale_string ("Hat");
2781 $$ = scm_from_locale_string ("Plus");
2784 $$ = scm_from_locale_string ("Dash");
2787 $$ = scm_from_locale_string ("Bar");
2790 $$ = scm_from_locale_string ("Larger");
2793 $$ = scm_from_locale_string ("Dot");
2796 $$ = scm_from_locale_string ("Underscore");
2801 '_' { $$ = scm_from_int (DOWN); }
2802 | '^' { $$ = scm_from_int (UP); }
2803 | '-' { $$ = SCM_UNDEFINED; }
2807 multiplied_duration {
2812 maybe_notemode_duration:
2816 | multiplied_duration {
2818 parser->default_duration_ = *unsmob_duration ($$);
2823 optional_notemode_duration:
2824 maybe_notemode_duration
2826 if (SCM_UNBNDP ($$))
2827 $$ = parser->default_duration_.smobbed_copy ();
2834 int n = scm_to_int ($1);
2835 if (!is_duration (n))
2836 parser->parser_error (@1, _f ("not a duration: %d", n));
2840 $$ = Duration (len, scm_to_int ($2)).smobbed_copy ();
2842 | DURATION_IDENTIFIER dots {
2843 Duration *d = unsmob_duration ($1);
2844 Duration k (d->duration_log (),
2845 d->dot_count () + scm_to_int ($2));
2846 k = k.compressed (d->factor ());
2847 scm_remember_upto_here_1 ($1);
2848 $$ = k.smobbed_copy ();
2852 multiplied_duration:
2856 | multiplied_duration '*' UNSIGNED {
2857 $$ = unsmob_duration ($$)->compressed (scm_to_int ($3)).smobbed_copy ();
2859 | multiplied_duration '*' FRACTION {
2860 Rational m (scm_to_int (scm_car ($3)), scm_to_int (scm_cdr ($3)));
2862 $$ = unsmob_duration ($$)->compressed (m).smobbed_copy ();
2871 $$ = scm_oneplus ($1);
2880 int n = scm_to_int ($2);
2881 if (!is_duration (n))
2882 parser->parser_error (@2, _f ("not a duration: %d", n));
2888 UNSIGNED { $$ = $1; }
2889 | STRING { $$ = $1; }
2890 | full_markup { $$ = $1; }
2893 // as an integer, it needs to be non-negative, and otherwise
2894 // it needs to be suitable as a markup.
2895 if (scm_is_integer ($1)
2896 ? scm_is_true (scm_negative_p ($1))
2897 : !Text_interface::is_markup ($1))
2899 parser->parser_error (@1, _ ("bass number expected"));
2905 figured_bass_alteration:
2906 '-' { $$ = ly_rational2scm (FLAT_ALTERATION); }
2907 | '+' { $$ = ly_rational2scm (SHARP_ALTERATION); }
2908 | '!' { $$ = scm_from_int (0); }
2913 Music *bfr = MY_MAKE_MUSIC ("BassFigureEvent", @$);
2914 $$ = bfr->unprotect ();
2917 Music *bfr = MY_MAKE_MUSIC ("BassFigureEvent", @$);
2918 $$ = bfr->self_scm ();
2920 if (scm_is_number ($1))
2921 bfr->set_property ("figure", $1);
2922 else if (Text_interface::is_markup ($1))
2923 bfr->set_property ("text", $1);
2929 unsmob_music ($1)->set_property ("bracket-stop", SCM_BOOL_T);
2931 | bass_figure figured_bass_alteration {
2932 Music *m = unsmob_music ($1);
2933 if (scm_to_double ($2)) {
2934 SCM salter = m->get_property ("alteration");
2935 SCM alter = scm_is_number (salter) ? salter : scm_from_int (0);
2936 m->set_property ("alteration",
2937 scm_sum (alter, $2));
2939 m->set_property ("alteration", scm_from_int (0));
2942 | bass_figure figured_bass_modification {
2943 Music *m = unsmob_music ($1);
2944 if ($2 == ly_symbol2scm ("plus"))
2946 m->set_property ("augmented", SCM_BOOL_T);
2948 else if ($2 == ly_symbol2scm ("slash"))
2950 m->set_property ("diminished", SCM_BOOL_T);
2952 else if ($2 == ly_symbol2scm ("exclamation"))
2954 m->set_property ("no-continuation", SCM_BOOL_T);
2956 else if ($2 == ly_symbol2scm ("backslash"))
2958 m->set_property ("augmented-slash", SCM_BOOL_T);
2964 figured_bass_modification:
2966 $$ = ly_symbol2scm ("plus");
2969 $$ = ly_symbol2scm ("exclamation");
2972 $$ = ly_symbol2scm ("slash");
2975 $$ = ly_symbol2scm ("backslash");
2985 unsmob_music ($$)->set_property ("bracket-start", SCM_BOOL_T);
2993 | figure_list br_bass_figure {
2994 $$ = scm_cons ($2, $1);
2999 FIGURE_OPEN figure_list FIGURE_CLOSE {
3000 $$ = scm_reverse_x ($2, SCM_EOL);
3006 /**/ { $$ = SCM_BOOL_F; }
3007 | REST { $$ = SCM_BOOL_T; }
3011 pitch exclamations questions octave_check maybe_notemode_duration optional_rest {
3012 if (!parser->lexer_->is_note_state ())
3013 parser->parser_error (@1, _ ("have to be in Note mode for notes"));
3014 if (!SCM_UNBNDP ($2)
3016 || scm_is_number ($4)
3018 || scm_is_true ($6))
3021 if (scm_is_true ($6))
3022 n = MY_MAKE_MUSIC ("RestEvent", @$);
3024 n = MY_MAKE_MUSIC ("NoteEvent", @$);
3026 n->set_property ("pitch", $1);
3027 if (SCM_UNBNDP ($5))
3028 n->set_property ("duration",
3029 parser->default_duration_.smobbed_copy ());
3031 n->set_property ("duration", $5);
3033 if (scm_is_number ($4))
3035 int q = scm_to_int ($4);
3036 n->set_property ("absolute-octave", scm_from_int (q-1));
3039 if (to_boolean ($3))
3040 n->set_property ("cautionary", SCM_BOOL_T);
3041 if (to_boolean ($2) || to_boolean ($3))
3042 n->set_property ("force-accidental", SCM_BOOL_T);
3044 $$ = n->unprotect ();
3047 | DRUM_PITCH optional_notemode_duration {
3048 Music *n = MY_MAKE_MUSIC ("NoteEvent", @$);
3049 n->set_property ("duration", $2);
3050 n->set_property ("drum-type", $1);
3052 $$ = n->unprotect ();
3054 | RESTNAME optional_notemode_duration {
3056 if (ly_scm2string ($1) == "s") {
3058 ev = MY_MAKE_MUSIC ("SkipEvent", @$);
3061 ev = MY_MAKE_MUSIC ("RestEvent", @$);
3064 ev->set_property ("duration", $2);
3065 $$ = ev->unprotect ();
3069 simple_chord_elements:
3071 if (!parser->lexer_->is_chord_state ())
3072 parser->parser_error (@1, _ ("have to be in Chord mode for chords"));
3075 | figure_spec optional_notemode_duration {
3076 for (SCM s = $1; scm_is_pair (s); s = scm_cdr (s))
3078 unsmob_music (scm_car (s))->set_property ("duration", $2);
3094 lyric_element_music:
3095 lyric_element optional_notemode_duration post_events {
3096 if (!parser->lexer_->is_lyric_state ())
3097 parser->parser_error (@1, _ ("have to be in Lyric mode for lyrics"));
3098 $$ = MAKE_SYNTAX ("lyric-event", @$, $1, $2);
3099 if (scm_is_pair ($3))
3100 unsmob_music ($$)->set_property
3101 ("articulations", scm_reverse_x ($3, SCM_EOL));
3106 steno_tonic_pitch optional_notemode_duration {
3107 $$ = make_chord_elements (@$, $1, $2, SCM_EOL);
3109 | steno_tonic_pitch optional_notemode_duration chord_separator chord_items {
3110 SCM its = scm_reverse_x ($4, SCM_EOL);
3111 $$ = make_chord_elements (@$, $1, $2, scm_cons ($3, its));
3119 | chord_items chord_item {
3120 $$ = scm_cons ($2, $$);
3126 $$ = ly_symbol2scm ("chord-colon");
3129 $$ = ly_symbol2scm ("chord-caret");
3131 | CHORD_SLASH steno_tonic_pitch {
3132 $$ = scm_list_2 (ly_symbol2scm ("chord-slash"), $2);
3134 | CHORD_BASS steno_tonic_pitch {
3135 $$ = scm_list_2 (ly_symbol2scm ("chord-bass"), $2);
3144 $$ = scm_reverse_x ($1, SCM_EOL);
3152 step_number { $$ = scm_cons ($1, SCM_EOL); }
3153 | step_numbers '.' step_number {
3154 $$ = scm_cons ($3, $$);
3160 $$ = make_chord_step ($1, 0);
3163 $$ = make_chord_step ($1, SHARP_ALTERATION);
3165 | UNSIGNED CHORD_MINUS {
3166 $$ = make_chord_step ($1, FLAT_ALTERATION);
3174 | UNSIGNED '~' UNSIGNED {
3175 $$ = scm_cons ($1, $3);
3182 TODO: should deprecate in favor of Scheme?
3186 number_expression '+' number_term {
3187 $$ = scm_sum ($1, $3);
3189 | number_expression '-' number_term {
3190 $$ = scm_difference ($1, $3);
3199 | number_factor '*' number_factor {
3200 $$ = scm_product ($1, $3);
3202 | number_factor '/' number_factor {
3203 $$ = scm_divide ($1, $3);
3208 '-' number_factor { /* %prec UNARY_MINUS */
3209 $$ = scm_difference ($2, SCM_UNDEFINED);
3217 | UNSIGNED NUMBER_IDENTIFIER {
3218 $$ = scm_product ($1, $2);
3220 | REAL NUMBER_IDENTIFIER {
3221 $$ = scm_product ($1, $2);
3237 { $$ = SCM_UNDEFINED; }
3240 if (SCM_UNBNDP ($1))
3248 { $$ = SCM_UNDEFINED; }
3251 if (SCM_UNBNDP ($1))
3260 { parser->lexer_->push_markup_state (); }
3263 parser->lexer_->pop_state ();
3269 { parser->lexer_->push_markup_state (); }
3272 parser->lexer_->pop_state ();
3277 simple_markup_list {
3278 $$ = scm_list_2 (ly_lily_module_constant ("line-markup"), $1);
3280 | markup_head_1_list simple_markup
3282 $$ = scm_car (MAKE_SYNTAX ("composed-markup-list",
3283 @2, $1, scm_list_1 ($2)));
3293 if (Text_interface::is_markup ($1))
3294 MYBACKUP (MARKUP_IDENTIFIER, $1, @1);
3295 else if (Text_interface::is_markup_list ($1))
3296 MYBACKUP (MARKUPLIST_IDENTIFIER, $1, @1);
3298 parser->parser_error (@1, _ ("not a markup"));
3299 MYBACKUP (MARKUP_IDENTIFIER, scm_string (SCM_EOL), @1);
3306 markup_composed_list {
3309 | markup_braced_list {
3312 | markup_command_list {
3313 $$ = scm_list_1 ($1);
3315 | markup_scm MARKUPLIST_IDENTIFIER
3325 $$ = scm_list_1 (scm_list_2 (ly_lily_module_constant ("score-lines-markup-list"), $1));
3331 SCM nn = parser->lexer_->lookup_identifier ("pitchnames");
3332 parser->lexer_->push_note_state (nn);
3333 } '{' score_body '}' {
3335 parser->lexer_->pop_state ();
3339 markup_composed_list:
3340 markup_head_1_list markup_braced_list {
3341 $$ = MAKE_SYNTAX ("composed-markup-list",
3347 '{' markup_braced_list_body '}' {
3348 $$ = scm_reverse_x ($2, SCM_EOL);
3352 markup_braced_list_body:
3353 /* empty */ { $$ = SCM_EOL; }
3354 | markup_braced_list_body markup {
3355 $$ = scm_cons ($2, $1);
3357 | markup_braced_list_body simple_markup_list {
3358 $$ = scm_reverse_x ($2, $1);
3362 markup_command_list:
3363 MARKUP_LIST_FUNCTION markup_command_list_arguments {
3364 $$ = scm_cons ($1, scm_reverse_x($2, SCM_EOL));
3368 markup_command_basic_arguments:
3369 EXPECT_MARKUP_LIST markup_command_list_arguments markup_list {
3370 $$ = scm_cons ($3, $2);
3372 | EXPECT_SCM markup_command_list_arguments embedded_scm_closed {
3373 $$ = check_scheme_arg (parser, @3, $3, $2, $1);
3375 | EXPECT_NO_MORE_ARGS {
3380 markup_command_list_arguments:
3381 markup_command_basic_arguments { $$ = $1; }
3382 | EXPECT_MARKUP markup_command_list_arguments markup {
3383 $$ = scm_cons ($3, $2);
3388 MARKUP_FUNCTION EXPECT_MARKUP markup_command_list_arguments {
3389 $$ = scm_cons ($1, scm_reverse_x ($3, SCM_EOL));
3394 markup_head_1_item {
3395 $$ = scm_list_1 ($1);
3397 | markup_head_1_list markup_head_1_item {
3398 $$ = scm_cons ($2, $1);
3404 $$ = make_simple_markup ($1);
3406 | MARKUP_FUNCTION markup_command_basic_arguments {
3407 $$ = scm_cons ($1, scm_reverse_x ($2, SCM_EOL));
3409 | markup_scm MARKUP_IDENTIFIER
3415 $$ = scm_list_2 (ly_lily_module_constant ("score-markup"), $1);
3420 markup_head_1_list simple_markup
3422 $$ = scm_car (MAKE_SYNTAX ("composed-markup-list",
3423 @2, $1, scm_list_1 ($2)));
3433 Lily_parser::set_yydebug (bool x)
3439 Lily_parser::do_yyparse ()
3441 SCM retval = SCM_UNDEFINED;
3442 yyparse (this, &retval);
3452 It is a little strange to have this function in this file, but
3453 otherwise, we have to import music classes into the lexer.
3457 Lily_lexer::try_special_identifiers (SCM *destination, SCM sid)
3459 if (unsmob_book (sid)) {
3460 Book *book = unsmob_book (sid)->clone ();
3461 *destination = book->self_scm ();
3464 return BOOK_IDENTIFIER;
3465 } else if (scm_is_number (sid)) {
3467 return NUMBER_IDENTIFIER;
3468 } else if (unsmob_context_def (sid)) {
3469 Context_def *def= unsmob_context_def (sid)->clone ();
3471 *destination = def->self_scm ();
3474 return CONTEXT_DEF_IDENTIFIER;
3475 } else if (unsmob_context_mod (sid)) {
3476 *destination = unsmob_context_mod (sid)->smobbed_copy ();
3478 return CONTEXT_MOD_IDENTIFIER;
3479 } else if (Music *mus = unsmob_music (sid)) {
3480 mus = mus->clone ();
3481 *destination = mus->self_scm ();
3482 bool is_event = mus->is_mus_type ("post-event");
3484 return is_event ? EVENT_IDENTIFIER : MUSIC_IDENTIFIER;
3485 } else if (unsmob_pitch (sid)) {
3486 *destination = unsmob_pitch (sid)->smobbed_copy ();
3487 return PITCH_IDENTIFIER;
3488 } else if (unsmob_duration (sid)) {
3489 *destination = unsmob_duration (sid)->smobbed_copy ();
3490 return DURATION_IDENTIFIER;
3491 } else if (unsmob_output_def (sid)) {
3492 Output_def *p = unsmob_output_def (sid);
3495 *destination = p->self_scm ();
3497 return OUTPUT_DEF_IDENTIFIER;
3504 get_next_unique_context_id ()
3506 return scm_from_locale_string ("$uniqueContextId");
3511 get_next_unique_lyrics_context_id ()
3513 static int new_context_count;
3515 snprintf (s, sizeof (s)-1, "uniqueContext%d", new_context_count++);
3516 return scm_from_locale_string (s);
3519 // check_scheme_arg checks one argument with a given predicate for use
3520 // in an argument list and throws a syntax error if it is unusable.
3521 // The argument is prepended to the argument list in any case. After
3522 // throwing a syntax error, the argument list is terminated with #f as
3523 // its last cdr in order to mark it as uncallable while not losing
3524 // track of its total length.
3526 // There are a few special considerations: if optional argument disp
3527 // is given (otherwise it defaults to SCM_UNDEFINED), it will be used
3528 // instead of arg in a prospective error message. This is useful if
3529 // arg is not the actual argument but rather a transformation of it.
3531 // If arg itself is SCM_UNDEFINED, the predicate is considered false
3532 // and an error message using disp is produced unconditionally.
3534 SCM check_scheme_arg (Lily_parser *parser, Input loc,
3535 SCM arg, SCM args, SCM pred, SCM disp)
3537 if (SCM_UNBNDP (arg))
3538 args = scm_cons (disp, args);
3540 args = scm_cons (arg, args);
3541 if (scm_is_true (scm_call_1 (pred, arg)))
3544 scm_set_cdr_x (scm_last_pair (args), SCM_EOL);
3545 MAKE_SYNTAX ("argument-error", loc, scm_length (args), pred,
3546 SCM_UNBNDP (disp) ? arg : disp);
3547 scm_set_cdr_x (scm_last_pair (args), SCM_BOOL_F);
3551 SCM loc_on_music (Input loc, SCM arg)
3553 if (Music *m = unsmob_music (arg))
3557 return m->unprotect ();
3563 try_string_variants (SCM pred, SCM str)
3565 // a matching predicate is always ok
3566 if (scm_is_true (scm_call_1 (pred, str)))
3568 // a symbol may be interpreted as a list of symbols if it helps
3569 if (scm_is_symbol (str)) {
3570 str = scm_list_1 (str);
3571 if (scm_is_true (scm_call_1 (pred, str)))
3573 return SCM_UNDEFINED;
3576 // If this cannot be a string representation of a symbol list,
3579 if (!is_regular_identifier (str, true))
3580 return SCM_UNDEFINED;
3582 str = scm_string_split (str, SCM_MAKE_CHAR ('.'));
3583 for (SCM p = str; scm_is_pair (p); p = scm_cdr (p))
3584 scm_set_car_x (p, scm_string_to_symbol (scm_car (p)));
3586 // Let's attempt the symbol list interpretation first.
3588 if (scm_is_true (scm_call_1 (pred, str)))
3591 // If there is just one symbol in the list, we might interpret
3592 // it as a single symbol
3594 if (scm_is_null (scm_cdr (str)))
3596 str = scm_car (str);
3597 if (scm_is_true (scm_call_1 (pred, str)))
3601 return SCM_UNDEFINED;
3605 is_regular_identifier (SCM id, bool multiple)
3607 if (!scm_is_string (id))
3610 string str = ly_scm2string (id);
3612 bool middle = false;
3614 for (string::iterator it=str.begin(); it != str.end (); it++)
3617 if ((c >= 'a' && c <= 'z')
3618 || (c >= 'A' && c <= 'Z')
3621 else if (middle && (c == '-' || c == '_' || (multiple && c == '.')))
3630 make_music_from_simple (Lily_parser *parser, Input loc, SCM simple)
3632 if (unsmob_music (simple))
3634 if (parser->lexer_->is_note_state ()) {
3635 if (scm_is_symbol (simple)) {
3636 Music *n = MY_MAKE_MUSIC ("NoteEvent", loc);
3637 n->set_property ("duration", parser->default_duration_.smobbed_copy ());
3638 n->set_property ("drum-type", simple);
3639 return n->unprotect ();
3641 if (unsmob_pitch (simple)) {
3642 Music *n = MY_MAKE_MUSIC ("NoteEvent", loc);
3643 n->set_property ("duration", parser->default_duration_.smobbed_copy ());
3644 n->set_property ("pitch", simple);
3645 return n->unprotect ();
3648 } else if (parser->lexer_->is_lyric_state ()) {
3649 if (Text_interface::is_markup (simple))
3650 return MAKE_SYNTAX ("lyric-event", loc, simple,
3651 parser->default_duration_.smobbed_copy ());
3652 } else if (parser->lexer_->is_chord_state ()) {
3653 if (unsmob_pitch (simple))
3654 return make_chord_elements (loc, simple,
3655 parser->default_duration_.smobbed_copy (),
3662 make_music_with_input (SCM name, Input where)
3664 Music *m = make_music_by_name (name);
3665 m->set_spot (where);
3670 make_simple_markup (SCM a)
3678 return t && t == 1 << intlog2 (t);
3682 make_chord_step (SCM step_scm, Rational alter)
3684 int step = scm_to_int (step_scm);
3687 alter += FLAT_ALTERATION;
3691 Pitch m ((step -1) / 7, (step - 1) % 7, alter);
3692 return m.smobbed_copy ();
3697 make_chord_elements (Input loc, SCM pitch, SCM dur, SCM modification_list)
3699 SCM chord_ctor = ly_lily_module_constant ("construct-chord-elements");
3700 SCM res = scm_call_3 (chord_ctor, pitch, dur, modification_list);
3701 for (SCM s = res; scm_is_pair (s); s = scm_cdr (s))
3703 unsmob_music (scm_car (s))->set_spot (loc);
3709 yylex (YYSTYPE *s, YYLTYPE *loc, Lily_parser *parser)
3711 Lily_lexer *lex = parser->lexer_;
3715 lex->prepare_for_next_token ();
3716 return lex->yylex ();