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_EXCLAMATION "\\!"
317 If we give names, Bison complains.
319 %token FIGURE_CLOSE /* "\\>" */
320 %token FIGURE_OPEN /* "\\<" */
321 %token FIGURE_SPACE "_"
324 %token CHORDMODIFIERS
325 %token MULTI_MEASURE_REST
331 /* Artificial tokens, for more generic function syntax */
332 %token EXPECT_MARKUP "markup?"
333 %token EXPECT_PITCH "ly:pitch?"
334 %token EXPECT_DURATION "ly:duration?"
335 %token EXPECT_SCM "scheme?"
336 %token BACKUP "(backed-up?)"
337 %token REPARSE "(reparsed?)"
338 %token EXPECT_MARKUP_LIST "markup-list?"
339 %token EXPECT_OPTIONAL "optional?"
340 /* After the last argument. */
341 %token EXPECT_NO_MORE_ARGS;
343 /* An artificial token for parsing embedded Lilypond */
344 %token EMBEDDED_LILY "#{"
346 %token BOOK_IDENTIFIER
347 %token CHORDMODIFIER_PITCH
348 %token CHORD_MODIFIER
349 %token CHORD_REPETITION
350 %token CONTEXT_DEF_IDENTIFIER
351 %token CONTEXT_MOD_IDENTIFIER
353 %token PITCH_IDENTIFIER
354 %token DURATION_IDENTIFIER
355 %token EVENT_IDENTIFIER
356 %token EVENT_FUNCTION
359 %token MARKUP_FUNCTION
360 %token MARKUP_LIST_FUNCTION
361 %token MARKUP_IDENTIFIER
362 %token MARKUPLIST_IDENTIFIER
363 %token MUSIC_FUNCTION
364 %token MUSIC_IDENTIFIER
365 %token NOTENAME_PITCH
366 %token NUMBER_IDENTIFIER
367 %token OUTPUT_DEF_IDENTIFIER
372 %token SCM_IDENTIFIER
376 %token TONICNAME_PITCH
380 /* We don't assign precedence to / and *, because we might need varied
381 prec levels in different prods */
390 SCM nn = parser->lexer_->lookup_identifier ("pitchnames");
391 parser->lexer_->push_note_state (nn);
392 } embedded_lilypond {
393 parser->lexer_->pop_state ();
398 lilypond: /* empty */ { $$ = SCM_UNSPECIFIED; }
399 | lilypond toplevel_expression {
401 | lilypond assignment {
404 parser->error_level_ = 1;
407 parser->error_level_ = 1;
414 parser->lexer_->add_scope (get_header (parser));
416 parser->lexer_->set_identifier (ly_symbol2scm ("$defaultheader"), $2);
419 SCM proc = parser->lexer_->lookup_identifier ("toplevel-book-handler");
420 scm_call_2 (proc, parser->self_scm (), $1);
423 SCM proc = parser->lexer_->lookup_identifier ("toplevel-bookpart-handler");
424 scm_call_2 (proc, parser->self_scm (), $1);
427 SCM proc = parser->lexer_->lookup_identifier ("toplevel-score-handler");
428 scm_call_2 (proc, parser->self_scm (), $1);
431 SCM proc = parser->lexer_->lookup_identifier ("toplevel-music-handler");
432 scm_call_2 (proc, parser->self_scm (), $1);
435 SCM proc = parser->lexer_->lookup_identifier ("toplevel-text-handler");
436 scm_call_2 (proc, parser->self_scm (), scm_list_1 ($1));
439 SCM proc = parser->lexer_->lookup_identifier ("toplevel-text-handler");
440 scm_call_2 (proc, parser->self_scm (), $1);
443 // Evaluate and ignore #xxx, as opposed to \xxx
444 parser->lexer_->eval_scm_token ($1);
446 | embedded_scm_active
448 SCM out = SCM_UNDEFINED;
449 if (Text_interface::is_markup ($1))
450 out = scm_list_1 ($1);
451 else if (Text_interface::is_markup_list ($1))
453 if (scm_is_pair (out))
455 SCM proc = parser->lexer_->lookup_identifier ("toplevel-text-handler");
456 scm_call_2 (proc, parser->self_scm (), out);
457 } else if (!scm_is_eq ($1, SCM_UNSPECIFIED))
458 parser->parser_error (@1, _("bad expression type"));
462 Output_def * od = unsmob_output_def ($1);
464 if (od->c_variable ("is-paper") == SCM_BOOL_T)
465 id = ly_symbol2scm ("$defaultpaper");
466 else if (od->c_variable ("is-midi") == SCM_BOOL_T)
467 id = ly_symbol2scm ("$defaultmidi");
468 else if (od->c_variable ("is-layout") == SCM_BOOL_T)
469 id = ly_symbol2scm ("$defaultlayout");
471 parser->lexer_->set_identifier (id, $1);
478 $$ = parser->lexer_->eval_scm_token ($1);
488 embedded_scm_bare_arg:
492 $$ = parser->lexer_->eval_scm_token ($1);
495 | context_modification
497 | context_def_spec_block
503 /* The generic version may end in music, or not */
511 embedded_scm_bare_arg
517 SCM_FUNCTION function_arglist {
518 $$ = MAKE_SYNTAX ("music-function", @$,
526 $$ = MAKE_SYNTAX ("void-music", @$);
529 | music_embedded music_embedded music_list {
530 $3 = scm_reverse_x ($3, SCM_EOL);
531 if (unsmob_music ($2))
532 $3 = scm_cons ($2, $3);
533 if (unsmob_music ($1))
534 $3 = scm_cons ($1, $3);
535 $$ = MAKE_SYNTAX ("sequential-music", @$, $3);
538 parser->error_level_ = 1;
539 $$ = SCM_UNSPECIFIED;
541 | INVALID embedded_lilypond {
542 parser->error_level_ = 1;
548 lilypond_header_body:
549 /* empty */ { $$ = SCM_UNSPECIFIED; }
550 | lilypond_header_body assignment {
553 | lilypond_header_body embedded_scm {
559 HEADER '{' lilypond_header_body '}' {
560 $$ = parser->lexer_->remove_scope ();
572 assignment_id '=' identifier_init {
573 parser->lexer_->set_identifier ($1, $3);
574 $$ = SCM_UNSPECIFIED;
576 | assignment_id property_path '=' identifier_init {
577 SCM path = scm_cons (scm_string_to_symbol ($1), $2);
578 parser->lexer_->set_identifier (path, $4);
579 $$ = SCM_UNSPECIFIED;
589 | context_def_spec_block
591 | post_event_nofinger post_events
593 $$ = scm_reverse_x ($2, SCM_EOL);
594 if (Music *m = unsmob_music ($1))
596 if (m->is_mus_type ("post-event-wrapper"))
598 (scm_list_2 (m->get_property ("elements"),
601 $$ = scm_cons ($1, $$);
604 && scm_is_null (scm_cdr ($$)))
608 Music * m = MY_MAKE_MUSIC ("PostEvents", @$);
609 m->set_property ("elements", $$);
610 $$ = m->unprotect ();
618 | context_modification
621 context_def_spec_block:
622 CONTEXT '{' context_def_spec_body '}'
633 context_mod_embedded:
636 if (unsmob_music ($1)) {
637 SCM proc = parser->lexer_->lookup_identifier ("context-mod-music-handler");
638 $1 = scm_call_2 (proc, parser->self_scm (), $1);
640 if (unsmob_context_mod ($1))
643 parser->parser_error (@1, _ ("not a context mod"));
649 context_def_spec_body:
651 $$ = Context_def::make_scm ();
652 unsmob_context_def ($$)->origin ()->set_spot (@$);
654 | CONTEXT_DEF_IDENTIFIER {
656 unsmob_context_def ($$)->origin ()->set_spot (@$);
658 | context_def_spec_body context_mod {
659 if (!SCM_UNBNDP ($2))
660 unsmob_context_def ($$)->add_context_mod ($2);
662 | context_def_spec_body context_modification {
663 Context_def *td = unsmob_context_def ($$);
664 SCM new_mods = unsmob_context_mod ($2)->get_mods ();
665 for (SCM m = new_mods; scm_is_pair (m); m = scm_cdr (m)) {
666 td->add_context_mod (scm_car (m));
669 | context_def_spec_body context_mod_embedded {
670 Context_def *td = unsmob_context_def ($$);
671 SCM new_mods = unsmob_context_mod ($2)->get_mods ();
672 for (SCM m = new_mods; scm_is_pair (m); m = scm_cdr (m)) {
673 td->add_context_mod (scm_car (m));
681 BOOK '{' book_body '}' {
684 parser->lexer_->set_identifier (ly_symbol2scm ("$current-book"), SCM_BOOL_F);
689 * Use 'handlers' like for toplevel-* stuff?
690 * grok \layout and \midi? */
693 Book *book = new Book;
694 init_papers (parser);
695 book->origin ()->set_spot (@$);
696 book->paper_ = dynamic_cast<Output_def*> (unsmob_output_def (parser->lexer_->lookup_identifier ("$defaultpaper"))->clone ());
697 book->paper_->unprotect ();
698 push_paper (parser, book->paper_);
699 book->header_ = get_header (parser);
700 $$ = book->unprotect ();
701 parser->lexer_->set_identifier (ly_symbol2scm ("$current-book"), $$);
704 unsmob_book ($1)->origin ()->set_spot (@$);
705 parser->lexer_->set_identifier (ly_symbol2scm ("$current-book"), $1);
707 | book_body paper_block {
708 unsmob_book ($1)->paper_ = unsmob_output_def ($2);
709 set_paper (parser, unsmob_output_def ($2));
711 | book_body bookpart_block {
712 SCM proc = parser->lexer_->lookup_identifier ("book-bookpart-handler");
713 scm_call_2 (proc, $1, $2);
715 | book_body score_block {
716 SCM proc = parser->lexer_->lookup_identifier ("book-score-handler");
717 scm_call_2 (proc, $1, $2);
719 | book_body composite_music {
720 SCM proc = parser->lexer_->lookup_identifier ("book-music-handler");
721 scm_call_3 (proc, parser->self_scm (), $1, $2);
723 | book_body full_markup {
724 SCM proc = parser->lexer_->lookup_identifier ("book-text-handler");
725 scm_call_2 (proc, $1, scm_list_1 ($2));
727 | book_body full_markup_list {
728 SCM proc = parser->lexer_->lookup_identifier ("book-text-handler");
729 scm_call_2 (proc, $1, $2);
731 | book_body SCM_TOKEN {
732 // Evaluate and ignore #xxx, as opposed to \xxx
733 parser->lexer_->eval_scm_token ($2);
735 | book_body embedded_scm_active
737 SCM out = SCM_UNDEFINED;
738 if (Text_interface::is_markup ($2))
739 out = scm_list_1 ($2);
740 else if (Text_interface::is_markup_list ($2))
742 if (scm_is_pair (out))
744 SCM proc = parser->lexer_->lookup_identifier ("book-text-handler");
745 scm_call_2 (proc, $1, out);
746 } else if (!scm_is_eq ($2, SCM_UNSPECIFIED))
747 parser->parser_error (@2, _("bad expression type"));
751 parser->lexer_->add_scope (unsmob_book ($1)->header_);
754 Book *book = unsmob_book ($1);
756 book->scores_ = SCM_EOL;
757 book->bookparts_ = SCM_EOL;
762 BOOKPART '{' bookpart_body '}' {
764 parser->lexer_->set_identifier (ly_symbol2scm ("$current-bookpart"), SCM_BOOL_F);
770 Book *book = new Book;
771 book->origin ()->set_spot (@$);
772 $$ = book->unprotect ();
773 parser->lexer_->set_identifier (ly_symbol2scm ("$current-bookpart"), $$);
776 unsmob_book ($1)->origin ()->set_spot (@$);
777 parser->lexer_->set_identifier (ly_symbol2scm ("$current-bookpart"), $1);
779 | bookpart_body paper_block {
780 unsmob_book ($$)->paper_ = unsmob_output_def ($2);
782 | bookpart_body score_block {
783 SCM proc = parser->lexer_->lookup_identifier ("bookpart-score-handler");
784 scm_call_2 (proc, $1, $2);
786 | bookpart_body composite_music {
787 SCM proc = parser->lexer_->lookup_identifier ("bookpart-music-handler");
788 scm_call_3 (proc, parser->self_scm (), $1, $2);
790 | bookpart_body full_markup {
791 SCM proc = parser->lexer_->lookup_identifier ("bookpart-text-handler");
792 scm_call_2 (proc, $1, scm_list_1 ($2));
794 | bookpart_body full_markup_list {
795 SCM proc = parser->lexer_->lookup_identifier ("bookpart-text-handler");
796 scm_call_2 (proc, $1, $2);
798 | bookpart_body SCM_TOKEN {
799 // Evaluate and ignore #xxx, as opposed to \xxx
800 parser->lexer_->eval_scm_token ($2);
802 | bookpart_body embedded_scm_active
804 SCM out = SCM_UNDEFINED;
805 if (Text_interface::is_markup ($2))
806 out = scm_list_1 ($2);
807 else if (Text_interface::is_markup_list ($2))
809 if (scm_is_pair (out))
811 SCM proc = parser->lexer_->lookup_identifier ("bookpart-text-handler");
812 scm_call_2 (proc, $1, out);
813 } else if (!scm_is_eq ($2, SCM_UNSPECIFIED))
814 parser->parser_error (@2, _("bad expression type"));
818 Book *book = unsmob_book ($1);
819 if (!ly_is_module (book->header_))
820 book->header_ = ly_make_module (false);
821 parser->lexer_->add_scope (book->header_);
823 | bookpart_body error {
824 Book *book = unsmob_book ($1);
826 book->scores_ = SCM_EOL;
831 SCORE '{' score_body '}' {
838 SCM scorify = ly_lily_module_constant ("scorify-music");
839 $$ = scm_call_2 (scorify, $1, parser->self_scm ());
841 unsmob_score ($$)->origin ()->set_spot (@$);
843 | embedded_scm_active {
845 if (unsmob_score ($1))
846 score = new Score (*unsmob_score ($1));
849 parser->parser_error (@1, _("score expected"));
851 unsmob_score ($$)->origin ()->set_spot (@$);
852 $$ = score->unprotect ();
856 Score *score = unsmob_score ($1);
857 if (!ly_is_module (score->get_header ()))
858 score->set_header (ly_make_module (false));
859 parser->lexer_->add_scope (score->get_header ());
861 | score_body output_def {
862 Output_def *od = unsmob_output_def ($2);
863 if (od->lookup_variable (ly_symbol2scm ("is-paper")) == SCM_BOOL_T)
865 parser->parser_error (@2, _("\\paper cannot be used in \\score, use \\layout instead"));
870 unsmob_score ($1)->add_output_def (od);
874 unsmob_score ($$)->error_found_ = true;
885 Output_def *od = unsmob_output_def ($1);
887 if (od->lookup_variable (ly_symbol2scm ("is-paper")) != SCM_BOOL_T)
889 parser->parser_error (@1, _ ("need \\paper for paper block"));
890 $$ = get_paper (parser)->unprotect ();
897 output_def_body '}' {
900 parser->lexer_->remove_scope ();
901 parser->lexer_->pop_state ();
907 Output_def *p = get_paper (parser);
908 p->input_origin_ = @$;
909 parser->lexer_->add_scope (p->scope_);
910 $$ = p->unprotect ();
913 Output_def *p = get_midi (parser);
914 $$ = p->unprotect ();
915 parser->lexer_->add_scope (p->scope_);
918 Output_def *p = get_layout (parser);
920 parser->lexer_->add_scope (p->scope_);
921 $$ = p->unprotect ();
925 output_def_head_with_mode_switch:
927 parser->lexer_->push_initial_state ();
932 // We need this weird nonterminal because both music as well as a
933 // context definition can start with \context and the difference is
934 // only apparent after looking at the next token. If it is '{', there
935 // is still time to escape from notes mode.
937 music_or_context_def:
940 parser->lexer_->pop_state ();
944 parser->lexer_->pop_state ();
945 } '{' context_def_spec_body '}'
952 output_def_head_with_mode_switch '{' {
954 unsmob_output_def ($$)->input_origin_.set_spot (@$);
956 | output_def_head_with_mode_switch '{' OUTPUT_DEF_IDENTIFIER {
957 Output_def *o = unsmob_output_def ($3);
958 o->input_origin_.set_spot (@$);
960 parser->lexer_->remove_scope ();
961 parser->lexer_->add_scope (o->scope_);
963 | output_def_body assignment {
966 | output_def_body embedded_scm {
971 SCM nn = parser->lexer_->lookup_identifier ("pitchnames");
972 parser->lexer_->push_note_state (nn);
973 } music_or_context_def
975 if (unsmob_context_def ($3))
976 assign_context_def (unsmob_output_def ($1), $3);
979 SCM proc = parser->lexer_->lookup_identifier
980 ("output-def-music-handler");
981 scm_call_3 (proc, parser->self_scm (),
985 | output_def_body error {
991 TEMPO steno_duration '=' tempo_range {
992 $$ = MAKE_SYNTAX ("tempo", @$, SCM_EOL, $2, $4);
994 | TEMPO scalar_closed steno_duration '=' tempo_range {
995 $$ = MAKE_SYNTAX ("tempo", @$, $2, $3, $5);
998 $$ = MAKE_SYNTAX ("tempo", @$, $2);
1003 The representation of a list is reversed to have efficient append. */
1009 | music_list music_embedded {
1010 if (unsmob_music ($2))
1011 $$ = scm_cons ($2, $1);
1013 | music_list error {
1014 Music *m = MY_MAKE_MUSIC("Music", @$);
1016 m->set_property ("error-found", SCM_BOOL_T);
1017 $$ = scm_cons (m->self_scm (), $1);
1018 m->unprotect (); /* UGH */
1025 $$ = scm_reverse_x ($2, SCM_EOL);
1030 | lyric_element_music
1036 if (unsmob_music ($1)->is_mus_type ("post-event")) {
1037 parser->parser_error (@1, _ ("unexpected post-event"));
1038 $$ = SCM_UNSPECIFIED;
1041 | music_embedded_backup
1045 | music_embedded_backup BACKUP lyric_element_music
1051 music_embedded_backup:
1054 if (scm_is_eq ($1, SCM_UNSPECIFIED))
1056 else if (Music *m = unsmob_music ($1)) {
1057 if (m->is_mus_type ("post-event")) {
1058 parser->parser_error
1059 (@1, _ ("unexpected post-event"));
1060 $$ = SCM_UNSPECIFIED;
1063 } else if (parser->lexer_->is_lyric_state ()
1064 && Text_interface::is_markup ($1))
1065 MYBACKUP (LYRIC_ELEMENT, $1, @1);
1067 @$.warning (_ ("Ignoring non-music expression"));
1076 $$ = make_music_from_simple (parser, @1, $1);
1077 if (!unsmob_music ($$))
1078 parser->parser_error (@1, _ ("music expected"));
1080 | composite_music %prec COMPOSITE
1085 | composite_music %prec COMPOSITE
1089 REPEAT simple_string unsigned_number music
1091 $$ = MAKE_SYNTAX ("repeat", @$, $2, $3, $4, SCM_EOL);
1093 | REPEAT simple_string unsigned_number music ALTERNATIVE braced_music_list
1095 $$ = MAKE_SYNTAX ("repeat", @$, $2, $3, $4, $6);
1100 SEQUENTIAL braced_music_list {
1101 $$ = MAKE_SYNTAX ("sequential-music", @$, $2);
1103 | braced_music_list {
1104 $$ = MAKE_SYNTAX ("sequential-music", @$, $1);
1109 SIMULTANEOUS braced_music_list {
1110 $$ = MAKE_SYNTAX ("simultaneous-music", @$, $2);
1112 | DOUBLE_ANGLE_OPEN music_list DOUBLE_ANGLE_CLOSE {
1113 $$ = MAKE_SYNTAX ("simultaneous-music", @$, scm_reverse_x ($2, SCM_EOL));
1119 | music_property_def
1123 context_modification:
1124 WITH { parser->lexer_->push_initial_state (); } '{' context_mod_list '}'
1126 parser->lexer_->pop_state ();
1129 | WITH CONTEXT_MOD_IDENTIFIER
1133 | CONTEXT_MOD_IDENTIFIER
1137 | WITH embedded_scm_closed
1139 if (unsmob_context_mod ($2))
1142 parser->parser_error (@2, _ ("not a context mod"));
1143 $$ = Context_mod ().smobbed_copy ();
1148 optional_context_mod:
1152 | context_modification
1160 $$ = Context_mod ().smobbed_copy ();
1162 | context_mod_list context_mod {
1163 if (!SCM_UNBNDP ($2))
1164 unsmob_context_mod ($1)->add_context_mod ($2);
1166 | context_mod_list CONTEXT_MOD_IDENTIFIER {
1167 Context_mod *md = unsmob_context_mod ($2);
1169 unsmob_context_mod ($1)->add_context_mods (md->get_mods ());
1171 | context_mod_list context_mod_embedded {
1172 unsmob_context_mod ($1)->add_context_mods
1173 (unsmob_context_mod ($2)->get_mods ());
1182 /* Music that can be parsed without lookahead */
1185 | complex_music_prefix closed_music
1187 $$ = FINISH_MAKE_SYNTAX ($1, @$, $2);
1189 | music_function_call_closed
1195 | grouped_music_list
1199 simultaneous_music { $$ = $1; }
1200 | sequential_music { $$ = $1; }
1203 /* An argument list. If a function \foo expects scm scm pitch, then the lexer expands \foo into the token sequence:
1204 MUSIC_FUNCTION EXPECT_PITCH EXPECT_SCM EXPECT_SCM EXPECT_NO_MORE_ARGS
1205 and this rule returns the reversed list of arguments. */
1207 /* Function argument lists come in a number of flavors. Whenever
1208 * LilyPond has to pick between different flavors, the decision is
1209 * either made because of tokens it has already seen, or it is
1210 * postponed until tokens suitable for making the decision come up.
1211 * For postponing decisions, it may be necessary that the competing
1212 * rules are written in a way making them compatible until a decision
1213 * can be made. Sometimes this is done by putting common traits into
1214 * a separate "common" rule set.
1216 * function_arglist: a full argument list. Optional arguments at the
1217 * end of the list can only be skipped by writing \default in their
1220 * function_arglist_backup: an argument list ending in an optional
1221 * argument that may be skipped depending on its predicate.
1223 * function_arglist_skip: an argument list _not_ ending in an optional
1224 * argument that is actually taken.
1226 * function_arglist_nonbackup: an argument list ending in an optional
1227 * argument that may not be skipped because it is in end position and
1228 * has not been shortcircuited with \default.
1230 * function_arglist* / function_arglist_closed*: The closed variants
1231 * don't end in simple music expressions that might still accept
1232 * things like a duration or a postevent.
1235 function_arglist_skip:
1236 function_arglist_common
1237 | EXPECT_OPTIONAL EXPECT_PITCH function_arglist_skip
1239 $$ = scm_cons ($1, $3);
1240 } %prec FUNCTION_ARGLIST
1241 | EXPECT_OPTIONAL EXPECT_DURATION function_arglist_skip
1243 $$ = scm_cons ($1, $3);
1244 } %prec FUNCTION_ARGLIST
1245 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_skip
1247 $$ = scm_cons ($1, $3);
1248 } %prec FUNCTION_ARGLIST
1252 function_arglist_nonbackup_common:
1253 EXPECT_OPTIONAL EXPECT_PITCH function_arglist pitch_also_in_chords {
1254 $$ = scm_cons ($4, $3);
1256 | EXPECT_OPTIONAL EXPECT_DURATION function_arglist_closed duration_length {
1257 $$ = scm_cons ($4, $3);
1259 | EXPECT_OPTIONAL EXPECT_SCM function_arglist FRACTION
1261 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1263 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed post_event_nofinger
1265 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1267 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed '-' UNSIGNED
1269 SCM n = scm_difference ($5, SCM_UNDEFINED);
1270 if (scm_is_true (scm_call_1 ($2, n)))
1271 $$ = scm_cons (n, $3);
1273 Music *t = MY_MAKE_MUSIC ("FingeringEvent", @5);
1274 t->set_property ("digit", $5);
1275 $$ = check_scheme_arg (parser, @4, t->unprotect (),
1280 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed '-' REAL
1282 $$ = check_scheme_arg (parser, @4,
1283 scm_difference ($5, SCM_UNDEFINED),
1286 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed '-' NUMBER_IDENTIFIER
1288 $$ = check_scheme_arg (parser, @4,
1289 scm_difference ($5, SCM_UNDEFINED),
1294 function_arglist_closed_nonbackup:
1295 function_arglist_nonbackup_common
1296 | EXPECT_OPTIONAL EXPECT_SCM function_arglist embedded_scm_arg_closed
1298 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1300 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed bare_number_closed
1302 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1304 | EXPECT_OPTIONAL EXPECT_SCM function_arglist SCM_IDENTIFIER
1306 $$ = check_scheme_arg (parser, @4,
1307 try_string_variants ($2, $4),
1310 | EXPECT_OPTIONAL EXPECT_SCM function_arglist STRING
1312 $$ = check_scheme_arg (parser, @4,
1313 try_string_variants ($2, $4),
1316 | EXPECT_OPTIONAL EXPECT_SCM function_arglist full_markup
1318 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1324 | SYMBOL_LIST '.' symbol_list_rev
1326 $$ = scm_append (scm_list_2 ($1, scm_reverse_x ($3, SCM_EOL)));
1332 | symbol_list_rev '.' symbol_list_part
1334 $$ = scm_append_x (scm_list_2 ($3, $1));
1338 // symbol_list_part delivers elements in reverse copy.
1343 SCM sym_l_p = ly_lily_module_constant ("symbol-list?");
1344 $$ = try_string_variants (sym_l_p, $1);
1345 if (SCM_UNBNDP ($$)) {
1346 parser->parser_error (@1, _("not a symbol"));
1349 $$ = scm_reverse ($$);
1354 symbol_list_element:
1360 function_arglist_nonbackup:
1361 function_arglist_nonbackup_common
1362 | EXPECT_OPTIONAL EXPECT_SCM function_arglist embedded_scm_arg
1364 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1366 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed bare_number
1368 $$ = check_scheme_arg (parser, @4, $4, $3, $2);
1370 | function_arglist_nonbackup_reparse REPARSE SCM_ARG
1372 $$ = check_scheme_arg (parser, @3, $3, $1, $2);
1374 | function_arglist_nonbackup_reparse REPARSE lyric_element_music
1376 $$ = check_scheme_arg (parser, @3, $3, $1, $2);
1378 | function_arglist_nonbackup_reparse REPARSE symbol_list_arg
1380 $$ = check_scheme_arg (parser, @3, $3, $1, $2);
1384 function_arglist_nonbackup_reparse:
1385 EXPECT_OPTIONAL EXPECT_SCM function_arglist SCM_IDENTIFIER
1388 SCM res = try_string_variants ($2, $4);
1389 if (!SCM_UNBNDP (res))
1390 if (scm_is_pair (res))
1391 MYREPARSE (@4, $2, SYMBOL_LIST, res);
1393 MYREPARSE (@4, $2, SCM_ARG, res);
1394 else if (scm_is_true
1396 ($2, make_music_from_simple
1398 MYREPARSE (@4, $2, STRING, $4);
1400 MYREPARSE (@4, $2, SCM_ARG, $4);
1402 | EXPECT_OPTIONAL EXPECT_SCM function_arglist STRING
1405 SCM res = try_string_variants ($2, $4);
1406 if (!SCM_UNBNDP (res))
1407 if (scm_is_pair (res))
1408 MYREPARSE (@4, $2, SYMBOL_LIST, res);
1410 MYREPARSE (@4, $2, SCM_ARG, res);
1411 else if (scm_is_true
1413 ($2, make_music_from_simple
1415 MYREPARSE (@4, $2, STRING, $4);
1417 MYREPARSE (@4, $2, SCM_ARG, $4);
1419 | EXPECT_OPTIONAL EXPECT_SCM function_arglist full_markup
1422 if (scm_is_true (scm_call_1 ($2, $4)))
1423 MYREPARSE (@4, $2, SCM_ARG, $4);
1424 else if (scm_is_true
1426 ($2, make_music_from_simple
1428 MYREPARSE (@4, $2, STRING, $4);
1430 MYREPARSE (@4, $2, SCM_ARG, $4);
1434 function_arglist_keep:
1435 function_arglist_common
1436 | function_arglist_backup
1439 function_arglist_closed_keep:
1440 function_arglist_closed_common
1441 | function_arglist_backup
1444 function_arglist_backup:
1445 EXPECT_OPTIONAL EXPECT_SCM function_arglist_keep embedded_scm_arg_closed
1447 if (scm_is_true (scm_call_1 ($2, $4)))
1449 $$ = scm_cons ($4, $3);
1451 $$ = scm_cons (loc_on_music (@3, $1), $3);
1452 MYBACKUP (SCM_ARG, $4, @4);
1455 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep post_event_nofinger
1457 if (scm_is_true (scm_call_1 ($2, $4)))
1459 $$ = scm_cons ($4, $3);
1461 $$ = scm_cons (loc_on_music (@3, $1), $3);
1462 MYBACKUP (EVENT_IDENTIFIER, $4, @4);
1465 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_keep full_markup
1467 if (scm_is_true (scm_call_1 ($2, $4)))
1468 $$ = scm_cons ($4, $3);
1470 $$ = scm_cons (loc_on_music (@3, $1), $3);
1471 MYBACKUP (LYRIC_ELEMENT, $4, @4);
1474 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep UNSIGNED
1476 if (scm_is_true (scm_call_1 ($2, $4)))
1479 MYREPARSE (@4, $2, UNSIGNED, $4);
1481 $$ = scm_cons (loc_on_music (@3, $1), $3);
1482 MYBACKUP (UNSIGNED, $4, @4);
1485 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep REAL
1487 if (scm_is_true (scm_call_1 ($2, $4)))
1490 MYREPARSE (@4, $2, REAL, $4);
1492 $$ = scm_cons (loc_on_music (@3, $1), $3);
1493 MYBACKUP (REAL, $4, @4);
1496 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep NUMBER_IDENTIFIER
1498 if (scm_is_true (scm_call_1 ($2, $4)))
1500 $$ = scm_cons ($4, $3);
1502 $$ = scm_cons (loc_on_music (@3, $1), $3);
1503 MYBACKUP (NUMBER_IDENTIFIER, $4, @4);
1506 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_keep FRACTION
1508 if (scm_is_true (scm_call_1 ($2, $4)))
1510 $$ = scm_cons ($4, $3);
1512 $$ = scm_cons (loc_on_music (@3, $1), $3);
1513 MYBACKUP (FRACTION, $4, @4);
1516 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep '-' UNSIGNED
1518 SCM n = scm_difference ($5, SCM_UNDEFINED);
1519 if (scm_is_true (scm_call_1 ($2, n))) {
1521 MYREPARSE (@5, $2, REAL, n);
1523 Music *t = MY_MAKE_MUSIC ("FingeringEvent", @5);
1524 t->set_property ("digit", $5);
1525 $$ = t->unprotect ();
1526 if (scm_is_true (scm_call_1 ($2, $$)))
1527 $$ = scm_cons ($$, $3);
1529 $$ = scm_cons (loc_on_music (@3, $1), $3);
1530 MYBACKUP (UNSIGNED, $5, @5);
1531 parser->lexer_->push_extra_token ('-');
1536 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep '-' REAL
1538 SCM n = scm_difference ($5, SCM_UNDEFINED);
1539 if (scm_is_true (scm_call_1 ($2, n))) {
1540 MYREPARSE (@5, $2, REAL, n);
1543 $$ = scm_cons (loc_on_music (@3, $1), $3);
1544 MYBACKUP (REAL, n, @5);
1547 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_closed_keep '-' NUMBER_IDENTIFIER
1549 SCM n = scm_difference ($5, SCM_UNDEFINED);
1550 if (scm_is_true (scm_call_1 ($2, n))) {
1551 $$ = scm_cons (n, $3);
1553 $$ = scm_cons (loc_on_music (@3, $1), $3);
1554 MYBACKUP (NUMBER_IDENTIFIER, n, @5);
1557 | EXPECT_OPTIONAL EXPECT_PITCH function_arglist_keep pitch_also_in_chords
1559 $$ = scm_cons ($4, $3);
1561 | EXPECT_OPTIONAL EXPECT_DURATION function_arglist_closed_keep duration_length
1563 $$ = scm_cons ($4, $3);
1565 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_keep SCM_IDENTIFIER
1567 SCM res = try_string_variants ($2, $4);
1568 if (!SCM_UNBNDP (res))
1569 if (scm_is_pair (res)) {
1571 MYREPARSE (@4, $2, SYMBOL_LIST, res);
1574 $$ = scm_cons (res, $3);
1576 $$ = scm_cons (loc_on_music (@3, $1), $3);
1577 MYBACKUP (SCM_IDENTIFIER, $4, @4);
1580 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_keep STRING
1582 SCM res = try_string_variants ($2, $4);
1583 if (!SCM_UNBNDP (res))
1584 if (scm_is_pair (res)) {
1586 MYREPARSE (@4, $2, SYMBOL_LIST, res);
1589 $$ = scm_cons (res, $3);
1591 $$ = scm_cons (loc_on_music (@3, $1), $3);
1592 MYBACKUP (STRING, $4, @4);
1595 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_backup BACKUP
1597 $$ = scm_cons ($1, $3);
1598 MYBACKUP(0, SCM_UNDEFINED, @3);
1600 | function_arglist_backup REPARSE bare_number
1602 $$ = check_scheme_arg (parser, @3,
1605 | function_arglist_backup REPARSE symbol_list_arg
1607 $$ = check_scheme_arg (parser, @3, $3, $1, $2);
1612 function_arglist_common
1613 | function_arglist_nonbackup
1616 function_arglist_common:
1617 function_arglist_bare
1618 | EXPECT_SCM function_arglist_optional embedded_scm_arg
1620 $$ = check_scheme_arg (parser, @3,
1623 | EXPECT_SCM function_arglist_closed_optional bare_number
1625 $$ = check_scheme_arg (parser, @3,
1628 | EXPECT_SCM function_arglist_optional FRACTION
1630 $$ = check_scheme_arg (parser, @3,
1633 | EXPECT_SCM function_arglist_closed_optional post_event_nofinger
1635 $$ = check_scheme_arg (parser, @3,
1638 | EXPECT_SCM function_arglist_closed_optional '-' NUMBER_IDENTIFIER
1640 SCM n = scm_difference ($4, SCM_UNDEFINED);
1641 $$ = check_scheme_arg (parser, @4, n, $2, $1);
1643 | function_arglist_common_reparse REPARSE SCM_ARG
1645 $$ = check_scheme_arg (parser, @3,
1648 | function_arglist_common_reparse REPARSE lyric_element_music
1650 $$ = check_scheme_arg (parser, @3,
1653 | function_arglist_common_reparse REPARSE bare_number
1655 $$ = check_scheme_arg (parser, @3,
1658 | function_arglist_common_reparse REPARSE symbol_list_arg
1660 $$ = check_scheme_arg (parser, @3, $3, $1, $2);
1664 function_arglist_common_reparse:
1665 EXPECT_SCM function_arglist_optional SCM_IDENTIFIER
1668 SCM res = try_string_variants ($1, $3);
1669 if (!SCM_UNBNDP (res))
1670 if (scm_is_pair (res))
1671 MYREPARSE (@3, $1, SYMBOL_LIST, res);
1673 MYREPARSE (@3, $1, SCM_ARG, res);
1674 else if (scm_is_true
1676 ($1, make_music_from_simple (parser, @3, $3))))
1677 MYREPARSE (@3, $1, LYRIC_ELEMENT, $3);
1679 // This is going to flag a syntax error, we
1680 // know the predicate to be false.
1681 MYREPARSE (@3, $1, SCM_ARG, $3);
1683 | EXPECT_SCM function_arglist_optional STRING
1686 SCM res = try_string_variants ($1, $3);
1687 if (!SCM_UNBNDP (res))
1688 if (scm_is_pair (res))
1689 MYREPARSE (@3, $1, SYMBOL_LIST, res);
1691 MYREPARSE (@3, $1, SCM_ARG, res);
1692 else if (scm_is_true
1694 ($1, make_music_from_simple (parser, @3, $3))))
1695 MYREPARSE (@3, $1, LYRIC_ELEMENT, $3);
1697 // This is going to flag a syntax error, we
1698 // know the predicate to be false.
1699 MYREPARSE (@3, $1, SCM_ARG, $3);
1701 | EXPECT_SCM function_arglist_optional full_markup
1704 if (scm_is_true (scm_call_1 ($1, $3)))
1705 MYREPARSE (@3, $1, SCM_ARG, $3);
1706 else if (scm_is_true
1708 ($1, make_music_from_simple (parser, @3, $3))))
1709 MYREPARSE (@3, $1, LYRIC_ELEMENT, $3);
1711 // This is going to flag a syntax error, we
1712 // know the predicate to be false.
1713 MYREPARSE (@3, $1, SCM_ARG, $3);
1715 | EXPECT_SCM function_arglist_closed_optional '-' UNSIGNED
1718 SCM n = scm_difference ($4, SCM_UNDEFINED);
1719 if (scm_is_true (scm_call_1 ($1, n)))
1720 MYREPARSE (@4, $1, REAL, n);
1722 Music *t = MY_MAKE_MUSIC ("FingeringEvent", @4);
1723 t->set_property ("digit", $4);
1724 SCM m = t->unprotect ();
1725 if (scm_is_true (scm_call_1 ($1, m)))
1726 MYREPARSE (@4, $1, SCM_ARG, m);
1728 MYREPARSE (@4, $1, SCM_ARG, $4);
1732 | EXPECT_SCM function_arglist_closed_optional '-' REAL
1735 SCM n = scm_difference ($4, SCM_UNDEFINED);
1736 MYREPARSE (@4, $1, REAL, n);
1740 function_arglist_closed:
1741 function_arglist_closed_common
1742 | function_arglist_closed_nonbackup
1745 function_arglist_closed_common:
1746 function_arglist_bare
1747 | EXPECT_SCM function_arglist_optional embedded_scm_arg_closed
1749 $$ = check_scheme_arg (parser, @3,
1752 | EXPECT_SCM function_arglist_closed_optional bare_number
1754 $$ = check_scheme_arg (parser, @3,
1757 | EXPECT_SCM function_arglist_closed_optional '-' NUMBER_IDENTIFIER
1759 $$ = check_scheme_arg (parser, @3,
1760 scm_difference ($4, SCM_UNDEFINED),
1763 | EXPECT_SCM function_arglist_closed_optional post_event_nofinger
1765 $$ = check_scheme_arg (parser, @3,
1768 | EXPECT_SCM function_arglist_optional FRACTION
1770 $$ = check_scheme_arg (parser, @3,
1773 | function_arglist_common_reparse REPARSE SCM_ARG
1775 $$ = check_scheme_arg (parser, @3,
1778 | function_arglist_common_reparse REPARSE bare_number
1780 $$ = check_scheme_arg (parser, @3,
1783 | function_arglist_common_reparse REPARSE symbol_list_arg
1785 $$ = check_scheme_arg (parser, @3, $3, $1, $2);
1789 function_arglist_optional:
1790 function_arglist_keep %prec FUNCTION_ARGLIST
1791 | function_arglist_backup BACKUP
1792 | EXPECT_OPTIONAL EXPECT_PITCH function_arglist_optional
1794 $$ = scm_cons ($1, $3);
1796 | EXPECT_OPTIONAL EXPECT_DURATION function_arglist_optional
1798 $$ = scm_cons ($1, $3);
1802 function_arglist_closed_optional:
1803 function_arglist_closed_keep %prec FUNCTION_ARGLIST
1804 | function_arglist_backup BACKUP
1805 | EXPECT_OPTIONAL EXPECT_PITCH function_arglist_closed_optional
1807 $$ = scm_cons ($1, $3);
1809 | EXPECT_OPTIONAL EXPECT_DURATION function_arglist_closed_optional
1811 $$ = scm_cons ($1, $3);
1815 embedded_scm_closed:
1817 | scm_function_call_closed
1820 embedded_scm_arg_closed:
1821 embedded_scm_bare_arg
1822 | scm_function_call_closed
1826 scm_function_call_closed:
1827 SCM_FUNCTION function_arglist_closed {
1828 $$ = MAKE_SYNTAX ("music-function", @$,
1830 } %prec FUNCTION_ARGLIST
1833 function_arglist_bare:
1834 EXPECT_NO_MORE_ARGS {
1837 | EXPECT_PITCH function_arglist_optional pitch_also_in_chords {
1838 $$ = scm_cons ($3, $2);
1840 | EXPECT_DURATION function_arglist_closed_optional duration_length {
1841 $$ = scm_cons ($3, $2);
1843 | EXPECT_OPTIONAL EXPECT_PITCH function_arglist_skip DEFAULT {
1844 $$ = scm_cons ($1, $3);
1846 | EXPECT_OPTIONAL EXPECT_DURATION function_arglist_skip DEFAULT {
1847 $$ = scm_cons ($1, $3);
1849 | EXPECT_OPTIONAL EXPECT_SCM function_arglist_skip DEFAULT {
1850 $$ = scm_cons ($1, $3);
1854 music_function_call:
1855 MUSIC_FUNCTION function_arglist {
1856 $$ = MAKE_SYNTAX ("music-function", @$,
1863 /**/ { $$ = SCM_EOL; }
1864 | '=' simple_string {
1871 | repeated_music { $$ = $1; }
1872 | re_rhythmed_music { $$ = $1; }
1873 | complex_music_prefix music
1875 $$ = FINISH_MAKE_SYNTAX ($1, @$, $2);
1879 complex_music_prefix:
1880 CONTEXT symbol optional_id optional_context_mod {
1881 Context_mod *ctxmod = unsmob_context_mod ($4);
1884 mods = ctxmod->get_mods ();
1885 $$ = START_MAKE_SYNTAX ("context-specification", $2, $3, mods, SCM_BOOL_F);
1887 | NEWCONTEXT symbol optional_id optional_context_mod {
1888 Context_mod *ctxmod = unsmob_context_mod ($4);
1891 mods = ctxmod->get_mods ();
1892 $$ = START_MAKE_SYNTAX ("context-specification", $2, $3, mods, SCM_BOOL_T);
1897 mode_changing_head grouped_music_list {
1898 if ($1 == ly_symbol2scm ("chords"))
1900 $$ = MAKE_SYNTAX ("unrelativable-music", @$, $2);
1906 parser->lexer_->pop_state ();
1908 | mode_changing_head_with_context optional_context_mod grouped_music_list {
1909 Context_mod *ctxmod = unsmob_context_mod ($2);
1912 mods = ctxmod->get_mods ();
1913 $$ = MAKE_SYNTAX ("context-specification", @$, $1, SCM_EOL, mods, SCM_BOOL_T, $3);
1914 if ($1 == ly_symbol2scm ("ChordNames"))
1916 $$ = MAKE_SYNTAX ("unrelativable-music", @$, $$);
1918 parser->lexer_->pop_state ();
1924 SCM nn = parser->lexer_->lookup_identifier ("pitchnames");
1925 parser->lexer_->push_note_state (nn);
1927 $$ = ly_symbol2scm ("notes");
1931 SCM nn = parser->lexer_->lookup_identifier ("drumPitchNames");
1932 parser->lexer_->push_note_state (nn);
1934 $$ = ly_symbol2scm ("drums");
1937 parser->lexer_->push_figuredbass_state ();
1939 $$ = ly_symbol2scm ("figures");
1942 SCM nn = parser->lexer_->lookup_identifier ("chordmodifiers");
1943 parser->lexer_->chordmodifier_tab_ = alist_to_hashq (nn);
1944 nn = parser->lexer_->lookup_identifier ("pitchnames");
1945 parser->lexer_->push_chord_state (nn);
1946 $$ = ly_symbol2scm ("chords");
1950 { parser->lexer_->push_lyric_state ();
1951 $$ = ly_symbol2scm ("lyrics");
1955 mode_changing_head_with_context:
1957 SCM nn = parser->lexer_->lookup_identifier ("drumPitchNames");
1958 parser->lexer_->push_note_state (nn);
1960 $$ = ly_symbol2scm ("DrumStaff");
1963 parser->lexer_->push_figuredbass_state ();
1965 $$ = ly_symbol2scm ("FiguredBass");
1968 SCM nn = parser->lexer_->lookup_identifier ("chordmodifiers");
1969 parser->lexer_->chordmodifier_tab_ = alist_to_hashq (nn);
1970 nn = parser->lexer_->lookup_identifier ("pitchnames");
1971 parser->lexer_->push_chord_state (nn);
1972 $$ = ly_symbol2scm ("ChordNames");
1975 { parser->lexer_->push_lyric_state ();
1976 $$ = ly_symbol2scm ("Lyrics");
1981 ADDLYRICS { parser->lexer_->push_lyric_state (); }
1984 /* Can also use music at the expensive of two S/Rs similar to
1985 \repeat \alternative */
1986 parser->lexer_->pop_state ();
1988 $$ = scm_cons ($3, SCM_EOL);
1990 | new_lyrics ADDLYRICS {
1991 parser->lexer_->push_lyric_state ();
1993 parser->lexer_->pop_state ();
1994 $$ = scm_cons ($4, $1);
1999 composite_music new_lyrics {
2000 $$ = MAKE_SYNTAX ("add-lyrics", @$, $1, scm_reverse_x ($2, SCM_EOL));
2002 | LYRICSTO simple_string {
2003 parser->lexer_->push_lyric_state ();
2005 parser->lexer_->pop_state ();
2006 $$ = MAKE_SYNTAX ("lyric-combine", @$, $2, $4);
2011 CHANGE STRING '=' STRING {
2012 $$ = MAKE_SYNTAX ("context-change", @$, scm_string_to_symbol ($2), $4);
2019 $$ = scm_reverse_x ($1, SCM_EOL);
2021 | symbol_list_rev property_path {
2022 $$ = scm_reverse_x ($1, $2);
2028 $$ = scm_list_3 (ly_symbol2scm ("assign"), $1, $3);
2031 $$ = scm_list_2 (ly_symbol2scm ("unset"), $2);
2033 | OVERRIDE property_path '=' scalar {
2034 if (scm_ilength ($2) < 2) {
2035 parser->parser_error (@2, _("bad grob property path"));
2038 $$ = scm_cons (ly_symbol2scm ("push"),
2039 scm_cons2 (scm_car ($2),
2044 | REVERT revert_arg {
2045 $$ = scm_cons (ly_symbol2scm ("pop"), $2);
2049 // This is all quite awkward for the sake of substantial backward
2050 // compatibility while at the same time allowing a more "natural" form
2051 // of specification not separating grob specification from grob
2052 // property path. The purpose of this definition of revert_arg is to
2053 // allow the symbol list which specifies grob and property to revert
2054 // to be optionally be split into two parts after the grob (which in
2055 // this case is just the first element of the list). symbol_list_part
2056 // is only one path component, but it can be parsed without lookahead,
2057 // so we can follow it with a synthetic BACKUP token when needed. If
2058 // the first symbol_list_part already contains multiple elements (only
2059 // possible if a Scheme expression provides them), we just parse for
2060 // additional elements introduced by '.', which is what the
2061 // SYMBOL_LIST backup in connection with the immediately following
2062 // rule using symbol_list_arg does.
2064 // As long as we don't have our coffers filled with both grob and at
2065 // least one grob property specification, the rest of the required
2066 // symbol list chain may be provided either with or without a leading
2067 // dot. This is for both allowing the traditional
2068 // \revert Accidental #'color
2069 // as well as well as the "naive" form
2070 // \revert Accidental.color
2073 revert_arg_backup BACKUP symbol_list_arg
2082 if (scm_is_null ($1)
2083 || scm_is_null (scm_cdr ($1)))
2084 MYBACKUP (SCM_ARG, $1, @1);
2086 MYBACKUP (SYMBOL_LIST, scm_reverse_x ($1, SCM_EOL), @1);
2090 // revert_arg_part delivers results in reverse
2093 | revert_arg_backup BACKUP SCM_ARG '.' symbol_list_part
2095 $$ = scm_append_x (scm_list_2 ($5, $3));
2097 | revert_arg_backup BACKUP SCM_ARG symbol_list_part
2099 $$ = scm_append_x (scm_list_2 ($4, $3));
2104 CONSISTS { $$ = ly_symbol2scm ("consists"); }
2105 | REMOVE { $$ = ly_symbol2scm ("remove"); }
2107 | ACCEPTS { $$ = ly_symbol2scm ("accepts"); }
2108 | DEFAULTCHILD { $$ = ly_symbol2scm ("default-child"); }
2109 | DENIES { $$ = ly_symbol2scm ("denies"); }
2111 | ALIAS { $$ = ly_symbol2scm ("alias"); }
2112 | TYPE { $$ = ly_symbol2scm ("translator-type"); }
2113 | DESCRIPTION { $$ = ly_symbol2scm ("description"); }
2114 | NAME { $$ = ly_symbol2scm ("context-name"); }
2118 property_operation { $$ = $1; }
2119 | context_def_mod STRING {
2120 $$ = scm_list_2 ($1, $2);
2122 | context_def_mod embedded_scm
2124 if (!scm_is_string ($2)
2125 && ly_symbol2scm ("consists") != $1
2126 && ly_symbol2scm ("remove") != $1)
2129 parser->parser_error (@1, _ ("only \\consists and \\remove take non-string argument."));
2133 $$ = scm_list_2 ($1, $2);
2138 // If defined, at least two members.
2142 SCM l = scm_reverse_x ($1, SCM_EOL);
2145 (scm_object_property (scm_car (l),
2146 ly_symbol2scm ("is-grob?"))))
2147 l = scm_cons (ly_symbol2scm ("Bottom"), l);
2148 if (scm_is_null (l) || scm_is_null (scm_cdr (l))) {
2149 parser->parser_error (@1, _ ("bad grob property path"));
2156 // If defined, at least three members
2160 if (!SCM_UNBNDP ($1) && scm_is_null (scm_cddr ($1)))
2162 parser->parser_error (@1, _ ("bad grob property path"));
2166 | grob_prop_spec property_path
2168 if (!SCM_UNBNDP ($1)) {
2169 $$ = scm_append_x (scm_list_2 ($1, $2));
2170 if (scm_is_null (scm_cddr ($$))) {
2171 parser->parser_error (@$, _ ("bad grob property path"));
2179 // Exactly two elements or undefined
2183 SCM l = scm_reverse_x ($1, SCM_EOL);
2184 switch (scm_ilength (l)) {
2186 l = scm_cons (ly_symbol2scm ("Bottom"), l);
2190 parser->parser_error (@1, _ ("bad context property path"));
2197 simple_music_property_def:
2198 OVERRIDE grob_prop_path '=' scalar {
2199 if (SCM_UNBNDP ($2))
2202 $$ = scm_list_5 (scm_car ($2),
2203 ly_symbol2scm ("OverrideProperty"),
2209 | REVERT simple_revert_context revert_arg {
2210 $$ = scm_list_4 ($2,
2211 ly_symbol2scm ("RevertProperty"),
2215 | SET context_prop_spec '=' scalar {
2216 if (SCM_UNBNDP ($2))
2219 $$ = scm_list_4 (scm_car ($2),
2220 ly_symbol2scm ("PropertySet"),
2224 | UNSET context_prop_spec {
2225 if (SCM_UNBNDP ($2))
2228 $$ = scm_list_3 (scm_car ($2),
2229 ly_symbol2scm ("PropertyUnset"),
2235 // This is all quite awkward for the sake of substantial backward
2236 // compatibility while at the same time allowing a more "natural" form
2237 // of specification not separating grob specification from grob
2238 // property path. The purpose of this definition of
2239 // simple_revert_context is to allow the symbol list which specifies
2240 // grob and property to revert to be optionally be split into two
2241 // parts after the grob (which may be preceded by a context
2242 // specification, a case which we distinguish by checking whether the
2243 // first symbol is a valid grob symbol instead).
2245 // See revert_arg above for the main work horse of this arrangement.
2246 // simple_revert_context just caters for the context and delegates the
2247 // rest of the job to revert_arg.
2249 simple_revert_context:
2252 $1 = scm_reverse_x ($1, SCM_EOL);
2253 if (scm_is_null ($1)
2255 (scm_object_property (scm_car ($1),
2256 ly_symbol2scm ("is-grob?")))) {
2257 $$ = ly_symbol2scm ("Bottom");
2258 parser->lexer_->push_extra_token (SCM_IDENTIFIER, $1);
2261 parser->lexer_->push_extra_token (SCM_IDENTIFIER,
2268 simple_music_property_def {
2269 if (SCM_UNBNDP ($1))
2270 $$ = MAKE_SYNTAX ("void-music", @1);
2272 $$ = LOWLEVEL_MAKE_SYNTAX (ly_lily_module_constant ("property-operation"), scm_cons2 (parser->self_scm (), make_input (@$), $1));
2283 simple_string: STRING {
2288 if (scm_is_string ($1)) {
2291 parser->parser_error (@1, (_ ("simple string expected")));
2292 $$ = scm_string (SCM_EOL);
2299 $$ = scm_string_to_symbol ($1);
2303 // This is a bit of overkill but makes the same
2304 // routine responsible for all symbol interpretations.
2305 $$ = try_string_variants (ly_lily_module_constant ("symbol?"),
2307 if (SCM_UNBNDP ($$))
2309 parser->parser_error (@1, (_ ("symbol expected")));
2310 // Generate a unique symbol in case it is used
2311 // for an assignment or similar
2312 $$ = scm_make_symbol (ly_string2scm ("undefined"));
2326 embedded_scm_arg_closed
2335 simple_element post_events {
2336 // Let the rhythmic music iterator sort this mess out.
2337 if (scm_is_pair ($2)) {
2338 $$ = make_music_from_simple (parser, @1, $1);
2339 if (unsmob_music ($$))
2340 unsmob_music ($$)->set_property ("articulations",
2341 scm_reverse_x ($2, SCM_EOL));
2343 parser->parser_error (@1, _("music expected"));
2346 | simple_chord_elements post_events {
2347 SCM elts = ly_append2 ($1, scm_reverse_x ($2, SCM_EOL));
2350 /* why is this giving wrong start location? -ns
2352 i.set_location (@1, @2);
2353 $$ = MAKE_SYNTAX ("event-chord", i, elts);
2355 | CHORD_REPETITION optional_notemode_duration post_events {
2357 i.set_location (@1, @3);
2358 $$ = MAKE_SYNTAX ("repetition-chord", i,
2359 $2, scm_reverse_x ($3, SCM_EOL));
2361 | MULTI_MEASURE_REST optional_notemode_duration post_events {
2363 i.set_location (@1, @3);
2364 $$ = MAKE_SYNTAX ("multi-measure-rest", i, $2,
2365 scm_reverse_x ($3, SCM_EOL));
2368 | note_chord_element
2373 chord_body optional_notemode_duration post_events
2375 Music *m = unsmob_music ($1);
2376 SCM dur = unsmob_duration ($2)->smobbed_copy ();
2377 SCM es = m->get_property ("elements");
2378 SCM postevs = scm_reverse_x ($3, SCM_EOL);
2380 for (SCM s = es; scm_is_pair (s); s = scm_cdr (s))
2381 unsmob_music (scm_car (s))->set_property ("duration", dur);
2382 es = ly_append2 (es, postevs);
2384 m-> set_property ("elements", es);
2386 $$ = m->self_scm ();
2391 ANGLE_OPEN chord_body_elements ANGLE_CLOSE
2393 $$ = MAKE_SYNTAX ("event-chord", @$, scm_reverse_x ($2, SCM_EOL));
2397 chord_body_elements:
2398 /* empty */ { $$ = SCM_EOL; }
2399 | chord_body_elements chord_body_element {
2400 if (!SCM_UNBNDP ($2))
2401 $$ = scm_cons ($2, $1);
2406 pitch exclamations questions octave_check post_events
2408 bool q = to_boolean ($3);
2409 bool ex = to_boolean ($2);
2413 Music *n = MY_MAKE_MUSIC ("NoteEvent", @$);
2414 n->set_property ("pitch", $1);
2416 n->set_property ("cautionary", SCM_BOOL_T);
2418 n->set_property ("force-accidental", SCM_BOOL_T);
2420 if (scm_is_pair (post)) {
2421 SCM arts = scm_reverse_x (post, SCM_EOL);
2422 n->set_property ("articulations", arts);
2424 if (scm_is_number (check))
2426 int q = scm_to_int (check);
2427 n->set_property ("absolute-octave", scm_from_int (q-1));
2430 $$ = n->unprotect ();
2432 | DRUM_PITCH post_events {
2433 Music *n = MY_MAKE_MUSIC ("NoteEvent", @$);
2434 n->set_property ("drum-type", $1);
2436 if (scm_is_pair ($2)) {
2437 SCM arts = scm_reverse_x ($2, SCM_EOL);
2438 n->set_property ("articulations", arts);
2440 $$ = n->unprotect ();
2442 | music_function_chord_body
2444 Music *m = unsmob_music ($1);
2446 while (m && m->is_mus_type ("music-wrapper-music")) {
2447 $$ = m->get_property ("element");
2448 m = unsmob_music ($$);
2451 if (!(m && m->is_mus_type ("rhythmic-event"))) {
2452 parser->parser_error (@$, _ ("not a rhythmic event"));
2458 music_function_chord_body:
2463 // Event functions may only take closed arglists, otherwise it would
2464 // not be clear whether a following postevent should be associated
2465 // with the last argument of the event function or with the expression
2466 // for which the function call acts itself as event.
2468 music_function_call_closed:
2469 MUSIC_FUNCTION function_arglist_closed {
2470 $$ = MAKE_SYNTAX ("music-function", @$,
2475 event_function_event:
2476 EVENT_FUNCTION function_arglist_closed {
2477 $$ = MAKE_SYNTAX ("music-function", @$,
2499 | post_events post_event {
2501 if (Music *m = unsmob_music ($2))
2503 if (m->is_mus_type ("post-event-wrapper"))
2505 for (SCM p = m->get_property ("elements");
2509 $$ = scm_cons (scm_car (p), $$);
2513 $$ = scm_cons ($2, $$);
2519 post_event_nofinger:
2520 direction_less_event {
2523 | script_dir music_function_call_closed {
2525 if (!unsmob_music ($2)->is_mus_type ("post-event")) {
2526 parser->parser_error (@2, _ ("post-event expected"));
2527 $$ = SCM_UNSPECIFIED;
2528 } else if (!SCM_UNBNDP ($1))
2530 unsmob_music ($$)->set_property ("direction", $1);
2534 if (!parser->lexer_->is_lyric_state ())
2535 parser->parser_error (@1, _ ("have to be in Lyric mode for lyrics"));
2536 $$ = MY_MAKE_MUSIC ("HyphenEvent", @$)->unprotect ();
2539 if (!parser->lexer_->is_lyric_state ())
2540 parser->parser_error (@1, _ ("have to be in Lyric mode for lyrics"));
2541 $$ = MY_MAKE_MUSIC ("ExtenderEvent", @$)->unprotect ();
2543 | script_dir direction_reqd_event {
2544 if (!SCM_UNBNDP ($1))
2546 Music *m = unsmob_music ($2);
2547 m->set_property ("direction", $1);
2551 | script_dir direction_less_event {
2552 if (!SCM_UNBNDP ($1))
2554 Music *m = unsmob_music ($2);
2555 m->set_property ("direction", $1);
2562 unsmob_music ($$)->set_property ("direction", scm_from_int (UP));
2567 unsmob_music ($$)->set_property ("direction", scm_from_int (DOWN));
2578 string_number_event:
2580 Music *s = MY_MAKE_MUSIC ("StringNumberEvent", @$);
2581 s->set_property ("string-number", $1);
2582 $$ = s->unprotect ();
2586 direction_less_event:
2588 | EVENT_IDENTIFIER {
2592 Music *a = MY_MAKE_MUSIC ("TremoloEvent", @$);
2593 a->set_property ("tremolo-type", $1);
2594 $$ = a->unprotect ();
2596 | event_function_event
2599 direction_reqd_event:
2603 | script_abbreviation {
2604 SCM s = parser->lexer_->lookup_identifier ("dash" + ly_scm2string ($1));
2605 Music *a = MY_MAKE_MUSIC ("ArticulationEvent", @$);
2606 if (scm_is_string (s))
2607 a->set_property ("articulation-type", s);
2608 else parser->parser_error (@1, _ ("expecting string as script definition"));
2609 $$ = a->unprotect ();
2614 /**/ { $$ = SCM_EOL; }
2615 | '=' quotes { $$ = $2; }
2629 $$ = scm_from_int (1);
2632 $$ = scm_oneplus ($1);
2638 $$ = scm_from_int (-1);
2641 $$ = scm_oneminus ($1);
2646 NOTENAME_PITCH quotes {
2647 if (!scm_is_eq (SCM_INUM0, $2))
2649 Pitch p = *unsmob_pitch ($1);
2650 p = p.transposed (Pitch (scm_to_int ($2),0,0));
2651 $$ = p.smobbed_copy ();
2661 TONICNAME_PITCH quotes {
2662 if (!scm_is_eq (SCM_INUM0, $2))
2664 Pitch p = *unsmob_pitch ($1);
2665 p = p.transposed (Pitch (scm_to_int ($2),0,0));
2666 $$ = p.smobbed_copy ();
2676 pitch_also_in_chords:
2683 Music *t = MY_MAKE_MUSIC ("TextScriptEvent", @$);
2684 t->set_property ("text", $1);
2685 $$ = t->unprotect ();
2688 Music *t = MY_MAKE_MUSIC ("TextScriptEvent", @$);
2689 t->set_property ("text",
2690 make_simple_markup ($1));
2691 $$ = t->unprotect ();
2693 | embedded_scm_closed
2695 Music *m = unsmob_music ($1);
2696 if (m && m->is_mus_type ("post-event"))
2698 else if (Text_interface::is_markup ($1)) {
2699 Music *t = MY_MAKE_MUSIC ("TextScriptEvent", @$);
2700 t->set_property ("text", $1);
2701 $$ = t->unprotect ();
2703 parser->parser_error (@1, _ ("not an articulation"));
2709 Music *t = MY_MAKE_MUSIC ("FingeringEvent", @$);
2710 t->set_property ("digit", $1);
2711 $$ = t->unprotect ();
2715 script_abbreviation:
2717 $$ = scm_from_locale_string ("Hat");
2720 $$ = scm_from_locale_string ("Plus");
2723 $$ = scm_from_locale_string ("Dash");
2726 $$ = scm_from_locale_string ("Bang");
2729 $$ = scm_from_locale_string ("Larger");
2732 $$ = scm_from_locale_string ("Dot");
2735 $$ = scm_from_locale_string ("Underscore");
2740 '_' { $$ = scm_from_int (DOWN); }
2741 | '^' { $$ = scm_from_int (UP); }
2742 | '-' { $$ = SCM_UNDEFINED; }
2746 multiplied_duration {
2751 maybe_notemode_duration:
2755 | multiplied_duration {
2757 parser->default_duration_ = *unsmob_duration ($$);
2762 optional_notemode_duration:
2763 maybe_notemode_duration
2765 if (SCM_UNBNDP ($$))
2766 $$ = parser->default_duration_.smobbed_copy ();
2773 int n = scm_to_int ($1);
2774 if (!is_duration (n))
2775 parser->parser_error (@1, _f ("not a duration: %d", n));
2779 $$ = Duration (len, scm_to_int ($2)).smobbed_copy ();
2781 | DURATION_IDENTIFIER dots {
2782 Duration *d = unsmob_duration ($1);
2783 Duration k (d->duration_log (),
2784 d->dot_count () + scm_to_int ($2));
2785 k = k.compressed (d->factor ());
2786 scm_remember_upto_here_1 ($1);
2787 $$ = k.smobbed_copy ();
2791 multiplied_duration:
2795 | multiplied_duration '*' UNSIGNED {
2796 $$ = unsmob_duration ($$)->compressed (scm_to_int ($3)).smobbed_copy ();
2798 | multiplied_duration '*' FRACTION {
2799 Rational m (scm_to_int (scm_car ($3)), scm_to_int (scm_cdr ($3)));
2801 $$ = unsmob_duration ($$)->compressed (m).smobbed_copy ();
2810 $$ = scm_oneplus ($1);
2819 int n = scm_to_int ($2);
2820 if (!is_duration (n))
2821 parser->parser_error (@2, _f ("not a duration: %d", n));
2827 UNSIGNED { $$ = $1; }
2828 | STRING { $$ = $1; }
2829 | full_markup { $$ = $1; }
2832 // as an integer, it needs to be non-negative, and otherwise
2833 // it needs to be suitable as a markup.
2834 if (scm_is_integer ($1)
2835 ? scm_is_true (scm_negative_p ($1))
2836 : !Text_interface::is_markup ($1))
2838 parser->parser_error (@1, _ ("bass number expected"));
2844 figured_bass_alteration:
2845 '-' { $$ = ly_rational2scm (FLAT_ALTERATION); }
2846 | '+' { $$ = ly_rational2scm (SHARP_ALTERATION); }
2847 | '!' { $$ = scm_from_int (0); }
2852 Music *bfr = MY_MAKE_MUSIC ("BassFigureEvent", @$);
2853 $$ = bfr->unprotect ();
2856 Music *bfr = MY_MAKE_MUSIC ("BassFigureEvent", @$);
2857 $$ = bfr->self_scm ();
2859 if (scm_is_number ($1))
2860 bfr->set_property ("figure", $1);
2861 else if (Text_interface::is_markup ($1))
2862 bfr->set_property ("text", $1);
2868 unsmob_music ($1)->set_property ("bracket-stop", SCM_BOOL_T);
2870 | bass_figure figured_bass_alteration {
2871 Music *m = unsmob_music ($1);
2872 if (scm_to_double ($2)) {
2873 SCM salter = m->get_property ("alteration");
2874 SCM alter = scm_is_number (salter) ? salter : scm_from_int (0);
2875 m->set_property ("alteration",
2876 scm_sum (alter, $2));
2878 m->set_property ("alteration", scm_from_int (0));
2881 | bass_figure figured_bass_modification {
2882 Music *m = unsmob_music ($1);
2883 m->set_property ($2, SCM_BOOL_T);
2888 figured_bass_modification:
2890 $$ = ly_symbol2scm ("augmented");
2893 $$ = ly_symbol2scm ("no-continuation");
2896 $$ = ly_symbol2scm ("diminished");
2899 $$ = ly_symbol2scm ("augmented-slash");
2909 unsmob_music ($$)->set_property ("bracket-start", SCM_BOOL_T);
2917 | figure_list br_bass_figure {
2918 $$ = scm_cons ($2, $1);
2923 FIGURE_OPEN figure_list FIGURE_CLOSE {
2924 $$ = scm_reverse_x ($2, SCM_EOL);
2930 /**/ { $$ = SCM_BOOL_F; }
2931 | REST { $$ = SCM_BOOL_T; }
2935 pitch exclamations questions octave_check maybe_notemode_duration optional_rest {
2936 if (!parser->lexer_->is_note_state ())
2937 parser->parser_error (@1, _ ("have to be in Note mode for notes"));
2938 if (!SCM_UNBNDP ($2)
2940 || scm_is_number ($4)
2942 || scm_is_true ($6))
2945 if (scm_is_true ($6))
2946 n = MY_MAKE_MUSIC ("RestEvent", @$);
2948 n = MY_MAKE_MUSIC ("NoteEvent", @$);
2950 n->set_property ("pitch", $1);
2951 if (SCM_UNBNDP ($5))
2952 n->set_property ("duration",
2953 parser->default_duration_.smobbed_copy ());
2955 n->set_property ("duration", $5);
2957 if (scm_is_number ($4))
2959 int q = scm_to_int ($4);
2960 n->set_property ("absolute-octave", scm_from_int (q-1));
2963 if (to_boolean ($3))
2964 n->set_property ("cautionary", SCM_BOOL_T);
2965 if (to_boolean ($2) || to_boolean ($3))
2966 n->set_property ("force-accidental", SCM_BOOL_T);
2968 $$ = n->unprotect ();
2971 | DRUM_PITCH optional_notemode_duration {
2972 Music *n = MY_MAKE_MUSIC ("NoteEvent", @$);
2973 n->set_property ("duration", $2);
2974 n->set_property ("drum-type", $1);
2976 $$ = n->unprotect ();
2978 | RESTNAME optional_notemode_duration {
2980 if (ly_scm2string ($1) == "s") {
2982 ev = MY_MAKE_MUSIC ("SkipEvent", @$);
2985 ev = MY_MAKE_MUSIC ("RestEvent", @$);
2988 ev->set_property ("duration", $2);
2989 $$ = ev->unprotect ();
2993 simple_chord_elements:
2995 if (!parser->lexer_->is_chord_state ())
2996 parser->parser_error (@1, _ ("have to be in Chord mode for chords"));
2999 | figure_spec optional_notemode_duration {
3000 for (SCM s = $1; scm_is_pair (s); s = scm_cdr (s))
3002 unsmob_music (scm_car (s))->set_property ("duration", $2);
3018 lyric_element_music:
3019 lyric_element optional_notemode_duration post_events {
3020 if (!parser->lexer_->is_lyric_state ())
3021 parser->parser_error (@1, _ ("have to be in Lyric mode for lyrics"));
3022 $$ = MAKE_SYNTAX ("lyric-event", @$, $1, $2);
3023 if (scm_is_pair ($3))
3024 unsmob_music ($$)->set_property
3025 ("articulations", scm_reverse_x ($3, SCM_EOL));
3030 steno_tonic_pitch optional_notemode_duration {
3031 $$ = make_chord_elements (@$, $1, $2, SCM_EOL);
3033 | steno_tonic_pitch optional_notemode_duration chord_separator chord_items {
3034 SCM its = scm_reverse_x ($4, SCM_EOL);
3035 $$ = make_chord_elements (@$, $1, $2, scm_cons ($3, its));
3043 | chord_items chord_item {
3044 $$ = scm_cons ($2, $$);
3050 $$ = ly_symbol2scm ("chord-colon");
3053 $$ = ly_symbol2scm ("chord-caret");
3055 | CHORD_SLASH steno_tonic_pitch {
3056 $$ = scm_list_2 (ly_symbol2scm ("chord-slash"), $2);
3058 | CHORD_BASS steno_tonic_pitch {
3059 $$ = scm_list_2 (ly_symbol2scm ("chord-bass"), $2);
3068 $$ = scm_reverse_x ($1, SCM_EOL);
3076 step_number { $$ = scm_cons ($1, SCM_EOL); }
3077 | step_numbers '.' step_number {
3078 $$ = scm_cons ($3, $$);
3084 $$ = make_chord_step ($1, 0);
3087 $$ = make_chord_step ($1, SHARP_ALTERATION);
3089 | UNSIGNED CHORD_MINUS {
3090 $$ = make_chord_step ($1, FLAT_ALTERATION);
3098 | UNSIGNED '-' UNSIGNED {
3099 $$ = scm_cons ($1, $3);
3106 TODO: should deprecate in favor of Scheme?
3110 number_expression '+' number_term {
3111 $$ = scm_sum ($1, $3);
3113 | number_expression '-' number_term {
3114 $$ = scm_difference ($1, $3);
3123 | number_factor '*' number_factor {
3124 $$ = scm_product ($1, $3);
3126 | number_factor '/' number_factor {
3127 $$ = scm_divide ($1, $3);
3132 '-' number_factor { /* %prec UNARY_MINUS */
3133 $$ = scm_difference ($2, SCM_UNDEFINED);
3141 | UNSIGNED NUMBER_IDENTIFIER {
3142 $$ = scm_product ($1, $2);
3144 | REAL NUMBER_IDENTIFIER {
3145 $$ = scm_product ($1, $2);
3161 { $$ = SCM_UNDEFINED; }
3164 if (SCM_UNBNDP ($1))
3172 { $$ = SCM_UNDEFINED; }
3175 if (SCM_UNBNDP ($1))
3184 { parser->lexer_->push_markup_state (); }
3187 parser->lexer_->pop_state ();
3193 { parser->lexer_->push_markup_state (); }
3196 parser->lexer_->pop_state ();
3201 simple_markup_list {
3202 $$ = scm_list_2 (ly_lily_module_constant ("line-markup"), $1);
3204 | markup_head_1_list simple_markup
3206 $$ = scm_car (MAKE_SYNTAX ("composed-markup-list",
3207 @2, $1, scm_list_1 ($2)));
3217 if (Text_interface::is_markup ($1))
3218 MYBACKUP (MARKUP_IDENTIFIER, $1, @1);
3219 else if (Text_interface::is_markup_list ($1))
3220 MYBACKUP (MARKUPLIST_IDENTIFIER, $1, @1);
3222 parser->parser_error (@1, _ ("not a markup"));
3223 MYBACKUP (MARKUP_IDENTIFIER, scm_string (SCM_EOL), @1);
3230 markup_composed_list {
3233 | markup_uncomposed_list
3236 markup_uncomposed_list:
3237 markup_braced_list {
3240 | markup_command_list {
3241 $$ = scm_list_1 ($1);
3243 | markup_scm MARKUPLIST_IDENTIFIER
3253 $$ = scm_list_1 (scm_list_2 (ly_lily_module_constant ("score-lines-markup-list"), $1));
3259 SCM nn = parser->lexer_->lookup_identifier ("pitchnames");
3260 parser->lexer_->push_note_state (nn);
3261 } '{' score_body '}' {
3263 parser->lexer_->pop_state ();
3267 markup_composed_list:
3268 markup_head_1_list markup_uncomposed_list {
3269 $$ = MAKE_SYNTAX ("composed-markup-list",
3275 '{' markup_braced_list_body '}' {
3276 $$ = scm_reverse_x ($2, SCM_EOL);
3280 markup_braced_list_body:
3281 /* empty */ { $$ = SCM_EOL; }
3282 | markup_braced_list_body markup {
3283 $$ = scm_cons ($2, $1);
3285 | markup_braced_list_body simple_markup_list {
3286 $$ = scm_reverse_x ($2, $1);
3290 markup_command_list:
3291 MARKUP_LIST_FUNCTION markup_command_list_arguments {
3292 $$ = scm_cons ($1, scm_reverse_x($2, SCM_EOL));
3296 markup_command_basic_arguments:
3297 EXPECT_MARKUP_LIST markup_command_list_arguments markup_list {
3298 $$ = scm_cons ($3, $2);
3300 | EXPECT_SCM markup_command_list_arguments embedded_scm_closed {
3301 $$ = check_scheme_arg (parser, @3, $3, $2, $1);
3303 | EXPECT_NO_MORE_ARGS {
3308 markup_command_list_arguments:
3309 markup_command_basic_arguments { $$ = $1; }
3310 | EXPECT_MARKUP markup_command_list_arguments markup {
3311 $$ = scm_cons ($3, $2);
3316 MARKUP_FUNCTION EXPECT_MARKUP markup_command_list_arguments {
3317 $$ = scm_cons ($1, scm_reverse_x ($3, SCM_EOL));
3322 markup_head_1_item {
3323 $$ = scm_list_1 ($1);
3325 | markup_head_1_list markup_head_1_item {
3326 $$ = scm_cons ($2, $1);
3332 $$ = make_simple_markup ($1);
3334 | MARKUP_FUNCTION markup_command_basic_arguments {
3335 $$ = scm_cons ($1, scm_reverse_x ($2, SCM_EOL));
3337 | markup_scm MARKUP_IDENTIFIER
3343 $$ = scm_list_2 (ly_lily_module_constant ("score-markup"), $1);
3348 markup_head_1_list simple_markup
3350 $$ = scm_car (MAKE_SYNTAX ("composed-markup-list",
3351 @2, $1, scm_list_1 ($2)));
3361 Lily_parser::set_yydebug (bool x)
3367 Lily_parser::do_yyparse ()
3369 SCM retval = SCM_UNDEFINED;
3370 yyparse (this, &retval);
3380 It is a little strange to have this function in this file, but
3381 otherwise, we have to import music classes into the lexer.
3385 Lily_lexer::try_special_identifiers (SCM *destination, SCM sid)
3387 if (unsmob_book (sid)) {
3388 Book *book = unsmob_book (sid)->clone ();
3389 *destination = book->self_scm ();
3392 return BOOK_IDENTIFIER;
3393 } else if (scm_is_number (sid)) {
3395 return NUMBER_IDENTIFIER;
3396 } else if (unsmob_context_def (sid)) {
3397 Context_def *def= unsmob_context_def (sid)->clone ();
3399 *destination = def->self_scm ();
3402 return CONTEXT_DEF_IDENTIFIER;
3403 } else if (unsmob_context_mod (sid)) {
3404 *destination = unsmob_context_mod (sid)->smobbed_copy ();
3406 return CONTEXT_MOD_IDENTIFIER;
3407 } else if (Music *mus = unsmob_music (sid)) {
3408 mus = mus->clone ();
3409 *destination = mus->self_scm ();
3410 bool is_event = mus->is_mus_type ("post-event");
3412 return is_event ? EVENT_IDENTIFIER : MUSIC_IDENTIFIER;
3413 } else if (unsmob_pitch (sid)) {
3414 *destination = unsmob_pitch (sid)->smobbed_copy ();
3415 return PITCH_IDENTIFIER;
3416 } else if (unsmob_duration (sid)) {
3417 *destination = unsmob_duration (sid)->smobbed_copy ();
3418 return DURATION_IDENTIFIER;
3419 } else if (unsmob_output_def (sid)) {
3420 Output_def *p = unsmob_output_def (sid);
3423 *destination = p->self_scm ();
3425 return OUTPUT_DEF_IDENTIFIER;
3432 get_next_unique_context_id ()
3434 return scm_from_locale_string ("$uniqueContextId");
3439 get_next_unique_lyrics_context_id ()
3441 static int new_context_count;
3443 snprintf (s, sizeof (s)-1, "uniqueContext%d", new_context_count++);
3444 return scm_from_locale_string (s);
3447 // check_scheme_arg checks one argument with a given predicate for use
3448 // in an argument list and throws a syntax error if it is unusable.
3449 // The argument is prepended to the argument list in any case. After
3450 // throwing a syntax error, the argument list is terminated with #f as
3451 // its last cdr in order to mark it as uncallable while not losing
3452 // track of its total length.
3454 // There are a few special considerations: if optional argument disp
3455 // is given (otherwise it defaults to SCM_UNDEFINED), it will be used
3456 // instead of arg in a prospective error message. This is useful if
3457 // arg is not the actual argument but rather a transformation of it.
3459 // If arg itself is SCM_UNDEFINED, the predicate is considered false
3460 // and an error message using disp is produced unconditionally.
3462 SCM check_scheme_arg (Lily_parser *parser, Input loc,
3463 SCM arg, SCM args, SCM pred, SCM disp)
3465 if (SCM_UNBNDP (arg))
3466 args = scm_cons (disp, args);
3468 args = scm_cons (arg, args);
3469 if (scm_is_true (scm_call_1 (pred, arg)))
3472 scm_set_cdr_x (scm_last_pair (args), SCM_EOL);
3473 MAKE_SYNTAX ("argument-error", loc, scm_length (args), pred,
3474 SCM_UNBNDP (disp) ? arg : disp);
3475 scm_set_cdr_x (scm_last_pair (args), SCM_BOOL_F);
3479 SCM loc_on_music (Input loc, SCM arg)
3481 if (Music *m = unsmob_music (arg))
3485 return m->unprotect ();
3491 try_string_variants (SCM pred, SCM str)
3493 // a matching predicate is always ok
3494 if (scm_is_true (scm_call_1 (pred, str)))
3496 // a symbol may be interpreted as a list of symbols if it helps
3497 if (scm_is_symbol (str)) {
3498 str = scm_list_1 (str);
3499 if (scm_is_true (scm_call_1 (pred, str)))
3501 return SCM_UNDEFINED;
3504 // If this cannot be a string representation of a symbol list,
3507 if (!is_regular_identifier (str, true))
3508 return SCM_UNDEFINED;
3510 str = scm_string_split (str, SCM_MAKE_CHAR ('.'));
3511 for (SCM p = str; scm_is_pair (p); p = scm_cdr (p))
3512 scm_set_car_x (p, scm_string_to_symbol (scm_car (p)));
3514 // Let's attempt the symbol list interpretation first.
3516 if (scm_is_true (scm_call_1 (pred, str)))
3519 // If there is just one symbol in the list, we might interpret
3520 // it as a single symbol
3522 if (scm_is_null (scm_cdr (str)))
3524 str = scm_car (str);
3525 if (scm_is_true (scm_call_1 (pred, str)))
3529 return SCM_UNDEFINED;
3533 is_regular_identifier (SCM id, bool multiple)
3535 if (!scm_is_string (id))
3538 string str = ly_scm2string (id);
3540 bool middle = false;
3542 for (string::iterator it=str.begin(); it != str.end (); it++)
3545 if ((c >= 'a' && c <= 'z')
3546 || (c >= 'A' && c <= 'Z')
3549 else if (middle && (c == '-' || c == '_' || (multiple && c == '.')))
3558 make_music_from_simple (Lily_parser *parser, Input loc, SCM simple)
3560 if (unsmob_music (simple))
3562 if (parser->lexer_->is_note_state ()) {
3563 if (scm_is_symbol (simple)) {
3564 Music *n = MY_MAKE_MUSIC ("NoteEvent", loc);
3565 n->set_property ("duration", parser->default_duration_.smobbed_copy ());
3566 n->set_property ("drum-type", simple);
3567 return n->unprotect ();
3569 if (unsmob_pitch (simple)) {
3570 Music *n = MY_MAKE_MUSIC ("NoteEvent", loc);
3571 n->set_property ("duration", parser->default_duration_.smobbed_copy ());
3572 n->set_property ("pitch", simple);
3573 return n->unprotect ();
3576 } else if (parser->lexer_->is_lyric_state ()) {
3577 if (Text_interface::is_markup (simple))
3578 return MAKE_SYNTAX ("lyric-event", loc, simple,
3579 parser->default_duration_.smobbed_copy ());
3580 } else if (parser->lexer_->is_chord_state ()) {
3581 if (unsmob_pitch (simple))
3582 return make_chord_elements (loc, simple,
3583 parser->default_duration_.smobbed_copy (),
3590 make_music_with_input (SCM name, Input where)
3592 Music *m = make_music_by_name (name);
3593 m->set_spot (where);
3598 make_simple_markup (SCM a)
3606 return t && t == 1 << intlog2 (t);
3610 make_chord_step (SCM step_scm, Rational alter)
3612 int step = scm_to_int (step_scm);
3615 alter += FLAT_ALTERATION;
3619 Pitch m ((step -1) / 7, (step - 1) % 7, alter);
3620 return m.smobbed_copy ();
3625 make_chord_elements (Input loc, SCM pitch, SCM dur, SCM modification_list)
3627 SCM chord_ctor = ly_lily_module_constant ("construct-chord-elements");
3628 SCM res = scm_call_3 (chord_ctor, pitch, dur, modification_list);
3629 for (SCM s = res; scm_is_pair (s); s = scm_cdr (s))
3631 unsmob_music (scm_car (s))->set_spot (loc);
3637 yylex (YYSTYPE *s, YYLTYPE *loc, Lily_parser *parser)
3639 Lily_lexer *lex = parser->lexer_;
3643 lex->prepare_for_next_token ();
3644 return lex->yylex ();