]> git.donarmstrong.com Git - lilypond.git/blobdiff - lily/context-def.cc
Run `make grand-replace'.
[lilypond.git] / lily / context-def.cc
index b0eb1c344f0ae8576979a390f473733dbbcb59ae..37690fd61a096d7c8a21f7fe777924b36393d431 100644 (file)
@@ -1,9 +1,9 @@
 /*
-  translator-def.cc -- implement Context_def
+  context-def.cc -- implement Context_def
 
   source file of the GNU LilyPond music typesetter
 
-  (c) 2000--2005 Han-Wen Nienhuys <hanwen@cs.uu.nl>
+  (c) 2000--2008 Han-Wen Nienhuys <hanwen@xs4all.nl>
 */
 
 /* TODO: should junk this class an replace by
 
 #include "context-def.hh"
 
-#include "engraver.hh"
+#include "context.hh"
+#include "international.hh"
 #include "output-def.hh"
-#include "performer.hh"
-#include "score-context.hh"
-#include "translator-group.hh"
+#include "translator.hh"
 #include "warn.hh"
 
 Context_def::Context_def ()
@@ -28,14 +27,21 @@ Context_def::Context_def ()
   context_name_ = SCM_EOL;
   default_child_ = SCM_EOL;
   description_ = SCM_EOL;
+  input_location_ = SCM_EOL;
 
   smobify_self ();
 
+  input_location_ = make_input (Input ());
   context_name_ = ly_symbol2scm ("");
 }
 
+Input *
+Context_def::origin () const
+{
+  return unsmob_input (input_location_);
+}
+
 Context_def::Context_def (Context_def const &s)
-  : Input (s)
 {
   context_aliases_ = SCM_EOL;
   translator_group_type_ = SCM_EOL;
@@ -45,10 +51,11 @@ Context_def::Context_def (Context_def const &s)
   context_name_ = SCM_EOL;
   description_ = SCM_EOL;
   default_child_ = SCM_EOL;
-
+  input_location_ = SCM_EOL;
   smobify_self ();
-  description_ = s.description_;
 
+  description_ = s.description_;
+  input_location_ = make_input (*s.origin ()); 
   default_child_ = s.default_child_;
   accept_mods_ = s.accept_mods_;
   property_ops_ = s.property_ops_;
@@ -80,6 +87,8 @@ Context_def::print_smob (SCM smob, SCM port, scm_print_state*)
 SCM
 Context_def::mark_smob (SCM smob)
 {
+  ASSERT_LIVE_IS_ALLOWED ();
+  
   Context_def *me = (Context_def *) SCM_CELL_WORD_1 (smob);
 
   scm_gc_mark (me->description_);
@@ -89,6 +98,7 @@ Context_def::mark_smob (SCM smob)
   scm_gc_mark (me->property_ops_);
   scm_gc_mark (me->translator_group_type_);
   scm_gc_mark (me->default_child_);
+  scm_gc_mark (me->input_location_);
 
   return me->context_name_;
 }
@@ -111,24 +121,21 @@ Context_def::add_context_mod (SCM mod)
     sym = scm_string_to_symbol (sym);
 
   if (ly_symbol2scm ("default-child") == tag)
-    {
-      default_child_ = sym;
-    }
+    default_child_ = sym;
   else if (ly_symbol2scm ("consists") == tag
           || ly_symbol2scm ("consists-end") == tag
           || ly_symbol2scm ("remove") == tag)
     {
       if (!get_translator (sym))
        error (_f ("program has no such type: `%s'",
-                  ly_symbol2string (sym).to_str0 ()));
+                  ly_symbol2string (sym).c_str ()));
       else
        translator_mods_ = scm_cons (scm_list_2 (tag, sym), translator_mods_);
     }
   else if (ly_symbol2scm ("accepts") == tag
           || ly_symbol2scm ("denies") == tag)
     accept_mods_ = scm_cons (scm_list_2 (tag, sym), accept_mods_);
-  else if (ly_symbol2scm ("poppush") == tag
-          || ly_symbol2scm ("pop") == tag
+  else if (ly_symbol2scm ("pop") == tag
           || ly_symbol2scm ("push") == tag
           || ly_symbol2scm ("assign") == tag
           || ly_symbol2scm ("unset") == tag)
@@ -143,12 +150,6 @@ Context_def::add_context_mod (SCM mod)
     programming_error ("unknown context mod tag");
 }
 
-SCM
-Context_def::get_context_name () const
-{
-  return context_name_;
-}
-
 SCM
 Context_def::get_accepted (SCM user_mod) const
 {
@@ -192,45 +193,78 @@ Context_def::get_default_child (SCM user_mod) const
   return name;
 }
 
-Link_array<Context_def>
-Context_def::path_to_acceptable_context (SCM type_sym, Output_def *odef) const
+/*
+  Given a name of a context that we want to create, finds a list of context
+  definitions such that:
+   - the first element in the list defines a context that is a valid child of
+     the context defined by this Context_def
+   - each subsequent element in the list defines a context that is a valid child
+     of the the context defined by the preceding element in the list
+   - the last element in the list defines a context with the given name
+
+  The ADDITIONAL_ACCEPTS parameter is a list of additional contexts that this
+  specific context def (but not any of the child context defs) should accept.
+*/
+vector<Context_def *>
+Context_def::path_to_acceptable_context (SCM type_sym,
+                                        Output_def *odef,
+                                        SCM additional_accepts) const
+{
+  set<const Context_def *> seen;
+  return internal_path_to_acceptable_context (type_sym, odef, additional_accepts, &seen);
+}
+
+/*
+The SEEN parameter is a set which keeps track of visited contexts, allowing
+contexts of the same type to be nested.
+*/
+vector<Context_def*>
+Context_def::internal_path_to_acceptable_context (SCM type_sym,
+                                                 Output_def *odef,
+                                                 SCM additional_accepts,
+                                                 set<const Context_def *> *seen) const
 {
   assert (scm_is_symbol (type_sym));
 
-  SCM accepted = get_accepted (SCM_EOL);
+  SCM accepted = get_accepted (additional_accepts);
 
-  Link_array<Context_def> accepteds;
+  vector<Context_def*> accepteds;
   for (SCM s = accepted; scm_is_pair (s); s = scm_cdr (s))
     if (Context_def *t = unsmob_context_def (find_context_def (odef,
                                                               scm_car (s))))
-      accepteds.push (t);
+      accepteds.push_back (t);
 
-  Link_array<Context_def> best_result;
-  for (int i = 0; i < accepteds.size (); i++)
+  vector<Context_def*> best_result;
+  for (vsize i = 0; i < accepteds.size (); i++)
     {
       /* do not check aliases, because \context Staff should not
         create RhythmicStaff. */
       if (ly_is_equal (accepteds[i]->get_context_name (), type_sym))
        {
-         best_result.push (accepteds[i]);
+         best_result.push_back (accepteds[i]);
          return best_result;
        }
     }
 
-  int best_depth = INT_MAX;
-  for (int i = 0; i < accepteds.size (); i++)
+  seen->insert (this);
+  vsize best_depth = INT_MAX;
+  for (vsize i = 0; i < accepteds.size (); i++)
     {
       Context_def *g = accepteds[i];
 
-      Link_array<Context_def> result
-       = g->path_to_acceptable_context (type_sym, odef);
-      if (result.size () && result.size () < best_depth)
+      if (!seen->count (g))
        {
-         best_depth = result.size ();
-         result.insert (g, 0);
-         best_result = result;
+         vector<Context_def*> result
+           = g->internal_path_to_acceptable_context (type_sym, odef, SCM_EOL, seen);
+         if (result.size () && result.size () < best_depth)
+           {
+             best_depth = result.size ();
+             result.insert (result.begin (), g);
+             best_result = result;
+           }
        }
     }
+  seen->erase (this);
 
   return best_result;
 }
@@ -259,107 +293,19 @@ Context_def::get_translator_names (SCM user_mod) const
   return l1;
 }
 
-SCM
-filter_performers (SCM ell)
-{
-  SCM *tail = &ell;
-  for (SCM p = ell; scm_is_pair (p); p = scm_cdr (p))
-    {
-      if (dynamic_cast<Performer *> (unsmob_translator (scm_car (*tail))))
-       *tail = scm_cdr (*tail);
-      else
-       tail = SCM_CDRLOC (*tail);
-    }
-  return ell;
-}
-
-SCM
-filter_engravers (SCM ell)
-{
-  SCM *tail = &ell;
-  for (SCM p = ell; scm_is_pair (p); p = scm_cdr (p))
-    {
-      if (dynamic_cast<Engraver *> (unsmob_translator (scm_car (*tail))))
-       *tail = scm_cdr (*tail);
-      else
-       tail = SCM_CDRLOC (*tail);
-    }
-  return ell;
-}
-
 Context *
-Context_def::instantiate (SCM ops, Object_key const *key)
+Context_def::instantiate (SCM ops)
 {
-  Context *context = 0;
-
-  if (context_name_ == ly_symbol2scm ("Score"))
-    context = new Score_context (key);
-  else
-    context = new Context (key);
+  Context *context = new Context ();
 
   context->definition_ = self_scm ();
-
-  SCM trans_names = get_translator_names (ops);
-
-  Translator_group *g = get_translator_group (translator_group_type_);
-  SCM trans_list = SCM_EOL;
-
-  for (SCM s = trans_names; scm_is_pair (s); s = scm_cdr (s))
-    {
-      Translator *t = get_translator (scm_car (s));
-      if (!t)
-       warning (_f ("can't find: `%s'", s));
-      else
-       {
-         Translator *tr = t->clone ();
-         SCM str = tr->self_scm ();
-
-         if (tr->must_be_last ())
-           {
-             SCM cons = scm_cons (str, SCM_EOL);
-             if (scm_is_pair (trans_list))
-               scm_set_cdr_x (scm_last_pair (trans_list), cons);
-             else
-               trans_list = cons;
-           }
-         else
-           trans_list = scm_cons (str, trans_list);
-
-         tr->daddy_context_ = context;
-         tr->unprotect ();
-       }
-    }
-
-  /*
-    Ugh,  todo: should just make a private
-    copy of Context_def with the user mods.
-  */
-
-  g->simple_trans_list_ = trans_list;
-
-  context->implementation_ = g;
-  if (dynamic_cast<Engraver *> (g))
-    g->simple_trans_list_ = filter_performers (g->simple_trans_list_);
-  else if (dynamic_cast<Performer *> (g))
-    g->simple_trans_list_ = filter_engravers (g->simple_trans_list_);
-
-  g->context_ = context;
+  context->definition_mods_ = ops;
   context->aliases_ = context_aliases_;
-
-  g->unprotect ();
-
   context->accepts_list_ = get_accepted (ops);
 
   return context;
 }
 
-SCM
-Context_def::clone_scm () const
-{
-  Context_def *t = new Context_def (*this);
-  return t->unprotect ();
-}
-
 SCM
 Context_def::make_scm ()
 {