X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=lily%2Flexer.ll;h=391d2d51416a3fbdf1ae8e0da8070d46ba098263;hb=c7268da1b688b47e3a7f2ac926e5ce3d79e05dbb;hp=e02376b9836000cde89a527f38aa10f5a78de2d8;hpb=48631a04b6181cd7be65702574eaaa6c52284bd2;p=lilypond.git diff --git a/lily/lexer.ll b/lily/lexer.ll index e02376b983..391d2d5141 100644 --- a/lily/lexer.ll +++ b/lily/lexer.ll @@ -1,10 +1,10 @@ %{ // -*-Fundamental-*- /* - lexer.l -- implement the Flex lexer + lexer.ll -- implement the Flex lexer source file of the LilyPond music typesetter - (c) 1996--2000 Han-Wen Nienhuys + (c) 1996--2004 Han-Wen Nienhuys Jan Nieuwenhuizen */ @@ -26,25 +26,28 @@ #include #include -#include +/* Flex >= 2.5.29 fix; FlexLexer.h's multiple include bracing breaks + when building the actual lexer. */ +#define LEXER_CC +#include +using namespace std; +#include "music-function.hh" +#include "source-file.hh" #include "parse-scm.hh" -#include "score.hh" #include "lily-guile.hh" #include "string.hh" #include "string-convert.hh" -#include "my-lily-lexer.hh" -#include "file-results.hh" +#include "lily-lexer.hh" #include "interval.hh" #include "lily-guile.hh" #include "parser.hh" #include "warn.hh" #include "main.hh" -#include "musical-request.hh" #include "version.hh" #include "lilypond-input-version.hh" -#include "translator-def.hh" -#include "music-output-def.hh" +#include "context-def.hh" +#include "identifier-smob.hh" /* RH 7 fix (?) @@ -54,17 +57,19 @@ RH 7 fix (?) void strip_trailing_white (String&); void strip_leading_white (String&); String lyric_fudge (String s); - - -bool -valid_version_b (String s); - +int music_function_type (SCM); +SCM lookup_markup_command (String s); +bool is_valid_version (String s); #define start_quote() \ yy_push_state (quote);\ yylval.string = new String +#define start_lyric_quote() \ + yy_push_state (lyric_quote);\ + yylval.string = new String + #define yylval \ (*(YYSTYPE*)lexval) @@ -80,26 +85,30 @@ SCM scan_fraction (String); SCM (* scm_parse_error_handler) (void *); + %} %option c++ %option noyywrap %option nodefault %option debug -%option yyclass="My_lily_lexer" +%option yyclass="Lily_lexer" %option stack %option never-interactive %option warn -%x version %x chords +%x encoding +%x figures %x incl %x lyrics +%x lyric_quote +%x longcomment +%x markup %x notes -%x figures %x quote -%x longcomment - +%x renameinput +%x version A [a-zA-Z] AA {A}|_ @@ -113,6 +122,7 @@ WORD {A}{AN}* ALPHAWORD {A}+ DIGIT {N} UNSIGNED {N}+ +E_UNSIGNED \\{N}+ FRACTION {N}+\/{N}+ INT -?{UNSIGNED} REAL ({INT}\.{N}*)|(-?\.{N}+) @@ -122,7 +132,8 @@ HORIZONTALWHITE [ \t] BLACK [^ \n\t\f\r] RESTNAME [rs] NOTECOMMAND \\{A}+ -LYRICS ({AA}|{TEX})[^0-9 \t\n\f]* +MARKUPCOMMAND \\({A}|[-_])+ +LYRICS ({AA}|{TEX})[^0-9 \t\n\r\f]* ESCAPED [nt\\'"] EXTENDER __ HYPHEN -- @@ -133,36 +144,70 @@ HYPHEN -- // windows-suck-suck-suck } -{ +{ "%{" { yy_push_state (longcomment); } - %[^{\n].*\n { + %[^{\n\r].*[\n\r] { } - %[^{\n] { // backup rule + %[^{\n\r] { // backup rule } - %\n { + %[\n\r] { } - %[^{\n].* { + %[^{\n\r].* { } {WHITE}+ { } } +\\encoding{WHITE}* { + yy_push_state (encoding); +} \\version{WHITE}* { yy_push_state (version); } +\\renameinput{WHITE}* { + yy_push_state (renameinput); +} +\"[^"]*\" { + String s (YYText () + 1); + s = s.left_string (s.index_last ('\"')); + set_encoding (s); + yy_pop_state (); +} \"[^"]*\" { /* got the version number */ - String s (YYText ()+1); - s = s.left_string (s.index_last ('"')); + String s (YYText () + 1); + s = s.left_string (s.index_last ('\"')); yy_pop_state (); - if (!valid_version_b (s)) + if (!is_valid_version (s)) return INVALID; } +\"[^"]*\" { + String s (YYText ()+1); + s = s.left_string (s.index_last ('\"')); + + yy_pop_state(); + this->here_input().source_file_->name_ = s; + progress_indication ("\n"); + progress_indication (_f ("input renamed to: `%s'", s.to_str0 ())); + progress_indication ("\n"); + scm_module_define (scm_car (scopes_), + ly_symbol2scm ("input-file-name"), + scm_makfrom0str (s.to_str0())); + +} +. { + LexerError (_ ("No quoted string found after \\encoding").to_str0 ()); + yy_pop_state (); +} . { - LexerError ("No quoted string found after \\version"); + LexerError (_ ("No quoted string found after \\version").to_str0 ()); + yy_pop_state (); +} +. { + LexerError (_ ("No quoted string found after \\renameinput").to_str0 ()); yy_pop_state (); } { @@ -176,6 +221,7 @@ HYPHEN -- } <> { LexerError (_ ("EOF found inside a comment").to_str0 ()); + main_input_b_ = false; if (! close_input ()) yyterminate (); // can't move this, since it actually rets a YY_NULL } @@ -189,28 +235,30 @@ HYPHEN -- main_input_b_ = true; } else - error (_ ("\\maininput disallowed outside init files")); + error (_ ("\\maininput not allowed outside init files")); } \\include { yy_push_state (incl); } \"[^"]*\";? { /* got the include file name */ +/* FIXME: semicolon? */ String s (YYText ()+1); s = s.left_string (s.index_last ('"')); - new_input (s, &global_input_file->sources_ ); + new_input (s, sources_); yy_pop_state (); } \\{BLACK}*;?{WHITE} { /* got the include identifier */ +/* FIXME: semicolon? */ String s = YYText () + 1; strip_trailing_white (s); if (s.length () && (s[s.length () - 1] == ';')) s = s.left_string (s.length () - 1); SCM sid = lookup_identifier (s); - if (gh_string_p (sid)) { - new_input (ly_scm2string (sid), &global_input_file->sources_); + if (scm_is_string (sid)) { + new_input (ly_scm2string (sid), sources_); yy_pop_state (); } else { String msg (_f ("wrong or undefined identifier: `%s'", s )); @@ -233,44 +281,42 @@ HYPHEN -- R { return MULTI_MEASURE_REST; } -\\\${BLACK}*{WHITE} { - String s=YYText () + 2; - s=s.left_string (s.length () - 1); - return scan_escaped_word (s); -} -\${BLACK}*{WHITE} { - String s=YYText () + 1; - s=s.left_string (s.length () - 1); - return scan_bare_word (s); -} -\\\${BLACK}* { // backup rule - error (_("white expected")); - exit (1); -} -\${BLACK}* { // backup rule - error (_("white expected")); - exit (1); -} - -# { //embedded scm +# { //embedded scm //char const* s = YYText () + 1; char const* s = here_str0 (); int n = 0; - if (main_input_b_ && safe_global_b) { - error (_ ("Can't evaluate Scheme in safe mode")); - yylval.scm = SCM_EOL; - return SCM_T; - } - yylval.scm = ly_parse_scm (s, &n, here_input()); - + SCM sval = ly_parse_scm (s, &n, here_input (), + safe_global_b && main_input_b_); + + if (sval == SCM_UNDEFINED) + { + sval = SCM_UNSPECIFIED; + error_level_ = 1; + } + for (int i=0; i < n; i++) { yyinput (); } char_count_stack_.top () += n; + if (unpack_identifier (sval) != SCM_UNDEFINED) + { + yylval.scm = unpack_identifier(sval); + return identifier_type (yylval.scm); + } + + yylval.scm = sval; return SCM_T; } +{ + \<\< { + return DOUBLE_ANGLE_OPEN; + } + \>\> { + return DOUBLE_ANGLE_CLOSE; + } +} { _ { return FIGURE_SPACE; @@ -282,6 +328,7 @@ HYPHEN -- return FIGURE_OPEN; } } + { {ALPHAWORD} { return scan_bare_word (YYText ()); @@ -303,6 +350,10 @@ HYPHEN -- yylval.i = String_convert::dec2int (String (YYText ())); return UNSIGNED; } + {E_UNSIGNED} { + yylval.i = String_convert::dec2int (String (YYText () +1)); + return E_UNSIGNED; + } \" { start_quote (); @@ -333,10 +384,31 @@ HYPHEN -- *yylval.string += YYText (); } } +{ + \\{ESCAPED} { + *yylval.string += to_string (escaped_char (YYText ()[1])); + } + [^\\"]+ { + *yylval.string += YYText (); + } + \" { + + yy_pop_state (); + + /* yylval is union. Must remember STRING before setting SCM*/ + String *sp = yylval.string; + yylval.scm = scm_makfrom0str (sp->to_str0 ()); + delete sp; + return LYRICS_STRING; + } + . { + *yylval.string += YYText (); + } +} { \" { - start_quote (); + start_lyric_quote (); } {FRACTION} { yylval.scm = scan_fraction (YYText ()); @@ -361,11 +433,11 @@ HYPHEN -- char c = s[s.length () - 1]; if (c == '{' || c == '}') // brace open is for not confusing dumb tools. here_input ().warning ( - _ ("Brace found at end of lyric. Did you forget a space?")); + _ ("Brace found at end of lyric. Did you forget a space?")); yylval.scm = scm_makfrom0str (s.to_str0 ()); - return STRING; + return LYRICS_STRING; } . { return YYText ()[0]; @@ -398,6 +470,9 @@ HYPHEN -- \/\+ { return CHORD_BASS; } + \/ { + return CHORD_SLASH; + } \^ { return CHORD_CARET; } @@ -406,14 +481,87 @@ HYPHEN -- } } -<> { + +{ + \" { + start_quote (); + } + \< { + return '<'; + } + \> { + return '>'; + } + \\score { + return SCORE; + } + {MARKUPCOMMAND} { + String str (YYText () + 1); + SCM s = lookup_markup_command (str); + + if (scm_is_pair (s) && scm_is_symbol (scm_cdr (s)) ) { + yylval.scm = scm_car(s); + SCM tag = scm_cdr(s); + if (tag == ly_symbol2scm("markup0")) + return MARKUP_HEAD_MARKUP0; + if (tag == ly_symbol2scm("empty")) + return MARKUP_HEAD_EMPTY; + else if (tag == ly_symbol2scm ("markup0-markup1")) + return MARKUP_HEAD_MARKUP0_MARKUP1; + else if (tag == ly_symbol2scm ("markup-list0")) + return MARKUP_HEAD_LIST0; + else if (tag == ly_symbol2scm ("scheme0")) + return MARKUP_HEAD_SCM0; + else if (tag == ly_symbol2scm ("scheme0-scheme1")) + return MARKUP_HEAD_SCM0_SCM1; + else if (tag == ly_symbol2scm ("scheme0-markup1")) + return MARKUP_HEAD_SCM0_MARKUP1; + else if (tag == ly_symbol2scm ("scheme0-scheme1-markup2")) + return MARKUP_HEAD_SCM0_SCM1_MARKUP2; + else if (tag == ly_symbol2scm ("scheme0-scheme1-scheme2")) + return MARKUP_HEAD_SCM0_SCM1_SCM2; + else { + programming_error ("No parser tag defined for this signature. Abort"); + ly_display_scm (s); + assert(false); + } + } else + return scan_escaped_word (str); + } + [{}] { + return YYText ()[0]; + } + [^#{}"\\ \t\n\r\f]+ { + String s (YYText ()); + + char c = s[s.length () - 1]; + /* brace open is for not confusing dumb tools. */ + if (c == '{' || c == '}') + here_input ().warning ( + _ ("Brace found at end of markup. Did you forget a space?")); + yylval.scm = scm_makfrom0str (s.to_str0 ()); - if (! close_input ()) { - yyterminate (); // can't move this, since it actually rets a YY_NULL + return STRING; + } + . { + return YYText()[0]; } } +<> { + if (main_input_b_) + { + main_input_b_ = false; + if (!close_input ()) + /* Returns YY_NULL */ + yyterminate (); + } + else if (!close_input ()) + /* Returns YY_NULL */ + yyterminate (); +} + {WORD} { return scan_bare_word (YYText ()); @@ -426,7 +574,7 @@ HYPHEN -- int cnv=sscanf (YYText (), "%lf", &r); assert (cnv == 1); - yylval.scm = gh_double2scm (r); + yylval.scm = scm_make_real (r); return REAL; } @@ -435,6 +583,7 @@ HYPHEN -- return UNSIGNED; } + [{}] { return YYText ()[0]; @@ -471,6 +620,7 @@ HYPHEN -- return E_TILDE; case '\\': return E_BACKSLASH; + default: return E_CHAR; } @@ -485,84 +635,84 @@ HYPHEN -- %% void -My_lily_lexer::push_note_state () +Lily_lexer::push_chord_state (SCM tab) { - yy_push_state (notes); + pitchname_tab_stack_ = scm_cons (tab, pitchname_tab_stack_); + yy_push_state (chords); } void -My_lily_lexer::push_figuredbass_state() +Lily_lexer::push_figuredbass_state () { yy_push_state (figures); } + void -My_lily_lexer::push_chord_state () +Lily_lexer::push_initial_state () { - yy_push_state (chords); + yy_push_state (INITIAL); } void -My_lily_lexer::push_lyric_state () +Lily_lexer::push_lyric_state () { yy_push_state (lyrics); } void -My_lily_lexer::pop_state () +Lily_lexer::push_markup_state () { + yy_push_state (markup); +} + +void +Lily_lexer::push_note_state (SCM tab) +{ + pitchname_tab_stack_ = scm_cons (tab, pitchname_tab_stack_); + yy_push_state (notes); +} + +void +Lily_lexer::pop_state () +{ + if (YYSTATE == notes || YYSTATE == chords) + pitchname_tab_stack_ = scm_cdr (pitchname_tab_stack_); yy_pop_state (); } int -My_lily_lexer::scan_escaped_word (String str) +Lily_lexer::identifier_type (SCM sid) +{ + int k = try_special_identifiers (&yylval.scm , sid); + return k >= 0 ? k : SCM_IDENTIFIER; +} + + +int +Lily_lexer::scan_escaped_word (String str) { // use more SCM for this. - SCM sym = ly_symbol2scm (str.to_str0 ()); +// SCM sym = ly_symbol2scm (str.to_str0 ()); int l = lookup_keyword (str); if (l != -1) { return l; } SCM sid = lookup_identifier (str); - if (gh_string_p (sid)) { - yylval.scm = sid; - return STRING_IDENTIFIER; - } else if (gh_number_p (sid)) { - yylval.scm = sid; - return NUMBER_IDENTIFIER; - } else if (unsmob_translator_def (sid)) { - yylval.scm = sid; - return TRANSLATOR_IDENTIFIER; - } else if (unsmob_score (sid)) { - yylval.scm =sid; - return SCORE_IDENTIFIER; - } else if (Music * mus =unsmob_music (sid)) { - yylval.scm = sid; + if (is_music_function (sid)) + { + yylval.scm = get_music_function_transform (sid); - return dynamic_cast (mus) ? REQUEST_IDENTIFIER : MUSIC_IDENTIFIER; - } else if (unsmob_duration (sid)) { - yylval.scm = sid; - return DURATION_IDENTIFIER; - } else if (unsmob_music_output_def (sid)) { - yylval.scm = sid; - return MUSIC_OUTPUT_DEF_IDENTIFIER; + return music_function_type (yylval.scm); } - if (sid != SCM_UNDEFINED) { + if (sid != SCM_UNDEFINED) + { yylval.scm = sid; - return SCM_IDENTIFIER; + return identifier_type (sid); } - if ((YYSTATE != notes) && (YYSTATE != chords)) { - SCM pitch = scm_hashq_get_handle (pitchname_tab_, sym); - - if (gh_pair_p (pitch)) - { - yylval.scm = ly_cdr (pitch); - return NOTENAME_PITCH; - } - } String msg (_f ("unknown escaped string: `\\%s'", str)); LexerError (msg.to_str0 ()); @@ -572,18 +722,25 @@ My_lily_lexer::scan_escaped_word (String str) } int -My_lily_lexer::scan_bare_word (String str) +Lily_lexer::scan_bare_word (String str) { SCM sym = ly_symbol2scm (str.to_str0 ()); if ((YYSTATE == notes) || (YYSTATE == chords)) { - SCM pitch = scm_hashq_get_handle (pitchname_tab_, sym); - if (gh_pair_p (pitch)) { - yylval.scm = ly_cdr (pitch); - return (YYSTATE == notes) ? NOTENAME_PITCH : TONICNAME_PITCH; - } else if ((pitch = scm_hashq_get_handle (chordmodifier_tab_, sym))!= SCM_BOOL_F) + SCM handle = SCM_BOOL_F; + if (scm_is_pair (pitchname_tab_stack_)) + handle = scm_hashq_get_handle (scm_car (pitchname_tab_stack_), sym); + + if (scm_is_pair (handle)) { + yylval.scm = scm_cdr (handle); + if (unsmob_pitch (yylval.scm)) + return (YYSTATE == notes) ? NOTENAME_PITCH : TONICNAME_PITCH; + else if (scm_is_symbol (yylval.scm)) + return DRUM_PITCH; + } + else if ((handle = scm_hashq_get_handle (chordmodifier_tab_, sym))!= SCM_BOOL_F) { - yylval.scm = ly_cdr (pitch); - return CHORDMODIFIER_PITCH; + yylval.scm = scm_cdr (handle); + return CHORD_MODIFIER; } } @@ -592,25 +749,25 @@ My_lily_lexer::scan_bare_word (String str) } bool -My_lily_lexer::note_state_b () const +Lily_lexer::is_note_state () const { return YY_START == notes; } bool -My_lily_lexer::chord_state_b () const +Lily_lexer::is_chord_state () const { return YY_START == chords; } bool -My_lily_lexer::lyric_state_b () const +Lily_lexer::is_lyric_state () const { return YY_START == lyrics; } bool -My_lily_lexer::figure_state_b () const +Lily_lexer::is_figure_state () const { return YY_START == figures; } @@ -643,18 +800,18 @@ strip_trailing_white (String&s) -/* 1.3.146 == removal of ; */ -Lilypond_version oldest_version ("1.3.146"); +/* 2.1.2x something -> \property -> \set. */ +Lilypond_version oldest_version ("2.3.22"); bool -valid_version_b (String s) +is_valid_version (String s) { Lilypond_version current ( MAJOR_VERSION "." MINOR_VERSION "." PATCH_LEVEL ); Lilypond_version ver (s); if (! ((ver >= oldest_version) && (ver <= current))) { - non_fatal_error (_f ("Incorrect lilypond version: %s (%s, %s)", ver.string (), oldest_version.string (), current.string ())); + non_fatal_error (_f ("Incorrect lilypond version: %s (%s, %s)", ver.to_string (), oldest_version.to_string (), current.to_string ())); non_fatal_error (_ ("Consider updating the input with the convert-ly script")); return false; } @@ -662,6 +819,9 @@ valid_version_b (String s) } +/* + substitute _ and \, +*/ String lyric_fudge (String s) { @@ -699,6 +859,98 @@ scan_fraction (String frac) int n = String_convert::dec2int (left); int d = String_convert::dec2int (right); - return gh_cons (gh_int2scm (n), gh_int2scm (d)); + return scm_cons (scm_int2num (n), scm_int2num (d)); +} + +// Breaks for flex 2.5.31 +#if 0 +/* avoid silly flex induced gcc warnings */ +static void yy_push_state (int) {;} +static void yy_pop_state () {;} +static int yy_top_state () { return 0; } + +static void +avoid_silly_flex_induced_gcc_warnings () +{ + (void)yy_start_stack_ptr; + (void)yy_start_stack_depth; + (void)yy_start_stack; + yy_push_state (0); + yy_pop_state (); + yy_top_state (); + avoid_silly_flex_induced_gcc_warnings (); +} +#endif + +SCM +lookup_markup_command (String s) +{ + SCM proc = ly_scheme_function ("lookup-markup-command"); + return scm_call_1 (proc, scm_makfrom0str (s.to_str0 ())); +} + + +int +music_function_type (SCM func) +{ + SCM type= scm_object_property (func, ly_symbol2scm ("music-function-signature-keyword")); + if (type == ly_symbol2scm ("scm")) + { + return MUSIC_FUNCTION_SCM; + } + else if (type == ly_symbol2scm ("music")) + { + return MUSIC_FUNCTION_MUSIC; + } + else if (type == ly_symbol2scm ("scm-music")) + { + return MUSIC_FUNCTION_SCM_MUSIC; + } + else if (type == ly_symbol2scm ("scm-scm")) + { + return MUSIC_FUNCTION_SCM_SCM; + } + else if (type == ly_symbol2scm ("music-music")) + { + return MUSIC_FUNCTION_MUSIC_MUSIC; + } + else if (type == ly_symbol2scm ("scm-music-music")) + { + return MUSIC_FUNCTION_SCM_MUSIC_MUSIC; + } + else if (type == ly_symbol2scm ("scm-scm-music")) + { + return MUSIC_FUNCTION_SCM_SCM_MUSIC; + } + else if (type == ly_symbol2scm ("markup")) + { + return MUSIC_FUNCTION_MARKUP; + } + else if (type == ly_symbol2scm ("markup-music")) + { + return MUSIC_FUNCTION_MARKUP_MUSIC; + } + else if (type == ly_symbol2scm ("markup-markup")) + { + return MUSIC_FUNCTION_MARKUP_MARKUP; + } + else if (type == ly_symbol2scm ("markup-music-music")) + { + return MUSIC_FUNCTION_MARKUP_MUSIC_MUSIC; + } + else if (type == ly_symbol2scm ("markup-markup-music")) + { + return MUSIC_FUNCTION_MARKUP_MARKUP_MUSIC; + } + else if (type == ly_symbol2scm ("noarg")) + { + return MUSIC_FUNCTION; + } + else + { + /* TODO: print location */ + error ("Can not find signature for music function."); + } + + return MUSIC_FUNCTION_SCM; } -