X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=lily%2Fprob.cc;h=5944f93a7f8681cca6aeb9ae6bc5c6f1573e9f50;hb=a1c2a3a778efafbb8abbd44eb212a3f52f34c5f9;hp=b6df86590fe157f4746b391a3dabe349579c78af;hpb=a946f8f2f14655c4156cd3f13dcdf4867a0a0110;p=lilypond.git

diff --git a/lily/prob.cc b/lily/prob.cc
index b6df86590f..5944f93a7f 100644
--- a/lily/prob.cc
+++ b/lily/prob.cc
@@ -1,14 +1,27 @@
 /*
-  prob.cc -- implement Prob
+  This file is part of LilyPond, the GNU music typesetter.
 
-  source file of the GNU LilyPond music typesetter
+  Copyright (C) 2004--2010 Jan Nieuwenhuizen <janneke@gnu.org>
 
-  (c) 2004--2006 Jan Nieuwenhuizen <janneke@gnu.org>
+  LilyPond is free software: you can redistribute it and/or modify
+  it under the terms of the GNU General Public License as published by
+  the Free Software Foundation, either version 3 of the License, or
+  (at your option) any later version.
+
+  LilyPond is distributed in the hope that it will be useful,
+  but WITHOUT ANY WARRANTY; without even the implied warranty of
+  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+  GNU General Public License for more details.
+
+  You should have received a copy of the GNU General Public License
+  along with LilyPond.  If not, see <http://www.gnu.org/licenses/>.
 */
 
 #include "prob.hh"
 #include "main.hh"
 #include "item.hh"
+#include "input.hh"
+#include "profile.hh"
 
 #include "ly-smobs.icc"
 
@@ -22,7 +35,7 @@ Prob::equal_p (SCM sa, SCM sb)
      constructor preserve equality.
 
      Perhaps it would be better to use a more strict definition of
-     equality; e.g., that that two probs are equal iff they can be
+     equality; e.g., that two probs are equal iff they can be
      distinguished by calls to ly:prob-property.
   */
   Prob *probs[2] = {unsmob_prob (sa), unsmob_prob (sb)};
@@ -41,12 +54,20 @@ Prob::equal_p (SCM sa, SCM sb)
   /* Compare mutable and immutable lists, element by element. */
   for (i = 0; i < 2; i++)
     {
-      SCM aprop = props[0][i], bprop = props[1][i];
+      SCM aprop = props[0][i];
+      SCM bprop = props[1][i];
 
-      for (; scm_is_pair (aprop) && scm_is_pair(bprop); aprop = scm_cdr (aprop), bprop = scm_cdr (bprop))
+      for (;
+	   scm_is_pair (aprop) && scm_is_pair (bprop);
+	   aprop = scm_cdr (aprop), bprop = scm_cdr (bprop))
 	{
+	  SCM aval = scm_cdar (aprop);
+	  SCM bval = scm_cdar (bprop);
 	  if (scm_caar (aprop) != scm_caar (bprop) ||
-	      !to_boolean (scm_equal_p (scm_cdar (aprop), scm_cdar (bprop))))
+	      (
+	       !(unsmob_input (aval) && unsmob_input (bval))
+	       &&
+	       !to_boolean (scm_equal_p (aval, bval))))
 	    return SCM_BOOL_F;
 	}
 
@@ -101,12 +122,12 @@ Prob::derived_mark () const
 SCM
 Prob::mark_smob (SCM smob)
 {
-  ASSERT_LIVE_IS_ALLOWED();
-  
+  ASSERT_LIVE_IS_ALLOWED ();
+
   Prob *system = (Prob *) SCM_CELL_WORD_1 (smob);
   scm_gc_mark (system->mutable_property_alist_);
   system->derived_mark ();
-  
+
   return system->immutable_property_alist_;
 }
 
@@ -121,7 +142,7 @@ Prob::print_smob (SCM smob, SCM port, scm_print_state*)
   scm_puts (p->class_name (), port);
   scm_display (p->mutable_property_alist_, port);
   scm_display (p->immutable_property_alist_, port);
-  
+
   scm_puts (" >\n", port);
   return 1;
 }
@@ -131,6 +152,11 @@ Prob::print_smob (SCM smob, SCM port, scm_print_state*)
 SCM
 Prob::internal_get_property (SCM sym) const
 {
+#ifndef NDEBUG
+  if (profile_property_accesses)
+    note_property_access (&prob_property_lookup_table, sym);
+#endif
+
   /*
     TODO: type checking
    */
@@ -142,30 +168,26 @@ Prob::internal_get_property (SCM sym) const
   return (s == SCM_BOOL_F) ? SCM_EOL : scm_cdr (s);
 }
 
+/* We don't (yet) instrument probs */
 void
-Prob::internal_set_property (SCM sym, SCM val
-#ifndef NDEBUG
-			     , char const *file, int line, char const *fun
-#endif
-			     ) 
+Prob::instrumented_set_property (SCM sym, SCM val, const char*, int, const char*)
 {
-#ifndef NDEBUG
-  (void) file;
-  (void) line;
-  (void) fun;
-#endif
+  internal_set_property (sym, val);
+}
 
+void
+Prob::internal_set_property (SCM sym, SCM val)
+{
   if (do_internal_type_checking_global)
     type_check_assignment (sym, val);
-  
+
   mutable_property_alist_ = scm_assq_set_x (mutable_property_alist_, sym, val);
 }
 
 void
-Prob::type_check_assignment (SCM sym, SCM val) const
+Prob::type_check_assignment (SCM, SCM) const
 {
-  (void) sym;
-  (void) val;
+  /* empty */
 }
 
 SCM