]> git.donarmstrong.com Git - lilypond.git/blobdiff - lily/lily-lexer.cc
Run `make grand-replace'.
[lilypond.git] / lily / lily-lexer.cc
index 82fa29b21775a513bb7241669706338f0a8734c3..8b61e6c3cbd8493cc390215a099dc89fb9f360a4 100644 (file)
@@ -3,63 +3,63 @@
 
   source file of the GNU LilyPond music typesetter
 
-  (c) 1997--2004 Han-Wen Nienhuys <hanwen@cs.uu.nl>
+  (c) 1997--2008 Han-Wen Nienhuys <hanwen@xs4all.nl>
 */
 
-#include <ctype.h>
+#include "lily-lexer.hh"
+
+#include <cctype>
 #include <sstream>
+using namespace std;
 
-#include "lily-proto.hh"
-#include "scm-hash.hh"
+#include "international.hh"
 #include "interval.hh"
-#include "lily-guile.hh"
-#include "parser.hh"
 #include "keyword.hh"
-#include "lily-lexer.hh"
-#include "warn.hh"
-#include "source-file.hh"
 #include "main.hh"
-#include "input.hh"
 #include "moment.hh"
-#include "ly-module.hh"
-
+#include "parser.hh"
+#include "scm-hash.hh"
+#include "source-file.hh"
+#include "warn.hh"
+#include "program-option.hh"
+#include "lily-parser.hh"
 
-static Keyword_ent the_key_tab[] = {
+static Keyword_ent the_key_tab[]
+= {
   {"accepts", ACCEPTS},
-  {"addquote", ADDQUOTE},
   {"addlyrics", ADDLYRICS},
   {"alias", ALIAS},
   {"alternative", ALTERNATIVE},
-  {"bar", BAR},
   {"book", BOOK},
+  {"bookpart", BOOKPART},
   {"change", CHANGE},
-  {"chords", CHORDS},
   {"chordmode", CHORDMODE},
-  {"clef", CLEF},
+  {"chords", CHORDS},
   {"consists", CONSISTS},
   {"context", CONTEXT},
   {"default", DEFAULT},
+  {"defaultchild", DEFAULTCHILD},
   {"denies", DENIES},
+  {"description", DESCRIPTION},
   {"drummode", DRUMMODE},
   {"drums", DRUMS},
-  {"description", DESCRIPTION},
-  {"figures",FIGURES},
-  {"figuremode",FIGUREMODE},
+  {"figuremode", FIGUREMODE},
+  {"figures", FIGURES},
   {"grobdescriptions", GROBDESCRIPTIONS},
   {"header", HEADER},
   {"key", KEY},
   {"layout", LAYOUT},
   {"lyricmode", LYRICMODE},
-  {"lyricsto", LYRICSTO},
   {"lyrics", LYRICS},
+  {"lyricsto", LYRICSTO},
   {"mark", MARK},
   {"markup", MARKUP},
+  {"markuplines", MARKUPLINES},
   {"midi", MIDI},
   {"name", NAME},
   {"new", NEWCONTEXT},
-  {"objectid", OBJECTID},
   {"notemode", NOTEMODE},
-  {"octave", OCTAVE},
+  {"objectid", OBJECTID},
   {"once", ONCE},
   {"override", OVERRIDE},
   {"paper", PAPER},
@@ -74,64 +74,62 @@ static Keyword_ent the_key_tab[] = {
   {"set", SET},
   {"simultaneous", SIMULTANEOUS},
   {"skip", SKIP},
-  {"tag", TAG},
   {"tempo", TEMPO},
   {"time", TIME_T},
   {"times", TIMES},
   {"transpose", TRANSPOSE},
-  {"transposition", TRANSPOSITION},
   {"type", TYPE},
   {"unset", UNSET},
   {"with", WITH},
   {0, 0}
 };
 
-
-Lily_lexer::Lily_lexer (Sources *sources)
+Lily_lexer::Lily_lexer (Sources *sources, Lily_parser *parser)
 {
+  parser_ = parser;
   keytable_ = new Keyword_table (the_key_tab);
-  encoding_ = SCM_EOL;
   chordmodifier_tab_ = SCM_EOL;
-  pitchname_tab_stack_ = SCM_EOL; 
+  pitchname_tab_stack_ = SCM_EOL;
   sources_ = sources;
   scopes_ = SCM_EOL;
-  error_level_ = 0; 
-  main_input_b_ = false;
-
+  error_level_ = 0;
+  is_main_input_ = false;
+  start_module_ = SCM_EOL;
   smobify_self ();
-  
+
   add_scope (ly_make_anonymous_module (false));
   push_note_state (scm_c_make_hash_table (0));
-  chordmodifier_tab_ = scm_make_vector (scm_int2num (1), SCM_EOL);
+  chordmodifier_tab_ = scm_make_vector (scm_from_int (1), SCM_EOL);
 }
 
-Lily_lexer::Lily_lexer (Lily_lexer const &src)
+Lily_lexer::Lily_lexer (Lily_lexer const &src, Lily_parser *parser)
   : Includable_lexer ()
 {
+  parser_ = parser; 
   keytable_ = (src.keytable_) ? new Keyword_table (*src.keytable_) : 0;
-  encoding_ = src.encoding_;
   chordmodifier_tab_ = src.chordmodifier_tab_;
   pitchname_tab_stack_ = src.pitchname_tab_stack_;
   sources_ = src.sources_;
-  
-  error_level_ = src.error_level_; 
-  main_input_b_ = src.main_input_b_;
+  start_module_ = SCM_EOL;
+
+  error_level_ = src.error_level_;
+  is_main_input_ = src.is_main_input_;
 
   scopes_ = SCM_EOL;
-  
+
   smobify_self ();
-  
+
   SCM scopes = SCM_EOL;
   SCM *tail = &scopes;
   for (SCM s = src.scopes_; scm_is_pair (s); s = scm_cdr (s))
     {
       SCM newmod = ly_make_anonymous_module (false);
-      ly_import_module (newmod, scm_car (s));
+      ly_module_copy (newmod, scm_car (s));
       *tail = scm_cons (newmod, SCM_EOL);
       tail = SCM_CDRLOC (*tail);
     }
-  
-  scopes_ =  scopes;
+
+  scopes_ = scopes;
   push_note_state (scm_c_make_hash_table (0));
 }
 
@@ -140,23 +138,23 @@ Lily_lexer::~Lily_lexer ()
   delete keytable_;
 }
 
-SCM
-Lily_lexer::encoding () const
-{
-  return encoding_ ;
-}
-
-
 void
 Lily_lexer::add_scope (SCM module)
 {
   ly_reexport_module (scm_current_module ());
-  scm_set_current_module (module);
+  if (!scm_is_pair (scopes_))
+    start_module_ = scm_current_module ();
+
   for (SCM s = scopes_; scm_is_pair (s); s = scm_cdr (s))
-    {
-      ly_use_module (module, scm_car (s));
-    }
+    ly_use_module (module, scm_car (s));
   scopes_ = scm_cons (module, scopes_);
+
+  set_current_scope ();
+}
+bool
+Lily_lexer::has_scope () const
+{
+  return scm_is_pair (scopes_);
 }
 
 SCM
@@ -164,16 +162,47 @@ Lily_lexer::remove_scope ()
 {
   SCM sc = scm_car (scopes_);
   scopes_ = scm_cdr (scopes_);
-  scm_set_current_module (scm_car (scopes_));
-
+  set_current_scope ();
   return sc;
 }
 
+SCM
+Lily_lexer::set_current_scope ()
+{
+  SCM old = scm_current_module ();
+
+  if (scm_is_pair (scopes_))
+    scm_set_current_module (scm_car (scopes_));
+  else
+    scm_set_current_module (start_module_);
+
+  return old;
+}
 
 int
-Lily_lexer::lookup_keyword (String s)
+Lily_lexer::lookup_keyword (string s)
+{
+  return keytable_->lookup (s.c_str ());
+}
+
+SCM
+Lily_lexer::keyword_list () const
 {
-  return keytable_->lookup (s.to_str0 ());
+  if (!keytable_)
+    return SCM_EOL;
+  
+  SCM l = SCM_EOL;
+  SCM *tail = &l;
+  for (vsize i = 0; i < keytable_->table_.size (); i++)
+    {
+      *tail = scm_acons (scm_from_locale_string (keytable_->table_[i].name_),
+                        scm_from_int (keytable_->table_[i].tokcode_),
+                        SCM_EOL);
+
+      tail = SCM_CDRLOC (*tail);
+    }
+
+  return l;
 }
 
 SCM
@@ -190,23 +219,41 @@ Lily_lexer::lookup_identifier_symbol (SCM sym)
 }
 
 SCM
-Lily_lexer::lookup_identifier (String name)
+Lily_lexer::lookup_identifier (string name)
 {
-  return lookup_identifier_symbol (ly_symbol2scm (name.to_str0 ()));
+  return lookup_identifier_symbol (ly_symbol2scm (name.c_str ()));
 }
 
 void
 Lily_lexer::start_main_input ()
 {
-  // yy_flex_debug = 1;
-  new_input (main_input_name_, sources_);
+  yy_flex_debug = get_program_option ("debug-lexer");
+  parser_->set_yydebug (get_program_option ("debug-parser"));
+
   
-  /* Do not allow \include in --safe-mode */
-  allow_includes_b_ = allow_includes_b_ && !safe_global_b;
+  new_input (main_input_name_, sources_);
 
   scm_module_define (scm_car (scopes_),
                     ly_symbol2scm ("input-file-name"),
-                    scm_makfrom0str (main_input_name_.to_str0 ()));
+                    ly_string2scm (main_input_name_));
+}
+
+void
+Lily_lexer::new_input (string str, string d, Sources *ss)
+{
+  Includable_lexer::new_input (str, d, ss);
+}
+
+void
+Lily_lexer::new_input (string str, Sources *ss)
+{
+  if (is_main_input_ && be_safe_global)
+    {
+      LexerError (_ ("include files are not allowed in safe mode").c_str ());
+      return;
+    }
+
+  Includable_lexer::new_input (str, ss);
 }
 
 void
@@ -214,14 +261,14 @@ Lily_lexer::set_identifier (SCM name, SCM s)
 {
   SCM sym = name;
   if (scm_is_string (name))
-    sym =  scm_string_to_symbol (name);
-  
+    sym = scm_string_to_symbol (name);
+
   if (scm_is_symbol (sym))
     {
       if (lookup_keyword (ly_symbol2string (sym)) >= 0)
        {
-         String symstr = ly_symbol2string (sym); 
-         warning (_f ("Identifier name is a keyword: `%s'", symstr.to_str0()));
+         string symstr = ly_symbol2string (sym);
+         warning (_f ("identifier name is a keyword: `%s'", symstr.c_str ()));
        }
 
       SCM mod = scm_car (scopes_);
@@ -229,20 +276,18 @@ Lily_lexer::set_identifier (SCM name, SCM s)
       scm_module_define (mod, sym, s);
     }
   else
-    {
-      programming_error ("Identifier is not a symbol.");
-    }
+    programming_error ("identifier is not a symbol");
 }
 
 void
 Lily_lexer::LexerError (char const *s)
 {
-  if (include_stack_.is_empty ())
-    progress_indication (_f ("error at EOF: %s", s) + String ("\n"));
+  if (include_stack_.empty ())
+    message (_f ("error at EOF: %s", s) + "\n");
   else
     {
       error_level_ |= 1;
-      Input spot (get_source_file (), here_str0 ());
+      Input spot (*lexloc);
       spot.error (s);
     }
 }
@@ -267,8 +312,7 @@ Lily_lexer::escaped_char (char c) const
 Input
 Lily_lexer::here_input () const
 {
-  Source_file * f= get_source_file ();
-  return Input (f, (char*)here_str0 ());
+  return Input (*lexloc);
 }
 
 void
@@ -277,13 +321,17 @@ Lily_lexer::prepare_for_next_token ()
   last_input_ = here_input ();
 }
 
+/**
+   Since we don't create the buffer state from the bytes directly, we
+   don't know about the location of the lexer. Add this as a
+   YY_USER_ACTION */
 void
-Lily_lexer::set_encoding (String s)
+Lily_lexer::add_lexed_char (int count)
 {
-  if (s.length ())
-    encoding_ = ly_symbol2scm (s.to_str0 ());
-  else
-    encoding_ = SCM_EOL;
+  char const *start = here_str0 ();
+  lexloc->set (get_source_file (),
+              start, start + count);
+  char_count_stack_.back () += count;
 }
 
 #include "ly-smobs.icc"
@@ -295,18 +343,25 @@ IMPLEMENT_DEFAULT_EQUAL_P (Lily_lexer);
 SCM
 Lily_lexer::mark_smob (SCM s)
 {
-  Lily_lexer *lexer = (Lily_lexer*) SCM_CELL_WORD_1 (s);
+  ASSERT_LIVE_IS_ALLOWED ();
+  
+  Lily_lexer *lexer = (Lily_lexer *) SCM_CELL_WORD_1 (s);
 
   scm_gc_mark (lexer->chordmodifier_tab_);
+  if (lexer->parser_)
+    scm_gc_mark (lexer->parser_->self_scm ());
   scm_gc_mark (lexer->pitchname_tab_stack_);
-  scm_gc_mark (lexer->scopes_);
-  return lexer->encoding_;
+  scm_gc_mark (lexer->start_module_);
+  return lexer->scopes_;
 }
 
 int
-Lily_lexer::print_smob (SCM, SCM port, scm_print_state*)
+Lily_lexer::print_smob (SCM s, SCM port, scm_print_state*)
 {
+  Lily_lexer *lexer = Lily_lexer::unsmob (s);
+
   scm_puts ("#<Lily_lexer ", port);
+  scm_display (lexer->scopes_, port);
   scm_puts (" >", port);
   return 1;
 }