]> git.donarmstrong.com Git - lilypond.git/blobdiff - lily/lexer.ll
release: 1.4.12
[lilypond.git] / lily / lexer.ll
index 514096c078a268a614a26f11cef24645145661da..ea40d1d8caa5c2cfbc84ceba46b0c75a8c37ebe8 100644 (file)
@@ -4,7 +4,8 @@
 
   source file of the LilyPond music typesetter
 
-  (c) 1996,1997 Han-Wen Nienhuys <hanwen@cs.uu.nl>
+  (c) 1996--2000 Han-Wen Nienhuys <hanwen@cs.uu.nl>
+           Jan Nieuwenhuizen <janneke@gnu.org>
 */
 
 
       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 <stdio.h>
 #include <ctype.h>
+#include <iostream.h> /* gcc 3.0 */
+#include <errno.h>
 
+
+#include "score.hh"
+#include "lily-guile.hh"
 #include "string.hh"
 #include "string-convert.hh"
 #include "my-lily-lexer.hh"
 #include "array.hh"
 #include "interval.hh"
+#include "lily-guile.hh"
 #include "parser.hh"
 #include "debug.hh"
-#include "parseconstruct.hh"
 #include "main.hh"
 #include "musical-request.hh"
-#include "identifier.hh"
+#include "version.hh"
+#include "lilypond-input-version.hh"
+#include "translator-def.hh"
+#include "music-output-def.hh"
+
+/*
+RH 7 fix (?)
+*/
+#define isatty HORRIBLEKLUDGE
+
 void strip_trailing_white (String&);
 void strip_leading_white (String&);
+String lyric_fudge (String s);
+
+
+bool
+valid_version_b (String s);
+
+
 
 #define start_quote()  \
        yy_push_state (quote);\
        yylval.string = new String
 
-#define yylval (*(YYSTYPE*)lexval_l)
+#define yylval \
+       (*(YYSTYPE*)lexval_l)
 
 #define YY_USER_ACTION add_lexed_char (YYLeng ());
 /*
@@ -51,6 +74,9 @@ LYRICS                ({AA}|{TEX})[^0-9 \t\n\f]*
 
 */
 
+
+SCM scan_fraction (String);
+
 %}
 
 %option c++
@@ -62,6 +88,7 @@ LYRICS                ({AA}|{TEX})[^0-9 \t\n\f]*
 %option never-interactive 
 %option warn
 
+%x version
 %x chords
 %x incl
 %x lyrics
@@ -74,14 +101,15 @@ 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}+
+FRACTION       {N}+\/{N}+
 INT            -?{UNSIGNED}
 REAL           ({INT}\.{N}*)|(-?\.{N}+)
 KEYWORD                \\{WORD}
@@ -92,10 +120,8 @@ RESTNAME    [rs]
 NOTECOMMAND    \\{A}+
 LYRICS         ({AA}|{TEX})[^0-9 \t\n\f]*
 ESCAPED                [nt\\'"]
-PLET           \\\[
-TELP           \\\]
-EXTENDER       [_][_]
-
+EXTENDER       __
+HYPHEN         --
 %%
 
 
@@ -120,6 +146,21 @@ EXTENDER   [_][_]
   }
 }
 
+<INITIAL,chords,lyrics,notes>\\version{WHITE}* {
+       yy_push_state (version);
+}
+<version>\"[^"]*\"     { /* got the version number */
+       String s (YYText ()+1);
+       s = s.left_str (s.index_last_i ('"'));
+
+       yy_pop_state ();
+       if (!valid_version_b (s))
+               return INVALID;
+}
+<version>.     {
+       LexerError ("No quoted string found after \\version");
+       yy_pop_state ();
+}
 <longcomment>{
        [^\%]*          {
        }
@@ -138,7 +179,13 @@ EXTENDER   [_][_]
 
 
 <INITIAL,chords,lyrics,notes>\\maininput           {
-       start_main_input ();
+       if (!main_input_b_)
+       {
+               start_main_input ();
+               main_input_b_ = true;
+       }
+       else
+               error (_ ("\\maininput disallowed outside init files"));
 }
 
 <INITIAL,chords,lyrics,notes>\\include           {
@@ -147,7 +194,7 @@ EXTENDER    [_][_]
 <incl>\"[^"]*\";?   { /* got the include file name */
        String s (YYText ()+1);
        s = s.left_str (s.index_last_i ('"'));
-       DOUT << "#include `" << s << "\'\n";
+
        new_input (s,source_global_l);
        yy_pop_state ();
 }
@@ -156,34 +203,31 @@ EXTENDER  [_][_]
        strip_trailing_white (s);
        if (s.length_i () && (s[s.length_i () - 1] == ';'))
          s = s.left_str (s.length_i () - 1);
-       DOUT << "#include `\\" << s << "'\n";
-       Identifier * id = lookup_identifier (s);
-       if (id) 
-         {
-           String* s_l = id->access_content_String (false);
-           DOUT << "#include `" << *s_l << "\'\n";
-           new_input (*s_l, source_global_l);
-
-           yy_pop_state ();
-         }
-       else
-         {
-           String msg (_f ("undefined identifier: `%s\'", s ));        
+
+       SCM sid = lookup_identifier (s);
+       if (gh_string_p (sid)) {
+               new_input (ly_scm2string (sid), source_global_l);
+               yy_pop_state ();
+       } else { 
+           String msg (_f ("wrong or undefined identifier: `%s'", s ));
+
            LexerError (msg.ch_C ());
+           SCM err = scm_current_error_port ();
+           scm_puts ("This value was found in the table: ", err);
+           scm_display (sid, err);
          }
 }
 <incl>\"[^"]*   { // backup rule
-       cerr << _ ("missing end quote") << endl;
+       cerr << _ ("Missing end quote") << endl;
        exit (1);
 }
-<notes>{RESTNAME}      {
+<chords,notes>{RESTNAME}       {
        const char *s = YYText ();
-       yylval.string = new String (s); 
-       DOUT << "rest:"<< yylval.string;
+       yylval.scm = ly_str02scm (s);
        return RESTNAME;
 }
-<notes>R               {
-       return MEASURES;
+<chords,notes>R                {
+       return MULTI_MEASURE_REST;
 }
 <INITIAL,chords,lyrics,notes>\\\${BLACK}*{WHITE}       {
        String s=YYText () + 2;
@@ -203,6 +247,26 @@ EXTENDER   [_][_]
        cerr << _ ("white expected") << endl;
        exit (1);
 }
+
+<INITIAL,chords,lyrics,notes># { //embedded scm
+       //char const* s = YYText () + 1;
+       char const* s = here_ch_C ();
+       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);
+       
+       for (int i=0; i < n; i++)
+       {
+               yyinput ();
+       }
+       char_count_stack_.top () += n;
+
+       return SCM_T;
+}
 <notes>{
        {ALPHAWORD}     {
                return scan_bare_word (YYText ());
@@ -211,12 +275,15 @@ EXTENDER  [_][_]
        {NOTECOMMAND}   {
                return scan_escaped_word (YYText () + 1); 
        }
+       {FRACTION}      {
+               yylval.scm =  scan_fraction (YYText ());
+               return FRACTION;
+       }
 
        {DIGIT}         {
                yylval.i = String_convert::dec2_i (String (YYText ()));
                return DIGIT;
        }
-
        {UNSIGNED}              {
                yylval.i = String_convert::dec2_i (String (YYText ()));
                return UNSIGNED;
@@ -232,14 +299,19 @@ EXTENDER  [_][_]
 }
 <quote>{
        \\{ESCAPED}     {
-               *yylval.string += to_str (escaped_char(YYText()[1]));
+               *yylval.string += to_str (escaped_char (YYText ()[1]));
        }
        [^\\"]+ {
                *yylval.string += YYText ();
        }
        \"      {
-               DOUT << "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 ());
+               delete sp;
                return STRING;
        }
        .       {
@@ -251,6 +323,10 @@ EXTENDER   [_][_]
        \" {
                start_quote ();
        }
+       {FRACTION}      {
+               yylval.scm =  scan_fraction (YYText ());
+               return FRACTION;
+       }
        {UNSIGNED}              {
                yylval.i = String_convert::dec2_i (String (YYText ()));
                return UNSIGNED;
@@ -263,37 +339,60 @@ EXTENDER  [_][_]
                String s (YYText ()); 
                if (s == "__")
                        return yylval.i = EXTENDER;
-               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);
-                       }
-               yylval.string = new String (s);
-               DOUT << "lyric : `" << s << "'\n";
+               if (s == "--")
+                       return yylval.i = HYPHEN;
+               s = lyric_fudge (s);
+
+               char c = s[s.length_i () - 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 ());
+
+
                return STRING;
        }
        . {
-               return yylval.c = YYText ()[0];
+               return YYText ()[0];
        }
 }
 <chords>{
        {ALPHAWORD}     {
                return scan_bare_word (YYText ());
        }
+       {NOTECOMMAND}   {
+               return scan_escaped_word (YYText () + 1);
+       }
+       {FRACTION}      {
+               yylval.scm =  scan_fraction (YYText ());
+               return FRACTION;
+       }
        {UNSIGNED}              {
                yylval.i = String_convert::dec2_i (String (YYText ()));
                return UNSIGNED;
        }
+       \" {
+               start_quote ();
+       }
+       -  {
+               return CHORD_MINUS;
+       }
+       :  {
+               return CHORD_COLON;
+       }
+       \/\+ {
+               return CHORD_BASS;
+       }
+       \^  {
+               return CHORD_CARET;
+       }
        . {
-               return yylval.c = YYText ()[0];
+               return YYText ()[0];
        }
 }
 
 <<EOF>> {
-       DOUT << "<<eof>>";
+
 
        if (! close_input ()) { 
          yyterminate (); // can't move this, since it actually rets a YY_NULL
@@ -311,8 +410,8 @@ EXTENDER    [_][_]
        Real r;
        int cnv=sscanf (YYText (), "%lf", &r);
        assert (cnv == 1);
-       DOUT  << "REAL" << r<<'\n';
-       yylval.real = r;
+
+       yylval.scm = gh_double2scm (r);
        return REAL;
 }
 
@@ -323,30 +422,21 @@ EXTENDER  [_][_]
 
 [{}]   {
 
-       DOUT << "parens\n";
        return YYText ()[0];
 }
 [*:=]          {
        char c = YYText ()[0];
-       DOUT << "misc char" <<c<<"\n";
-       return c;
-}
 
-<lyrics,notes>{PLET}   {
-       return yylval.i = PLET;
-}
-
-<lyrics,notes>{TELP}   {
-       return yylval.i = TELP;
+       return c;
 }
 
 <INITIAL,notes>.       {
-       return yylval.c = YYText ()[0];
+       return YYText ()[0];
 }
 
 <INITIAL,lyrics,notes>\\. {
     char c= YYText ()[1];
-    yylval.c = c;
+
     switch (c) {
     case '>':
        return E_BIGGER;
@@ -354,13 +444,19 @@ EXTENDER  [_][_]
        return E_SMALLER;
     case '!':
        return E_EXCLAMATION;
+    case '\\':
+       return E_BACKSLASH;
+    case '(':
+       return E_OPEN;
+    case ')':
+       return E_CLOSE;
     default:
        return E_CHAR;
     }
 }
 
 <*>.           {
-       String msg = _f ("illegal character: `%c\'", YYText ()[0]);
+       String msg = _f ("invalid character: `%c'", YYText ()[0]);
        LexerError (msg.ch_C ());
        return YYText ()[0];
 }
@@ -393,53 +489,79 @@ My_lily_lexer::pop_state ()
 
 int
 My_lily_lexer::scan_escaped_word (String str)
-{      
-       DOUT << "\\word: `" << str<<"'\n";
+{
+       // use more SCM for this.
+
+       SCM sym = ly_symbol2scm (str.ch_C ());
+
        int l = lookup_keyword (str);
        if (l != -1) {
-               DOUT << "(keyword)\n";
                return l;
        }
-       Identifier * id = lookup_identifier (str);
-       if (id) {
-               DOUT << "(identifier)\n";
-               yylval.id = id;
-               return id->token_code_i_;
+       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;
+               
+               return dynamic_cast<Request*> (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;
+       }
+
+       if (sid != SCM_UNDEFINED) {
+               yylval.scm = sid;
+               return SCM_IDENTIFIER;
        }
+
        if ((YYSTATE != notes) && (YYSTATE != chords)) {
-               if (notename_b (str))
-                       {
-                       yylval.pitch = new Musical_pitch (lookup_pitch (str));
-                       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 = gh_cdr (pitch);
                        return NOTENAME_PITCH;
-                       }
+               }
        }
-       if (check_debug)
-               print_declarations (true);
-       String msg (_f ("unknown escaped string: `\\%s\'", str));       
+       String msg (_f ("unknown escaped string: `\\%s'", str));        
        LexerError (msg.ch_C ());
-       DOUT << "(string)";
-       String *sp = new String (str);
-       yylval.string=sp;
+
+       yylval.scm = ly_str02scm (str.ch_C ());
+
        return STRING;
 }
 
 int
 My_lily_lexer::scan_bare_word (String str)
 {
-       DOUT << "word: `" << str<< "'\n";       
+       SCM sym = ly_symbol2scm (str.ch_C ());
        if ((YYSTATE == notes) || (YYSTATE == chords)) {
-               if (notename_b (str)) {
-                   DOUT << "(notename)\n";
-                   yylval.pitch = new Musical_pitch (lookup_pitch (str));
-                   yylval.pitch->set_spot (Input (source_file_l (), 
-                     here_ch_C ()));
-                   return NOTENAME_PITCH;
+               SCM pitch = scm_hashq_get_handle (pitchname_tab_, sym);
+               if (gh_pair_p (pitch)) {
+                   yylval.scm = gh_cdr (pitch);
+                    return (YYSTATE == notes) ? NOTENAME_PITCH : TONICNAME_PITCH;
+               } else if ((pitch = scm_hashq_get_handle (chordmodifier_tab_, sym))!= SCM_BOOL_F)
+               {
+                   yylval.scm = gh_cdr (pitch);
+                   return CHORDMODIFIER_PITCH;
                }
        }
 
-       yylval.string=new String (str);
+       yylval.scm = ly_str02scm (str.ch_C ());
        return STRING;
 }
 
@@ -462,7 +584,7 @@ My_lily_lexer::lyric_state_b () const
 }
 
 /*
- urg, belong to String(_convert)
+ urg, belong to String (_convert)
  and should be generalised 
  */
 void
@@ -487,3 +609,70 @@ strip_trailing_white (String&s)
        s = s.left_str (i+1);
 }
 
+
+
+Lilypond_version oldest_version ("1.3.59");
+
+void
+print_lilypond_versions (ostream &os)
+{
+  os << _f ("Oldest supported input version: %s", oldest_version.str ()) 
+    << endl;
+}
+
+
+bool
+valid_version_b (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.str (), oldest_version.str (), current.str ()));
+               non_fatal_error (_ ("Consider converting the input with the convert-ly script")); 
+               return false;
+    }
+  return true;
+}
+       
+
+String
+lyric_fudge (String s)
+{
+  char  * chars  =s.copy_ch_p ();
+
+  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_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);
+    }
+
+  return s;
+}
+
+/*
+Convert "NUM/DEN" into a '(NUM . DEN) cons.
+*/
+SCM
+scan_fraction (String frac)
+{
+       int i = frac.index_i ('/');
+       int l = frac.length_i ();
+       String left = frac.left_str (i);
+       String right = frac.right_str (l - i - 1);
+
+       int n = String_convert::dec2_i (left);
+       int d = String_convert::dec2_i (right);
+       return gh_cons (gh_int2scm (n), gh_int2scm (d));
+}
+