X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=lily%2Flexer.ll;h=7fc5828206eef619feb4a24bec0ceeda232ee15c;hb=de19d3787ab5ba1d4bd951176eaa03b2b4ceee95;hp=23692d60d74c93cc9041d9c20594094494ad5cf6;hpb=eb736251ddd70a4562264eed6cc021b281f0377a;p=lilypond.git diff --git a/lily/lexer.ll b/lily/lexer.ll index 23692d60d7..7fc5828206 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--2003 Han-Wen Nienhuys Jan Nieuwenhuizen */ @@ -18,31 +18,48 @@ lex.backup contains no backup states, but only the reminder Compressed tables always back up. - (don-t forget to rm lex.yy.cc :-) + (don-t forget to rm lex.yy.cc :-) */ #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 "parse-scm.hh" #include "lily-guile.hh" #include "string.hh" #include "string-convert.hh" #include "my-lily-lexer.hh" -#include "array.hh" +#include "input-file-results.hh" #include "interval.hh" #include "lily-guile.hh" #include "parser.hh" -#include "debug.hh" +#include "warn.hh" #include "main.hh" -#include "musical-request.hh" -#include "identifier.hh" #include "version.hh" -#include "mudela-version.hh" +#include "lilypond-input-version.hh" +#include "translator-def.hh" +#include "identifier-smob.hh" + +/* +RH 7 fix (?) +*/ +#define isatty HORRIBLEKLUDGE void strip_trailing_white (String&); void strip_leading_white (String&); +String lyric_fudge (String s); +SCM +lookup_markup_command (String s); bool valid_version_b (String s); @@ -53,7 +70,8 @@ valid_version_b (String s); yy_push_state (quote);\ yylval.string = new String -#define yylval (*(YYSTYPE*)lexval_l) +#define yylval \ + (*(YYSTYPE*)lexval) #define YY_USER_ACTION add_lexed_char (YYLeng ()); /* @@ -62,6 +80,12 @@ LYRICS ({AA}|{TEX})[^0-9 \t\n\f]* */ + +SCM scan_fraction (String); +SCM (* scm_parse_error_handler) (void *); + + + %} %option c++ @@ -78,22 +102,25 @@ LYRICS ({AA}|{TEX})[^0-9 \t\n\f]* %x incl %x lyrics %x notes +%x figures %x quote %x longcomment - +%x markup A [a-zA-Z] AA {A}|_ N [0-9] AN {AA}|{N} -PUNCT [?!:'] +PUNCT [?!:'`] ACCENT \\[`'"^] -NATIONAL [\001-\006\021-\027\031\036\200-\377] +NATIONAL [\001-\006\021-\027\031\036\200-\377] TEX {AA}|-|{PUNCT}|{ACCENT}|{NATIONAL} WORD {A}{AN}* ALPHAWORD {A}+ DIGIT {N} UNSIGNED {N}+ +E_UNSIGNED \\{N}+ +FRACTION {N}+\/{N}+ INT -?{UNSIGNED} REAL ({INT}\.{N}*)|(-?\.{N}+) KEYWORD \\{WORD} @@ -102,6 +129,7 @@ HORIZONTALWHITE [ \t] BLACK [^ \n\t\f\r] RESTNAME [rs] NOTECOMMAND \\{A}+ +MARKUPCOMMAND \\({A}|[-_])+ LYRICS ({AA}|{TEX})[^0-9 \t\n\f]* ESCAPED [nt\\'"] EXTENDER __ @@ -113,7 +141,7 @@ HYPHEN -- // windows-suck-suck-suck } -{ +{ "%{" { yy_push_state (longcomment); } @@ -130,16 +158,16 @@ HYPHEN -- } } -\\version{WHITE}* { +\\version{WHITE}* { yy_push_state (version); } -\"[^"]*\";? { /* got the include file name */ +\"[^"]*\" { /* got the version number */ String s (YYText ()+1); - s = s.left_str (s.index_last_i ('"')); - DEBUG_OUT << "#version `" << s << "'\n"; + s = s.left_string (s.index_last ('\"')); + + yy_pop_state (); if (!valid_version_b (s)) return INVALID; - yy_pop_state (); } . { LexerError ("No quoted string found after \\version"); @@ -155,14 +183,14 @@ HYPHEN -- yy_pop_state (); } <> { - LexerError (_ ("EOF found inside a comment").ch_C ()); + LexerError (_ ("EOF found inside a comment").to_str0 ()); if (! close_input ()) yyterminate (); // can't move this, since it actually rets a YY_NULL } } -\\maininput { +\\maininput { if (!main_input_b_) { start_main_input (); @@ -172,89 +200,118 @@ HYPHEN -- error (_ ("\\maininput disallowed outside init files")); } -\\include { +\\include { yy_push_state (incl); } \"[^"]*\";? { /* got the include file name */ String s (YYText ()+1); - s = s.left_str (s.index_last_i ('"')); - DEBUG_OUT << "#include `" << s << "'\n"; - new_input (s,source_global_l); + s = s.left_string (s.index_last ('"')); + + new_input (s, &global_input_file->sources_ ); yy_pop_state (); } \\{BLACK}*;?{WHITE} { /* got the include identifier */ String s = YYText () + 1; strip_trailing_white (s); - if (s.length_i () && (s[s.length_i () - 1] == ';')) - s = s.left_str (s.length_i () - 1); - DEBUG_OUT << "#include `\\" << s << "'\n"; - Identifier * id = lookup_identifier (s); - if (id) - { - String* s_l = id->access_content_String (false); - DEBUG_OUT << "#include `" << *s_l << "'\n"; - new_input (*s_l, source_global_l); - - yy_pop_state (); - } - else - { - String msg (_f ("undefined identifier: `%s'", s )); - LexerError (msg.ch_C ()); + 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_); + yy_pop_state (); + } else { + String msg (_f ("wrong or undefined identifier: `%s'", s )); + + LexerError (msg.to_str0 ()); + SCM err = scm_current_error_port (); + scm_puts ("This value was found in the table: ", err); + scm_display (sid, err); } } \"[^"]* { // backup rule - cerr << _ ("Missing end quote") << endl; + error (_ ("Missing end quote")); exit (1); } -{RESTNAME} { +{RESTNAME} { const char *s = YYText (); - yylval.scm = ly_str02scm (s); + yylval.scm = scm_makfrom0str (s); return RESTNAME; } -R { - return MEASURES; +R { + return MULTI_MEASURE_REST; } -\\\${BLACK}*{WHITE} { +\\\${BLACK}*{WHITE} { String s=YYText () + 2; - s=s.left_str (s.length_i () - 1); + s=s.left_string (s.length () - 1); return scan_escaped_word (s); } -\${BLACK}*{WHITE} { +\${BLACK}*{WHITE} { String s=YYText () + 1; - s=s.left_str (s.length_i () - 1); + s=s.left_string (s.length () - 1); return scan_bare_word (s); } -\\\${BLACK}* { // backup rule - cerr << _ ("white expected") << endl; +\\\${BLACK}* { // backup rule + error (_("white expected")); exit (1); } -\${BLACK}* { // backup rule - cerr << _ ("white expected") << endl; +\${BLACK}* { // backup rule + error (_("white expected")); exit (1); } -# { //embedded scm + +# { //embedded scm //char const* s = YYText () + 1; - char const* s = here_ch_C (); + char const* s = here_str0 (); int n = 0; if (main_input_b_ && safe_global_b) { error (_ ("Can't evaluate Scheme in safe mode")); - return SCM_EOL; + yylval.scm = SCM_EOL; + return SCM_T; } - yylval.scm = ly_parse_scm (s, &n); - DEBUG_OUT << "Scheme: "; - if (flower_dstream) - ly_display_scm (yylval.scm); - + SCM sval = ly_parse_scm (s, &n, here_input()); + if (sval == SCM_UNDEFINED) + { + sval = SCM_UNSPECIFIED; + errorlevel_ = 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 CHORD_OPEN; + } + \>\> { + return CHORD_CLOSE; + } +} +{ + _ { + return FIGURE_SPACE; + } + \> { + return FIGURE_CLOSE; + } + \< { + return FIGURE_OPEN; + } +} + +{ {ALPHAWORD} { return scan_bare_word (YYText ()); } @@ -262,15 +319,23 @@ HYPHEN -- {NOTECOMMAND} { return scan_escaped_word (YYText () + 1); } + {FRACTION} { + yylval.scm = scan_fraction (YYText ()); + return FRACTION; + } {DIGIT} { - yylval.i = String_convert::dec2_i (String (YYText ())); + yylval.i = String_convert::dec2int (String (YYText ())); return DIGIT; } {UNSIGNED} { - yylval.i = String_convert::dec2_i (String (YYText ())); + yylval.i = String_convert::dec2int (String (YYText ())); return UNSIGNED; } + {E_UNSIGNED} { + yylval.i = String_convert::dec2int (String (YYText () +1)); + return E_UNSIGNED; + } \" { start_quote (); @@ -282,18 +347,18 @@ HYPHEN -- } { \\{ESCAPED} { - *yylval.string += to_str (escaped_char(YYText()[1])); + *yylval.string += to_string (escaped_char (YYText ()[1])); } [^\\"]+ { *yylval.string += YYText (); } \" { - DEBUG_OUT << "quoted string: `" << *yylval.string << "'\n"; + yy_pop_state (); /* yylval is union. Must remember STRING before setting SCM*/ String *sp = yylval.string; - yylval.scm = ly_str02scm (sp->ch_C ()); + yylval.scm = scm_makfrom0str (sp->to_str0 ()); delete sp; return STRING; } @@ -306,8 +371,12 @@ HYPHEN -- \" { start_quote (); } + {FRACTION} { + yylval.scm = scan_fraction (YYText ()); + return FRACTION; + } {UNSIGNED} { - yylval.i = String_convert::dec2_i (String (YYText ())); + yylval.i = String_convert::dec2int (String (YYText ())); return UNSIGNED; } {NOTECOMMAND} { @@ -320,22 +389,15 @@ HYPHEN -- return yylval.i = EXTENDER; if (s == "--") return yylval.i = HYPHEN; - int i = 0; - while ((i=s.index_i ("_")) != -1) // change word binding "_" to " " - *(s.ch_l () + i) = ' '; - if ((i=s.index_i ("\\,")) != -1) // change "\," to TeX's "\c " - { - *(s.ch_l () + i + 1) = 'c'; - s = s.left_str (i+2) + " " + s.right_str (s.length_i ()-i-2); - } + s = lyric_fudge (s); - char c = s[s.length_i () - 1]; - if (c == '{' && c == '}') // brace open is for not confusing dumb tools. + 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?"); - yylval.scm = ly_str02scm (s.ch_C ()); + _ ("Brace found at end of lyric. Did you forget a space?")); + yylval.scm = scm_makfrom0str (s.to_str0 ()); + - DEBUG_OUT << "lyric : `" << s << "'\n"; return STRING; } . { @@ -349,8 +411,12 @@ HYPHEN -- {NOTECOMMAND} { return scan_escaped_word (YYText () + 1); } + {FRACTION} { + yylval.scm = scan_fraction (YYText ()); + return FRACTION; + } {UNSIGNED} { - yylval.i = String_convert::dec2_i (String (YYText ())); + yylval.i = String_convert::dec2int (String (YYText ())); return UNSIGNED; } \" { @@ -365,6 +431,9 @@ HYPHEN -- \/\+ { return CHORD_BASS; } + \/ { + return CHORD_SLASH; + } \^ { return CHORD_CARET; } @@ -373,8 +442,64 @@ HYPHEN -- } } + +{ + \" { + start_quote (); + } + {MARKUPCOMMAND} { + String str (YYText() + 1); + SCM s = lookup_markup_command (str); + + if (gh_pair_p (s) && gh_symbol_p (gh_cdr (s)) ) { + yylval.scm = gh_car(s); + SCM tag = gh_cdr(s); + if (tag == ly_symbol2scm("markup0")) + return MARKUP_HEAD_MARKUP0; + 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); + } + {LYRICS} { + String s (YYText ()); + + 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?")); + yylval.scm = scm_makfrom0str (s.to_str0 ()); + + + return STRING; + } + {WHITE} { + + } + . { + return YYText ()[0]; + } +} + <> { - DEBUG_OUT << "<>"; + if (! close_input ()) { yyterminate (); // can't move this, since it actually rets a YY_NULL @@ -392,32 +517,32 @@ HYPHEN -- Real r; int cnv=sscanf (YYText (), "%lf", &r); assert (cnv == 1); - DEBUG_OUT << "REAL" << r<<'\n'; - yylval.real = r; + + yylval.scm = gh_double2scm (r); return REAL; } {UNSIGNED} { - yylval.i = String_convert::dec2_i (String (YYText ())); + yylval.i = String_convert::dec2int (String (YYText ())); return UNSIGNED; } + [{}] { - DEBUG_OUT << "parens\n"; return YYText ()[0]; } [*:=] { char c = YYText ()[0]; - DEBUG_OUT << "misc char" <. { +. { return YYText ()[0]; } -\\. { +\\. { char c= YYText ()[1]; switch (c) { @@ -427,6 +552,19 @@ HYPHEN -- return E_SMALLER; case '!': return E_EXCLAMATION; + case '(': + return E_OPEN; + case ')': + return E_CLOSE; + case '[': + return E_LEFTSQUARE; + case ']': + return E_RIGHTSQUARE; + case '~': + return E_TILDE; + case '\\': + return E_BACKSLASH; + default: return E_CHAR; } @@ -434,7 +572,7 @@ HYPHEN -- <*>. { String msg = _f ("invalid character: `%c'", YYText ()[0]); - LexerError (msg.ch_C ()); + LexerError (msg.to_str0 ()); return YYText ()[0]; } @@ -446,6 +584,11 @@ My_lily_lexer::push_note_state () yy_push_state (notes); } +void +My_lily_lexer::push_figuredbass_state() +{ + yy_push_state (figures); +} void My_lily_lexer::push_chord_state () { @@ -458,43 +601,57 @@ My_lily_lexer::push_lyric_state () yy_push_state (lyrics); } +void +My_lily_lexer::push_markup_state () +{ + yy_push_state (markup); +} + void My_lily_lexer::pop_state () { yy_pop_state (); } +int +My_lily_lexer::identifier_type(SCM sid) +{ + int k = try_special_identifiers(&yylval.scm , sid); + return k >= 0 ? k : SCM_IDENTIFIER; +} + + int My_lily_lexer::scan_escaped_word (String str) { // use more SCM for this. - SCM sym = ly_symbol2scm (str.ch_C()); + SCM sym = ly_symbol2scm (str.to_str0 ()); int l = lookup_keyword (str); if (l != -1) { return l; } - Identifier * id = lookup_identifier (str); - if (id) { - yylval.id = id; - return id->token_code_i_; + SCM sid = lookup_identifier (str); + if (sid != SCM_UNDEFINED) + { + yylval.scm = sid; + return identifier_type (sid); } + if ((YYSTATE != notes) && (YYSTATE != chords)) { - SCM pitch = scm_hashq_ref (pitchname_tab_, sym, SCM_BOOL_F); + SCM pitch = scm_hashq_get_handle (pitchname_tab_, sym); - if (pitch != SCM_BOOL_F) + if (gh_pair_p (pitch)) { - yylval.pitch = new Musical_pitch (pitch); - yylval.pitch->set_spot (Input (source_file_l (), - here_ch_C ())); + yylval.scm = ly_cdr (pitch); return NOTENAME_PITCH; } } String msg (_f ("unknown escaped string: `\\%s'", str)); - LexerError (msg.ch_C ()); + LexerError (msg.to_str0 ()); - yylval.scm = ly_str02scm(str.ch_C()); + yylval.scm = scm_makfrom0str (str.to_str0 ()); return STRING; } @@ -502,24 +659,20 @@ My_lily_lexer::scan_escaped_word (String str) int My_lily_lexer::scan_bare_word (String str) { - SCM sym = ly_symbol2scm (str.ch_C ()); + SCM sym = ly_symbol2scm (str.to_str0 ()); if ((YYSTATE == notes) || (YYSTATE == chords)) { - SCM pitch = scm_hashq_ref (pitchname_tab_, sym, SCM_BOOL_F); - if (pitch != SCM_BOOL_F) { - yylval.pitch = new Musical_pitch (pitch); - yylval.pitch->set_spot (Input (source_file_l (), - here_ch_C ())); + 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_ref (chordmodifier_tab_, sym, SCM_BOOL_F))!= SCM_BOOL_F) + } else if ((pitch = scm_hashq_get_handle (chordmodifier_tab_, sym))!= SCM_BOOL_F) { - yylval.pitch = new Musical_pitch (pitch); - yylval.pitch->set_spot (Input (source_file_l (), - here_ch_C ())); - return CHORDMODIFIER_PITCH; + yylval.scm = ly_cdr (pitch); + return CHORD_MODIFIER; } } - yylval.scm = ly_str02scm (str.ch_C()); + yylval.scm = scm_makfrom0str (str.to_str0 ()); return STRING; } @@ -541,46 +694,128 @@ My_lily_lexer::lyric_state_b () const return YY_START == lyrics; } +bool +My_lily_lexer::figure_state_b () const +{ + return YY_START == figures; +} + /* - urg, belong to String(_convert) + urg, belong to String (_convert) and should be generalised */ void strip_leading_white (String&s) { int i=0; - for (; i < s.length_i (); i++) + for (; i < s.length (); i++) if (!isspace (s[i])) break; - s = s.nomid_str (0, i); + s = s.nomid_string (0, i); } void strip_trailing_white (String&s) { - int i=s.length_i (); + int i=s.length (); while (i--) if (!isspace (s[i])) break; - s = s.left_str (i+1); + s = s.left_string (i+1); } +/* 1.3.146 == removal of ; */ +Lilypond_version oldest_version ("1.3.146"); + bool valid_version_b (String s) { - Mudela_version current ( MAJOR_VERSION "." MINOR_VERSION "." PATCH_LEVEL ); - Mudela_version ver (s); - if (!((ver >= oldest_version) && (ver <= current))) + Lilypond_version current ( MAJOR_VERSION "." MINOR_VERSION "." PATCH_LEVEL ); + Lilypond_version ver (s); + if (! ((ver >= oldest_version) && (ver <= current))) { - error (_f ("incorrect mudela version: %s (%s, %s)", ver.str (), oldest_version.str (), current.str ())); - if (!version_ignore_global_b) - return false; + 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; } return true; } + +/* + substittute _ adn \, +*/ +String +lyric_fudge (String s) +{ + char * chars =s.get_copy_str0 (); + + for (char * p = chars; *p ; p++) + { + if (*p == '_' && (p == chars || *(p-1) != '\\')) + *p = ' '; + } + + s = String (chars); + delete[] chars; + + int i =0; + if ((i=s.index ("\\,")) != -1) // change "\," to TeX's "\c " + { + * (s.get_str0 () + i + 1) = 'c'; + s = s.left_string (i+2) + " " + s.right_string (s.length ()-i-2); + } + + return s; +} + +/* +Convert "NUM/DEN" into a '(NUM . DEN) cons. +*/ +SCM +scan_fraction (String frac) +{ + int i = frac.index ('/'); + int l = frac.length (); + String left = frac.left_string (i); + String right = frac.right_string (l - i - 1); + + int n = String_convert::dec2int (left); + int d = String_convert::dec2int (right); + return gh_cons (gh_int2scm (n), gh_int2scm (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) +{ + static SCM proc ; + if (!proc) + proc = scm_c_eval_string ("lookup-markup-command"); + + return scm_call_1 (proc, scm_makfrom0str (s.to_str0 ())); +}