X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=lily%2Fprob.cc;h=6e2a8addd71c4c85b094a8ec7404ebacd56f3329;hb=3e89af67bc6a9e3fd5d9a28db256608ac79510e0;hp=e28c24411a309a53bd0eead98b759e9c55d45c7e;hpb=f0f343b222ab1f115ab20bb427d63c8d0a8872cc;p=lilypond.git diff --git a/lily/prob.cc b/lily/prob.cc index e28c24411a..6e2a8addd7 100644 --- a/lily/prob.cc +++ b/lily/prob.cc @@ -1,19 +1,31 @@ /* - 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--2015 Jan Nieuwenhuizen - (c) 2004--2006 Jan Nieuwenhuizen + 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 . */ #include "prob.hh" #include "main.hh" #include "item.hh" +#include "input.hh" +#include "profile.hh" -#include "ly-smobs.icc" +using std::string; -IMPLEMENT_SMOBS (Prob); -IMPLEMENT_TYPE_P (Prob, "ly:prob?"); +const char Prob::type_p_name_[] = "ly:prob?"; SCM Prob::equal_p (SCM sa, SCM sb) @@ -22,10 +34,10 @@ 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)}; + Prob *probs[2] = {unsmob (sa), unsmob (sb)}; SCM props[2][2]; int i; @@ -41,42 +53,46 @@ 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]; - - for (; scm_is_pair (aprop) && scm_is_pair(bprop); aprop = scm_cdr (aprop), bprop = scm_cdr (bprop)) - { - if (scm_caar (aprop) != scm_caar (bprop) || - !to_boolean (scm_equal_p (scm_cdar (aprop), scm_cdar (bprop)))) - return SCM_BOOL_F; - } + 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)) + { + SCM aval = scm_cdar (aprop); + SCM bval = scm_cdar (bprop); + if (!scm_is_eq (scm_caar (aprop), scm_caar (bprop)) + || (!(unsmob (aval) && unsmob (bval)) + && !ly_is_equal (aval, bval))) + return SCM_BOOL_F; + } /* is one list shorter? */ - if (aprop != SCM_EOL || bprop != SCM_EOL) - return SCM_BOOL_F; + if (!scm_is_null (aprop) || !scm_is_null (bprop)) + return SCM_BOOL_F; } return SCM_BOOL_T; } -Prob::Prob (SCM type, SCM immutable_init) +Prob::Prob (SCM type, SCM immutable_init) : Smob () { - self_scm_ = SCM_EOL; mutable_property_alist_ = SCM_EOL; immutable_property_alist_ = immutable_init; type_ = type; smobify_self (); } - Prob::~Prob () { } Prob::Prob (Prob const &src) + : Smob () { immutable_property_alist_ = src.immutable_property_alist_; mutable_property_alist_ = SCM_EOL; - self_scm_ = SCM_EOL; type_ = src.type_; /* First we smobify_self, then we copy over the stuff. If we don't, @@ -86,7 +102,6 @@ Prob::Prob (Prob const &src) mutable_property_alist_ = src.copy_mutable_properties (); } - SCM Prob::copy_mutable_properties () const { @@ -99,71 +114,70 @@ Prob::derived_mark () const } SCM -Prob::mark_smob (SCM smob) +Prob::mark_smob () const { - Prob *system = (Prob *) SCM_CELL_WORD_1 (smob); - scm_gc_mark (system->mutable_property_alist_); - system->derived_mark (); - - return system->immutable_property_alist_; + ASSERT_LIVE_IS_ALLOWED (self_scm ()); + + scm_gc_mark (mutable_property_alist_); + derived_mark (); + + return immutable_property_alist_; } int -Prob::print_smob (SCM smob, SCM port, scm_print_state*) +Prob::print_smob (SCM port, scm_print_state *) const { - Prob *p = (Prob *) SCM_CELL_WORD_1 (smob); scm_puts ("#<", port); scm_puts ("Prob: ", port); - scm_display (p->type_, port); + scm_display (type_, port); scm_puts (" C++: ", port); - scm_puts (p->class_name (), port); - scm_display (p->mutable_property_alist_, port); - scm_display (p->immutable_property_alist_, port); - + scm_puts (class_name (), port); + scm_display (mutable_property_alist_, port); + scm_display (immutable_property_alist_, port); + scm_puts (" >\n", port); return 1; } - - SCM Prob::internal_get_property (SCM sym) const { +#ifdef DEBUG + if (profile_property_accesses) + note_property_access (&prob_property_lookup_table, sym); +#endif + /* TODO: type checking */ SCM s = scm_sloppy_assq (sym, mutable_property_alist_); - if (s != SCM_BOOL_F) + if (scm_is_true (s)) return scm_cdr (s); s = scm_sloppy_assq (sym, immutable_property_alist_); - return (s == SCM_BOOL_F) ? SCM_EOL : scm_cdr (s); + return scm_is_false (s) ? 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 @@ -179,6 +193,5 @@ Prob::name () const if (scm_is_symbol (nm)) return ly_symbol2string (nm); else - return this->class_name (); + return class_name (); } -