X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=lily%2Flily-guile.cc;h=9c88983e4c88586d90fc52f643feacaefd6af3c4;hb=5c14a087ca6cbd665fd631452b7b1283ba0387c3;hp=4a237d7440a655118516012ebbe4440cac5516a2;hpb=75eebcb49e52d296b1da3e1074e0825d2c780db4;p=lilypond.git diff --git a/lily/lily-guile.cc b/lily/lily-guile.cc index 4a237d7440..9c88983e4c 100644 --- a/lily/lily-guile.cc +++ b/lily/lily-guile.cc @@ -3,7 +3,7 @@ source file of the GNU LilyPond music typesetter - (c) 1998--2006 Jan Nieuwenhuizen + (c) 1998--2007 Jan Nieuwenhuizen Han-Wen Nienhuys */ @@ -16,8 +16,6 @@ using namespace std; -#include "config.hh" - #include "dimensions.hh" #include "direction.hh" #include "file-path.hh" @@ -32,30 +30,12 @@ using namespace std; #include "version.hh" #include "warn.hh" -// #define TEST_GC - -SCM -ly_to_symbol (SCM scm) -{ - return scm_string_to_symbol (ly_to_string (scm)); -} - -SCM -ly_to_string (SCM scm) -{ - return scm_call_3 (ly_lily_module_constant ("format"), SCM_BOOL_F, - - scm_makfrom0str ("~S"), scm); -} - -SCM -ly_last (SCM list) -{ - return scm_car (scm_last_pair (list)); -} -SCM -ly_write2scm (SCM s) +/* + symbols/strings. + */ +string +ly_scm_write_string (SCM s) { SCM port = scm_mkstrport (SCM_INUM0, scm_make_string (SCM_INUM0, SCM_UNDEFINED), @@ -66,7 +46,7 @@ ly_write2scm (SCM s) // scm_apply (write, port, SCM_EOL); scm_call_2 (write, s, port); - return scm_strport_to_string (port); + return ly_scm2string (scm_strport_to_string (port)); } SCM @@ -75,7 +55,7 @@ ly_quote_scm (SCM s) return scm_list_n (ly_symbol2scm ("quote"), s, SCM_UNDEFINED); } -String +string ly_symbol2string (SCM s) { /* @@ -85,15 +65,15 @@ ly_symbol2string (SCM s) return ly_scm2string (str); } -String -gulp_file_to_string (String fn, bool must_exist, int size) +string +gulp_file_to_string (string fn, bool must_exist, int size) { - String s = global_path.find (fn); + string s = global_path.find (fn); if (s == "") { if (must_exist) { - String e = _f ("can't find file: `%s'", fn); + string e = _f ("cannot find file: `%s'", fn); e += " "; e += _f ("(load path: `%s')", global_path.to_string ()); error (e); @@ -105,10 +85,8 @@ gulp_file_to_string (String fn, bool must_exist, int size) if (be_verbose_global) progress_indication ("[" + s); - int n = size; - char *str = gulp_file (s, &n); - String result ((Byte *) str, n); - delete[] str; + vector chars = gulp_file (s, size); + string result (&chars[0], chars.size ()); if (be_verbose_global) progress_indication ("]"); @@ -126,37 +104,43 @@ extern "C" { } }; -String +/* + STRINGS + */ +string ly_scm2string (SCM str) { assert (scm_is_string (str)); - return String ((Byte *)scm_i_string_chars (str), - (int) scm_i_string_length (str)); + string result; + size_t len = scm_c_string_length (str); + if (len) { + result.resize(len); + scm_to_locale_stringbuf(str, &result.at(0), len); + } + return result; } -char * -ly_scm2newstr (SCM str, size_t *lenp) +SCM +ly_string2scm (string const &str) { - SCM_ASSERT_TYPE (scm_is_string (str), str, SCM_ARG1, __FUNCTION__, "string"); - - size_t len = scm_i_string_length (str); - if (char *new_str = (char *) malloc ((len + 1) * sizeof (char))) - { - memcpy (new_str, scm_i_string_chars (str), len); - new_str[len] = '\0'; + return scm_from_locale_stringn (str.c_str (), + str.length ()); +} - if (lenp) - *lenp = len; - return new_str; - } - return 0; +char * +ly_scm2newstr (SCM str, size_t *lenp) +{ + char* p = scm_to_locale_stringn(str, lenp); + return p; } -SCM +/* + PAIRS +*/ +SCM index_get_cell (SCM s, Direction d) { - assert (d); return (d == LEFT) ? scm_car (s) : scm_cdr (s); } @@ -178,77 +162,61 @@ is_number_pair (SCM p) && scm_is_number (scm_car (p)) && scm_is_number (scm_cdr (p)); } -typedef void (*Void_fptr) (); -Array *scm_init_funcs_; -void add_scm_init_func (void (*f) ()) +unsigned int +ly_scm_hash (SCM s) { - if (!scm_init_funcs_) - scm_init_funcs_ = new Array; - - scm_init_funcs_->push (f); + return scm_ihashv (s, ~1u); } -void -ly_init_ly_module (void *) +bool +is_axis (SCM s) { - for (int i = scm_init_funcs_->size (); i--;) - (scm_init_funcs_->elem (i)) (); - - if (be_verbose_global) + if (scm_is_number (s)) { - progress_indication ("["); - scm_display (scm_c_eval_string ("(%search-load-path \"lily.scm\")"), - scm_current_error_port ()); - progress_indication ("]\n"); + int i = scm_to_int (s); + return i == 0 || i == 1; } - - scm_primitive_load_path (scm_makfrom0str ("lily.scm")); + return false; } -SCM global_lily_module; - -void -ly_c_init_guile () +bool +to_boolean (SCM s) { - global_lily_module = scm_c_define_module ("lily", ly_init_ly_module, 0); - scm_c_use_module ("lily"); + return scm_is_bool (s) && ly_scm2bool (s); } -unsigned int -ly_scm_hash (SCM s) +/* + DIRECTIONS + */ +Direction +to_dir (SCM s) { - return scm_ihashv (s, ~1u); + return scm_is_integer (s) ? (Direction) scm_to_int (s) : CENTER; } -bool -is_direction (SCM s) +Direction +robust_scm2dir (SCM d, Direction def) { - if (scm_is_number (s)) - { - int i = scm_to_int (s); - return i >= -1 && i <= 1; - } - return false; + if (is_direction (d)) + def = to_dir (d); + return def; } bool -is_axis (SCM s) +is_direction (SCM s) { if (scm_is_number (s)) { int i = scm_to_int (s); - return i == 0 || i == 1; + return i >= -1 && i <= 1; } return false; } -Direction -to_dir (SCM s) -{ - return scm_is_integer (s) ? (Direction) scm_to_int (s) : CENTER; -} - +/* + INTERVALS + */ Interval ly_scm2interval (SCM p) { @@ -268,32 +236,40 @@ ly_interval2scm (Drul_array i) return scm_cons (scm_from_double (i[LEFT]), scm_from_double (i[RIGHT])); } -bool -to_boolean (SCM s) + +Interval +robust_scm2interval (SCM k, Drul_array v) { - return scm_is_bool (s) && ly_scm2bool (s); + Interval i; + i[LEFT] = v[LEFT]; + i[RIGHT] = v[RIGHT]; + if (is_number_pair (k)) + i = ly_scm2interval (k); + return i; } -/* Appendable list L: the cdr contains the list, the car the last cons - in the list. */ -SCM -appendable_list () +Drul_array +robust_scm2drul (SCM k, Drul_array v) { - SCM s = scm_cons (SCM_EOL, SCM_EOL); - scm_set_car_x (s, s); - - return s; + if (is_number_pair (k)) + v = ly_scm2interval (k); + return v; } -void -appendable_list_append (SCM l, SCM elt) +Drul_array +robust_scm2booldrul (SCM k, Drul_array def) { - SCM newcons = scm_cons (elt, SCM_EOL); - - scm_set_cdr_x (scm_car (l), newcons); - scm_set_car_x (l, newcons); + if (scm_is_pair (k)) + { + def[LEFT] = to_boolean (scm_car (k)); + def[RIGHT] = to_boolean (scm_cdr (k)); + } + return def; } +/* + OFFSET +*/ SCM ly_offset2scm (Offset o) { @@ -307,101 +283,112 @@ ly_scm2offset (SCM s) scm_to_double (scm_cdr (s))); } +Offset +robust_scm2offset (SCM k, Offset o) +{ + if (is_number_pair (k)) + o = ly_scm2offset (k); + return o; +} SCM -ly_deep_copy (SCM src) +ly_offsets2scm (vector os) { - if (scm_is_pair (src)) - return scm_cons (ly_deep_copy (scm_car (src)), ly_deep_copy (scm_cdr (src))); - else if (scm_is_vector (src)) + SCM l = SCM_EOL; + SCM *tail = &l; + for (vsize i = 0; i < os.size (); i++) { - int len = scm_c_vector_length (src); - SCM nv = scm_c_make_vector (len, SCM_UNDEFINED); - for (int i = 0;i < len; i++) - { - SCM si = scm_from_int (i); - scm_vector_set_x (nv, si, ly_deep_copy (scm_vector_ref (src, si))); - } + *tail = scm_cons (ly_offset2scm (os[i]), SCM_EOL); + tail = SCM_CDRLOC (*tail); } - return src; + return l; +} + +vector +ly_scm2offsets (SCM s) +{ + vector os; + for (; scm_is_pair (s); s = scm_cdr (s)) + os.push_back (ly_scm2offset (scm_car (s))); + return os; } -/* looks the key up in the cdrs of the alist-keys - - ignoring the car and ignoring non-pair keys. - Returns first match found, i.e. - alist = ((1 . 10) - ((1 . 2) . 11) - ((2 . 1) . 12) - ((3 . 0) . 13) - ((4 . 1) . 14) ) - I would like (ly_assoc_cdr 1) to return 12 - because it's the first - element with the cdr of the key = 1. In other words (alloc_cdr key) - corresponds to call - (alloc (anything . key)) +/* + ALIST */ -SCM -ly_assoc_cdr (SCM key, SCM alist) + +bool +alist_equal_p (SCM a, SCM b) { - if (scm_is_pair (alist)) + for (SCM s = a; + scm_is_pair (s); s = scm_cdr (s)) { - SCM trykey = scm_caar (alist); - if (scm_is_pair (trykey) - && to_boolean (scm_equal_p (key, scm_cdr (trykey)))) - return scm_car (alist); - return ly_assoc_cdr (key, scm_cdr (alist)); + SCM key = scm_caar (s); + SCM val = scm_cdar (s); + SCM l = scm_assoc (key, b); + + if (l == SCM_BOOL_F + || !ly_is_equal (scm_cdr (l), val)) + + return false; } - return SCM_BOOL_F; + return true; } SCM -ly_string_array_to_scm (Array a) +ly_alist_vals (SCM alist) { - SCM s = SCM_EOL; - for (int i = a.size () - 1; i >= 0; i--) - s = scm_cons (ly_symbol2scm (a[i].to_str0 ()), s); - return s; + SCM x = SCM_EOL; + for (SCM p = alist; scm_is_pair (p); p = scm_cdr (p)) + x = scm_cons (scm_cdar (p), x); + return x; } -/* SYMBOLS is a whitespace separated list. */ +/* + LISTS + */ + +/* Return I-th element, or last elt L. If I < 0, then we take the first + element. + + PRE: length (L) > 0 */ SCM -parse_symbol_list (char const *symbols) +robust_list_ref (int i, SCM l) { - while (isspace (*symbols)) - *symbols++; - String s = symbols; - s.substitute ('\n', ' '); - s.substitute ('\t', ' '); - return ly_string_array_to_scm (String_convert::split (s, ' ')); + while (i-- > 0 && scm_is_pair (scm_cdr (l))) + l = scm_cdr (l); + return scm_car (l); } + SCM -ly_truncate_list (int k, SCM lst) +ly_deep_copy (SCM src) { - if (k == 0) - lst = SCM_EOL; - else + if (scm_is_pair (src)) + return scm_cons (ly_deep_copy (scm_car (src)), ly_deep_copy (scm_cdr (src))); + else if (scm_is_vector (src)) { - SCM s = lst; - k--; - for (; scm_is_pair (s) && k--; s = scm_cdr (s)) - ; - - if (scm_is_pair (s)) - scm_set_cdr_x (s, SCM_EOL); + int len = scm_c_vector_length (src); + SCM nv = scm_c_make_vector (len, SCM_UNDEFINED); + for (int i = 0;i < len; i++) + { + SCM si = scm_from_int (i); + scm_vector_set_x (nv, si, ly_deep_copy (scm_vector_ref (src, si))); + } } - return lst; + return src; } -String +string print_scm_val (SCM val) { - String realval = ly_scm2string (ly_write2scm (val)); + string realval = ly_scm_write_string (val); if (realval.length () > 200) - realval = realval.left_string (100) + realval = realval.substr (0, 100) + "\n :\n :\n" - + realval.right_string (100); + + realval.substr (realval.length () - 100); return realval; } @@ -438,14 +425,15 @@ type_check_assignment (SCM sym, SCM val, SCM type_symbol) if (type != SCM_EOL && !ly_is_procedure (type)) { - warning (_f ("can't find property type-check for `%s' (%s).", - ly_symbol2string (sym).to_str0 (), - ly_symbol2string (type_symbol).to_str0 ()) + warning (_f ("cannot find property type-check for `%s' (%s).", + ly_symbol2string (sym).c_str (), + ly_symbol2string (type_symbol).c_str ()) + " " + _ ("perhaps a typing error?")); /* Be strict when being anal :) */ if (do_internal_type_checking_global) - abort (); + scm_throw (ly_symbol2scm ("ly-file-failed"), scm_list_3 (ly_symbol2scm ("typecheck"), + sym, val)); warning (_ ("doing assignment anyway")); } @@ -460,9 +448,9 @@ type_check_assignment (SCM sym, SCM val, SCM type_symbol) SCM type_name = scm_call_1 (typefunc, type); warning (_f ("type check for `%s' failed; value `%s' must be of type `%s'", - ly_symbol2string (sym).to_str0 (), + ly_symbol2string (sym).c_str (), print_scm_val (val), - ly_scm2string (type_name).to_str0 ())); + ly_scm2string (type_name).c_str ())); progress_indication ("\n"); } } @@ -488,49 +476,6 @@ ly_unique (SCM list) return scm_reverse_x (unique, SCM_EOL); } -static int -scm_default_compare (void const *a, void const *b) -{ - SCM pa = *(SCM *) a; - SCM pb = *(SCM *) b; - if (pa == pb) - return 0; - return pa < pb ? -1 : 1; -} - -/* Modify LST in place: qsort it. */ -SCM -ly_list_qsort_uniq_x (SCM lst) -{ - int len = scm_ilength (lst); - SCM *arr = new SCM[len]; - int k = 0; - for (SCM s = lst; SCM_NNULLP (s); s = scm_cdr (s)) - arr[k++] = scm_car (s); - - assert (k == len); - qsort (arr, len, sizeof (SCM), &scm_default_compare); - - SCM *tail = &lst; - for (int i = 0; i < len; i++) - if (!i || arr[i] != arr[i - 1]) - { - SCM_SETCAR (*tail, arr[i]); - tail = SCM_CDRLOC (*tail); - } - - *tail = SCM_EOL; - delete[] arr; - - return lst; -} - -/* tail add */ -SCM -ly_snoc (SCM s, SCM list) -{ - return ly_append2 (list, scm_list_n (s, SCM_UNDEFINED)); -} /* Split list at member s, removing s. Return (BEFORE . AFTER) */ @@ -587,18 +532,6 @@ int_list_to_slice (SCM l) return s; } -/* Return I-th element, or last elt L. If I < 0, then we take the first - element. - - PRE: length (L) > 0 */ -SCM -robust_list_ref (int i, SCM l) -{ - while (i-- > 0 && scm_is_pair (scm_cdr (l))) - l = scm_cdr (l); - return scm_car (l); -} - Real robust_scm2double (SCM k, double x) { @@ -607,58 +540,46 @@ robust_scm2double (SCM k, double x) return x; } -Direction -robust_scm2dir (SCM d, Direction def) -{ - if (is_direction (d)) - def = to_dir (d); - return def; -} -Interval -robust_scm2interval (SCM k, Drul_array v) +string +robust_scm2string (SCM k, string s) { - Interval i; - i[LEFT] = v[LEFT]; - i[RIGHT] = v[RIGHT]; - if (is_number_pair (k)) - i = ly_scm2interval (k); - return i; + if (scm_is_string (k)) + s = ly_scm2string (k); + return s; } -Drul_array -robust_scm2drul (SCM k, Drul_array v) +int +robust_scm2int (SCM k, int o) { - if (is_number_pair (k)) - v = ly_scm2interval (k); - return v; + if (scm_integer_p (k) == SCM_BOOL_T) + o = scm_to_int (k); + return o; } -Drul_array -robust_scm2booldrul (SCM k, Drul_array def) + +SCM +ly_rational2scm (Rational r) { - if (scm_is_pair (k)) - { - def[LEFT] = to_boolean (scm_car (k)); - def[RIGHT] = to_boolean (scm_cdr (k)); - } - return def; + return scm_divide (scm_from_long_long (r.numerator ()), + scm_from_long_long (r.denominator ())); } -Offset -robust_scm2offset (SCM k, Offset o) + +Rational +ly_scm2rational (SCM r) { - if (is_number_pair (k)) - o = ly_scm2offset (k); - return o; + return Rational (scm_to_long_long (scm_numerator (r)), + scm_to_long_long (scm_denominator (r))); } -int -robust_scm2int (SCM k, int o) +Rational +robust_scm2rational (SCM n, Rational rat) { - if (scm_integer_p (k) == SCM_BOOL_T) - o = scm_to_int (k); - return o; + if (ly_is_fraction (n)) + return ly_scm2rational (n); + else + return rat; } SCM @@ -677,47 +598,78 @@ alist_to_hashq (SCM alist) return tab; } -bool -alist_equal_p (SCM a, SCM b) +SCM +ly_hash2alist (SCM tab) { - for (SCM s = a; - scm_is_pair (s); s = scm_cdr (s)) - { - SCM key = scm_caar (s); - SCM val = scm_cdar (s); - SCM l = scm_assoc (key, b); + SCM func = ly_lily_module_constant ("hash-table->alist"); + return scm_call_1 (func, tab); +} - if (l == SCM_BOOL_F - || !ly_is_equal (scm_cdr (l), val)) - return false; +/* + C++ interfacing. + */ + +string +mangle_cxx_identifier (string cxx_id) +{ + if (cxx_id.substr (0, 3) == "ly_") + cxx_id = cxx_id.replace (0, 3, "ly:"); + else + { + cxx_id = String_convert::to_lower (cxx_id); + cxx_id = "ly:" + cxx_id; } - return true; + if (cxx_id.substr (cxx_id.length () - 2) == "_p") + cxx_id = cxx_id.replace (cxx_id.length () - 2, 2, "?"); + else if (cxx_id.substr (cxx_id.length () - 2) == "_x") + cxx_id = cxx_id.replace (cxx_id.length () - 2, 2, "!"); + + replace_all (&cxx_id, "_less?", ""); + replace_all (&cxx_id, "__", "::"); + replace_all (&cxx_id, '_', '-'); + + + return cxx_id; } + + SCM -ly_alist_vals (SCM alist) +ly_string_array_to_scm (vector a) { - SCM x = SCM_EOL; - for (SCM p = alist; scm_is_pair (p); p = scm_cdr (p)) - x = scm_cons (scm_cdar (p), x); - return x; + SCM s = SCM_EOL; + for (vsize i = a.size (); i ; i--) + s = scm_cons (ly_symbol2scm (a[i - 1].c_str ()), s); + return s; } +/* SYMBOLS is a whitespace separated list. */ SCM -ly_hash2alist (SCM tab) +parse_symbol_list (char const *symbols) { - SCM func = ly_lily_module_constant ("hash-table->alist"); - return scm_call_1 (func, tab); + while (isspace (*symbols)) + *symbols++; + string s = symbols; + replace_all (&s, '\n', ' '); + replace_all (&s, '\t', ' '); + replace_all (&s, " ", " "); + return ly_string_array_to_scm (string_split (s, ' ')); } -int -procedure_arity (SCM proc) +/* GDB debugging. */ +struct ly_t_double_cell { - assert (ly_is_procedure (proc)); - SCM arity = scm_procedure_property (proc, - ly_symbol2scm ("arity")); + SCM a; + SCM b; + SCM c; + SCM d; +}; - SCM fixed = scm_car (arity); - return scm_to_int (fixed); +/* inserts at front, removing duplicates */ +SCM ly_assoc_prepend_x (SCM alist, SCM key, SCM val) +{ + return scm_acons (key, val, scm_assoc_remove_x (alist, key)); } +