/*
Implement storage and manipulation of grob properties.
- */
+*/
-#include <string.h>
-#include <math.h>
+#include <cstring>
#include "main.hh"
#include "input-smob.hh"
-
-#include "group-interface.hh"
+#include "pointer-group-interface.hh"
#include "misc.hh"
#include "paper-score.hh"
-#include "paper-def.hh"
-#include "grob.hh"
-#include "debug.hh"
+#include "output-def.hh"
#include "spanner.hh"
#include "item.hh"
#include "misc.hh"
#include "item.hh"
+#include "program-option.hh"
+#include "profile.hh"
-/*
- HASHING_FOR_MUTABLE_PROPS:
-
-
- plain, -O0 compile
-
-user 0m12.400s
-
-sz == 13, -O0 compile
-
- xdvi trip
-
-user 0m13.780s
-
-sz == 5
-
-
-user 0m13.000s
-
-sz == 3
-
-
-user 0m13.080s
-
-Hashing doesn't improve the result of grob property lookup, at least
-not with naive hashing. It is possible that the overhead of the
-scm_hash* functions take too much time. One way to solve this is by
-using vector accesses directly, and precompute the hashvalues, similar
-to CACHE_SYMBOLS. That option could only cause slowdowns if the hash
-tables produces weird cache-line trashing.
-
-Second option: we could index immutable props in a hash tab as
-well. This only takes space, since they are immutable no updates are
-needed. This does take a lot of space, since we must duplicate the
-alists (but not the entries).
-
-*/
-
-// #define HASHING_FOR_MUTABLE_PROPS
-
-/*
- Remove the value associated with KEY, and return it. The result is
- that a next call will yield SCM_EOL (and not the underlying
- `basic' property.
-*/
SCM
-Grob::remove_grob_property (const char* key)
+Grob::get_property_alist_chain (SCM def) const
{
- SCM val = get_grob_property (key);
- if (val != SCM_EOL)
- set_grob_property (key, SCM_EOL);
- return val;
+ return scm_list_n (mutable_property_alist_,
+ immutable_property_alist_,
+ def,
+ SCM_UNDEFINED);
}
-
SCM
-Grob::get_property_alist_chain (SCM def) const
+Grob::get_interfaces () const
{
-#ifndef HASHING_FOR_MUTABLE_PROPS
- return scm_list_n (mutable_property_alist_,
- immutable_property_alist_,
- def,
- SCM_UNDEFINED);
-#else
- SCM chain = gh_list (immutable_property_alist_, def, SCM_UNDEFINED);
- SCM * velts = SCM_VELTS (mutable_property_alist_);
- int l = SCM_VECTOR_LENGTH(mutable_property_alist_);
- for (int i = 0; i < l; i++)
- {
- if (gh_pair_p (velts[i]))
- chain = gh_cons ( velts[i], chain);
- }
-
- return chain;
-#endif
+ return interfaces_;
}
-
-
/*
This special add_thing routine is slightly more efficient than
- set_prop (name,cons (thing, get_prop (name)))
+ set_prop (name, cons (thing, get_prop (name)))
- since it can reuse the handle returned by scm_assq().
+ since it can reuse the handle returned by scm_assq ().
*/
+// JUNKME.
void
-Grob::add_to_list_property (SCM sym, SCM thing)
+Grob::add_to_list_property (SCM sym, SCM thing)
{
SCM handle
-#ifndef HASHING_FOR_MUTABLE_PROPS
- = scm_sloppy_assq (sym, mutable_property_alist_)
-#else
- = scm_hashq_get_handle (mutable_property_alist_, sym);
-#endif
- ;
+ = scm_sloppy_assq (sym, mutable_property_alist_);
+
if (handle != SCM_BOOL_F)
- {
- gh_set_cdr_x (handle, gh_cons (thing, gh_cdr (handle)));
- }
+ scm_set_cdr_x (handle, scm_cons (thing, scm_cdr (handle)));
else
{
/*
mutable prop list.
*/
handle = scm_sloppy_assq (sym, immutable_property_alist_);
- SCM tail = (handle != SCM_BOOL_F) ? gh_cdr(handle) : SCM_EOL;
- SCM val = gh_cons (thing, tail);
-#ifndef HASHING_FOR_MUTABLE_PROPS
- mutable_property_alist_ = gh_cons (gh_cons (sym, val),
- mutable_property_alist_);
-#else
- scm_hashq_set_x (mutable_property_alist_, sym, val);
-#endif
+ SCM tail = (handle != SCM_BOOL_F) ? scm_cdr (handle) : SCM_EOL;
+ SCM val = scm_cons (thing, tail);
+
+ mutable_property_alist_ = scm_cons (scm_cons (sym, val),
+ mutable_property_alist_);
}
}
-
extern void check_interfaces_for_property (Grob const *me, SCM sym);
void
-Grob::internal_set_grob_property (SCM s, SCM v)
+Grob::internal_set_property (SCM sym, SCM v)
{
- assert (live());
-
#ifndef NDEBUG
- if (internal_type_checking_global_b)
+ SCM grob_p = ly_lily_module_constant ("ly:grob?");
+ SCM grob_list_p = ly_lily_module_constant ("grob-list?");
+ SCM type = scm_object_property (sym, ly_symbol2scm ("backend-type?"));
+
+ if (type == grob_p
+ || type == grob_list_p
+ || (unsmob_grob (v) && ly_symbol2scm ("cause") != sym))
{
- assert (type_check_assignment (s, v, ly_symbol2scm ("backend-type?")));
- check_interfaces_for_property(this, s);
+ scm_display (scm_list_2 (sym, type), scm_current_output_port ());
+ assert (0);
}
#endif
-#ifndef HASHING_FOR_MUTABLE_PROPS
- mutable_property_alist_ = scm_assq_set_x (mutable_property_alist_, s, v);
-#else
- scm_hashq_set_x (mutable_property_alist_, s, v);
-#endif
+ /* Perhaps we simply do the assq_set, but what the heck. */
+ if (!is_live ())
+ return;
+
+ if (do_internal_type_checking_global)
+ {
+ if (!type_check_assignment (sym, v, ly_symbol2scm ("backend-type?")))
+ abort ();
+ check_interfaces_for_property (this, sym);
+ }
+
+ mutable_property_alist_ = scm_assq_set_x (mutable_property_alist_, sym, v);
}
+//#define PROFILE_PROPERTY_ACCESSES
+/*
+ Ugh C&P Coding.
+
+ Retrieve property without triggering callback.
+ */
SCM
-Grob::internal_get_grob_property (SCM sym) const
+Grob::get_property_data (SCM sym) const
{
-#ifndef HASHING_FOR_MUTABLE_PROPS
- SCM s = scm_sloppy_assq (sym, mutable_property_alist_);
- if (s != SCM_BOOL_F)
- return ly_cdr (s);
-#else
- if (mutable_property_alist_ == SCM_EOL)
- return SCM_EOL;
-
- SCM s = scm_hashq_ref (mutable_property_alist_, sym, SCM_EOL);
- if (s!=SCM_EOL)
- return s;
+#ifndef NDEBUG
+ if (profile_property_accesses)
+ note_property_access (&grob_property_lookup_table, sym);
#endif
-
- s = scm_sloppy_assq (sym, immutable_property_alist_);
-#ifndef NDEBUG
- if (internal_type_checking_global_b && gh_pair_p (s))
+ SCM handle = scm_sloppy_assq (sym, mutable_property_alist_);
+ if (handle != SCM_BOOL_F)
+ return scm_cdr (handle);
+
+ handle = scm_sloppy_assq (sym, immutable_property_alist_);
+
+ if (do_internal_type_checking_global && scm_is_pair (handle))
{
- assert (type_check_assignment (sym, gh_cdr (s), ly_symbol2scm ("backend-type?")));
- check_interfaces_for_property(this, sym);
- }
-#endif
+ if (!type_check_assignment (sym, scm_cdr (handle),
+ ly_symbol2scm ("backend-type?")))
+ abort ();
- return (s == SCM_BOOL_F) ? SCM_EOL : ly_cdr (s);
+ check_interfaces_for_property (this, sym);
+ }
+
+ return (handle == SCM_BOOL_F) ? SCM_EOL : scm_cdr (handle);
}
-void
-Grob::substitute_mutable_properties (SCM crit, SCM orig)
+SCM
+Grob::internal_get_property (SCM sym) const
{
- set_break_subsititution(crit);
-#ifndef HASHING_FOR_MUTABLE_PROPS
- mutable_property_alist_ = substitute_mutable_property_alist (orig);
-#else
- if (orig == SCM_EOL)
+ SCM val = get_property_data (sym);
+ if (ly_is_procedure (val))
{
- mutable_property_alist_ = SCM_EOL;
- return ;
+ val = ((Grob*)this)->try_callback (sym, val);
}
- SCM * src_elts = SCM_VELTS (orig);
- SCM * dest_elts = SCM_VELTS (mutable_property_alist_);
- unsigned int l = SCM_VECTOR_LENGTH(mutable_property_alist_);
- assert (l == SCM_VECTOR_LENGTH(orig));
- for (unsigned int i = 0; i < l; i++)
+ return val;
+}
+
+#ifndef NDEBUG
+#include "protected-scm.hh"
+Protected_scm grob_property_callback_stack = SCM_EOL;
+bool debug_property_callbacks = 1;
+#endif
+
+SCM
+Grob::try_callback (SCM sym, SCM proc)
+{
+ SCM marker = ly_symbol2scm ("calculation-in-progress");
+ /*
+ need to put a value in SYM to ensure that we don't get a
+ cyclic call chain.
+ */
+ mutable_property_alist_
+ = scm_assq_set_x (mutable_property_alist_, sym, marker);
+
+#ifndef NDEBUG
+ if (debug_property_callbacks)
+ grob_property_callback_stack = scm_acons (sym, proc, grob_property_callback_stack);
+#endif
+ SCM value = scm_call_1 (proc, self_scm ());
+#ifndef NDEBUG
+ if (debug_property_callbacks)
+ grob_property_callback_stack = scm_cdr (grob_property_callback_stack);
+#endif
+
+ /*
+ If the function returns SCM_UNSPECIFIED, we assume the
+ property has been set with an explicit set_property()
+ call.
+ */
+ if (value == SCM_UNSPECIFIED)
{
- dest_elts[i] = substitute_mutable_property_alist (src_elts[i]);
+ value = internal_get_property (sym);
+ if (value == marker)
+ mutable_property_alist_ = scm_assq_remove_x (mutable_property_alist_, marker);
}
+ else
+ internal_set_property (sym, value);
+
+ return value;
+}
+
+void
+Grob::internal_set_object (SCM s, SCM v)
+{
+ /* Perhaps we simply do the assq_set, but what the heck. */
+ if (!is_live ())
+ return;
+
+ object_alist_ = scm_assq_set_x (object_alist_, s, v);
+}
+
+void
+Grob::del_property (SCM sym)
+{
+ mutable_property_alist_ = scm_assq_remove_x (mutable_property_alist_, sym);
+}
+
+SCM
+Grob::internal_get_object (SCM sym) const
+{
+#ifdef PROFILE_PROPERTY_ACCESSES
+ note_property_access (&grob_property_lookup_table, sym);
#endif
+
+ SCM s = scm_sloppy_assq (sym, object_alist_);
+
+ return (s == SCM_BOOL_F) ? SCM_EOL : scm_cdr (s);
}
+void
+Grob::substitute_object_links (SCM crit, SCM orig)
+{
+ set_break_subsititution (crit);
+ object_alist_ = substitute_object_alist (orig, object_alist_);
+}
bool
-Grob::live () const
+Grob::is_live () const
{
return immutable_property_alist_ != SCM_EOL;
}
projects / lilypond.git / blobdiff