1 ;;;; This file is part of LilyPond, the GNU music typesetter.
3 ;;;; Copyright (C) 1998--2011 Jan Nieuwenhuizen <janneke@gnu.org>
4 ;;;; Han-Wen Nienhuys <hanwen@xs4all.nl>
6 ;;;; LilyPond is free software: you can redistribute it and/or modify
7 ;;;; it under the terms of the GNU General Public License as published by
8 ;;;; the Free Software Foundation, either version 3 of the License, or
9 ;;;; (at your option) any later version.
11 ;;;; LilyPond is distributed in the hope that it will be useful,
12 ;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
13 ;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 ;;;; GNU General Public License for more details.
16 ;;;; You should have received a copy of the GNU General Public License
17 ;;;; along with LilyPond. If not, see <http://www.gnu.org/licenses/>.
19 ;; (use-modules (ice-9 optargs))
21 ;;; ly:music-property with setter
22 ;;; (ly:music-property my-music 'elements)
23 ;;; ==> the 'elements property
24 ;;; (set! (ly:music-property my-music 'elements) value)
25 ;;; ==> set the 'elements property and return it
26 (define-public ly:music-property
27 (make-procedure-with-setter ly:music-property
28 ly:music-set-property!))
30 (define-safe-public (music-is-of-type? mus type)
31 "Does @code{mus} belong to the music class @code{type}?"
32 (memq type (ly:music-property mus 'types)))
35 (define-public ly:grob-property
36 (make-procedure-with-setter ly:grob-property
37 ly:grob-set-property!))
39 (define-public ly:grob-object
40 (make-procedure-with-setter ly:grob-object
43 (define-public ly:grob-parent
44 (make-procedure-with-setter ly:grob-parent
47 (define-public ly:prob-property
48 (make-procedure-with-setter ly:prob-property
49 ly:prob-set-property!))
51 (define-public ly:context-property
52 (make-procedure-with-setter ly:context-property
53 ly:context-set-property!))
55 (define-public (music-map function music)
56 "Apply @var{function} to @var{music} and all of the music it contains.
58 First it recurses over the children, then the function is applied to
60 (let ((es (ly:music-property music 'elements))
61 (e (ly:music-property music 'element)))
62 (set! (ly:music-property music 'elements)
63 (map (lambda (y) (music-map function y)) es))
65 (set! (ly:music-property music 'element)
66 (music-map function e)))
69 (define-public (music-filter pred? music)
70 "Filter out music expressions that do not satisfy @var{pred?}."
72 (define (inner-music-filter pred? music)
74 (let* ((es (ly:music-property music 'elements))
75 (e (ly:music-property music 'element))
76 (as (ly:music-property music 'articulations))
77 (filtered-as (filter ly:music? (map (lambda (y) (inner-music-filter pred? y)) as)))
78 (filtered-e (if (ly:music? e)
79 (inner-music-filter pred? e)
81 (filtered-es (filter ly:music? (map (lambda (y) (inner-music-filter pred? y)) es))))
82 (set! (ly:music-property music 'element) filtered-e)
83 (set! (ly:music-property music 'elements) filtered-es)
84 (set! (ly:music-property music 'articulations) filtered-as)
85 ;; if filtering emptied the expression, we remove it completely.
86 (if (or (not (pred? music))
87 (and (eq? filtered-es '()) (not (ly:music? e))
88 (or (not (eq? es '()))
93 (set! music (inner-music-filter pred? music))
96 (make-music 'Music))) ;must return music.
98 (define-public (display-music music)
99 "Display music, not done with @code{music-map} for clarity of
104 (let ((es (ly:music-property music 'elements))
105 (e (ly:music-property music 'element)))
106 (display (ly:music-mutable-properties music))
108 (begin (display "\nElements: {\n")
109 (map display-music es)
119 ;;; A scheme music pretty printer
121 (define (markup-expression->make-markup markup-expression)
122 "Transform `markup-expression' into an equivalent, hopefuly readable, scheme expression.
124 \\markup \\bold \\italic hello
126 (markup #:line (#:bold (#:italic (#:simple \"hello\"))))"
127 (define (proc->command-keyword proc)
128 "Return a keyword, eg. `#:bold', from the `proc' function, eg. #<procedure bold-markup (layout props arg)>"
129 (let ((cmd-markup (symbol->string (procedure-name proc))))
130 (symbol->keyword (string->symbol (substring cmd-markup 0 (- (string-length cmd-markup)
131 (string-length "-markup")))))))
132 (define (transform-arg arg)
133 (cond ((and (pair? arg) (markup? (car arg))) ;; a markup list
134 (apply append (map inner-markup->make-markup arg)))
135 ((and (not (string? arg)) (markup? arg)) ;; a markup
136 (inner-markup->make-markup arg))
138 (music->make-music arg))))
139 (define (inner-markup->make-markup mrkup)
142 (let ((cmd (proc->command-keyword (car mrkup)))
143 (args (map transform-arg (cdr mrkup))))
146 (if (string? markup-expression)
148 `(markup ,@(inner-markup->make-markup markup-expression))))
150 (define-public (music->make-music obj)
151 "Generate an expression that, once evaluated, may return an object
152 equivalent to @var{obj}, that is, for a music expression, a
153 @code{(make-music ...)} form."
154 (cond (;; markup expression
156 (markup-expression->make-markup obj))
160 ',(ly:music-property obj 'name)
161 ,@(apply append (map (lambda (prop)
163 ,(music->make-music (cdr prop))))
164 (remove (lambda (prop)
165 (eqv? (car prop) 'origin))
166 (ly:music-mutable-properties obj))))))
169 `(ly:make-moment ,(ly:moment-main-numerator obj)
170 ,(ly:moment-main-denominator obj)
171 ,(ly:moment-grace-numerator obj)
172 ,(ly:moment-grace-denominator obj)))
175 `(ly:make-duration ,(ly:duration-log obj)
176 ,(ly:duration-dot-count obj)
177 ,(car (ly:duration-factor obj))
178 ,(cdr (ly:duration-factor obj))))
181 `(ly:make-pitch ,(ly:pitch-octave obj)
182 ,(ly:pitch-notename obj)
183 ,(ly:pitch-alteration obj)))
186 (or (procedure-name obj) obj))
187 (;; a symbol (avoid having an unquoted symbol)
190 (;; an empty list (avoid having an unquoted empty list)
195 `(list ,@(map music->make-music obj)))
198 `(cons ,(music->make-music (car obj))
199 ,(music->make-music (cdr obj))))
203 (use-modules (ice-9 pretty-print))
204 (define*-public (display-scheme-music obj #:optional (port (current-output-port)))
205 "Displays `obj', typically a music expression, in a friendly fashion,
206 which often can be read back in order to generate an equivalent expression.
210 (pretty-print (music->make-music obj) port)
215 ;;; Scheme music expression --> Lily-syntax-using string translator
217 (use-modules (srfi srfi-39)
220 (define*-public (display-lily-music expr parser #:key force-duration)
221 "Display the music expression using LilyPond syntax"
222 (memoize-clef-names supported-clefs)
223 (parameterize ((*indent* 0)
224 (*previous-duration* (ly:make-duration 2))
225 (*force-duration* force-duration))
226 (display (music->lily-string expr parser))
229 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
231 (define-public (shift-one-duration-log music shift dot)
232 "Add @var{shift} to @code{duration-log} of @code{'duration} in
233 @var{music} and optionally @var{dot} to any note encountered. This
234 scales the music up by a factor `2^@var{shift} * (2 - (1/2)^@var{dot})'."
235 (let ((d (ly:music-property music 'duration)))
237 (let* ((cp (ly:duration-factor d))
238 (nd (ly:make-duration (+ shift (ly:duration-log d))
239 (+ dot (ly:duration-dot-count d))
242 (set! (ly:music-property music 'duration) nd)))
245 (define-public (shift-duration-log music shift dot)
246 (music-map (lambda (x) (shift-one-duration-log x shift dot))
249 (define-public (make-repeat name times main alts)
250 "Create a repeat music expression, with all properties initialized
252 (define (first-note-duration music)
253 "Finds the duration of the first NoteEvent by searching depth-first
255 (if (memq 'note-event (ly:music-property music 'types))
256 (ly:music-property music 'duration)
257 (let loop ((elts (if (ly:music? (ly:music-property music 'element))
258 (list (ly:music-property music 'element))
259 (ly:music-property music 'elements))))
261 (let ((dur (first-note-duration (car elts))))
262 (if (ly:duration? dur)
264 (loop (cdr elts))))))))
266 (let ((talts (if (< times (length alts))
268 (ly:warning (_ "More alternatives than repeats. Junking excess alternatives"))
271 (r (make-repeated-music name)))
272 (set! (ly:music-property r 'element) main)
273 (set! (ly:music-property r 'repeat-count) (max times 1))
274 (set! (ly:music-property r 'elements) talts)
275 (if (and (equal? name "tremolo")
276 (or (pair? (ly:music-property main 'elements))
277 (ly:music? (ly:music-property main 'element))))
278 ;; This works for single-note and multi-note tremolos!
279 (let* ((children (if (music-is-of-type? main 'sequential-music)
280 ;; \repeat tremolo n { ... }
281 (length (ly:music-property main 'elements))
282 ;; \repeat tremolo n c4
284 ;; # of dots is equal to the 1 in bitwise representation (minus 1)!
285 (dots (1- (logcount (* times children))))
286 ;; The remaining missing multiplicator to scale the notes by
288 (mult (/ (* times children (ash 1 dots)) (1- (ash 2 dots))))
289 (shift (- (ly:intlog2 (floor mult))))
290 (note-duration (first-note-duration r))
291 (duration-log (if (ly:duration? note-duration)
292 (ly:duration-log note-duration)
294 (tremolo-type (ash 1 duration-log)))
295 (set! (ly:music-property r 'tremolo-type) tremolo-type)
296 (if (not (integer? mult))
297 (ly:warning (_ "invalid tremolo repeat count: ~a") times))
298 ;; Adjust the time of the notes
299 (ly:music-compress r (ly:make-moment 1 children))
300 ;; Adjust the displayed note durations
301 (shift-duration-log r shift dots))
304 (define (calc-repeat-slash-count music)
305 "Given the child-list @var{music} in @code{PercentRepeatMusic},
306 calculate the number of slashes based on the durations. Returns @code{0}
307 if durations in in @var{music} vary, allowing slash beats and double-percent
308 beats to be distinguished."
309 (let* ((durs (map (lambda (elt)
310 (duration-of-note elt))
311 (extract-named-music music 'EventChord)))
312 (first-dur (car durs)))
314 (if (every (lambda (d) (equal? d first-dur)) durs)
315 (max (- (ly:duration-log first-dur) 2) 1)
318 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
321 (define-public (note-to-cluster music)
322 "Replace @code{NoteEvents} by @code{ClusterNoteEvents}."
323 (if (eq? (ly:music-property music 'name) 'NoteEvent)
324 (make-music 'ClusterNoteEvent
325 'pitch (ly:music-property music 'pitch)
326 'duration (ly:music-property music 'duration))
329 (define-public (notes-to-clusters music)
330 (music-map note-to-cluster music))
332 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
335 (define-public (unfold-repeats music)
336 "Replace all repeats with unfolded repeats."
338 (let ((es (ly:music-property music 'elements))
339 (e (ly:music-property music 'element)))
341 (if (memq 'repeated-music (ly:music-property music 'types))
342 (let* ((props (ly:music-mutable-properties music))
343 (old-name (ly:music-property music 'name))
344 (flattened (flatten-alist props)))
345 (set! music (apply make-music (cons 'UnfoldedRepeatedMusic
348 (if (equal? old-name 'TremoloRepeatedMusic)
349 (let* ((seq-arg? (memq 'sequential-music
350 (ly:music-property e 'types)))
351 (count (ly:music-property music 'repeat-count))
352 (dot-shift (if (= 0 (remainder count 3))
354 (child-count (if seq-arg?
355 (length (ly:music-property e 'elements))
359 (set! count (* 2 (quotient count 3))))
361 (shift-duration-log music (+ (if (= 2 child-count)
363 (ly:intlog2 count)) dot-shift)
366 (ly:music-compress e (ly:make-moment child-count 1)))))))
369 (set! (ly:music-property music 'elements)
370 (map unfold-repeats es)))
372 (set! (ly:music-property music 'element)
376 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
377 ;; property setting music objs.
379 (define-public (make-grob-property-set grob gprop val)
380 "Make a @code{Music} expression that sets @var{gprop} to @var{val} in
381 @var{grob}. Does a pop first, i.e., this is not an override."
382 (make-music 'OverrideProperty
388 (define-public (make-grob-property-override grob gprop val)
389 "Make a @code{Music} expression that overrides @var{gprop} to @var{val}
391 (make-music 'OverrideProperty
396 (define-public (make-grob-property-revert grob gprop)
397 "Revert the grob property @var{gprop} for @var{grob}."
398 (make-music 'RevertProperty
400 'grob-property gprop))
402 (define direction-polyphonic-grobs
416 (define-safe-public (make-voice-props-set n)
417 (make-sequential-music
419 (map (lambda (x) (make-grob-property-set x 'direction
421 direction-polyphonic-grobs)
423 (make-property-set 'graceSettings
424 ;; TODO: take this from voicedGraceSettings or similar.
425 '((Voice Stem font-size -3)
426 (Voice NoteHead font-size -3)
427 (Voice TabNoteHead font-size -4)
428 (Voice Dots font-size -3)
429 (Voice Stem length-fraction 0.8)
430 (Voice Stem no-stem-extend #t)
431 (Voice Beam beam-thickness 0.384)
432 (Voice Beam length-fraction 0.8)
433 (Voice Accidental font-size -4)
434 (Voice AccidentalCautionary font-size -4)
435 (Voice Script font-size -3)
436 (Voice Fingering font-size -8)
437 (Voice StringNumber font-size -8)))
439 (make-grob-property-set 'NoteColumn 'horizontal-shift (quotient n 2))
440 (make-grob-property-set 'MultiMeasureRest 'staff-position (if (odd? n) -4 4))))))
442 (define-safe-public (make-voice-props-revert)
443 (make-sequential-music
445 (map (lambda (x) (make-grob-property-revert x 'direction))
446 direction-polyphonic-grobs)
447 (list (make-property-unset 'graceSettings)
448 (make-grob-property-revert 'NoteColumn 'horizontal-shift)
449 (make-grob-property-revert 'MultiMeasureRest 'staff-position)))))
452 (define-safe-public (context-spec-music m context #:optional id)
453 "Add \\context CONTEXT = ID to M."
454 (let ((cm (make-music 'ContextSpeccedMusic
456 'context-type context)))
458 (set! (ly:music-property cm 'context-id) id))
461 (define-public (descend-to-context m context)
462 "Like @code{context-spec-music}, but only descending."
463 (let ((cm (context-spec-music m context)))
464 (ly:music-set-property! cm 'descend-only #t)
467 (define-public (make-non-relative-music mus)
468 (make-music 'UnrelativableMusic
471 (define-public (make-apply-context func)
472 (make-music 'ApplyContext
475 (define-public (make-sequential-music elts)
476 (make-music 'SequentialMusic
479 (define-public (make-simultaneous-music elts)
480 (make-music 'SimultaneousMusic
483 (define-safe-public (make-event-chord elts)
484 (make-music 'EventChord
487 (define-public (make-skip-music dur)
488 (make-music 'SkipMusic
491 (define-public (make-grace-music music)
492 (make-music 'GraceMusic
498 (define-public (make-multi-measure-rest duration location)
499 (make-music 'MultiMeasureRestMusic
503 (define-public (make-property-set sym val)
504 (make-music 'PropertySet
508 (define-public (make-property-unset sym)
509 (make-music 'PropertyUnset
512 ;;; Need to keep this definition for \time calls from parser
513 (define-public (make-time-signature-set num den)
514 "Set properties for time signature @var{num}/@var{den}."
515 (make-music 'TimeSignatureMusic
518 'beat-structure '()))
520 ;;; Used for calls that include beat-grouping setting
521 (define-public (set-time-signature num den . rest)
522 "Set properties for time signature @var{num}/@var{den}.
523 If @var{rest} is present, it is used to set @code{beatStructure}."
525 (make-music 'TimeSignatureMusic
528 'beat-structure (if (null? rest) rest (car rest)))))
530 (define-safe-public (make-articulation name)
531 (make-music 'ArticulationEvent
532 'articulation-type name))
534 (define-public (make-lyric-event string duration)
535 (make-music 'LyricEvent
539 (define-safe-public (make-span-event type span-dir)
541 'span-direction span-dir))
543 (define-public (override-head-style heads style)
544 "Override style for @var{heads} to @var{style}."
545 (make-sequential-music
548 (make-grob-property-override h 'style style))
550 (list (make-grob-property-override heads 'style style)))))
552 (define-public (revert-head-style heads)
553 "Revert style for @var{heads}."
554 (make-sequential-music
557 (make-grob-property-revert h 'style))
559 (list (make-grob-property-revert heads 'style)))))
561 (define-public (style-note-heads heads style music)
562 "Set @var{style} for all @var{heads} in @var{music}. Works both
563 inside of and outside of chord construct."
564 ;; are we inside a <...>?
565 (if (eq? (ly:music-property music 'name) 'NoteEvent)
566 ;; yes -> use a tweak
568 (set! (ly:music-property music 'tweaks)
569 (acons 'style style (ly:music-property music 'tweaks)))
571 ;; not in <...>, so use overrides
572 (make-sequential-music
574 (override-head-style heads style)
576 (revert-head-style heads)))))
578 (define-public (set-mus-properties! m alist)
579 "Set all of @var{alist} as properties of @var{m}."
582 (set! (ly:music-property m (caar alist)) (cdar alist))
583 (set-mus-properties! m (cdr alist)))))
585 (define-public (music-separator? m)
586 "Is @var{m} a separator?"
587 (let ((ts (ly:music-property m 'types)))
588 (memq 'separator ts)))
590 ;;; splitting chords into voices.
591 (define (voicify-list lst number)
592 "Make a list of Musics.
594 voicify-list :: [ [Music ] ] -> number -> [Music]
595 LST is a list music-lists.
597 NUMBER is 0-base, i.e., Voice=1 (upstems) has number 0.
601 (cons (context-spec-music
602 (make-sequential-music
603 (list (make-voice-props-set number)
604 (make-simultaneous-music (car lst))))
605 'Bottom (number->string (1+ number)))
606 (voicify-list (cdr lst) (1+ number)))))
608 (define (voicify-chord ch)
609 "Split the parts of a chord into different Voices using separator"
610 (let ((es (ly:music-property ch 'elements)))
611 (set! (ly:music-property ch 'elements)
612 (voicify-list (split-list-by-separator es music-separator?) 0))
615 (define-public (voicify-music m)
616 "Recursively split chords that are separated with @code{\\\\}."
617 (if (not (ly:music? m))
618 (ly:error (_ "music expected: ~S") m))
619 (let ((es (ly:music-property m 'elements))
620 (e (ly:music-property m 'element)))
623 (set! (ly:music-property m 'elements) (map voicify-music es)))
625 (set! (ly:music-property m 'element) (voicify-music e)))
626 (if (and (equal? (ly:music-property m 'name) 'SimultaneousMusic)
627 (reduce (lambda (x y ) (or x y)) #f (map music-separator? es)))
628 (set! m (context-spec-music (voicify-chord m) 'Staff)))
631 (define-public (empty-music)
632 (ly:export (make-music 'Music)))
634 ;; Make a function that checks score element for being of a specific type.
635 (define-public (make-type-checker symbol)
637 (grob::has-interface elt symbol)))
639 (define-public ((outputproperty-compatibility func sym val) grob g-context ao-context)
641 (set! (ly:grob-property grob sym) val)))
644 (define-public ((set-output-property grob-name symbol val) grob grob-c context)
646 @code{\\applyoutput #(set-output-property 'Clef 'extra-offset '(0 . 1))}"
647 (let ((meta (ly:grob-property grob 'meta)))
648 (if (equal? (assoc-get 'name meta) grob-name)
649 (set! (ly:grob-property grob symbol) val))))
653 (define-public (smart-bar-check n)
654 "Make a bar check that checks for a specific bar number."
655 (let ((m (make-music 'ApplyContext)))
657 (let* ((bn (ly:context-property tr 'currentBarNumber)))
661 ;; FIXME: uncomprehensable message
662 (_ "Bar check failed. Expect to be at ~a, instead at ~a")
664 (set! (ly:music-property m 'procedure) checker)
668 (define-public (skip->rest mus)
669 "Replace @var{mus} by @code{RestEvent} of the same duration if it is a
670 @code{SkipEvent}. Useful for extracting parts from crowded scores."
672 (if (memq (ly:music-property mus 'name) '(SkipEvent SkipMusic))
673 (make-music 'RestEvent 'duration (ly:music-property mus 'duration))
677 (define-public (music-has-type music type)
678 (memq type (ly:music-property music 'types)))
680 (define-public (music-clone music)
681 (define (alist->args alist acc)
684 (alist->args (cdr alist)
685 (cons (caar alist) (cons (cdar alist) acc)))))
689 (ly:music-property music 'name)
690 (alist->args (ly:music-mutable-properties music) '())))
692 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
693 ;; warn for bare chords at start.
696 (define-public (ly:music-message music msg)
697 (let ((ip (ly:music-property music 'origin)))
698 (if (ly:input-location? ip)
699 (ly:input-message ip msg)
702 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
704 ;; setting stuff for grace context.
707 (define (vector-extend v x)
708 "Make a new vector consisting of V, with X added to the end."
709 (let* ((n (vector-length v))
710 (nv (make-vector (+ n 1) '())))
711 (vector-move-left! v 0 n nv 0)
715 (define (vector-map f v)
716 "Map F over V. This function returns nothing."
717 (do ((n (vector-length v))
720 (f (vector-ref v i))))
722 (define (vector-reverse-map f v)
723 "Map F over V, N to 0 order. This function returns nothing."
724 (do ((i (- (vector-length v) 1) (- i 1)))
726 (f (vector-ref v i))))
728 (define-public (add-grace-property context-name grob sym val)
729 "Set @var{sym}=@var{val} for @var{grob} in @var{context-name}."
730 (define (set-prop context)
731 (let* ((where (ly:context-property-where-defined context 'graceSettings))
732 (current (ly:context-property where 'graceSettings))
733 (new-settings (append current
734 (list (list context-name grob sym val)))))
735 (ly:context-set-property! where 'graceSettings new-settings)))
736 (ly:export (context-spec-music (make-apply-context set-prop) 'Voice)))
738 (define-public (remove-grace-property context-name grob sym)
739 "Remove all @var{sym} for @var{grob} in @var{context-name}."
740 (define (sym-grob-context? property sym grob context-name)
741 (and (eq? (car property) context-name)
742 (eq? (cadr property) grob)
743 (eq? (caddr property) sym)))
744 (define (delete-prop context)
745 (let* ((where (ly:context-property-where-defined context 'graceSettings))
746 (current (ly:context-property where 'graceSettings))
747 (prop-settings (filter
748 (lambda(x) (sym-grob-context? x sym grob context-name))
750 (new-settings current))
752 (set! new-settings (delete x new-settings)))
754 (ly:context-set-property! where 'graceSettings new-settings)))
755 (ly:export (context-spec-music (make-apply-context delete-prop) 'Voice)))
759 (defmacro-public def-grace-function (start stop . docstring)
760 "Helper macro for defining grace music"
761 `(define-music-function (parser location music) (ly:music?)
763 (make-music 'GraceMusic
765 'element (make-music 'SequentialMusic
766 'elements (list (ly:music-deep-copy ,start)
768 (ly:music-deep-copy ,stop))))))
770 (defmacro-public define-music-function (args signature . body)
771 "Helper macro for `ly:make-music-function'.
773 (define-music-function (parser location arg1 arg2 ...) (arg1-type? arg2-type? ...)
776 (if (and (pair? body) (pair? (car body)) (eqv? '_i (caar body)))
777 ;; When the music function definition contains a i10n doc string,
778 ;; (_i "doc string"), keep the literal string only
779 (let ((docstring (cadar body))
781 `(ly:make-music-function (list ,@signature)
785 `(ly:make-music-function (list ,@signature)
790 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
792 (define-public (cue-substitute quote-music)
793 "Must happen after @code{quote-substitute}."
795 (if (vector? (ly:music-property quote-music 'quoted-events))
796 (let* ((dir (ly:music-property quote-music 'quoted-voice-direction))
797 (clef (ly:music-property quote-music 'quoted-music-clef))
798 (main-voice (if (eq? 1 dir) 1 0))
799 (cue-voice (if (eq? 1 dir) 0 1))
800 (main-music (ly:music-property quote-music 'element))
801 (return-value quote-music))
803 (if (or (eq? 1 dir) (eq? -1 dir))
805 ;; if we have stem dirs, change both quoted and main music
806 ;; to have opposite stems.
809 ;; cannot context-spec Quote-music, since context
810 ;; for the quotes is determined in the iterator.
811 (make-sequential-music
815 (make-cue-clef-set clef))
816 (context-spec-music (make-voice-props-set cue-voice) 'CueVoice "cue")
818 (context-spec-music (make-voice-props-revert) 'CueVoice "cue")
821 (make-cue-clef-unset)))))
823 (make-sequential-music
825 (make-voice-props-set main-voice)
827 (make-voice-props-revert))))
828 (set! (ly:music-property quote-music 'element) main-music)))
833 (define-public ((quote-substitute quote-tab) music)
834 (let* ((quoted-name (ly:music-property music 'quoted-music-name))
835 (quoted-vector (if (string? quoted-name)
836 (hash-ref quote-tab quoted-name #f)
840 (if (string? quoted-name)
841 (if (vector? quoted-vector)
843 (set! (ly:music-property music 'quoted-events) quoted-vector)
844 (set! (ly:music-property music 'iterator-ctor)
845 ly:quote-iterator::constructor))
846 (ly:warning (_ "cannot find quoted music: `~S'") quoted-name)))
850 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
851 ;; switch it on here, so parsing and init isn't checked (too slow!)
853 ;; automatic music transformations.
855 (define (switch-on-debugging m)
856 (if (defined? 'set-debug-cell-accesses!)
857 (set-debug-cell-accesses! 15000))
860 (define (music-check-error music)
863 (if (and (ly:music? m)
864 (eq? (ly:music-property m 'error-found) #t))
867 (for-each signal (ly:music-property music 'elements))
868 (signal (ly:music-property music 'element))
871 (set! (ly:music-property music 'error-found) #t))
874 (define (precompute-music-length music)
875 (set! (ly:music-property music 'length)
876 (ly:music-length music))
879 (define-public (make-duration-of-length moment)
880 "Make duration of the given @code{moment} length."
881 (ly:make-duration 0 0
882 (ly:moment-main-numerator moment)
883 (ly:moment-main-denominator moment)))
885 (define (make-skipped moment bool)
886 "Depending on BOOL, set or unset skipTypesetting,
887 then make SkipMusic of the given MOMENT length, and
888 then revert skipTypesetting."
889 (make-sequential-music
891 (context-spec-music (make-property-set 'skipTypesetting bool)
893 (make-music 'SkipMusic 'duration
894 (make-duration-of-length moment))
895 (context-spec-music (make-property-set 'skipTypesetting (not bool))
898 (define (skip-as-needed music parser)
900 << { \\set skipTypesetting = ##f
901 LENGTHOF(\\showFirstLength)
902 \\set skipTypesetting = ##t
903 LENGTHOF(\\showLastLength) }
907 When only showFirstLength is set,
908 the 'length property of the music is
909 overridden to speed up compiling."
911 ((show-last (ly:parser-lookup parser 'showLastLength))
912 (show-first (ly:parser-lookup parser 'showFirstLength))
913 (show-last-length (if (ly:music? show-last)
914 (ly:music-length show-last)
916 (show-first-length (if (ly:music? show-first)
917 (ly:music-length show-first)
919 (orig-length (ly:music-length music)))
921 ;;FIXME: if using either showFirst- or showLastLength,
922 ;; make sure that skipBars is not set.
926 ;; both properties may be set.
927 ((and show-first-length show-last-length)
929 ((skip-length (ly:moment-sub orig-length show-last-length)))
930 (make-simultaneous-music
932 (make-sequential-music
934 (make-skipped skip-length #t)
935 ;; let's draw a separator between the beginning and the end
936 (context-spec-music (make-property-set 'whichBar "||")
938 (make-skipped show-first-length #f)
941 ;; we may only want to print the last length
944 ((skip-length (ly:moment-sub orig-length show-last-length)))
945 (make-simultaneous-music
947 (make-skipped skip-length #t)
950 ;; we may only want to print the beginning; in this case
951 ;; only the first length will be processed (much faster).
953 ;; the first length must not exceed the original length.
954 (if (ly:moment<? show-first-length orig-length)
955 (set! (ly:music-property music 'length)
962 (define-public toplevel-music-functions
964 (lambda (music parser) (voicify-music music))
965 (lambda (x parser) (music-map music-check-error x))
966 (lambda (x parser) (music-map precompute-music-length x))
967 (lambda (music parser)
969 (music-map (quote-substitute (ly:parser-lookup parser 'musicQuotes)) music))
971 ;; switch-on-debugging
972 (lambda (x parser) (music-map cue-substitute x))
975 (skip-as-needed x parser)
979 ;;; general purpose music functions
981 (define (shift-octave pitch octave-shift)
982 (_i "Add @var{octave-shift} to the octave of @var{pitch}.")
984 (+ (ly:pitch-octave pitch) octave-shift)
985 (ly:pitch-notename pitch)
986 (ly:pitch-alteration pitch)))
992 (define (apply-durations lyric-music durations)
993 (define (apply-duration music)
994 (if (and (not (equal? (ly:music-length music) ZERO-MOMENT))
995 (ly:duration? (ly:music-property music 'duration)))
997 (set! (ly:music-property music 'duration) (car durations))
998 (set! durations (cdr durations)))))
1000 (music-map apply-duration lyric-music))
1003 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
1006 (define (recent-enough? bar-number alteration-def laziness)
1007 (if (or (number? alteration-def)
1008 (equal? laziness #t))
1010 (<= bar-number (+ (cadr alteration-def) laziness))))
1012 (define (is-tied? alteration-def)
1013 (let* ((def (if (pair? alteration-def)
1014 (car alteration-def)
1017 (if (equal? def 'tied) #t #f)))
1019 (define (extract-alteration alteration-def)
1020 (cond ((number? alteration-def)
1022 ((pair? alteration-def)
1023 (car alteration-def))
1026 (define (check-pitch-against-signature context pitch barnum laziness octaveness)
1027 "Checks the need for an accidental and a @q{restore} accidental against
1028 @code{localKeySignature}. The @var{laziness} is the number of measures
1029 for which reminder accidentals are used (i.e., if @var{laziness} is zero,
1030 only cancel accidentals in the same measure; if @var{laziness} is three,
1031 we cancel accidentals up to three measures after they first appear.
1032 @var{octaveness} is either @code{'same-octave} or @code{'any-octave} and
1033 specifies whether accidentals should be canceled in different octaves."
1034 (let* ((ignore-octave (cond ((equal? octaveness 'any-octave) #t)
1035 ((equal? octaveness 'same-octave) #f)
1037 (ly:warning (_ "Unknown octaveness type: ~S ") octaveness)
1038 (ly:warning (_ "Defaulting to 'any-octave."))
1040 (key-sig (ly:context-property context 'keySignature))
1041 (local-key-sig (ly:context-property context 'localKeySignature))
1042 (notename (ly:pitch-notename pitch))
1043 (octave (ly:pitch-octave pitch))
1044 (pitch-handle (cons octave notename))
1046 (need-accidental #f)
1047 (previous-alteration #f)
1048 (from-other-octaves #f)
1049 (from-same-octave (assoc-get pitch-handle local-key-sig))
1050 (from-key-sig (assoc-get notename local-key-sig)))
1052 ;; If no key signature match is found from localKeySignature, we may have a custom
1053 ;; type with octave-specific entries of the form ((octave . pitch) alteration)
1054 ;; instead of (pitch . alteration). Since this type cannot coexist with entries in
1055 ;; localKeySignature, try extracting from keySignature instead.
1056 (if (equal? from-key-sig #f)
1057 (set! from-key-sig (assoc-get pitch-handle key-sig)))
1059 ;; loop through localKeySignature to search for a notename match from other octaves
1060 (let loop ((l local-key-sig))
1062 (let ((entry (car l)))
1063 (if (and (pair? (car entry))
1064 (= (cdar entry) notename))
1065 (set! from-other-octaves (cdr entry))
1068 ;; find previous alteration-def for comparison with pitch
1070 ;; from same octave?
1071 ((and (eq? ignore-octave #f)
1072 (not (equal? from-same-octave #f))
1073 (recent-enough? barnum from-same-octave laziness))
1074 (set! previous-alteration from-same-octave))
1077 ((and (eq? ignore-octave #t)
1078 (not (equal? from-other-octaves #f))
1079 (recent-enough? barnum from-other-octaves laziness))
1080 (set! previous-alteration from-other-octaves))
1082 ;; not recent enough, extract from key signature/local key signature
1083 ((not (equal? from-key-sig #f))
1084 (set! previous-alteration from-key-sig)))
1086 (if (is-tied? previous-alteration)
1087 (set! need-accidental #t)
1089 (let* ((prev-alt (extract-alteration previous-alteration))
1090 (this-alt (ly:pitch-alteration pitch)))
1092 (if (not (= this-alt prev-alt))
1094 (set! need-accidental #t)
1095 (if (and (not (= this-alt 0))
1096 (or (< (abs this-alt) (abs prev-alt))
1097 (< (* prev-alt this-alt) 0)))
1098 (set! need-restore #t))))))
1100 (cons need-restore need-accidental)))
1102 (define-public ((make-accidental-rule octaveness laziness) context pitch barnum measurepos)
1103 "Create an accidental rule that makes its decision based on the octave of
1104 the note and a laziness value.
1106 @var{octaveness} is either @code{'same-octave} or @code{'any-octave} and
1107 defines whether the rule should respond to accidental changes in other
1108 octaves than the current. @code{'same-octave} is the normal way to typeset
1109 accidentals -- an accidental is made if the alteration is different from the
1110 last active pitch in the same octave. @code{'any-octave} looks at the last
1111 active pitch in any octave.
1113 @var{laziness} states over how many bars an accidental should be remembered.
1114 @code{0}@tie{}is the default -- accidental lasts over 0@tie{}bar lines, that
1115 is, to the end of current measure. A positive integer means that the
1116 accidental lasts over that many bar lines. @code{-1} is `forget
1117 immediately', that is, only look at key signature. @code{#t} is `forever'."
1119 (check-pitch-against-signature context pitch barnum laziness octaveness))
1121 (define (key-entry-notename entry)
1122 "Return the pitch of an entry in localKeySignature. The entry is either of the form
1123 '(notename . alter) or '((octave . notename) . (alter barnum . measurepos))."
1124 (if (number? (car entry))
1128 (define (key-entry-octave entry)
1129 "Return the octave of an entry in localKeySignature (or #f if the entry does not have
1131 (and (pair? (car entry)) (caar entry)))
1133 (define (key-entry-bar-number entry)
1134 "Return the bar number of an entry in localKeySignature (or #f if the entry does not
1135 have a bar number)."
1136 (and (pair? (car entry)) (caddr entry)))
1138 (define (key-entry-measure-position entry)
1139 "Return the measure position of an entry in localKeySignature (or #f if the entry does
1140 not have a measure position)."
1141 (and (pair? (car entry)) (cdddr entry)))
1143 (define (key-entry-alteration entry)
1144 "Return the alteration of an entry in localKeySignature."
1145 (if (number? (car entry))
1149 (define-public (find-pitch-entry keysig pitch accept-global accept-local)
1150 "Return the first entry in @var{keysig} that matches @var{pitch}.
1151 @var{accept-global} states whether key signature entries should be included.
1152 @var{accept-local} states whether local accidentals should be included.
1153 If no matching entry is found, @var{#f} is returned."
1155 (let* ((entry (car keysig))
1156 (entryoct (key-entry-octave entry))
1157 (entrynn (key-entry-notename entry))
1158 (oct (ly:pitch-octave pitch))
1159 (nn (ly:pitch-notename pitch)))
1160 (if (and (equal? nn entrynn)
1161 (or (and accept-global (equal? #f entryoct))
1162 (and accept-local (equal? oct entryoct))))
1164 (find-pitch-entry (cdr keysig) pitch accept-global accept-local)))
1167 (define-public (neo-modern-accidental-rule context pitch barnum measurepos)
1168 "An accidental rule that typesets an accidental if it differs from the
1169 key signature @emph{and} does not directly follow a note on the same
1170 staff line. This rule should not be used alone because it does neither
1171 look at bar lines nor different accidentals at the same note name."
1172 (let* ((keysig (ly:context-property context 'localKeySignature))
1173 (entry (find-pitch-entry keysig pitch #t #t)))
1174 (if (equal? #f entry)
1176 (let* ((global-entry (find-pitch-entry keysig pitch #t #f))
1177 (key-acc (if (equal? global-entry #f)
1179 (key-entry-alteration global-entry)))
1180 (acc (ly:pitch-alteration pitch))
1181 (entrymp (key-entry-measure-position entry))
1182 (entrybn (key-entry-bar-number entry)))
1183 (cons #f (not (or (equal? acc key-acc)
1184 (and (equal? entrybn barnum) (equal? entrymp measurepos)))))))))
1186 (define-public (teaching-accidental-rule context pitch barnum measurepos)
1187 "An accidental rule that typesets a cautionary accidental if it is
1188 included in the key signature @emph{and} does not directly follow a note
1189 on the same staff line."
1190 (let* ((keysig (ly:context-property context 'localKeySignature))
1191 (entry (find-pitch-entry keysig pitch #t #t)))
1192 (if (equal? #f entry)
1194 (let* ((global-entry (find-pitch-entry keysig pitch #f #f))
1195 (key-acc (if (equal? global-entry #f)
1197 (key-entry-alteration global-entry)))
1198 (acc (ly:pitch-alteration pitch))
1199 (entrymp (key-entry-measure-position entry))
1200 (entrybn (key-entry-bar-number entry)))
1201 (cons #f (not (or (equal? acc key-acc)
1202 (and (equal? entrybn barnum) (equal? entrymp measurepos)))))))))
1204 (define-public (set-accidentals-properties extra-natural
1205 auto-accs auto-cauts
1208 (make-sequential-music
1209 (append (if (boolean? extra-natural)
1210 (list (make-property-set 'extraNatural extra-natural))
1212 (list (make-property-set 'autoAccidentals auto-accs)
1213 (make-property-set 'autoCautionaries auto-cauts))))
1216 (define-public (set-accidental-style style . rest)
1217 "Set accidental style to @var{style}. Optionally take a context
1218 argument, e.g. @code{'Staff} or @code{'Voice}. The context defaults
1219 to @code{Staff}, except for piano styles, which use @code{GrandStaff}
1221 (let ((context (if (pair? rest)
1223 (pcontext (if (pair? rest)
1224 (car rest) 'GrandStaff)))
1227 ;; accidentals as they were common in the 18th century.
1228 ((equal? style 'default)
1229 (set-accidentals-properties #t
1230 `(Staff ,(make-accidental-rule 'same-octave 0))
1233 ;; accidentals from one voice do NOT get cancelled in other voices
1234 ((equal? style 'voice)
1235 (set-accidentals-properties #t
1236 `(Voice ,(make-accidental-rule 'same-octave 0))
1239 ;; accidentals as suggested by Kurt Stone, Music Notation in the 20th century.
1240 ;; This includes all the default accidentals, but accidentals also needs cancelling
1241 ;; in other octaves and in the next measure.
1242 ((equal? style 'modern)
1243 (set-accidentals-properties #f
1244 `(Staff ,(make-accidental-rule 'same-octave 0)
1245 ,(make-accidental-rule 'any-octave 0)
1246 ,(make-accidental-rule 'same-octave 1))
1249 ;; the accidentals that Stone adds to the old standard as cautionaries
1250 ((equal? style 'modern-cautionary)
1251 (set-accidentals-properties #f
1252 `(Staff ,(make-accidental-rule 'same-octave 0))
1253 `(Staff ,(make-accidental-rule 'any-octave 0)
1254 ,(make-accidental-rule 'same-octave 1))
1256 ;; same as modern, but accidentals different from the key signature are always
1257 ;; typeset - unless they directly follow a note of the same pitch.
1258 ((equal? style 'neo-modern)
1259 (set-accidentals-properties #f
1260 `(Staff ,(make-accidental-rule 'same-octave 0)
1261 ,(make-accidental-rule 'any-octave 0)
1262 ,(make-accidental-rule 'same-octave 1)
1263 ,neo-modern-accidental-rule)
1266 ((equal? style 'neo-modern-cautionary)
1267 (set-accidentals-properties #f
1268 `(Staff ,(make-accidental-rule 'same-octave 0))
1269 `(Staff ,(make-accidental-rule 'any-octave 0)
1270 ,(make-accidental-rule 'same-octave 1)
1271 ,neo-modern-accidental-rule)
1273 ((equal? style 'neo-modern-voice)
1274 (set-accidentals-properties #f
1275 `(Voice ,(make-accidental-rule 'same-octave 0)
1276 ,(make-accidental-rule 'any-octave 0)
1277 ,(make-accidental-rule 'same-octave 1)
1278 ,neo-modern-accidental-rule
1279 Staff ,(make-accidental-rule 'same-octave 0)
1280 ,(make-accidental-rule 'any-octave 0)
1281 ,(make-accidental-rule 'same-octave 1)
1282 ,neo-modern-accidental-rule)
1285 ((equal? style 'neo-modern-voice-cautionary)
1286 (set-accidentals-properties #f
1287 `(Voice ,(make-accidental-rule 'same-octave 0))
1288 `(Voice ,(make-accidental-rule 'any-octave 0)
1289 ,(make-accidental-rule 'same-octave 1)
1290 ,neo-modern-accidental-rule
1291 Staff ,(make-accidental-rule 'same-octave 0)
1292 ,(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 @var{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 multi-measure rest of exactly the same length as @var{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)
1402 (let ((evs (filter (lambda (x)
1403 (music-has-type x 'note-event))
1404 (ly:music-property event-chord 'elements))))
1407 (ly:music-property (car evs) 'pitch))))
1409 (define-public (duration-of-note event-chord)
1410 (let ((evs (filter (lambda (x)
1411 (music-has-type x 'rhythmic-event))
1412 (ly:music-property event-chord 'elements))))
1415 (ly:music-property (car evs) 'duration))))
1417 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
1419 (define-public (extract-named-music music music-name)
1420 "Return a flat list of all music named @var{music-name} from @var{music}."
1421 (let ((extracted-list
1422 (if (ly:music? music)
1423 (if (eq? (ly:music-property music 'name) music-name)
1425 (let ((elt (ly:music-property music 'element))
1426 (elts (ly:music-property music 'elements)))
1428 (extract-named-music elt music-name)
1432 (extract-named-music x music-name ))
1435 (flatten-list extracted-list)))
1437 (define-public (event-chord-notes event-chord)
1438 "Return a list of all notes from @var{event-chord}."
1440 (lambda (m) (eq? 'NoteEvent (ly:music-property m 'name)))
1441 (ly:music-property event-chord 'elements)))
1443 (define-public (event-chord-pitches event-chord)
1444 "Return a list of all pitches from @var{event-chord}."
1445 (map (lambda (x) (ly:music-property x 'pitch))
1446 (event-chord-notes event-chord)))