lily/prob.cc

   1 /*
   2   This file is part of LilyPond, the GNU music typesetter.
   3
   4   Copyright (C) 2004--2010 Jan Nieuwenhuizen <janneke@gnu.org>
   5
   6   LilyPond is free software: you can redistribute it and/or modify
   7   it under the terms of the GNU General Public License as published by
   8   the Free Software Foundation, either version 3 of the License, or
   9   (at your option) any later version.
  10
  11   LilyPond is distributed in the hope that it will be useful,
  12   but WITHOUT ANY WARRANTY; without even the implied warranty of
  13   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14   GNU General Public License for more details.
  15
  16   You should have received a copy of the GNU General Public License
  17   along with LilyPond.  If not, see <http://www.gnu.org/licenses/>.
  18 */
  19
  20 #include "prob.hh"
  21 #include "main.hh"
  22 #include "item.hh"
  23 #include "input.hh"
  24 #include "profile.hh"
  25
  26 #include "ly-smobs.icc"
  27
  28 IMPLEMENT_SMOBS (Prob);
  29 IMPLEMENT_TYPE_P (Prob, "ly:prob?");
  30
  31 SCM
  32 Prob::equal_p (SCM sa, SCM sb)
  33 {
  34   /* This comparison function is only designed to make the copy
  35      constructor preserve equality.
  36
  37      Perhaps it would be better to use a more strict definition of
  38      equality; e.g., that that two probs are equal iff they can be
  39      distinguished by calls to ly:prob-property.
  40   */
  41   Prob *probs[2] = {unsmob_prob (sa), unsmob_prob (sb)};
  42   SCM props[2][2];
  43   int i;
  44
  45   for (i = 0; i < 2; i++)
  46     {
  47       props[i][0] = probs[i]->immutable_property_alist_;
  48       props[i][1] = probs[i]->mutable_property_alist_;
  49     }
  50
  51   if (strcmp (probs[0]->class_name (), probs[1]->class_name ()))
  52     return SCM_BOOL_F;
  53
  54   /* Compare mutable and immutable lists, element by element. */
  55   for (i = 0; i < 2; i++)
  56     {
  57       SCM aprop = props[0][i];
  58       SCM bprop = props[1][i];
  59
  60       for (;
  61            scm_is_pair (aprop) && scm_is_pair (bprop);
  62            aprop = scm_cdr (aprop), bprop = scm_cdr (bprop))
  63         {
  64           SCM aval = scm_cdar (aprop);
  65           SCM bval = scm_cdar (bprop);
  66           if (scm_caar (aprop) != scm_caar (bprop) ||
  67               (
  68                !(unsmob_input (aval) && unsmob_input (bval))
  69                &&
  70                !to_boolean (scm_equal_p (aval, bval))))
  71             return SCM_BOOL_F;
  72         }
  73
  74       /* is one list shorter? */
  75       if (aprop != SCM_EOL || bprop != SCM_EOL)
  76         return SCM_BOOL_F;
  77     }
  78
  79   return SCM_BOOL_T;
  80 }
  81
  82 Prob::Prob (SCM type, SCM immutable_init)
  83 {
  84   self_scm_ = SCM_EOL;
  85   mutable_property_alist_ = SCM_EOL;
  86   immutable_property_alist_ = immutable_init;
  87   type_ = type;
  88   smobify_self ();
  89 }
  90
  91
  92 Prob::~Prob ()
  93 {
  94 }
  95
  96 Prob::Prob (Prob const &src)
  97 {
  98   immutable_property_alist_ = src.immutable_property_alist_;
  99   mutable_property_alist_ = SCM_EOL;
 100   self_scm_ = SCM_EOL;
 101   type_ = src.type_;
 102
 103   /* First we smobify_self, then we copy over the stuff.  If we don't,
 104      stack vars that hold the copy might be optimized away, meaning
 105      that they won't be protected from GC. */
 106   smobify_self ();
 107   mutable_property_alist_ = src.copy_mutable_properties ();
 108 }
 109
 110
 111 SCM
 112 Prob::copy_mutable_properties () const
 113 {
 114   return ly_deep_copy (mutable_property_alist_);
 115 }
 116
 117 void
 118 Prob::derived_mark () const
 119 {
 120 }
 121
 122 SCM
 123 Prob::mark_smob (SCM smob)
 124 {
 125   ASSERT_LIVE_IS_ALLOWED ();
 126
 127   Prob *system = (Prob *) SCM_CELL_WORD_1 (smob);
 128   scm_gc_mark (system->mutable_property_alist_);
 129   system->derived_mark ();
 130
 131   return system->immutable_property_alist_;
 132 }
 133
 134 int
 135 Prob::print_smob (SCM smob, SCM port, scm_print_state*)
 136 {
 137   Prob *p = (Prob *) SCM_CELL_WORD_1 (smob);
 138   scm_puts ("#<", port);
 139   scm_puts ("Prob: ", port);
 140   scm_display (p->type_, port);
 141   scm_puts (" C++: ", port);
 142   scm_puts (p->class_name (), port);
 143   scm_display (p->mutable_property_alist_, port);
 144   scm_display (p->immutable_property_alist_, port);
 145
 146   scm_puts (" >\n", port);
 147   return 1;
 148 }
 149
 150
 151
 152 SCM
 153 Prob::internal_get_property (SCM sym) const
 154 {
 155 #ifndef NDEBUG
 156   if (profile_property_accesses)
 157     note_property_access (&prob_property_lookup_table, sym);
 158 #endif
 159
 160   /*
 161     TODO: type checking
 162    */
 163   SCM s = scm_sloppy_assq (sym, mutable_property_alist_);
 164   if (s != SCM_BOOL_F)
 165     return scm_cdr (s);
 166
 167   s = scm_sloppy_assq (sym, immutable_property_alist_);
 168   return (s == SCM_BOOL_F) ? SCM_EOL : scm_cdr (s);
 169 }
 170
 171 /* We don't (yet) instrument probs */
 172 void
 173 Prob::instrumented_set_property (SCM sym, SCM val, const char*, int, const char*)
 174 {
 175   internal_set_property (sym, val);
 176 }
 177
 178 void
 179 Prob::internal_set_property (SCM sym, SCM val)
 180 {
 181   if (do_internal_type_checking_global)
 182     type_check_assignment (sym, val);
 183
 184   mutable_property_alist_ = scm_assq_set_x (mutable_property_alist_, sym, val);
 185 }
 186
 187 void
 188 Prob::type_check_assignment (SCM, SCM) const
 189 {
 190   /* empty */
 191 }
 192
 193 SCM
 194 Prob::get_property_alist (bool m) const
 195 {
 196   return (m) ? mutable_property_alist_ : immutable_property_alist_;
 197 }
 198
 199 string
 200 Prob::name () const
 201 {
 202   SCM nm = get_property ("name");
 203   if (scm_is_symbol (nm))
 204     return ly_symbol2string (nm);
 205   else
 206     return this->class_name ();
 207 }
 208