1 ;;;; music-functions.scm --
3 ;;;; source file of the GNU LilyPond music typesetter
5 ;;;; (c) 1998--2009 Jan Nieuwenhuizen <janneke@gnu.org>
6 ;;;; Han-Wen Nienhuys <hanwen@xs4all.nl>
8 ;; (use-modules (ice-9 optargs))
10 ;;; ly:music-property with setter
11 ;;; (ly:music-property my-music 'elements)
12 ;;; ==> the 'elements property
13 ;;; (set! (ly:music-property my-music 'elements) value)
14 ;;; ==> set the 'elements property and return it
15 (define-public ly:music-property
16 (make-procedure-with-setter ly:music-property
17 ly:music-set-property!))
19 (define-safe-public (music-is-of-type? mus type)
20 "Does @code{mus} belong to the music class @code{type}?"
21 (memq type (ly:music-property mus 'types)))
24 (define-public ly:grob-property
25 (make-procedure-with-setter ly:grob-property
26 ly:grob-set-property!))
28 (define-public ly:prob-property
29 (make-procedure-with-setter ly:prob-property
30 ly:prob-set-property!))
32 (define-public (music-map function music)
33 "Apply @var{function} to @var{music} and all of the music it contains.
35 First it recurses over the children, then the function is applied to MUSIC.
37 (let ((es (ly:music-property music 'elements))
38 (e (ly:music-property music 'element)))
39 (set! (ly:music-property music 'elements)
40 (map (lambda (y) (music-map function y)) es))
42 (set! (ly:music-property music 'element)
43 (music-map function e)))
46 (define-public (music-filter pred? music)
47 "Filter out music expressions that do not satisfy PRED."
49 (define (inner-music-filter pred? music)
51 (let* ((es (ly:music-property music 'elements))
52 (e (ly:music-property music 'element))
53 (as (ly:music-property music 'articulations))
54 (filtered-as (filter ly:music? (map (lambda (y) (inner-music-filter pred? y)) as)))
55 (filtered-e (if (ly:music? e)
56 (inner-music-filter pred? e)
58 (filtered-es (filter ly:music? (map (lambda (y) (inner-music-filter pred? y)) es))))
59 (set! (ly:music-property music 'element) filtered-e)
60 (set! (ly:music-property music 'elements) filtered-es)
61 (set! (ly:music-property music 'articulations) filtered-as)
62 ;; if filtering emptied the expression, we remove it completely.
63 (if (or (not (pred? music))
64 (and (eq? filtered-es '()) (not (ly:music? e))
65 (or (not (eq? es '()))
70 (set! music (inner-music-filter pred? music))
73 (make-music 'Music))) ;must return music.
75 (define-public (display-music music)
76 "Display music, not done with music-map for clarity of presentation."
80 (let ((es (ly:music-property music 'elements))
81 (e (ly:music-property music 'element)))
82 (display (ly:music-mutable-properties music))
84 (begin (display "\nElements: {\n")
85 (map display-music es)
95 ;;; A scheme music pretty printer
97 (define (markup-expression->make-markup markup-expression)
98 "Transform `markup-expression' into an equivalent, hopefuly readable, scheme expression.
100 \\markup \\bold \\italic hello
102 (markup #:line (#:bold (#:italic (#:simple \"hello\"))))"
103 (define (proc->command-keyword proc)
104 "Return a keyword, eg. `#:bold', from the `proc' function, eg. #<procedure bold-markup (layout props arg)>"
105 (let ((cmd-markup (symbol->string (procedure-name proc))))
106 (symbol->keyword (string->symbol (substring cmd-markup 0 (- (string-length cmd-markup)
107 (string-length "-markup")))))))
108 (define (transform-arg arg)
109 (cond ((and (pair? arg) (markup? (car arg))) ;; a markup list
110 (apply append (map inner-markup->make-markup arg)))
111 ((and (not (string? arg)) (markup? arg)) ;; a markup
112 (inner-markup->make-markup arg))
115 (define (inner-markup->make-markup mrkup)
118 (let ((cmd (proc->command-keyword (car mrkup)))
119 (args (map transform-arg (cdr mrkup))))
122 (if (string? markup-expression)
124 `(markup ,@(inner-markup->make-markup markup-expression))))
126 (define-public (music->make-music obj)
127 "Generate a expression that, once evaluated, may return an object equivalent to `obj',
128 that is, for a music expression, a (make-music ...) form."
129 (cond (;; markup expression
131 (markup-expression->make-markup obj))
135 ',(ly:music-property obj 'name)
136 ,@(apply append (map (lambda (prop)
138 ,(music->make-music (cdr prop))))
139 (remove (lambda (prop)
140 (eqv? (car prop) 'origin))
141 (ly:music-mutable-properties obj))))))
144 `(ly:make-moment ,(ly:moment-main-numerator obj)
145 ,(ly:moment-main-denominator obj)
146 ,(ly:moment-grace-numerator obj)
147 ,(ly:moment-grace-denominator obj)))
150 `(ly:make-duration ,(ly:duration-log obj)
151 ,(ly:duration-dot-count obj)
152 ,(car (ly:duration-factor obj))
153 ,(cdr (ly:duration-factor obj))))
156 `(ly:make-pitch ,(ly:pitch-octave obj)
157 ,(ly:pitch-notename obj)
158 ,(ly:pitch-alteration obj)))
161 (or (procedure-name obj) obj))
162 (;; a symbol (avoid having an unquoted symbol)
165 (;; an empty list (avoid having an unquoted empty list)
170 `(list ,@(map music->make-music obj)))
173 `(cons ,(music->make-music (car obj))
174 ,(music->make-music (cdr obj))))
178 (use-modules (ice-9 pretty-print))
179 (define*-public (display-scheme-music obj #:optional (port (current-output-port)))
180 "Displays `obj', typically a music expression, in a friendly fashion,
181 which often can be read back in order to generate an equivalent expression.
185 (pretty-print (music->make-music obj) port)
190 ;;; Scheme music expression --> Lily-syntax-using string translator
192 (use-modules (srfi srfi-39)
195 (define*-public (display-lily-music expr parser #:key force-duration)
196 "Display the music expression using LilyPond syntax"
197 (memoize-clef-names supported-clefs)
198 (parameterize ((*indent* 0)
199 (*previous-duration* (ly:make-duration 2))
200 (*force-duration* force-duration))
201 (display (music->lily-string expr parser))
204 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
206 (define-public (shift-one-duration-log music shift dot)
207 " add SHIFT to duration-log of 'duration in music and optionally
208 a dot to any note encountered. This scales the music up by a factor
209 2^shift * (2 - (1/2)^dot)"
210 (let ((d (ly:music-property music 'duration)))
212 (let* ((cp (ly:duration-factor d))
213 (nd (ly:make-duration (+ shift (ly:duration-log d))
214 (+ dot (ly:duration-dot-count d))
217 (set! (ly:music-property music 'duration) nd)))
220 (define-public (shift-duration-log music shift dot)
221 (music-map (lambda (x) (shift-one-duration-log x shift dot))
224 (define-public (make-repeat name times main alts)
225 "create a repeat music expression, with all properties initialized properly"
226 (define (first-note-duration music)
227 "Finds the duration of the first NoteEvent by searching depth-first
229 (if (memq 'note-event (ly:music-property music 'types))
230 (ly:music-property music 'duration)
231 (let loop ((elts (if (ly:music? (ly:music-property music 'element))
232 (list (ly:music-property music 'element))
233 (ly:music-property music 'elements))))
235 (let ((dur (first-note-duration (car elts))))
236 (if (ly:duration? dur)
238 (loop (cdr elts))))))))
240 (let ((talts (if (< times (length alts))
242 (ly:warning (_ "More alternatives than repeats. Junking excess alternatives"))
245 (r (make-repeated-music name)))
246 (set! (ly:music-property r 'element) main)
247 (set! (ly:music-property r 'repeat-count) (max times 1))
248 (set! (ly:music-property r 'elements) talts)
249 (if (equal? name "tremolo")
250 (let* ((dots (1- (logcount times)))
251 (mult (/ (* times (ash 1 dots)) (1- (ash 2 dots))))
252 (shift (- (ly:intlog2 (floor mult))))
253 (note-duration (first-note-duration r))
254 (duration-log (if (ly:duration? note-duration)
255 (ly:duration-log note-duration)
257 (tremolo-type (ash 1 duration-log)))
258 (set! (ly:music-property r 'tremolo-type) tremolo-type)
259 (if (not (integer? mult))
260 (ly:warning (_ "invalid tremolo repeat count: ~a") times))
261 (if (memq 'sequential-music (ly:music-property main 'types))
262 ;; \repeat "tremolo" { c4 d4 }
263 (let ((children (length (ly:music-property main 'elements))))
265 ;; fixme: should be more generic.
266 (if (and (not (= children 2))
267 (not (= children 1)))
268 (ly:warning (_ "expecting 2 elements for chord tremolo, found ~a") children))
269 (ly:music-compress r (ly:make-moment 1 children))
270 (shift-duration-log r
271 (if (= children 2) (1- shift) shift)
273 ;; \repeat "tremolo" c4
274 (shift-duration-log r shift dots)))
277 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
280 (define-public (note-to-cluster music)
281 "Replace NoteEvents by ClusterNoteEvents."
282 (if (eq? (ly:music-property music 'name) 'NoteEvent)
283 (make-music 'ClusterNoteEvent
284 'pitch (ly:music-property music 'pitch)
285 'duration (ly:music-property music 'duration))
288 (define-public (notes-to-clusters music)
289 (music-map note-to-cluster music))
291 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
294 (define-public (unfold-repeats music)
296 This function replaces all repeats with unfold repeats. "
298 (let ((es (ly:music-property music 'elements))
299 (e (ly:music-property music 'element))
301 (if (memq 'repeated-music (ly:music-property music 'types))
303 ((props (ly:music-mutable-properties music))
304 (old-name (ly:music-property music 'name))
305 (flattened (flatten-alist props)))
307 (set! music (apply make-music (cons 'UnfoldedRepeatedMusic
310 (if (equal? old-name 'TremoloRepeatedMusic)
311 (let* ((seq-arg? (memq 'sequential-music
312 (ly:music-property e 'types)))
313 (count (ly:music-property music 'repeat-count))
314 (dot-shift (if (= 0 (remainder count 3))
318 (set! count (* 2 (quotient count 3))))
320 (shift-duration-log music (+ (if seq-arg? 1 0)
321 (ly:intlog2 count)) dot-shift)
324 (ly:music-compress e (ly:make-moment (length (ly:music-property
325 e 'elements)) 1)))))))
329 (set! (ly:music-property music 'elements)
330 (map unfold-repeats es)))
332 (set! (ly:music-property music 'element)
336 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
337 ;; property setting music objs.
339 (define-public (make-grob-property-set grob gprop val)
340 "Make a Music expression that sets GPROP to VAL in GROB. Does a pop first,
341 i.e. this is not an override"
342 (make-music 'OverrideProperty
348 (define-public (make-grob-property-override grob gprop val)
349 "Make a Music expression that overrides GPROP to VAL in GROB."
350 (make-music 'OverrideProperty
355 (define-public (make-grob-property-revert grob gprop)
356 "Revert the grob property GPROP for GROB."
357 (make-music 'RevertProperty
359 'grob-property gprop))
361 (define direction-polyphonic-grobs
375 (define-safe-public (make-voice-props-set n)
376 (make-sequential-music
378 (map (lambda (x) (make-grob-property-set x 'direction
380 direction-polyphonic-grobs)
382 (make-property-set 'graceSettings
383 ;; TODO: take this from voicedGraceSettings or similar.
384 '((Voice Stem font-size -3)
385 (Voice NoteHead font-size -3)
386 (Voice TabNoteHead font-size -4)
387 (Voice Dots font-size -3)
388 (Voice Stem length-fraction 0.8)
389 (Voice Stem no-stem-extend #t)
390 (Voice Beam beam-thickness 0.384)
391 (Voice Beam length-fraction 0.8)
392 (Voice Accidental font-size -4)
393 (Voice AccidentalCautionary font-size -4)
394 (Voice Script font-size -3)
395 (Voice Fingering font-size -8)
396 (Voice StringNumber font-size -8)))
398 (make-grob-property-set 'NoteColumn 'horizontal-shift (quotient n 2))
399 (make-grob-property-set 'MultiMeasureRest 'staff-position (if (odd? n) -4 4))))))
401 (define-safe-public (make-voice-props-revert)
402 (make-sequential-music
404 (map (lambda (x) (make-grob-property-revert x 'direction))
405 direction-polyphonic-grobs)
406 (list (make-property-unset 'graceSettings)
407 (make-grob-property-revert 'NoteColumn 'horizontal-shift)
408 (make-grob-property-revert 'MultiMeasureRest 'staff-position)))))
411 (define-safe-public (context-spec-music m context #:optional id)
412 "Add \\context CONTEXT = ID to M. "
413 (let ((cm (make-music 'ContextSpeccedMusic
415 'context-type context)))
417 (set! (ly:music-property cm 'context-id) id))
420 (define-public (descend-to-context m context)
421 "Like context-spec-music, but only descending. "
422 (let ((cm (context-spec-music m context)))
423 (ly:music-set-property! cm 'descend-only #t)
426 (define-public (make-non-relative-music mus)
427 (make-music 'UnrelativableMusic
430 (define-public (make-apply-context func)
431 (make-music 'ApplyContext
434 (define-public (make-sequential-music elts)
435 (make-music 'SequentialMusic
438 (define-public (make-simultaneous-music elts)
439 (make-music 'SimultaneousMusic
442 (define-safe-public (make-event-chord elts)
443 (make-music 'EventChord
446 (define-public (make-skip-music dur)
447 (make-music 'SkipMusic
450 (define-public (make-grace-music music)
451 (make-music 'GraceMusic
457 (define-public (make-multi-measure-rest duration location)
458 (make-music 'MultiMeasureRestMusic
462 (define-public (make-property-set sym val)
463 (make-music 'PropertySet
467 (define-public (make-property-unset sym)
468 (make-music 'PropertyUnset
471 (define-public (make-ottava-set octavation)
472 (let ((m (make-music 'ApplyContext)))
473 (define (ottava-modify context)
474 "Either reset middleCPosition to the stored original, or remember
475 old middleCPosition, add OCTAVATION to middleCPosition, and set
476 OTTAVATION to `8va', or whatever appropriate."
477 (if (number? (ly:context-property context 'middleCOffset))
478 (let ((where (ly:context-property-where-defined context 'middleCOffset)))
479 (ly:context-unset-property where 'middleCOffset)
480 (ly:context-unset-property where 'ottavation)))
482 (let* ((offset (* -7 octavation))
483 (string (assoc-get octavation '((2 . "15ma")
488 (ly:context-set-property! context 'middleCOffset offset)
489 (ly:context-set-property! context 'ottavation string)
490 (ly:set-middle-C! context)))
491 (set! (ly:music-property m 'procedure) ottava-modify)
492 (context-spec-music m 'Staff)))
494 (define-public (set-octavation ottavation)
495 (ly:export (make-ottava-set ottavation)))
497 ;;; Need to keep this definition for \time calls from parser
498 (define-public (make-time-signature-set num den)
499 "Set properties for time signature NUM/DEN."
500 (make-beam-rule-time-signature-set num den '()))
502 ;;; Used for calls that include beat-grouping setting
503 (define-public (set-time-signature num den . rest)
504 "Set properties for time signature @var{num/den}.
505 If @var{rest} is present, it is used to make a default
506 @code{beamSetting} rule."
507 (ly:export (apply make-beam-rule-time-signature-set
508 (list num den rest))))
510 (define-public (make-beam-rule-time-signature-set num den rest)
511 "Implement settings for new time signature. Can be
512 called from either make-time-signature-set (used by \time
513 in parser) or set-time-signature (called from scheme code
514 included in .ly file."
516 (define (make-default-beaming-rule context)
517 (override-property-setting
520 (list (cons num den) 'end)
521 (list (cons '* (car rest)))))
523 (let* ((set1 (make-property-set 'timeSignatureFraction (cons num den)))
524 (beat (ly:make-moment 1 den))
525 (len (ly:make-moment num den))
526 (set2 (make-property-set 'beatLength beat))
527 (set3 (make-property-set 'measureLength len))
531 (list (make-apply-context make-default-beaming-rule))))
532 (output (cons* set1 set2 set3 beaming-rule)))
535 (make-sequential-music output)
539 (define-public (make-mark-set label)
540 "Make the music for the \\mark command."
541 (let* ((set (if (integer? label)
542 (context-spec-music (make-property-set 'rehearsalMark label)
545 (ev (make-music 'MarkEvent))
546 (ch (make-event-chord (list ev))))
548 (make-sequential-music (list set ch))
550 (set! (ly:music-property ev 'label) label)
553 (define-safe-public (make-articulation name)
554 (make-music 'ArticulationEvent
555 'articulation-type name))
557 (define-public (make-lyric-event string duration)
558 (make-music 'LyricEvent
562 (define-safe-public (make-span-event type span-dir)
564 'span-direction span-dir))
566 (define-public (override-head-style heads style)
567 "Override style for @var{heads} to @var{style}."
568 (make-sequential-music
571 (make-grob-property-override h 'style style))
573 (list (make-grob-property-override heads 'style style)))))
575 (define-public (revert-head-style heads)
576 "Revert style for @var{heads}."
577 (make-sequential-music
580 (make-grob-property-revert h 'style))
582 (list (make-grob-property-revert heads 'style)))))
584 (define-public (style-note-heads heads style music)
585 "Set @var{style} for all @var{heads} in @var{music}. Works both
586 inside of and outside of chord construct."
587 ;; are we inside a <...>?
588 (if (eq? (ly:music-property music 'name) 'NoteEvent)
589 ;; yes -> use a tweak
591 (set! (ly:music-property music 'tweaks)
592 (acons 'style style (ly:music-property music 'tweaks)))
594 ;; not in <...>, so use overrides
595 (make-sequential-music
597 (override-head-style heads style)
599 (revert-head-style heads)))))
601 (define-public (set-mus-properties! m alist)
602 "Set all of ALIST as properties of M."
605 (set! (ly:music-property m (caar alist)) (cdar alist))
606 (set-mus-properties! m (cdr alist)))))
608 (define-public (music-separator? m)
610 (let ((ts (ly:music-property m 'types)))
611 (memq 'separator ts)))
613 ;;; splitting chords into voices.
614 (define (voicify-list lst number)
615 "Make a list of Musics.
617 voicify-list :: [ [Music ] ] -> number -> [Music]
618 LST is a list music-lists.
620 NUMBER is 0-base, i.e. Voice=1 (upstems) has number 0.
624 (cons (context-spec-music
625 (make-sequential-music
626 (list (make-voice-props-set number)
627 (make-simultaneous-music (car lst))))
628 'Bottom (number->string (1+ number)))
629 (voicify-list (cdr lst) (1+ number)))))
631 (define (voicify-chord ch)
632 "Split the parts of a chord into different Voices using separator"
633 (let ((es (ly:music-property ch 'elements)))
634 (set! (ly:music-property ch 'elements)
635 (voicify-list (split-list-by-separator es music-separator?) 0))
638 (define-public (voicify-music m)
639 "Recursively split chords that are separated with \\ "
640 (if (not (ly:music? m))
641 (ly:error (_ "music expected: ~S") m))
642 (let ((es (ly:music-property m 'elements))
643 (e (ly:music-property m 'element)))
646 (set! (ly:music-property m 'elements) (map voicify-music es)))
648 (set! (ly:music-property m 'element) (voicify-music e)))
649 (if (and (equal? (ly:music-property m 'name) 'SimultaneousMusic)
650 (reduce (lambda (x y ) (or x y)) #f (map music-separator? es)))
651 (set! m (context-spec-music (voicify-chord m) 'Staff)))
654 (define-public (empty-music)
655 (ly:export (make-music 'Music)))
657 ;; Make a function that checks score element for being of a specific type.
658 (define-public (make-type-checker symbol)
660 (not (eq? #f (memq symbol (ly:grob-property elt 'interfaces))))))
662 (define-public ((outputproperty-compatibility func sym val) grob g-context ao-context)
664 (set! (ly:grob-property grob sym) val)))
667 (define-public ((set-output-property grob-name symbol val) grob grob-c context)
670 \\applyoutput #(set-output-property 'Clef 'extra-offset '(0 . 1))
673 (let ((meta (ly:grob-property grob 'meta)))
674 (if (equal? (assoc-get 'name meta) grob-name)
675 (set! (ly:grob-property grob symbol) val))))
679 (define-public (smart-bar-check n)
680 "Make a bar check that checks for a specific bar number.
682 (let ((m (make-music 'ApplyContext)))
684 (let* ((bn (ly:context-property tr 'currentBarNumber)))
688 ;; FIXME: uncomprehensable message
689 (_ "Bar check failed. Expect to be at ~a, instead at ~a")
691 (set! (ly:music-property m 'procedure) checker)
695 (define-public (skip->rest mus)
697 "Replace MUS by RestEvent of the same duration if it is a
698 SkipEvent. Useful for extracting parts from crowded scores"
700 (if (memq (ly:music-property mus 'name) '(SkipEvent SkipMusic))
701 (make-music 'RestEvent 'duration (ly:music-property mus 'duration))
705 (define-public (music-has-type music type)
706 (memq type (ly:music-property music 'types)))
708 (define-public (music-clone music)
709 (define (alist->args alist acc)
712 (alist->args (cdr alist)
713 (cons (caar alist) (cons (cdar alist) acc)))))
717 (ly:music-property music 'name)
718 (alist->args (ly:music-mutable-properties music) '())))
720 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
721 ;; warn for bare chords at start.
724 (define-public (ly:music-message music msg)
725 (let ((ip (ly:music-property music 'origin)))
726 (if (ly:input-location? ip)
727 (ly:input-message ip msg)
730 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
732 ;; setting stuff for grace context.
735 (define (vector-extend v x)
736 "Make a new vector consisting of V, with X added to the end."
737 (let* ((n (vector-length v))
738 (nv (make-vector (+ n 1) '())))
739 (vector-move-left! v 0 n nv 0)
743 (define (vector-map f v)
744 "Map F over V. This function returns nothing."
745 (do ((n (vector-length v))
748 (f (vector-ref v i))))
750 (define (vector-reverse-map f v)
751 "Map F over V, N to 0 order. This function returns nothing."
752 (do ((i (- (vector-length v) 1) (- i 1)))
754 (f (vector-ref v i))))
756 (define-public (add-grace-property context-name grob sym val)
757 "Set SYM=VAL for GROB in CONTEXT-NAME. "
758 (define (set-prop context)
759 (let* ((where (ly:context-property-where-defined context 'graceSettings))
760 (current (ly:context-property where 'graceSettings))
761 (new-settings (append current
762 (list (list context-name grob sym val)))))
763 (ly:context-set-property! where 'graceSettings new-settings)))
764 (ly:export (context-spec-music (make-apply-context set-prop) 'Voice)))
766 (define-public (remove-grace-property context-name grob sym)
767 "Remove all SYM for GROB in CONTEXT-NAME. "
768 (define (sym-grob-context? property sym grob context-name)
769 (and (eq? (car property) context-name)
770 (eq? (cadr property) grob)
771 (eq? (caddr property) sym)))
772 (define (delete-prop context)
773 (let* ((where (ly:context-property-where-defined context 'graceSettings))
774 (current (ly:context-property where 'graceSettings))
775 (prop-settings (filter
776 (lambda(x) (sym-grob-context? x sym grob context-name))
778 (new-settings current))
780 (set! new-settings (delete x new-settings)))
782 (ly:context-set-property! where 'graceSettings new-settings)))
783 (ly:export (context-spec-music (make-apply-context delete-prop) 'Voice)))
787 (defmacro-public def-grace-function (start stop . docstring)
788 "Helper macro for defining grace music"
789 `(define-music-function (parser location music) (ly:music?)
791 (make-music 'GraceMusic
793 'element (make-music 'SequentialMusic
794 'elements (list (ly:music-deep-copy ,start)
796 (ly:music-deep-copy ,stop))))))
798 (defmacro-public define-music-function (args signature . body)
799 "Helper macro for `ly:make-music-function'.
801 (define-music-function (parser location arg1 arg2 ...) (arg1-type? arg2-type? ...)
804 (if (and (pair? body) (pair? (car body)) (eqv? '_i (caar body)))
805 ;; When the music function definition contains a i10n doc string,
806 ;; (_i "doc string"), keep the literal string only
807 (let ((docstring (cadar body))
809 `(ly:make-music-function (list ,@signature)
813 `(ly:make-music-function (list ,@signature)
818 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
820 (define-public (cue-substitute quote-music)
821 "Must happen after quote-substitute."
823 (if (vector? (ly:music-property quote-music 'quoted-events))
824 (let* ((dir (ly:music-property quote-music 'quoted-voice-direction))
825 (main-voice (if (eq? 1 dir) 1 0))
826 (cue-voice (if (eq? 1 dir) 0 1))
827 (main-music (ly:music-property quote-music 'element))
828 (return-value quote-music))
830 (if (or (eq? 1 dir) (eq? -1 dir))
832 ;; if we have stem dirs, change both quoted and main music
833 ;; to have opposite stems.
837 ;; cannot context-spec Quote-music, since context
838 ;; for the quotes is determined in the iterator.
839 (make-sequential-music
841 (context-spec-music (make-voice-props-set cue-voice) 'CueVoice "cue")
843 (context-spec-music (make-voice-props-revert) 'CueVoice "cue"))))
845 (make-sequential-music
847 (make-voice-props-set main-voice)
849 (make-voice-props-revert))))
850 (set! (ly:music-property quote-music 'element) main-music)))
855 (define-public ((quote-substitute quote-tab) music)
856 (let* ((quoted-name (ly:music-property music 'quoted-music-name))
857 (quoted-vector (if (string? quoted-name)
858 (hash-ref quote-tab quoted-name #f)
862 (if (string? quoted-name)
863 (if (vector? quoted-vector)
865 (set! (ly:music-property music 'quoted-events) quoted-vector)
866 (set! (ly:music-property music 'iterator-ctor)
867 ly:quote-iterator::constructor))
868 (ly:warning (_ "cannot find quoted music: `~S'") quoted-name)))
872 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
873 ;; switch it on here, so parsing and init isn't checked (too slow!)
875 ;; automatic music transformations.
877 (define (switch-on-debugging m)
878 (if (defined? 'set-debug-cell-accesses!)
879 (set-debug-cell-accesses! 15000))
882 (define (music-check-error music)
885 (if (and (ly:music? m)
886 (eq? (ly:music-property m 'error-found) #t))
889 (for-each signal (ly:music-property music 'elements))
890 (signal (ly:music-property music 'element))
893 (set! (ly:music-property music 'error-found) #t))
896 (define (precompute-music-length music)
897 (set! (ly:music-property music 'length)
898 (ly:music-length music))
901 (define-public (make-duration-of-length moment)
902 "Make duration of the given MOMENT length."
903 (ly:make-duration 0 0
904 (ly:moment-main-numerator moment)
905 (ly:moment-main-denominator moment)))
907 (define (skip-this moment)
908 "set skipTypesetting, make SkipMusic of the given MOMENT length,
909 and then unset skipTypesetting."
910 (make-sequential-music
912 (context-spec-music (make-property-set 'skipTypesetting #t)
914 (make-music 'SkipMusic 'duration
915 (make-duration-of-length moment))
916 (context-spec-music (make-property-set 'skipTypesetting #f)
919 (define (unskip-this moment)
920 "unset skipTypesetting, make SkipMusic of the given MOMENT length,
921 and then set skipTypesetting."
922 (make-sequential-music
924 (context-spec-music (make-property-set 'skipTypesetting #f)
926 (make-music 'SkipMusic 'duration
927 (make-duration-of-length moment))
928 (context-spec-music (make-property-set 'skipTypesetting #t)
931 (define (skip-as-needed music parser)
933 << { \\set skipTypesetting = ##f
934 LENGTHOF(\\showFirstLength)
935 \\set skipTypesetting = ##t
936 LENGTHOF(\\showLastLength) }
940 When only showFirstLength is set,
941 the 'length property of the music is
942 overridden to speed up compiling."
944 ((show-last (ly:parser-lookup parser 'showLastLength))
945 (show-first (ly:parser-lookup parser 'showFirstLength)))
948 ;; both properties may be set.
949 ((and (ly:music? show-first) (ly:music? show-last))
951 ((orig-length (ly:music-length music))
952 (skip-length (ly:moment-sub orig-length (ly:music-length show-last)))
953 (begin-length (ly:music-length show-first)))
954 (make-simultaneous-music
956 (make-sequential-music
958 (skip-this skip-length)
959 ;; let's draw a separator between the beginning and the end
960 (context-spec-music (make-property-set 'whichBar "||")
962 (unskip-this begin-length)
965 ;; we may only want to print the last length
966 ((ly:music? show-last)
968 ((orig-length (ly:music-length music))
969 (skip-length (ly:moment-sub orig-length (ly:music-length show-last))))
970 (make-simultaneous-music
972 (skip-this skip-length)
975 ;; we may only want to print the beginning; in this case
976 ;; only the first length will be processed (much faster).
977 ((ly:music? show-first)
979 ((orig-length (ly:music-length music))
980 (begin-length (ly:music-length show-first)))
981 ;; the first length must not exceed the original length.
982 (if (ly:moment<? begin-length orig-length)
983 (set! (ly:music-property music 'length)
984 (ly:music-length show-first)))
990 (define-public toplevel-music-functions
992 (lambda (music parser) (voicify-music music))
993 (lambda (x parser) (music-map music-check-error x))
994 (lambda (x parser) (music-map precompute-music-length x))
995 (lambda (music parser)
997 (music-map (quote-substitute (ly:parser-lookup parser 'musicQuotes)) music))
999 ;; switch-on-debugging
1000 (lambda (x parser) (music-map cue-substitute x))
1003 (skip-as-needed x parser)
1007 ;;; general purpose music functions
1009 (define (shift-octave pitch octave-shift)
1010 (_i "Add @var{octave-shift} to the octave of @var{pitch}.")
1012 (+ (ly:pitch-octave pitch) octave-shift)
1013 (ly:pitch-notename pitch)
1014 (ly:pitch-alteration pitch)))
1020 (define (apply-durations lyric-music durations)
1021 (define (apply-duration music)
1022 (if (and (not (equal? (ly:music-length music) ZERO-MOMENT))
1023 (ly:duration? (ly:music-property music 'duration)))
1025 (set! (ly:music-property music 'duration) (car durations))
1026 (set! durations (cdr durations)))))
1028 (music-map apply-duration lyric-music))
1031 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
1034 (define (recent-enough? bar-number alteration-def laziness)
1035 (if (or (number? alteration-def)
1036 (equal? laziness #t))
1038 (<= bar-number (+ (cadr alteration-def) laziness))))
1040 (define (is-tied? alteration-def)
1041 (let* ((def (if (pair? alteration-def)
1042 (car alteration-def)
1045 (if (equal? def 'tied) #t #f)))
1047 (define (extract-alteration alteration-def)
1048 (cond ((number? alteration-def)
1050 ((pair? alteration-def)
1051 (car alteration-def))
1054 (define (check-pitch-against-signature context pitch barnum laziness octaveness)
1055 "Checks the need for an accidental and a @q{restore} accidental against
1056 @code{localKeySignature}. The @var{laziness} is the number of measures
1057 for which reminder accidentals are used (i.e., if @var{laziness} is zero,
1058 only cancel accidentals in the same measure; if @var{laziness} is three,
1059 we cancel accidentals up to three measures after they first appear.
1060 @var{octaveness} is either @code{'same-octave} or @code{'any-octave} and
1061 specifies whether accidentals should be canceled in different octaves."
1062 (let* ((ignore-octave (cond ((equal? octaveness 'any-octave) #t)
1063 ((equal? octaveness 'same-octave) #f)
1065 (ly:warning (_ "Unknown octaveness type: ~S ") octaveness)
1066 (ly:warning (_ "Defaulting to 'any-octave."))
1068 (key-sig (ly:context-property context 'keySignature))
1069 (local-key-sig (ly:context-property context 'localKeySignature))
1070 (notename (ly:pitch-notename pitch))
1071 (octave (ly:pitch-octave pitch))
1072 (pitch-handle (cons octave notename))
1074 (need-accidental #f)
1075 (previous-alteration #f)
1076 (from-other-octaves #f)
1077 (from-same-octave (ly:assoc-get pitch-handle local-key-sig))
1078 (from-key-sig (ly:assoc-get notename local-key-sig)))
1080 ;; If no key signature match is found from localKeySignature, we may have a custom
1081 ;; type with octave-specific entries of the form ((octave . pitch) alteration)
1082 ;; instead of (pitch . alteration). Since this type cannot coexist with entries in
1083 ;; localKeySignature, try extracting from keySignature instead.
1084 (if (equal? from-key-sig #f)
1085 (set! from-key-sig (ly:assoc-get pitch-handle key-sig)))
1087 ;; loop through localKeySignature to search for a notename match from other octaves
1088 (let loop ((l local-key-sig))
1090 (let ((entry (car l)))
1091 (if (and (pair? (car entry))
1092 (= (cdar entry) notename))
1093 (set! from-other-octaves (cdr entry))
1096 ;; find previous alteration-def for comparison with pitch
1098 ;; from same octave?
1099 ((and (eq? ignore-octave #f)
1100 (not (equal? from-same-octave #f))
1101 (recent-enough? barnum from-same-octave laziness))
1102 (set! previous-alteration from-same-octave))
1105 ((and (eq? ignore-octave #t)
1106 (not (equal? from-other-octaves #f))
1107 (recent-enough? barnum from-other-octaves laziness))
1108 (set! previous-alteration from-other-octaves))
1110 ;; not recent enough, extract from key signature/local key signature
1111 ((not (equal? from-key-sig #f))
1112 (set! previous-alteration from-key-sig)))
1114 (if (is-tied? previous-alteration)
1115 (set! need-accidental #t)
1117 (let* ((prev-alt (extract-alteration previous-alteration))
1118 (this-alt (ly:pitch-alteration pitch)))
1120 (if (not (= this-alt prev-alt))
1122 (set! need-accidental #t)
1123 (if (and (not (= this-alt 0))
1124 (or (< (abs this-alt) (abs prev-alt))
1125 (< (* prev-alt this-alt) 0)))
1126 (set! need-restore #t))))))
1128 (cons need-restore need-accidental)))
1130 (define-public ((make-accidental-rule octaveness laziness) context pitch barnum measurepos)
1131 "Creates an accidental rule that makes its decision based on the octave of the note
1132 and a laziness value.
1133 octaveness is either 'same-octave or 'any-octave and defines whether the rule should
1134 respond to accidental changes in other octaves than the current. 'same-octave is the
1135 normal way to typeset accidentals - an accidental is made if the alteration is different
1136 from the last active pitch in the same octave. 'any-octave looks at the last active pitch
1138 laziness states over how many bars an accidental should be remembered.
1139 0 is default - accidental lasts over 0 bar lines, that is, to the end of current measure.
1140 A positive integer means that the accidental lasts over that many bar lines.
1141 -1 is 'forget immediately', that is, only look at key signature.
1143 (check-pitch-against-signature context pitch barnum laziness octaveness))
1145 (define (key-entry-notename entry)
1146 "Return the pitch of an entry in localKeySignature. The entry is either of the form
1147 '(notename . alter) or '((octave . notename) . (alter barnum . measurepos))."
1148 (if (number? (car entry))
1152 (define (key-entry-octave entry)
1153 "Return the octave of an entry in localKeySignature (or #f if the entry does not have
1155 (and (pair? (car entry)) (caar entry)))
1157 (define (key-entry-bar-number entry)
1158 "Return the bar number of an entry in localKeySignature (or #f if the entry does not
1159 have a bar number)."
1160 (and (pair? (car entry)) (caddr entry)))
1162 (define (key-entry-measure-position entry)
1163 "Return the measure position of an entry in localKeySignature (or #f if the entry does
1164 not have a measure position)."
1165 (and (pair? (car entry)) (cdddr entry)))
1167 (define (key-entry-alteration entry)
1168 "Return the alteration of an entry in localKeySignature."
1169 (if (number? (car entry))
1173 (define-public (find-pitch-entry keysig pitch accept-global accept-local)
1174 "Return the first entry in keysig that matches the pitch.
1175 accept-global states whether key signature entries should be included.
1176 accept-local states whether local accidentals should be included.
1177 if no matching entry is found, #f is returned."
1179 (let* ((entry (car keysig))
1180 (entryoct (key-entry-octave entry))
1181 (entrynn (key-entry-notename entry))
1182 (oct (ly:pitch-octave pitch))
1183 (nn (ly:pitch-notename pitch)))
1184 (if (and (equal? nn entrynn)
1185 (or (and accept-global (equal? #f entryoct))
1186 (and accept-local (equal? oct entryoct))))
1188 (find-pitch-entry (cdr keysig) pitch accept-global accept-local)))
1191 (define-public (neo-modern-accidental-rule context pitch barnum measurepos)
1192 "an accidental rule that typesets an accidental if it differs from the key signature
1193 AND does not directly follow a note on the same staff-line.
1194 This rule should not be used alone because it does neither look at bar lines
1195 nor different accidentals at the same notename"
1196 (let* ((keysig (ly:context-property context 'localKeySignature))
1197 (entry (find-pitch-entry keysig pitch #t #t)))
1198 (if (equal? #f entry)
1200 (let* ((global-entry (find-pitch-entry keysig pitch #t #f))
1201 (key-acc (if (equal? global-entry #f)
1203 (key-entry-alteration global-entry)))
1204 (acc (ly:pitch-alteration pitch))
1205 (entrymp (key-entry-measure-position entry))
1206 (entrybn (key-entry-bar-number entry)))
1207 (cons #f (not (or (equal? acc key-acc)
1208 (and (equal? entrybn barnum) (equal? entrymp measurepos)))))))))
1210 (define-public (teaching-accidental-rule context pitch barnum measurepos)
1211 "an accidental rule that typesets a cautionary accidental
1212 if it is included in the key signature AND does not directly follow
1213 a note on the same staff-line."
1214 (let* ((keysig (ly:context-property context 'localKeySignature))
1215 (entry (find-pitch-entry keysig pitch #t #t)))
1216 (if (equal? #f entry)
1218 (let* ((global-entry (find-pitch-entry keysig pitch #f #f))
1219 (key-acc (if (equal? global-entry #f)
1221 (key-entry-alteration global-entry)))
1222 (acc (ly:pitch-alteration pitch))
1223 (entrymp (key-entry-measure-position entry))
1224 (entrybn (key-entry-bar-number entry)))
1225 (cons #f (not (or (equal? acc key-acc)
1226 (and (equal? entrybn barnum) (equal? entrymp measurepos)))))))))
1228 (define-public (set-accidentals-properties extra-natural
1229 auto-accs auto-cauts
1232 (make-sequential-music
1233 (append (if (boolean? extra-natural)
1234 (list (make-property-set 'extraNatural extra-natural))
1236 (list (make-property-set 'autoAccidentals auto-accs)
1237 (make-property-set 'autoCautionaries auto-cauts))))
1240 (define-public (set-accidental-style style . rest)
1241 "Set accidental style to STYLE. Optionally takes a context argument,
1242 e.g. 'Staff or 'Voice. The context defaults to Staff, except for piano styles, which
1243 use GrandStaff as a context. "
1244 (let ((context (if (pair? rest)
1246 (pcontext (if (pair? rest)
1247 (car rest) 'GrandStaff)))
1250 ;; accidentals as they were common in the 18th century.
1251 ((equal? style 'default)
1252 (set-accidentals-properties #t
1253 `(Staff ,(make-accidental-rule 'same-octave 0))
1256 ;; accidentals from one voice do NOT get cancelled in other voices
1257 ((equal? style 'voice)
1258 (set-accidentals-properties #t
1259 `(Voice ,(make-accidental-rule 'same-octave 0))
1262 ;; accidentals as suggested by Kurt Stone, Music Notation in the 20th century.
1263 ;; This includes all the default accidentals, but accidentals also needs cancelling
1264 ;; in other octaves and in the next measure.
1265 ((equal? style 'modern)
1266 (set-accidentals-properties #f
1267 `(Staff ,(make-accidental-rule 'same-octave 0)
1268 ,(make-accidental-rule 'any-octave 0)
1269 ,(make-accidental-rule 'same-octave 1))
1272 ;; the accidentals that Stone adds to the old standard as cautionaries
1273 ((equal? style 'modern-cautionary)
1274 (set-accidentals-properties #f
1275 `(Staff ,(make-accidental-rule 'same-octave 0))
1276 `(Staff ,(make-accidental-rule 'any-octave 0)
1277 ,(make-accidental-rule 'same-octave 1))
1279 ;; same as modern, but accidentals different from the key signature are always
1280 ;; typeset - unless they directly follow a note of the same pitch.
1281 ((equal? style 'neo-modern)
1282 (set-accidentals-properties #f
1283 `(Staff ,(make-accidental-rule 'same-octave 0)
1284 ,(make-accidental-rule 'any-octave 0)
1285 ,(make-accidental-rule 'same-octave 1)
1286 ,neo-modern-accidental-rule)
1289 ((equal? style 'neo-modern-cautionary)
1290 (set-accidentals-properties #f
1291 `(Staff ,(make-accidental-rule 'same-octave 0))
1292 `(Staff ,(make-accidental-rule 'any-octave 0)
1293 ,(make-accidental-rule 'same-octave 1)
1294 ,neo-modern-accidental-rule)
1296 ;; Accidentals as they were common in dodecaphonic music with no tonality.
1297 ;; Each note gets one accidental.
1298 ((equal? style 'dodecaphonic)
1299 (set-accidentals-properties #f
1300 `(Staff ,(lambda (c p bn mp) '(#f . #t)))
1303 ;; Multivoice accidentals to be read both by musicians playing one voice
1304 ;; and musicians playing all voices.
1305 ;; Accidentals are typeset for each voice, but they ARE cancelled across voices.
1306 ((equal? style 'modern-voice)
1307 (set-accidentals-properties #f
1308 `(Voice ,(make-accidental-rule 'same-octave 0)
1309 ,(make-accidental-rule 'any-octave 0)
1310 ,(make-accidental-rule 'same-octave 1)
1311 Staff ,(make-accidental-rule 'same-octave 0)
1312 ,(make-accidental-rule 'any-octave 0)
1313 ,(make-accidental-rule 'same-octave 1))
1316 ;; same as modernVoiceAccidental eccept that all special accidentals are typeset
1318 ((equal? style 'modern-voice-cautionary)
1319 (set-accidentals-properties #f
1320 `(Voice ,(make-accidental-rule 'same-octave 0))
1321 `(Voice ,(make-accidental-rule 'any-octave 0)
1322 ,(make-accidental-rule 'same-octave 1)
1323 Staff ,(make-accidental-rule 'same-octave 0)
1324 ,(make-accidental-rule 'any-octave 0)
1325 ,(make-accidental-rule 'same-octave 1))
1327 ;; stone's suggestions for accidentals on grand staff.
1328 ;; Accidentals are cancelled across the staves in the same grand staff as well
1329 ((equal? style 'piano)
1330 (set-accidentals-properties #f
1331 `(Staff ,(make-accidental-rule 'same-octave 0)
1332 ,(make-accidental-rule 'any-octave 0)
1333 ,(make-accidental-rule 'same-octave 1)
1335 ,(make-accidental-rule 'any-octave 0)
1336 ,(make-accidental-rule 'same-octave 1))
1339 ((equal? style 'piano-cautionary)
1340 (set-accidentals-properties #f
1341 `(Staff ,(make-accidental-rule 'same-octave 0))
1342 `(Staff ,(make-accidental-rule 'any-octave 0)
1343 ,(make-accidental-rule 'same-octave 1)
1345 ,(make-accidental-rule 'any-octave 0)
1346 ,(make-accidental-rule 'same-octave 1))
1349 ;; same as modern, but cautionary accidentals are printed for all sharp or flat
1350 ;; tones specified by the key signature.
1351 ((equal? style 'teaching)
1352 (set-accidentals-properties #f
1353 `(Staff ,(make-accidental-rule 'same-octave 0))
1354 `(Staff ,(make-accidental-rule 'same-octave 1)
1355 ,teaching-accidental-rule)
1358 ;; do not set localKeySignature when a note alterated differently from
1359 ;; localKeySignature is found.
1360 ;; Causes accidentals to be printed at every note instead of
1361 ;; remembered for the duration of a measure.
1362 ;; accidentals not being remembered, causing accidentals always to
1363 ;; be typeset relative to the time signature
1364 ((equal? style 'forget)
1365 (set-accidentals-properties '()
1366 `(Staff ,(make-accidental-rule 'same-octave -1))
1369 ;; Do not reset the key at the start of a measure. Accidentals will be
1370 ;; printed only once and are in effect until overridden, possibly many
1372 ((equal? style 'no-reset)
1373 (set-accidentals-properties '()
1374 `(Staff ,(make-accidental-rule 'same-octave #t))
1378 (ly:warning (_ "unknown accidental style: ~S") style)
1379 (make-sequential-music '()))))))
1381 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
1383 (define-public (skip-of-length mus)
1384 "Create a skip of exactly the same length as MUS."
1388 'duration (ly:make-duration 0 0))))
1390 (make-event-chord (list (ly:music-compress skip (ly:music-length mus))))))
1392 (define-public (mmrest-of-length mus)
1393 "Create a mmrest of exactly the same length as MUS."
1396 (make-multi-measure-rest
1397 (ly:make-duration 0 0) '())))
1398 (ly:music-compress skip (ly:music-length mus))
1401 (define-public (pitch-of-note event-chord)
1404 ((evs (filter (lambda (x) (memq 'note-event (ly:music-property x 'types)))
1405 (ly:music-property event-chord 'elements))))
1408 (ly:music-property (car evs) 'pitch)
1411 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
1413 (define-public (extract-named-music music music-name)
1414 "Return a flat list of all music named @code{music-name}
1416 (let ((extracted-list
1417 (if (ly:music? music)
1418 (if (eq? (ly:music-property music 'name) music-name)
1420 (let ((elt (ly:music-property music 'element))
1421 (elts (ly:music-property music 'elements)))
1423 (extract-named-music elt music-name)
1427 (extract-named-music x music-name ))
1430 (flatten-list extracted-list)))
1432 (define-public (event-chord-notes event-chord)
1433 "Return a list of all notes from @{event-chord}."
1435 (lambda (m) (eq? 'NoteEvent (ly:music-property m 'name)))
1436 (ly:music-property event-chord 'elements)))
1438 (define-public (event-chord-pitches event-chord)
1439 "Return a list of all pitches from @{event-chord}."
1440 (map (lambda (x) (ly:music-property x 'pitch))
1441 (event-chord-notes event-chord)))