X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=lily%2Flily-guile.cc;h=9646364087cab8b71c95dbfe3a867a243de716c0;hb=1753b1a73742a5b0893037116bb6f2febba277f3;hp=cf8dff1c2aa1fa9c079eee59e6a40a7e51241960;hpb=f57dab636c0caf18cc0ec1c95a3b2bddb61496fd;p=lilypond.git diff --git a/lily/lily-guile.cc b/lily/lily-guile.cc index cf8dff1c2a..9646364087 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--2001 Jan Nieuwenhuizen + (c) 1998--2003 Jan Nieuwenhuizen Han-Wen Nienhuys */ @@ -13,16 +13,33 @@ #include #include /* isinf */ #include /* strdup, strchr */ + + +#include "lily-proto.hh" + +/* macosx fix: + + + source-file.hh includes cmath which undefines isinf and isnan +*/ +inline int my_isinf(Real r) { return isinf(r); } +inline int my_isnan(Real r) { return isnan(r); } + + + #include "libc-extension.hh" #include "lily-guile.hh" #include "main.hh" -#include "simple-file-storage.hh" #include "file-path.hh" -#include "debug.hh" +#include "warn.hh" #include "direction.hh" #include "offset.hh" #include "interval.hh" #include "pitch.hh" +#include "dimensions.hh" +#include "source-file.hh" + +// #define TEST_GC SCM ly_last (SCM list) @@ -30,13 +47,6 @@ ly_last (SCM list) return ly_car (scm_last_pair (list)); } -SCM -ly_str02scm (char const*c) -{ - // this all really sucks, guile should take char const* arguments! - return gh_str02scm ((char*)c); -} - SCM ly_write2scm (SCM s) @@ -54,69 +64,12 @@ ly_write2scm (SCM s) } -/* - Pass string to scm parser, evaluate one expression. - Return result value and #chars read. - - Thanks to Gary Houston - - Need guile-1.3.4 (>1.3 anyway) for ftell on str ports -- jcn -*/ -SCM -ly_parse_scm (char const* s, int* n) -{ - SCM str = ly_str02scm (s); - SCM port = scm_mkstrport (SCM_INUM0, str, SCM_OPN | SCM_RDNG, - "ly_eval_scm_0str"); - SCM from = scm_ftell (port); - - SCM form; - SCM answer = SCM_UNSPECIFIED; - - /* Read expression from port */ - if (!SCM_EOF_OBJECT_P (form = scm_read (port))) - answer = scm_primitive_eval (form); - - /* - After parsing - - (begin (foo 1 2)) - - all seems fine, but after parsing - - (foo 1 2) - - read_buf has been advanced to read_pos - 1, - so that scm_ftell returns 1, instead of #parsed chars - */ - - /* - urg: reset read_buf for scm_ftell - shouldn't scm_read () do this for us? - */ - scm_fill_input (port); - SCM to = scm_ftell (port); - *n = gh_scm2int (to) - gh_scm2int (from); - - /* Don't close the port here; if we re-enter this function via a - continuation, then the next time we enter it, we'll get an error. - It's a string port anyway, so there's no advantage to closing it - early. - - scm_close_port (port); - */ - - return answer; -} - SCM ly_quote_scm (SCM s) { return scm_list_n (ly_symbol2scm ("quote"), s, SCM_UNDEFINED); } - - String ly_symbol2string (SCM s) { @@ -124,7 +77,6 @@ ly_symbol2string (SCM s) return String ((Byte*)SCM_STRING_CHARS (s), (int) SCM_STRING_LENGTH (s)); } - String gulp_file_to_string (String fn) { @@ -133,37 +85,32 @@ gulp_file_to_string (String fn) { String e = _f ("can't find file: `%s'", fn); e += " "; - e += _f ("(load path: `%s')", global_path.str ()); + e += _f ("(load path: `%s')", global_path.to_string ()); error (e); } else if (verbose_global_b) progress_indication ("[" + s); - - Simple_file_storage f (s); - String result (f.ch_C ()); + int n; + char * str = gulp_file (s, &n); + String result (str); + delete[] str; + if (verbose_global_b) progress_indication ("]"); + return result; } -SCM -ly_gulp_file (SCM fn) +LY_DEFINE(ly_gulp_file, "ly:gulp-file", 1,0, 0, + (SCM name), + "Read the file named @var{name}, and return its contents in a string. The " +" file is looked up using the lilypond search path.") { - return ly_str02scm (gulp_file_to_string (ly_scm2string (fn)).ch_C ()); + return scm_makfrom0str (gulp_file_to_string (ly_scm2string (name)).to_str0 ()); } -/** - Read a file, and shove it down GUILE. GUILE also has file read - functions, but you can't fiddle with the path of those. - */ -void -read_lily_scm_file (String fn) -{ - gh_eval_str ((char *) gulp_file_to_string (fn).ch_C ()); -} - extern "C" { // maybe gdb 5.0 becomes quicker if it doesn't do fancy C++ typing? void @@ -179,18 +126,15 @@ ly_scm2string (SCM s) { assert (gh_string_p (s)); - size_t len; - char *p = gh_scm2newstr (s , &len); - + char *p = SCM_STRING_CHARS(s); String r (p); - - free (p); return r; } SCM -index_cell (SCM s, Direction d) +index_get_cell (SCM s, Direction d) { + assert (d); return (d == LEFT) ? ly_car (s) : ly_cdr (s); } @@ -205,16 +149,17 @@ index_set_cell (SCM s, Direction d, SCM v) return s; } -SCM -ly_warning (SCM str) +LY_DEFINE(ly_warning,"ly:warn", 1, 0, 0, + (SCM str),"Scheme callable function to issue the warning @code{msg}.") { - assert (gh_string_p (str)); + SCM_ASSERT_TYPE (gh_string_p (str), str, SCM_ARG1, __FUNCTION__, "string"); warning ("lily-guile: " + ly_scm2string (str)); return SCM_BOOL_T; } -SCM -ly_isdir_p (SCM s) +LY_DEFINE(ly_dir_p, "ly:dir?", 1,0, 0, (SCM s), + "type predicate. A direction is a -1, 0 or 1, where -1 represents " + "left or down and 1 represents right or up. ") { if (gh_number_p (s)) { @@ -225,17 +170,11 @@ ly_isdir_p (SCM s) } bool -ly_number_pair_p (SCM p) +is_number_pair (SCM p) { return gh_pair_p (p) && gh_number_p (ly_car (p)) && gh_number_p (ly_cdr (p)); } -bool -ly_axis_p (SCM a) -{ - return gh_number_p (a) && (gh_scm2int (a) == 0 || gh_scm2int (a) == 1); -} - typedef void (*Void_fptr) (); Array *scm_init_funcs_; @@ -247,38 +186,27 @@ void add_scm_init_func (void (*f) ()) scm_init_funcs_->push (f); } -extern void init_cxx_function_smobs (); - -void -prepend_load_path (String p ) -{ - char s[1024]; - sprintf (s, - "(set! %%load-path (cons \"%s\" %%load-path))", p.ch_C()); - - scm_c_eval_string (s); -} void -init_lily_guile (String p ) +ly_init_ly_module (void *data) { - prepend_load_path (p); - - // todo: junk this. We should make real modules iso. just loading files. - prepend_load_path (p + "/scm/"); - - SCM last_mod = scm_current_module (); - scm_set_current_module (scm_c_resolve_module ("guile")); - - init_cxx_function_smobs (); for (int i=scm_init_funcs_->size () ; i--;) (scm_init_funcs_->elem (i)) (); if (verbose_global_b) progress_indication ("\n"); - read_lily_scm_file ("lily.scm"); + + scm_primitive_load_path (scm_makfrom0str ("lily.scm")); +} - scm_set_current_module (last_mod); + +SCM lily_module ; + +void +ly_init_guile () +{ + lily_module = scm_c_define_module ("lily", ly_init_ly_module, 0); + scm_c_use_module ("lily"); } unsigned int ly_scm_hash (SCM s) @@ -289,7 +217,7 @@ unsigned int ly_scm_hash (SCM s) bool -isdir_b (SCM s) +is_direction (SCM s) { if (gh_number_p (s)) { @@ -301,7 +229,7 @@ isdir_b (SCM s) bool -isaxis_b (SCM s) +is_axis (SCM s) { if (gh_number_p (s)) { @@ -315,7 +243,7 @@ isaxis_b (SCM s) Direction to_dir (SCM s) { - return (Direction) gh_scm2int (s); + return SCM_INUMP (s) ? (Direction) gh_scm2int (s) : CENTER; } Interval @@ -326,7 +254,7 @@ ly_scm2interval (SCM p) } SCM -ly_interval2scm (Interval i) +ly_interval2scm (Drul_array i) { return gh_cons (gh_double2scm (i[LEFT]), gh_double2scm (i[RIGHT])); @@ -377,43 +305,13 @@ ly_scm2offset (SCM s) gh_scm2double (ly_cdr (s))); } -SCM -ly_type (SCM exp) -{ - char const * cp = "unknown"; - if (gh_number_p (exp)) - { - cp = "number"; - } - else if (gh_string_p (exp)) - { - cp = "string"; - } - else if (gh_procedure_p (exp)) - { - cp = "procedure"; - } - else if (gh_boolean_p (exp)) - { - cp = "boolean"; - } - else if (gh_pair_p (exp)) - { - cp = "list"; - } - - return ly_str02scm (cp); -} - -/* - convert without too many decimals, and leave a space at the end. - */ - -SCM -ly_number2string (SCM s) +LY_DEFINE(ly_number2string, "ly:number->string", 1, 0,0, + (SCM s), + " converts @var{num} to a string without generating many decimals. It " +"leaves a space at the end.") { - assert (gh_number_p (s)); + SCM_ASSERT_TYPE (gh_number_p (s), s, SCM_ARG1, __FUNCTION__, "number"); char str[400]; // ugh. @@ -421,7 +319,7 @@ ly_number2string (SCM s) { Real r (gh_scm2double (s)); - if (isinf (r) || isnan (r)) + if (my_isinf (r) || my_isnan (r)) { programming_error ("Infinity or NaN encountered while converting Real number; setting to zero."); r = 0.0; @@ -434,14 +332,14 @@ ly_number2string (SCM s) sprintf (str, "%d ", gh_scm2int (s)); } - return ly_str02scm (str); + return scm_makfrom0str (str); } /* Undef this to see if GUILE GC is causing too many swaps. */ -// #define TEST_GC +//#define TEST_GC #ifdef TEST_GC #include @@ -461,28 +359,32 @@ wave_sweep_goodbye (void *dummy1, void *dummy2, void *dummy3) #include "version.hh" -SCM -ly_version () +LY_DEFINE(ly_version, "ly:version", 0, 0, 0, (), + "Return the current lilypond version as a list, e.g. @code{(1 3 127 uu1)}. ") { - char const* vs = "\' (" MAJOR_VERSION " " MINOR_VERSION " " PATCH_LEVEL " " MY_PATCH_LEVEL ")" ; + char const* vs = "\'(" MAJOR_VERSION " " MINOR_VERSION " " PATCH_LEVEL " " MY_PATCH_LEVEL ")" ; return gh_eval_str ((char*)vs); } -static void -init_functions () +LY_DEFINE(ly_unit, "ly:unit", 0, 0, 0, (), + "Return the unit used for lengths as a string.") { - scm_c_define_gsubr ("ly-warn", 1, 0, 0, - (Scheme_function_unknown)ly_warning); - scm_c_define_gsubr ("ly-version", 0, 0, 0, - (Scheme_function_unknown)ly_version); - scm_c_define_gsubr ("ly-gulp-file", 1,0, 0, - (Scheme_function_unknown)ly_gulp_file); - scm_c_define_gsubr ("dir?", 1,0, 0, (Scheme_function_unknown)ly_isdir_p); - scm_c_define_gsubr ("ly-number->string", 1, 0,0, - (Scheme_function_unknown) ly_number2string); + return scm_makfrom0str (INTERNAL_UNIT); +} + + +LY_DEFINE(ly_dimension_p, "ly:dimension?", 1, 0, 0, (SCM d), + "Return @var{d} is a number. Used to distinguish length " + "variables from normal numbers.") +{ + return scm_number_p (d); +} +static void +init_functions () +{ #ifdef TEST_GC scm_c_hook_add (&scm_before_mark_c_hook, greet_sweep, 0, 0); scm_c_hook_add (&scm_before_sweep_c_hook, wave_sweep_goodbye, 0, 0); @@ -492,14 +394,26 @@ init_functions () ADD_SCM_INIT_FUNC (funcs, init_functions); SCM -ly_deep_copy (SCM l) +ly_deep_copy (SCM src) { - if (gh_pair_p (l)) + if (gh_pair_p (src)) { - return gh_cons (ly_deep_copy (ly_car (l)), ly_deep_copy (ly_cdr (l))); + return gh_cons (ly_deep_copy (ly_car (src)), ly_deep_copy (ly_cdr (src))); + } + else if (gh_vector_p (src)) + { + int l = SCM_VECTOR_LENGTH (src); + SCM nv = scm_c_make_vector (l, SCM_UNDEFINED); + for (int i =0 ; i< l ; i++) + { + SCM si = gh_int2scm (i); + scm_vector_set_x (nv, si, ly_deep_copy (scm_vector_ref (src, si))); + } } else - return l; + return src; + + return src; } @@ -554,7 +468,9 @@ ly_assoc_cdr (SCM key, SCM alist) } /* - LIST has the form "sym1 sym2 sym3" + LIST has the form "sym1 sym2 sym3\nsym4\nsym5" + + i.e. \n and ' ' can be used interchangeably as separators. */ SCM parse_symbol_list (const char * list) @@ -562,9 +478,18 @@ parse_symbol_list (const char * list) char * s = strdup (list); char *orig = s; SCM create_list = SCM_EOL; + + for (char * p = s; *p; p++) + { + if (*p == '\n') + *p = ' ' ; + } + if (!s[0] ) s = 0; + + while (s) { char *next = strchr (s, ' '); @@ -602,7 +527,186 @@ ly_truncate_list (int k, SCM l ) return l; } -SCM my_gh_symbol2scm (const char* x) + +String +print_scm_val (SCM val) { - return gh_symbol2scm ((char*)x); + String realval = ly_scm2string (ly_write2scm (val)); + if (realval.length () > 200) + realval = realval.left_string (100) + "\n :\n :\n" + realval.right_string (100); + + return realval; } + +bool +type_check_assignment (SCM sym, SCM val, SCM type_symbol) +{ + bool ok = true; + + /* + Always succeeds. + + + TODO: should remove #f from allowed vals? + */ + if (val == SCM_EOL || val == SCM_BOOL_F) + return ok; + + if (!gh_symbol_p (sym)) +#if 0 + return false; +#else + /* + This is used for autoBeamSettings. + + TODO: deprecate the use of \override and \revert for + autoBeamSettings? + */ + return true; +#endif + + SCM type = scm_object_property (sym, type_symbol); + + if (type != SCM_EOL && !gh_procedure_p (type)) + { + warning (_f ("Can't find property type-check for `%s' (%s).", + ly_symbol2string (sym).to_str0 (), + ly_symbol2string (type_symbol).to_str0 ()) + + " " + _ ("Perhaps you made a typing error?")); + + /* Be strict when being anal :) */ + if (internal_type_checking_global_b) + abort (); + + warning (_ ("Doing assignment anyway.")); + } + else + { + if (val != SCM_EOL + && gh_procedure_p (type) + && gh_call1 (type, val) == SCM_BOOL_F) + { + SCM errport = scm_current_error_port (); + ok = false; + SCM typefunc = scm_primitive_eval (ly_symbol2scm ("type-name")); + SCM type_name = gh_call1 (typefunc, type); + + + scm_puts (_f ("Type check for `%s' failed; value `%s' must be of type `%s'", + ly_symbol2string (sym).to_str0 (), + print_scm_val (val), + ly_scm2string (type_name).to_str0 ()).to_str0 (), + errport); + scm_puts ("\n", errport); + } + } + return ok; +} + + +/* some SCM abbrevs + + zijn deze nou handig? + zijn ze er al in scheme, maar heten ze anders? */ + + +/* Remove doubles from (sorted) list */ +SCM +ly_unique (SCM list) +{ + SCM unique = SCM_EOL; + for (SCM i = list; gh_pair_p (i); i = ly_cdr (i)) + { + if (!gh_pair_p (ly_cdr (i)) + || !gh_equal_p (ly_car (i), ly_cadr (i))) + unique = gh_cons (ly_car (i), unique); + } + return scm_reverse_x (unique, SCM_EOL); +} + +/* tail add */ +SCM +ly_snoc (SCM s, SCM list) +{ + return gh_append2 (list, scm_list_n (s, SCM_UNDEFINED)); +} + + +/* Split list at member s, removing s. + Return (BEFORE . AFTER) */ +SCM +ly_split_list (SCM s, SCM list) +{ + SCM before = SCM_EOL; + SCM after = list; + for (; gh_pair_p (after);) + { + SCM i = ly_car (after); + after = ly_cdr (after); + if (gh_equal_p (i, s)) + break; + before = gh_cons (i, before); + } + return gh_cons ( scm_reverse_x (before, SCM_EOL), after); + +} + + +void +taint (SCM *) +{ + /* + nop. + */ +} + +/* + display stuff without using stack + */ +SCM +display_list (SCM s) +{ + SCM p = scm_current_output_port(); + + scm_puts ("(", p); + for (; gh_pair_p(s); s =gh_cdr(s)) + { + scm_display (gh_car(s), p); + scm_puts (" ", p); + } + scm_puts (")", p); + return SCM_UNSPECIFIED; +} + +Slice +int_list_to_slice (SCM l) +{ + Slice s; + s.set_empty (); + for (; gh_pair_p (l); l = gh_cdr (l)) + { + if (gh_number_p (gh_car (l))) + s.add_point (gh_scm2int (gh_car (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 && gh_pair_p (gh_cdr(l))) + l = gh_cdr (l); + + return gh_car(l); +} +