2 lily-guile.cc -- implement assorted guile functions
4 source file of the GNU LilyPond music typesetter
6 (c) 1998--2004 Jan Nieuwenhuizen <janneke@gnu.org>
7 Han-Wen Nienhuys <hanwen@cs.uu.nl>
13 #include <math.h> /* isinf */
14 #include <string.h> /* strdup, strchr */
17 #include "lily-proto.hh"
21 source-file.hh includes cmath which undefines isinf and isnan
23 FIXME: #ifdef MACOS_X?
25 inline int my_isinf (Real r) { return isinf (r); }
26 inline int my_isnan (Real r) { return isnan (r); }
29 #include "libc-extension.hh"
30 #include "lily-guile.hh"
32 #include "file-path.hh"
34 #include "direction.hh"
36 #include "interval.hh"
38 #include "dimensions.hh"
39 #include "source-file.hh"
46 return ly_car (scm_last_pair (list));
53 SCM port = scm_mkstrport (SCM_INUM0,
54 scm_make_string (SCM_INUM0, SCM_UNDEFINED),
57 // SCM write = scm_eval_3 (ly_symbol2scm ("write"), s, SCM_EOL);
58 SCM write = scm_primitive_eval (ly_symbol2scm ("write"));
60 // scm_apply (write, port, SCM_EOL);
61 scm_call_2 (write, s, port);
62 return scm_strport_to_string (port);
69 return scm_list_n (ly_symbol2scm ("quote"), s, SCM_UNDEFINED);
73 ly_symbol2string (SCM s)
75 assert (ly_c_symbol_p (s));
76 return String ((Byte*)SCM_STRING_CHARS (s), (int) SCM_STRING_LENGTH (s));
80 gulp_file_to_string (String fn)
82 String s = global_path.find (fn);
85 String e = _f ("can't find file: `%s'", fn);
87 e += _f ("(load path: `%s')", global_path.to_string ());
90 else if (verbose_global_b)
91 progress_indication ("[" + s);
94 char * str = gulp_file (s, &n);
99 progress_indication ("]");
104 LY_DEFINE (ly_gulp_file, "ly:gulp-file",
106 "Read the file @var{name}, and return its contents in a string. "
107 "The file is looked up using the search path.")
109 SCM_ASSERT_TYPE (ly_c_string_p (name), name, SCM_ARG1, __FUNCTION__, "string");
110 return scm_makfrom0str (gulp_file_to_string (ly_scm2string (name)).to_str0 ());
115 // maybe gdb 5.0 becomes quicker if it doesn't do fancy C++ typing?
117 ly_display_scm (SCM s)
119 scm_display (s, scm_current_output_port ());
120 scm_newline (scm_current_output_port ());
125 ly_scm2string (SCM s)
127 assert (ly_c_string_p (s));
129 char *p = SCM_STRING_CHARS (s);
135 ly_scm2newstr (SCM str, size_t *lenp)
140 SCM_ASSERT_TYPE (ly_c_string_p (str), str, SCM_ARG1, __FUNCTION__, "string");
142 len = SCM_STRING_LENGTH (str);
143 new_str = (char *) malloc ((len + 1) * sizeof (char));
148 memcpy (new_str, SCM_STRING_CHARS (str), len);
158 index_get_cell (SCM s, Direction d)
162 return (d == LEFT) ? ly_car (s) : ly_cdr (s);
166 index_set_cell (SCM s, Direction d, SCM v)
169 scm_set_car_x (s, v);
171 scm_set_cdr_x (s, v);
175 LY_DEFINE (ly_warn, "ly:warn",
177 "Scheme callable function to issue the warning @code{msg}.")
179 SCM_ASSERT_TYPE (ly_c_string_p (str), str, SCM_ARG1, __FUNCTION__, "string");
180 progress_indication ("\n");
181 warning ("lily-guile: " + ly_scm2string (str));
185 LY_DEFINE (ly_dir_p, "ly:dir?",
187 "type predicate. A direction is @code{-1}, @code{0} or "
188 "@code{1}, where @code{-1} represents "
189 "left or down and @code{1} represents right or up.")
191 if (ly_c_number_p (s))
193 int i = ly_scm2int (s);
194 return (i>= -1 && i <= 1) ? SCM_BOOL_T : SCM_BOOL_F;
200 is_number_pair (SCM p)
202 return ly_c_pair_p (p)
203 && ly_c_number_p (ly_car (p)) && ly_c_number_p (ly_cdr (p));
206 typedef void (*Void_fptr) ();
207 Array<Void_fptr> *scm_init_funcs_;
209 void add_scm_init_func (void (*f) ())
211 if (!scm_init_funcs_)
212 scm_init_funcs_ = new Array<Void_fptr>;
214 scm_init_funcs_->push (f);
218 ly_init_ly_module (void *)
220 for (int i=scm_init_funcs_->size () ; i--;)
221 (scm_init_funcs_->elem (i)) ();
223 if (verbose_global_b)
224 progress_indication ("\n");
226 scm_primitive_load_path (scm_makfrom0str ("lily.scm"));
229 SCM global_lily_module;
234 global_lily_module = scm_c_define_module ("lily", ly_init_ly_module, 0);
235 scm_c_use_module ("lily");
241 return scm_ihashv (s, ~1u);
247 if (ly_c_number_p (s))
249 int i = ly_scm2int (s);
250 return i>= -1 && i <= 1;
258 if (ly_c_number_p (s))
260 int i = ly_scm2int (s);
261 return i== 0 || i == 1;
269 return SCM_INUMP (s) ? (Direction) ly_scm2int (s) : CENTER;
273 ly_scm2interval (SCM p)
275 return Interval (ly_scm2double (ly_car (p)), ly_scm2double (ly_cdr (p)));
279 ly_scm2realdrul (SCM p)
281 return Drul_array<Real> (ly_scm2double (ly_car (p)),
282 ly_scm2double (ly_cdr (p)));
286 ly_interval2scm (Drul_array<Real> i)
288 return scm_cons (scm_make_real (i[LEFT]), scm_make_real (i[RIGHT]));
294 return ly_c_boolean_p (s) && ly_scm2bool (s);
297 /* Appendable list L: the cdr contains the list, the car the last cons
302 SCM s = scm_cons (SCM_EOL, SCM_EOL);
303 scm_set_car_x (s, s);
309 appendable_list_append (SCM l, SCM elt)
311 SCM newcons = scm_cons (elt, SCM_EOL);
313 scm_set_cdr_x (ly_car (l), newcons);
314 scm_set_car_x (l, newcons);
318 ly_offset2scm (Offset o)
320 return scm_cons (scm_make_real (o[X_AXIS]), scm_make_real (o[Y_AXIS]));
324 ly_scm2offset (SCM s)
326 return Offset (ly_scm2double (ly_car (s)),
327 ly_scm2double (ly_cdr (s)));
330 LY_DEFINE (ly_number2string, "ly:number->string",
332 "Convert @var{num} to a string without generating many decimals.")
334 SCM_ASSERT_TYPE (ly_c_number_p (s), s, SCM_ARG1, __FUNCTION__, "number");
336 char str[400]; // ugh.
338 if (scm_exact_p (s) == SCM_BOOL_F)
340 Real r (ly_scm2double (s));
342 if (my_isinf (r) || my_isnan (r))
344 programming_error ("Infinity or NaN encountered while converting Real number; setting to zero.");
348 sprintf (str, "%08.4f", r);
351 sprintf (str, "%d", ly_scm2int (s));
353 return scm_makfrom0str (str);
358 LY_DEFINE (ly_version, "ly:version", 0, 0, 0, (),
359 "Return the current lilypond version as a list, e.g. @code{(1 3 127 uu1)}. ")
361 char const* vs = "\'(" MAJOR_VERSION " " MINOR_VERSION " " PATCH_LEVEL " " MY_PATCH_LEVEL ")" ;
363 return scm_c_eval_string ((char*)vs);
366 LY_DEFINE (ly_unit, "ly:unit", 0, 0, 0, (),
367 "Return the unit used for lengths as a string.")
369 return scm_makfrom0str (INTERNAL_UNIT);
374 LY_DEFINE (ly_dimension_p, "ly:dimension?", 1, 0, 0, (SCM d),
375 "Return @var{d} is a number. Used to distinguish length "
376 "variables from normal numbers.")
378 return scm_number_p (d);
382 ly_deep_copy (SCM src)
384 if (ly_c_pair_p (src))
385 return scm_cons (ly_deep_copy (ly_car (src)), ly_deep_copy (ly_cdr (src)));
386 else if (ly_c_vector_p (src))
388 int len = SCM_VECTOR_LENGTH (src);
389 SCM nv = scm_c_make_vector (len, SCM_UNDEFINED);
390 for (int i =0 ; i < len ; i++)
392 SCM si = scm_int2num (i);
393 scm_vector_set_x (nv, si, ly_deep_copy (scm_vector_ref (src, si)));
403 ly_assoc_chain (SCM key, SCM achain)
405 if (ly_c_pair_p (achain))
407 SCM handle = scm_assoc (key, ly_car (achain));
408 if (ly_c_pair_p (handle))
411 return ly_assoc_chain (key, ly_cdr (achain));
417 /* looks the key up in the cdrs of the alist-keys
418 - ignoring the car and ignoring non-pair keys.
419 Returns first match found, i.e.
427 I would like (ly_assoc_cdr 1) to return 12 - because it's the first
428 element with the cdr of the key = 1. In other words (alloc_cdr key)
431 (alloc (anything . key))
437 ly_assoc_cdr (SCM key, SCM alist)
439 if (ly_c_pair_p (alist))
441 SCM trykey = ly_caar (alist);
442 if (ly_c_pair_p (trykey) && to_boolean (scm_equal_p (key, ly_cdr (trykey))))
443 return ly_car (alist);
445 return ly_assoc_cdr (key, ly_cdr (alist));
450 /* LST has the form "sym1 sym2 sym3\nsym4\nsym5"
451 i.e. \n and ' ' can be used interchangeably as separators. */
453 parse_symbol_list (char const *lst)
455 char *s = strdup (lst);
457 SCM create_list = SCM_EOL;
459 char * e = s + strlen (s) - 1;
460 while (e >= s && isspace (*e))
463 for (char * p = s; *p; p++)
472 char *next = strchr (s, ' ');
476 create_list = scm_cons (ly_symbol2scm (s), create_list);
485 ly_truncate_list (int k, SCM lst)
493 for (; ly_c_pair_p (s) && k--; s = ly_cdr (s))
497 scm_set_cdr_x (s, SCM_EOL);
503 print_scm_val (SCM val)
505 String realval = ly_scm2string (ly_write2scm (val));
506 if (realval.length () > 200)
507 realval = realval.left_string (100)
509 + realval.right_string (100);
514 type_check_assignment (SCM sym, SCM val, SCM type_symbol)
522 TODO: should remove #f from allowed vals?
524 if (val == SCM_EOL || val == SCM_BOOL_F)
527 if (!ly_c_symbol_p (sym))
532 This is used for autoBeamSettings.
534 TODO: deprecate the use of \override and \revert for
537 or use a symbol autoBeamSettingS?
542 SCM type = scm_object_property (sym, type_symbol);
544 if (type != SCM_EOL && !ly_c_procedure_p (type))
546 warning (_f ("Can't find property type-check for `%s' (%s).",
547 ly_symbol2string (sym).to_str0 (),
548 ly_symbol2string (type_symbol).to_str0 ())
549 + " " + _ ("Perhaps you made a typing error?"));
551 /* Be strict when being anal :) */
552 if (internal_type_checking_global_b)
555 warning (_ ("Doing assignment anyway."));
560 && ly_c_procedure_p (type)
561 && scm_call_1 (type, val) == SCM_BOOL_F)
563 SCM errport = scm_current_error_port ();
565 SCM typefunc = ly_scheme_function ("type-name");
566 SCM type_name = scm_call_1 (typefunc, type);
569 scm_puts (_f ("Type check for `%s' failed; value `%s' must be of type `%s'",
570 ly_symbol2string (sym).to_str0 (),
572 ly_scm2string (type_name).to_str0 ()).to_str0 (),
574 scm_puts ("\n", errport);
583 zijn deze nou handig?
584 zijn ze er al in scheme, maar heten ze anders? */
587 /* Remove doubles from (sorted) list */
591 SCM unique = SCM_EOL;
592 for (SCM i = list; ly_c_pair_p (i); i = ly_cdr (i))
594 if (!ly_c_pair_p (ly_cdr (i))
595 || !ly_c_equal_p (ly_car (i), ly_cadr (i)))
596 unique = scm_cons (ly_car (i), unique);
598 return scm_reverse_x (unique, SCM_EOL);
603 scm_default_compare (void const *a, void const *b)
609 return pa < pb ? -1 : 1;
612 /* Modify LST in place: qsort it. */
614 ly_list_qsort_uniq_x (SCM lst)
616 int len = scm_ilength (lst);
617 SCM *arr = new SCM[len];
619 for (SCM s = lst; SCM_NNULLP (s); s = SCM_CDR (s))
620 arr[k++] = SCM_CAR (s);
623 qsort (arr, len, sizeof (SCM), &scm_default_compare);
626 for (int i = 0; i < len; i++)
627 if (!i || arr[i] != arr[i - 1])
629 SCM_SETCAR (*tail, arr[i]);
630 tail = SCM_CDRLOC (*tail);
642 ly_snoc (SCM s, SCM list)
644 return ly_append2 (list, scm_list_n (s, SCM_UNDEFINED));
647 /* Split list at member s, removing s.
648 Return (BEFORE . AFTER) */
650 ly_split_list (SCM s, SCM list)
652 SCM before = SCM_EOL;
654 for (; ly_c_pair_p (after);)
656 SCM i = ly_car (after);
657 after = ly_cdr (after);
658 if (ly_c_equal_p (i, s))
660 before = scm_cons (i, before);
662 return scm_cons ( scm_reverse_x (before, SCM_EOL), after);
676 display stuff without using stack
681 SCM p = scm_current_output_port ();
684 for (; ly_c_pair_p (s); s =ly_cdr (s))
686 scm_display (ly_car (s), p);
690 return SCM_UNSPECIFIED;
694 int_list_to_slice (SCM l)
698 for (; ly_c_pair_p (l); l = ly_cdr (l))
699 if (ly_c_number_p (ly_car (l)))
700 s.add_point (ly_scm2int (ly_car (l)));
704 /* Return I-th element, or last elt L. If I < 0, then we take the first
707 PRE: length (L) > 0 */
709 robust_list_ref (int i, SCM l)
711 while (i-- > 0 && ly_c_pair_p (ly_cdr (l)))
717 robust_scm2double (SCM k, double x)
719 if (ly_c_number_p (k))
720 x = ly_scm2double (k);
725 robust_scm2interval (SCM k, Drul_array<Real> v)
730 if (is_number_pair (k))
731 i = ly_scm2interval (k);
736 robust_scm2drul (SCM k, Drul_array<Real> v)
738 if (is_number_pair (k))
739 v = ly_scm2interval (k);
744 robust_scm2offset (SCM k, Offset o)
746 if (is_number_pair (k))
747 o = ly_scm2offset (k);
752 robust_scm2int (SCM k, int o)
754 if (scm_integer_p (k) == SCM_BOOL_T)
760 alist_to_hashq (SCM alist)
762 int i = scm_ilength (alist);
764 return scm_make_vector (scm_int2num (0), SCM_EOL);
766 SCM tab = scm_make_vector (scm_int2num (i), SCM_EOL);
767 for (SCM s = alist; ly_c_pair_p (s); s = ly_cdr (s))
769 SCM pt = ly_cdar (s);
770 scm_hashq_set_x (tab, ly_caar (s), pt);
779 LY_DEFINE (ly_protects, "ly:protects", 0, 0, 0, (),
780 "Return hash of protected objects.")