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>
8 Han-Wen Nienhuys <hanwen@cs.uu.nl>
14 #include <math.h> /* isinf */
15 #include <string.h> /* strdup, strchr */
18 #include "lily-proto.hh"
22 source-file.hh includes cmath which undefines isinf and isnan
24 FIXME: #ifdef MACOS_X?
26 inline int my_isinf (Real r
) { return isinf (r
); }
27 inline int my_isnan (Real r
) { return isnan (r
); }
30 #include "libc-extension.hh"
31 #include "lily-guile.hh"
33 #include "file-path.hh"
35 #include "direction.hh"
37 #include "interval.hh"
39 #include "dimensions.hh"
40 #include "source-file.hh"
47 return ly_car (scm_last_pair (list
));
54 SCM port
= scm_mkstrport (SCM_INUM0
,
55 scm_make_string (SCM_INUM0
, SCM_UNDEFINED
),
58 // SCM write = scm_eval_3 (ly_symbol2scm ("write"), s, SCM_EOL);
59 SCM write
= scm_primitive_eval (ly_symbol2scm ("write"));
61 // scm_apply (write, port, SCM_EOL);
62 scm_call_2 (write
, s
, port
);
63 return scm_strport_to_string (port
);
70 return scm_list_n (ly_symbol2scm ("quote"), s
, SCM_UNDEFINED
);
74 ly_symbol2string (SCM s
)
76 assert (ly_c_symbol_p (s
));
77 return String ((Byte
*)SCM_STRING_CHARS (s
), (int) SCM_STRING_LENGTH (s
));
81 gulp_file_to_string (String fn
)
83 String s
= global_path
.find (fn
);
86 String e
= _f ("can't find file: `%s'", fn
);
88 e
+= _f ("(load path: `%s')", global_path
.to_string ());
91 else if (verbose_global_b
)
92 progress_indication ("[" + s
);
95 char * str
= gulp_file (s
, &n
);
100 progress_indication ("]");
105 LY_DEFINE (ly_gulp_file
, "ly:gulp-file",
107 "Read the file @var{name}, and return its contents in a string. "
108 "The file is looked up using the search path.")
110 SCM_ASSERT_TYPE (ly_c_string_p (name
), name
, SCM_ARG1
, __FUNCTION__
, "string");
111 return scm_makfrom0str (gulp_file_to_string (ly_scm2string (name
)).to_str0 ());
116 // maybe gdb 5.0 becomes quicker if it doesn't do fancy C++ typing?
118 ly_display_scm (SCM s
)
120 scm_display (s
, scm_current_output_port ());
121 scm_newline (scm_current_output_port ());
126 ly_scm2string (SCM s
)
128 assert (ly_c_string_p (s
));
130 char *p
= SCM_STRING_CHARS (s
);
136 ly_scm2newstr (SCM str
, size_t *lenp
)
141 SCM_ASSERT_TYPE (ly_c_string_p (str
), str
, SCM_ARG1
, __FUNCTION__
, "string");
143 len
= SCM_STRING_LENGTH (str
);
144 new_str
= (char *) malloc ((len
+ 1) * sizeof (char));
149 memcpy (new_str
, SCM_STRING_CHARS (str
), len
);
159 index_get_cell (SCM s
, Direction d
)
163 return (d
== LEFT
) ? ly_car (s
) : ly_cdr (s
);
167 index_set_cell (SCM s
, Direction d
, SCM v
)
170 scm_set_car_x (s
, v
);
172 scm_set_cdr_x (s
, v
);
176 LY_DEFINE (ly_warning
,"ly:warn", 1, 0, 0,
177 (SCM str
), "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?", 1,0, 0, (SCM s
),
186 "type predicate. A direction is @code{-1}, @code{0} or "
187 "@code{1}, where @code{-1} represents "
188 "left or down and @code{1} represents right or up.")
190 if (ly_c_number_p (s
))
192 int i
= ly_scm2int (s
);
193 return (i
>= -1 && i
<= 1) ? SCM_BOOL_T
: SCM_BOOL_F
;
199 is_number_pair (SCM p
)
201 return ly_c_pair_p (p
) && ly_c_number_p (ly_car (p
)) && ly_c_number_p (ly_cdr (p
));
204 typedef void (*Void_fptr
) ();
205 Array
<Void_fptr
> *scm_init_funcs_
;
207 void add_scm_init_func (void (*f
) ())
209 if (!scm_init_funcs_
)
210 scm_init_funcs_
= new Array
<Void_fptr
>;
212 scm_init_funcs_
->push (f
);
217 ly_init_ly_module (void *)
219 for (int i
=scm_init_funcs_
->size () ; i
--;)
220 (scm_init_funcs_
->elem (i
)) ();
222 if (verbose_global_b
)
223 progress_indication ("\n");
225 scm_primitive_load_path (scm_makfrom0str ("lily.scm"));
228 SCM global_lily_module
;
233 global_lily_module
= scm_c_define_module ("lily", ly_init_ly_module
, 0);
234 scm_c_use_module ("lily");
237 unsigned int ly_scm_hash (SCM s
)
239 return scm_ihashv (s
, ~1u);
247 if (ly_c_number_p (s
))
249 int i
= ly_scm2int (s
);
250 return i
>= -1 && i
<= 1;
259 if (ly_c_number_p (s
))
261 int i
= ly_scm2int (s
);
262 return i
== 0 || i
== 1;
270 return SCM_INUMP (s
) ? (Direction
) ly_scm2int (s
) : CENTER
;
274 ly_scm2interval (SCM p
)
276 return Interval (ly_scm2double (ly_car (p
)), ly_scm2double (ly_cdr (p
)));
280 ly_scm2realdrul (SCM p
)
282 return Drul_array
<Real
> (ly_scm2double (ly_car (p
)),
283 ly_scm2double (ly_cdr (p
)));
287 ly_interval2scm (Drul_array
<Real
> i
)
289 return scm_cons (scm_make_real (i
[LEFT
]), scm_make_real (i
[RIGHT
]));
295 return ly_c_boolean_p (s
) && ly_scm2bool (s
);
298 /* Appendable list L: the cdr contains the list, the car the last cons
303 SCM s
= scm_cons (SCM_EOL
, SCM_EOL
);
304 scm_set_car_x (s
, s
);
310 appendable_list_append (SCM l
, SCM elt
)
312 SCM newcons
= scm_cons (elt
, SCM_EOL
);
314 scm_set_cdr_x (ly_car (l
), newcons
);
315 scm_set_car_x (l
, newcons
);
320 ly_offset2scm (Offset o
)
322 return scm_cons (scm_make_real (o
[X_AXIS
]), scm_make_real (o
[Y_AXIS
]));
326 ly_scm2offset (SCM s
)
328 return Offset (ly_scm2double (ly_car (s
)),
329 ly_scm2double (ly_cdr (s
)));
333 LY_DEFINE (ly_number2string
, "ly:number->string",
335 "Convert @var{num} to a string without generating many decimals.")
337 SCM_ASSERT_TYPE (ly_c_number_p (s
), s
, SCM_ARG1
, __FUNCTION__
, "number");
339 char str
[400]; // ugh.
341 if (scm_exact_p (s
) == SCM_BOOL_F
)
343 Real
r (ly_scm2double (s
));
345 if (my_isinf (r
) || my_isnan (r
))
347 programming_error ("Infinity or NaN encountered while converting Real number; setting to zero.");
351 sprintf (str
, "%08.4f", r
);
354 sprintf (str
, "%d", ly_scm2int (s
));
356 return scm_makfrom0str (str
);
361 LY_DEFINE (ly_version
, "ly:version", 0, 0, 0, (),
362 "Return the current lilypond version as a list, e.g. @code{(1 3 127 uu1)}. ")
364 char const* vs
= "\'(" MAJOR_VERSION
" " MINOR_VERSION
" " PATCH_LEVEL
" " MY_PATCH_LEVEL
")" ;
366 return scm_c_eval_string ((char*)vs
);
369 LY_DEFINE (ly_unit
, "ly:unit", 0, 0, 0, (),
370 "Return the unit used for lengths as a string.")
372 return scm_makfrom0str (INTERNAL_UNIT
);
377 LY_DEFINE (ly_dimension_p
, "ly:dimension?", 1, 0, 0, (SCM d
),
378 "Return @var{d} is a number. Used to distinguish length "
379 "variables from normal numbers.")
381 return scm_number_p (d
);
385 ly_deep_copy (SCM src
)
387 if (ly_c_pair_p (src
))
388 return scm_cons (ly_deep_copy (ly_car (src
)), ly_deep_copy (ly_cdr (src
)));
389 else if (ly_c_vector_p (src
))
391 int len
= SCM_VECTOR_LENGTH (src
);
392 SCM nv
= scm_c_make_vector (len
, SCM_UNDEFINED
);
393 for (int i
=0 ; i
< len
; i
++)
395 SCM si
= scm_int2num (i
);
396 scm_vector_set_x (nv
, si
, ly_deep_copy (scm_vector_ref (src
, si
)));
406 ly_assoc_chain (SCM key
, SCM achain
)
408 if (ly_c_pair_p (achain
))
410 SCM handle
= scm_assoc (key
, ly_car (achain
));
411 if (ly_c_pair_p (handle
))
414 return ly_assoc_chain (key
, ly_cdr (achain
));
420 /* looks the key up in the cdrs of the alist-keys
421 - ignoring the car and ignoring non-pair keys.
422 Returns first match found, i.e.
430 I would like (ly_assoc_cdr 1) to return 12 - because it's the first
431 element with the cdr of the key = 1. In other words (alloc_cdr key)
434 (alloc (anything . key))
440 ly_assoc_cdr (SCM key
, SCM alist
)
442 if (ly_c_pair_p (alist
))
444 SCM trykey
= ly_caar (alist
);
445 if (ly_c_pair_p (trykey
) && to_boolean (scm_equal_p (key
, ly_cdr (trykey
))))
446 return ly_car (alist
);
448 return ly_assoc_cdr (key
, ly_cdr (alist
));
453 /* LST has the form "sym1 sym2 sym3\nsym4\nsym5"
454 i.e. \n and ' ' can be used interchangeably as separators. */
456 parse_symbol_list (char const *lst
)
458 char *s
= strdup (lst
);
460 SCM create_list
= SCM_EOL
;
462 char * e
= s
+ strlen (s
) - 1;
463 while (e
>= s
&& isspace (*e
))
466 for (char * p
= s
; *p
; p
++)
475 char *next
= strchr (s
, ' ');
479 create_list
= scm_cons (ly_symbol2scm (s
), create_list
);
488 ly_truncate_list (int k
, SCM lst
)
496 for (; ly_c_pair_p (s
) && k
--; s
= ly_cdr (s
))
500 scm_set_cdr_x (s
, SCM_EOL
);
506 print_scm_val (SCM val
)
508 String realval
= ly_scm2string (ly_write2scm (val
));
509 if (realval
.length () > 200)
510 realval
= realval
.left_string (100)
512 + realval
.right_string (100);
517 type_check_assignment (SCM sym
, SCM val
, SCM type_symbol
)
525 TODO: should remove #f from allowed vals?
527 if (val
== SCM_EOL
|| val
== SCM_BOOL_F
)
530 if (!ly_c_symbol_p (sym
))
535 This is used for autoBeamSettings.
537 TODO: deprecate the use of \override and \revert for
540 or use a symbol autoBeamSettingS?
545 SCM type
= scm_object_property (sym
, type_symbol
);
547 if (type
!= SCM_EOL
&& !ly_c_procedure_p (type
))
549 warning (_f ("Can't find property type-check for `%s' (%s).",
550 ly_symbol2string (sym
).to_str0 (),
551 ly_symbol2string (type_symbol
).to_str0 ())
552 + " " + _ ("Perhaps you made a typing error?"));
554 /* Be strict when being anal :) */
555 if (internal_type_checking_global_b
)
558 warning (_ ("Doing assignment anyway."));
563 && ly_c_procedure_p (type
)
564 && scm_call_1 (type
, val
) == SCM_BOOL_F
)
566 SCM errport
= scm_current_error_port ();
568 SCM typefunc
= ly_scheme_function ("type-name");
569 SCM type_name
= scm_call_1 (typefunc
, type
);
572 scm_puts (_f ("Type check for `%s' failed; value `%s' must be of type `%s'",
573 ly_symbol2string (sym
).to_str0 (),
575 ly_scm2string (type_name
).to_str0 ()).to_str0 (),
577 scm_puts ("\n", errport
);
586 zijn deze nou handig?
587 zijn ze er al in scheme, maar heten ze anders? */
590 /* Remove doubles from (sorted) list */
594 SCM unique
= SCM_EOL
;
595 for (SCM i
= list
; ly_c_pair_p (i
); i
= ly_cdr (i
))
597 if (!ly_c_pair_p (ly_cdr (i
))
598 || !ly_c_equal_p (ly_car (i
), ly_cadr (i
)))
599 unique
= scm_cons (ly_car (i
), unique
);
601 return scm_reverse_x (unique
, SCM_EOL
);
606 scm_default_compare (void const *a
, void const *b
)
612 return pa
< pb
? -1 : 1;
615 /* Modify LST in place: qsort it. */
617 ly_list_qsort_uniq_x (SCM lst
)
619 int len
= scm_ilength (lst
);
620 SCM
*arr
= new SCM
[len
];
622 for (SCM s
= lst
; SCM_NNULLP (s
); s
= SCM_CDR (s
))
623 arr
[k
++] = SCM_CAR (s
);
626 qsort (arr
, len
, sizeof (SCM
), &scm_default_compare
);
629 for (int i
= 0; i
< len
; i
++)
630 if (!i
|| arr
[i
] != arr
[i
- 1])
632 SCM_SETCAR (*tail
, arr
[i
]);
633 tail
= SCM_CDRLOC (*tail
);
645 ly_snoc (SCM s
, SCM list
)
647 return ly_append2 (list
, scm_list_n (s
, SCM_UNDEFINED
));
650 /* Split list at member s, removing s.
651 Return (BEFORE . AFTER) */
653 ly_split_list (SCM s
, SCM list
)
655 SCM before
= SCM_EOL
;
657 for (; ly_c_pair_p (after
);)
659 SCM i
= ly_car (after
);
660 after
= ly_cdr (after
);
661 if (ly_c_equal_p (i
, s
))
663 before
= scm_cons (i
, before
);
665 return scm_cons ( scm_reverse_x (before
, SCM_EOL
), after
);
679 display stuff without using stack
684 SCM p
= scm_current_output_port ();
687 for (; ly_c_pair_p (s
); s
=ly_cdr (s
))
689 scm_display (ly_car (s
), p
);
693 return SCM_UNSPECIFIED
;
697 int_list_to_slice (SCM l
)
701 for (; ly_c_pair_p (l
); l
= ly_cdr (l
))
702 if (ly_c_number_p (ly_car (l
)))
703 s
.add_point (ly_scm2int (ly_car (l
)));
707 /* Return I-th element, or last elt L. If I < 0, then we take the first
710 PRE: length (L) > 0 */
712 robust_list_ref (int i
, SCM l
)
714 while (i
-- > 0 && ly_c_pair_p (ly_cdr (l
)))
720 robust_scm2double (SCM k
, double x
)
722 if (ly_c_number_p (k
))
723 x
= ly_scm2double (k
);
728 robust_scm2interval (SCM k
, Drul_array
<Real
> v
)
733 if (is_number_pair (k
))
734 i
= ly_scm2interval (k
);
739 robust_scm2drul (SCM k
, Drul_array
<Real
> v
)
741 if (is_number_pair (k
))
742 v
= ly_scm2interval (k
);
747 robust_scm2offset (SCM k
, Offset o
)
749 if (is_number_pair (k
))
750 o
= ly_scm2offset (k
);
755 robust_scm2int (SCM k
, int o
)
757 if (scm_integer_p (k
) == SCM_BOOL_T
)
763 alist_to_hashq (SCM alist
)
765 int i
= scm_ilength (alist
);
767 return scm_make_vector (scm_int2num (0), SCM_EOL
);
769 SCM tab
= scm_make_vector (scm_int2num (i
), SCM_EOL
);
770 for (SCM s
= alist
; ly_c_pair_p (s
); s
= ly_cdr (s
))
772 SCM pt
= ly_cdar (s
);
773 scm_hashq_set_x (tab
, ly_caar (s
), pt
);
782 LY_DEFINE (ly_protects
, "ly:protects", 0, 0, 0, (),
783 "Return hash of protected objects.")