1 ;;;; This file is part of LilyPond, the GNU music typesetter.
3 ;;;; Copyright (C) 1998--2010 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 MUSIC.
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 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 music-map for clarity of presentation."
103 (let ((es (ly:music-property music 'elements))
104 (e (ly:music-property music 'element)))
105 (display (ly:music-mutable-properties music))
107 (begin (display "\nElements: {\n")
108 (map display-music es)
118 ;;; A scheme music pretty printer
120 (define (markup-expression->make-markup markup-expression)
121 "Transform `markup-expression' into an equivalent, hopefuly readable, scheme expression.
123 \\markup \\bold \\italic hello
125 (markup #:line (#:bold (#:italic (#:simple \"hello\"))))"
126 (define (proc->command-keyword proc)
127 "Return a keyword, eg. `#:bold', from the `proc' function, eg. #<procedure bold-markup (layout props arg)>"
128 (let ((cmd-markup (symbol->string (procedure-name proc))))
129 (symbol->keyword (string->symbol (substring cmd-markup 0 (- (string-length cmd-markup)
130 (string-length "-markup")))))))
131 (define (transform-arg arg)
132 (cond ((and (pair? arg) (markup? (car arg))) ;; a markup list
133 (apply append (map inner-markup->make-markup arg)))
134 ((and (not (string? arg)) (markup? arg)) ;; a markup
135 (inner-markup->make-markup arg))
138 (define (inner-markup->make-markup mrkup)
141 (let ((cmd (proc->command-keyword (car mrkup)))
142 (args (map transform-arg (cdr mrkup))))
145 (if (string? markup-expression)
147 `(markup ,@(inner-markup->make-markup markup-expression))))
149 (define-public (music->make-music obj)
150 "Generate a expression that, once evaluated, may return an object equivalent to `obj',
151 that is, for a music expression, a (make-music ...) form."
152 (cond (;; markup expression
154 (markup-expression->make-markup obj))
158 ',(ly:music-property obj 'name)
159 ,@(apply append (map (lambda (prop)
161 ,(music->make-music (cdr prop))))
162 (remove (lambda (prop)
163 (eqv? (car prop) 'origin))
164 (ly:music-mutable-properties obj))))))
167 `(ly:make-moment ,(ly:moment-main-numerator obj)
168 ,(ly:moment-main-denominator obj)
169 ,(ly:moment-grace-numerator obj)
170 ,(ly:moment-grace-denominator obj)))
173 `(ly:make-duration ,(ly:duration-log obj)
174 ,(ly:duration-dot-count obj)
175 ,(car (ly:duration-factor obj))
176 ,(cdr (ly:duration-factor obj))))
179 `(ly:make-pitch ,(ly:pitch-octave obj)
180 ,(ly:pitch-notename obj)
181 ,(ly:pitch-alteration obj)))
184 (or (procedure-name obj) obj))
185 (;; a symbol (avoid having an unquoted symbol)
188 (;; an empty list (avoid having an unquoted empty list)
193 `(list ,@(map music->make-music obj)))
196 `(cons ,(music->make-music (car obj))
197 ,(music->make-music (cdr obj))))
201 (use-modules (ice-9 pretty-print))
202 (define*-public (display-scheme-music obj #:optional (port (current-output-port)))
203 "Displays `obj', typically a music expression, in a friendly fashion,
204 which often can be read back in order to generate an equivalent expression.
208 (pretty-print (music->make-music obj) port)
213 ;;; Scheme music expression --> Lily-syntax-using string translator
215 (use-modules (srfi srfi-39)
218 (define*-public (display-lily-music expr parser #:key force-duration)
219 "Display the music expression using LilyPond syntax"
220 (memoize-clef-names supported-clefs)
221 (parameterize ((*indent* 0)
222 (*previous-duration* (ly:make-duration 2))
223 (*force-duration* force-duration))
224 (display (music->lily-string expr parser))
227 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
229 (define-public (shift-one-duration-log music shift dot)
230 " add SHIFT to duration-log of 'duration in music and optionally
231 a dot to any note encountered. This scales the music up by a factor
232 2^shift * (2 - (1/2)^dot)"
233 (let ((d (ly:music-property music 'duration)))
235 (let* ((cp (ly:duration-factor d))
236 (nd (ly:make-duration (+ shift (ly:duration-log d))
237 (+ dot (ly:duration-dot-count d))
240 (set! (ly:music-property music 'duration) nd)))
243 (define-public (shift-duration-log music shift dot)
244 (music-map (lambda (x) (shift-one-duration-log x shift dot))
247 (define-public (make-repeat name times main alts)
248 "create a repeat music expression, with all properties initialized properly"
249 (define (first-note-duration music)
250 "Finds the duration of the first NoteEvent by searching depth-first
252 (if (memq 'note-event (ly:music-property music 'types))
253 (ly:music-property music 'duration)
254 (let loop ((elts (if (ly:music? (ly:music-property music 'element))
255 (list (ly:music-property music 'element))
256 (ly:music-property music 'elements))))
258 (let ((dur (first-note-duration (car elts))))
259 (if (ly:duration? dur)
261 (loop (cdr elts))))))))
263 (let ((talts (if (< times (length alts))
265 (ly:warning (_ "More alternatives than repeats. Junking excess alternatives"))
268 (r (make-repeated-music name)))
269 (set! (ly:music-property r 'element) main)
270 (set! (ly:music-property r 'repeat-count) (max times 1))
271 (set! (ly:music-property r 'elements) talts)
272 (if (and (equal? name "tremolo")
273 (pair? (ly:music-property main 'elements)))
274 ;; This works for single-note and multi-note tremolos!
275 (let* ((children (if (music-is-of-type? main 'sequential-music)
276 ;; \repeat tremolo n { ... }
277 (length (ly:music-property main 'elements))
278 ;; \repeat tremolo n c4
280 ;; # of dots is equal to the 1 in bitwise representation (minus 1)!
281 (dots (1- (logcount (* times children))))
282 ;; The remaining missing multiplicator to scale the notes by
284 (mult (/ (* times children (ash 1 dots)) (1- (ash 2 dots))))
285 (shift (- (ly:intlog2 (floor mult))))
286 (note-duration (first-note-duration r))
287 (duration-log (if (ly:duration? note-duration)
288 (ly:duration-log note-duration)
290 (tremolo-type (ash 1 duration-log)))
291 (set! (ly:music-property r 'tremolo-type) tremolo-type)
292 (if (not (integer? mult))
293 (ly:warning (_ "invalid tremolo repeat count: ~a") times))
294 ;; Adjust the time of the notes
295 (ly:music-compress r (ly:make-moment 1 children))
296 ;; Adjust the displayed note durations
297 (shift-duration-log r shift dots))
300 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
303 (define-public (note-to-cluster music)
304 "Replace NoteEvents by ClusterNoteEvents."
305 (if (eq? (ly:music-property music 'name) 'NoteEvent)
306 (make-music 'ClusterNoteEvent
307 'pitch (ly:music-property music 'pitch)
308 'duration (ly:music-property music 'duration))
311 (define-public (notes-to-clusters music)
312 (music-map note-to-cluster music))
314 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
317 (define-public (unfold-repeats music)
318 "This function replaces all repeats with unfolded repeats."
320 (let ((es (ly:music-property music 'elements))
321 (e (ly:music-property music 'element)))
323 (if (memq 'repeated-music (ly:music-property music 'types))
324 (let* ((props (ly:music-mutable-properties music))
325 (old-name (ly:music-property music 'name))
326 (flattened (flatten-alist props)))
328 (set! music (apply make-music (cons 'UnfoldedRepeatedMusic
331 (if (equal? old-name 'TremoloRepeatedMusic)
332 (let* ((seq-arg? (memq 'sequential-music
333 (ly:music-property e 'types)))
334 (count (ly:music-property music 'repeat-count))
335 (dot-shift (if (= 0 (remainder count 3))
337 (child-count (if seq-arg?
338 (length (ly:music-property e 'elements))
342 (set! count (* 2 (quotient count 3))))
344 (shift-duration-log music (+ (if (= 2 child-count)
346 (ly:intlog2 count)) dot-shift)
349 (ly:music-compress e (ly:make-moment child-count 1)))))))
352 (set! (ly:music-property music 'elements)
353 (map unfold-repeats es)))
355 (set! (ly:music-property music 'element)
359 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
360 ;; property setting music objs.
362 (define-public (make-grob-property-set grob gprop val)
363 "Make a Music expression that sets GPROP to VAL in GROB. Does a pop first,
364 i.e. this is not an override"
365 (make-music 'OverrideProperty
371 (define-public (make-grob-property-override grob gprop val)
372 "Make a Music expression that overrides GPROP to VAL in GROB."
373 (make-music 'OverrideProperty
378 (define-public (make-grob-property-revert grob gprop)
379 "Revert the grob property GPROP for GROB."
380 (make-music 'RevertProperty
382 'grob-property gprop))
384 (define direction-polyphonic-grobs
398 (define-safe-public (make-voice-props-set n)
399 (make-sequential-music
401 (map (lambda (x) (make-grob-property-set x 'direction
403 direction-polyphonic-grobs)
405 (make-property-set 'graceSettings
406 ;; TODO: take this from voicedGraceSettings or similar.
407 '((Voice Stem font-size -3)
408 (Voice NoteHead font-size -3)
409 (Voice TabNoteHead font-size -4)
410 (Voice Dots font-size -3)
411 (Voice Stem length-fraction 0.8)
412 (Voice Stem no-stem-extend #t)
413 (Voice Beam beam-thickness 0.384)
414 (Voice Beam length-fraction 0.8)
415 (Voice Accidental font-size -4)
416 (Voice AccidentalCautionary font-size -4)
417 (Voice Script font-size -3)
418 (Voice Fingering font-size -8)
419 (Voice StringNumber font-size -8)))
421 (make-grob-property-set 'NoteColumn 'horizontal-shift (quotient n 2))
422 (make-grob-property-set 'MultiMeasureRest 'staff-position (if (odd? n) -4 4))))))
424 (define-safe-public (make-voice-props-revert)
425 (make-sequential-music
427 (map (lambda (x) (make-grob-property-revert x 'direction))
428 direction-polyphonic-grobs)
429 (list (make-property-unset 'graceSettings)
430 (make-grob-property-revert 'NoteColumn 'horizontal-shift)
431 (make-grob-property-revert 'MultiMeasureRest 'staff-position)))))
434 (define-safe-public (context-spec-music m context #:optional id)
435 "Add \\context CONTEXT = ID to M. "
436 (let ((cm (make-music 'ContextSpeccedMusic
438 'context-type context)))
440 (set! (ly:music-property cm 'context-id) id))
443 (define-public (descend-to-context m context)
444 "Like context-spec-music, but only descending. "
445 (let ((cm (context-spec-music m context)))
446 (ly:music-set-property! cm 'descend-only #t)
449 (define-public (make-non-relative-music mus)
450 (make-music 'UnrelativableMusic
453 (define-public (make-apply-context func)
454 (make-music 'ApplyContext
457 (define-public (make-sequential-music elts)
458 (make-music 'SequentialMusic
461 (define-public (make-simultaneous-music elts)
462 (make-music 'SimultaneousMusic
465 (define-safe-public (make-event-chord elts)
466 (make-music 'EventChord
469 (define-public (make-skip-music dur)
470 (make-music 'SkipMusic
473 (define-public (make-grace-music music)
474 (make-music 'GraceMusic
480 (define-public (make-multi-measure-rest duration location)
481 (make-music 'MultiMeasureRestMusic
485 (define-public (make-property-set sym val)
486 (make-music 'PropertySet
490 (define-public (make-property-unset sym)
491 (make-music 'PropertyUnset
494 ;;; Need to keep this definition for \time calls from parser
495 (define-public (make-time-signature-set num den)
496 "Set properties for time signature NUM/DEN."
497 (make-music 'TimeSignatureMusic
500 'beat-structure '()))
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 set
506 @code{beatStructure}."
508 (make-music 'TimeSignatureMusic
511 'beat-structure (if (null? rest) rest (car rest)))))
513 (define-public (make-mark-set label)
514 "Make the music for the \\mark command."
515 (let* ((set (if (integer? label)
516 (context-spec-music (make-property-set 'rehearsalMark label)
519 (ev (make-music 'MarkEvent))
520 (ch (make-event-chord (list ev))))
522 (make-sequential-music (list set ch))
524 (set! (ly:music-property ev 'label) label)
527 (define-safe-public (make-articulation name)
528 (make-music 'ArticulationEvent
529 'articulation-type name))
531 (define-public (make-lyric-event string duration)
532 (make-music 'LyricEvent
536 (define-safe-public (make-span-event type span-dir)
538 'span-direction span-dir))
540 (define-public (override-head-style heads style)
541 "Override style for @var{heads} to @var{style}."
542 (make-sequential-music
545 (make-grob-property-override h 'style style))
547 (list (make-grob-property-override heads 'style style)))))
549 (define-public (revert-head-style heads)
550 "Revert style for @var{heads}."
551 (make-sequential-music
554 (make-grob-property-revert h 'style))
556 (list (make-grob-property-revert heads 'style)))))
558 (define-public (style-note-heads heads style music)
559 "Set @var{style} for all @var{heads} in @var{music}. Works both
560 inside of and outside of chord construct."
561 ;; are we inside a <...>?
562 (if (eq? (ly:music-property music 'name) 'NoteEvent)
563 ;; yes -> use a tweak
565 (set! (ly:music-property music 'tweaks)
566 (acons 'style style (ly:music-property music 'tweaks)))
568 ;; not in <...>, so use overrides
569 (make-sequential-music
571 (override-head-style heads style)
573 (revert-head-style heads)))))
575 (define-public (set-mus-properties! m alist)
576 "Set all of ALIST as properties of M."
579 (set! (ly:music-property m (caar alist)) (cdar alist))
580 (set-mus-properties! m (cdr alist)))))
582 (define-public (music-separator? m)
584 (let ((ts (ly:music-property m 'types)))
585 (memq 'separator ts)))
587 ;;; splitting chords into voices.
588 (define (voicify-list lst number)
589 "Make a list of Musics.
591 voicify-list :: [ [Music ] ] -> number -> [Music]
592 LST is a list music-lists.
594 NUMBER is 0-base, i.e. Voice=1 (upstems) has number 0.
598 (cons (context-spec-music
599 (make-sequential-music
600 (list (make-voice-props-set number)
601 (make-simultaneous-music (car lst))))
602 'Bottom (number->string (1+ number)))
603 (voicify-list (cdr lst) (1+ number)))))
605 (define (voicify-chord ch)
606 "Split the parts of a chord into different Voices using separator"
607 (let ((es (ly:music-property ch 'elements)))
608 (set! (ly:music-property ch 'elements)
609 (voicify-list (split-list-by-separator es music-separator?) 0))
612 (define-public (voicify-music m)
613 "Recursively split chords that are separated with \\ "
614 (if (not (ly:music? m))
615 (ly:error (_ "music expected: ~S") m))
616 (let ((es (ly:music-property m 'elements))
617 (e (ly:music-property m 'element)))
620 (set! (ly:music-property m 'elements) (map voicify-music es)))
622 (set! (ly:music-property m 'element) (voicify-music e)))
623 (if (and (equal? (ly:music-property m 'name) 'SimultaneousMusic)
624 (reduce (lambda (x y ) (or x y)) #f (map music-separator? es)))
625 (set! m (context-spec-music (voicify-chord m) 'Staff)))
628 (define-public (empty-music)
629 (ly:export (make-music 'Music)))
631 ;; Make a function that checks score element for being of a specific type.
632 (define-public (make-type-checker symbol)
634 (grob::has-interface elt symbol)))
636 (define-public ((outputproperty-compatibility func sym val) grob g-context ao-context)
638 (set! (ly:grob-property grob sym) val)))
641 (define-public ((set-output-property grob-name symbol val) grob grob-c context)
644 \\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.
656 (let ((m (make-music 'ApplyContext)))
658 (let* ((bn (ly:context-property tr 'currentBarNumber)))
662 ;; FIXME: uncomprehensable message
663 (_ "Bar check failed. Expect to be at ~a, instead at ~a")
665 (set! (ly:music-property m 'procedure) checker)
669 (define-public (skip->rest mus)
671 "Replace MUS by RestEvent of the same duration if it is a
672 SkipEvent. Useful for extracting parts from crowded scores"
674 (if (memq (ly:music-property mus 'name) '(SkipEvent SkipMusic))
675 (make-music 'RestEvent 'duration (ly:music-property mus 'duration))
679 (define-public (music-has-type music type)
680 (memq type (ly:music-property music 'types)))
682 (define-public (music-clone music)
683 (define (alist->args alist acc)
686 (alist->args (cdr alist)
687 (cons (caar alist) (cons (cdar alist) acc)))))
691 (ly:music-property music 'name)
692 (alist->args (ly:music-mutable-properties music) '())))
694 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
695 ;; warn for bare chords at start.
698 (define-public (ly:music-message music msg)
699 (let ((ip (ly:music-property music 'origin)))
700 (if (ly:input-location? ip)
701 (ly:input-message ip msg)
704 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
706 ;; setting stuff for grace context.
709 (define (vector-extend v x)
710 "Make a new vector consisting of V, with X added to the end."
711 (let* ((n (vector-length v))
712 (nv (make-vector (+ n 1) '())))
713 (vector-move-left! v 0 n nv 0)
717 (define (vector-map f v)
718 "Map F over V. This function returns nothing."
719 (do ((n (vector-length v))
722 (f (vector-ref v i))))
724 (define (vector-reverse-map f v)
725 "Map F over V, N to 0 order. This function returns nothing."
726 (do ((i (- (vector-length v) 1) (- i 1)))
728 (f (vector-ref v i))))
730 (define-public (add-grace-property context-name grob sym val)
731 "Set SYM=VAL for GROB in CONTEXT-NAME. "
732 (define (set-prop context)
733 (let* ((where (ly:context-property-where-defined context 'graceSettings))
734 (current (ly:context-property where 'graceSettings))
735 (new-settings (append current
736 (list (list context-name grob sym val)))))
737 (ly:context-set-property! where 'graceSettings new-settings)))
738 (ly:export (context-spec-music (make-apply-context set-prop) 'Voice)))
740 (define-public (remove-grace-property context-name grob sym)
741 "Remove all SYM for GROB in CONTEXT-NAME. "
742 (define (sym-grob-context? property sym grob context-name)
743 (and (eq? (car property) context-name)
744 (eq? (cadr property) grob)
745 (eq? (caddr property) sym)))
746 (define (delete-prop context)
747 (let* ((where (ly:context-property-where-defined context 'graceSettings))
748 (current (ly:context-property where 'graceSettings))
749 (prop-settings (filter
750 (lambda(x) (sym-grob-context? x sym grob context-name))
752 (new-settings current))
754 (set! new-settings (delete x new-settings)))
756 (ly:context-set-property! where 'graceSettings new-settings)))
757 (ly:export (context-spec-music (make-apply-context delete-prop) 'Voice)))
761 (defmacro-public def-grace-function (start stop . docstring)
762 "Helper macro for defining grace music"
763 `(define-music-function (parser location music) (ly:music?)
765 (make-music 'GraceMusic
767 'element (make-music 'SequentialMusic
768 'elements (list (ly:music-deep-copy ,start)
770 (ly:music-deep-copy ,stop))))))
772 (defmacro-public define-music-function (args signature . body)
773 "Helper macro for `ly:make-music-function'.
775 (define-music-function (parser location arg1 arg2 ...) (arg1-type? arg2-type? ...)
778 (if (and (pair? body) (pair? (car body)) (eqv? '_i (caar body)))
779 ;; When the music function definition contains a i10n doc string,
780 ;; (_i "doc string"), keep the literal string only
781 (let ((docstring (cadar body))
783 `(ly:make-music-function (list ,@signature)
787 `(ly:make-music-function (list ,@signature)
792 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
794 (define-public (cue-substitute quote-music)
795 "Must happen after quote-substitute."
797 (if (vector? (ly:music-property quote-music 'quoted-events))
798 (let* ((dir (ly:music-property quote-music 'quoted-voice-direction))
799 (main-voice (if (eq? 1 dir) 1 0))
800 (cue-voice (if (eq? 1 dir) 0 1))
801 (main-music (ly:music-property quote-music 'element))
802 (return-value quote-music))
804 (if (or (eq? 1 dir) (eq? -1 dir))
806 ;; if we have stem dirs, change both quoted and main music
807 ;; to have opposite stems.
811 ;; cannot context-spec Quote-music, since context
812 ;; for the quotes is determined in the iterator.
813 (make-sequential-music
815 (context-spec-music (make-voice-props-set cue-voice) 'CueVoice "cue")
817 (context-spec-music (make-voice-props-revert) 'CueVoice "cue"))))
819 (make-sequential-music
821 (make-voice-props-set main-voice)
823 (make-voice-props-revert))))
824 (set! (ly:music-property quote-music 'element) main-music)))
829 (define-public ((quote-substitute quote-tab) music)
830 (let* ((quoted-name (ly:music-property music 'quoted-music-name))
831 (quoted-vector (if (string? quoted-name)
832 (hash-ref quote-tab quoted-name #f)
836 (if (string? quoted-name)
837 (if (vector? quoted-vector)
839 (set! (ly:music-property music 'quoted-events) quoted-vector)
840 (set! (ly:music-property music 'iterator-ctor)
841 ly:quote-iterator::constructor))
842 (ly:warning (_ "cannot find quoted music: `~S'") quoted-name)))
846 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
847 ;; switch it on here, so parsing and init isn't checked (too slow!)
849 ;; automatic music transformations.
851 (define (switch-on-debugging m)
852 (if (defined? 'set-debug-cell-accesses!)
853 (set-debug-cell-accesses! 15000))
856 (define (music-check-error music)
859 (if (and (ly:music? m)
860 (eq? (ly:music-property m 'error-found) #t))
863 (for-each signal (ly:music-property music 'elements))
864 (signal (ly:music-property music 'element))
867 (set! (ly:music-property music 'error-found) #t))
870 (define (precompute-music-length music)
871 (set! (ly:music-property music 'length)
872 (ly:music-length music))
875 (define-public (make-duration-of-length moment)
876 "Make duration of the given MOMENT length."
877 (ly:make-duration 0 0
878 (ly:moment-main-numerator moment)
879 (ly:moment-main-denominator moment)))
881 (define (skip-this moment)
882 "set skipTypesetting, make SkipMusic of the given MOMENT length,
883 and then unset skipTypesetting."
884 (make-sequential-music
886 (context-spec-music (make-property-set 'skipTypesetting #t)
888 (make-music 'SkipMusic 'duration
889 (make-duration-of-length moment))
890 (context-spec-music (make-property-set 'skipTypesetting #f)
893 (define (unskip-this moment)
894 "unset skipTypesetting, make SkipMusic of the given MOMENT length,
895 and then set skipTypesetting."
896 (make-sequential-music
898 (context-spec-music (make-property-set 'skipTypesetting #f)
900 (make-music 'SkipMusic 'duration
901 (make-duration-of-length moment))
902 (context-spec-music (make-property-set 'skipTypesetting #t)
905 (define (skip-as-needed music parser)
907 << { \\set skipTypesetting = ##f
908 LENGTHOF(\\showFirstLength)
909 \\set skipTypesetting = ##t
910 LENGTHOF(\\showLastLength) }
914 When only showFirstLength is set,
915 the 'length property of the music is
916 overridden to speed up compiling."
918 ((show-last (ly:parser-lookup parser 'showLastLength))
919 (show-first (ly:parser-lookup parser 'showFirstLength)))
922 ;; both properties may be set.
923 ((and (ly:music? show-first) (ly:music? show-last))
925 ((orig-length (ly:music-length music))
926 (skip-length (ly:moment-sub orig-length (ly:music-length show-last)))
927 (begin-length (ly:music-length show-first)))
928 (make-simultaneous-music
930 (make-sequential-music
932 (skip-this skip-length)
933 ;; let's draw a separator between the beginning and the end
934 (context-spec-music (make-property-set 'whichBar "||")
936 (unskip-this begin-length)
939 ;; we may only want to print the last length
940 ((ly:music? show-last)
942 ((orig-length (ly:music-length music))
943 (skip-length (ly:moment-sub orig-length (ly:music-length show-last))))
944 (make-simultaneous-music
946 (skip-this skip-length)
949 ;; we may only want to print the beginning; in this case
950 ;; only the first length will be processed (much faster).
951 ((ly:music? show-first)
953 ((orig-length (ly:music-length music))
954 (begin-length (ly:music-length show-first)))
955 ;; the first length must not exceed the original length.
956 (if (ly:moment<? begin-length orig-length)
957 (set! (ly:music-property music 'length)
958 (ly:music-length show-first)))
964 (define-public toplevel-music-functions
966 (lambda (music parser) (voicify-music music))
967 (lambda (x parser) (music-map music-check-error x))
968 (lambda (x parser) (music-map precompute-music-length x))
969 (lambda (music parser)
971 (music-map (quote-substitute (ly:parser-lookup parser 'musicQuotes)) music))
973 ;; switch-on-debugging
974 (lambda (x parser) (music-map cue-substitute x))
977 (skip-as-needed x parser)
981 ;;; general purpose music functions
983 (define (shift-octave pitch octave-shift)
984 (_i "Add @var{octave-shift} to the octave of @var{pitch}.")
986 (+ (ly:pitch-octave pitch) octave-shift)
987 (ly:pitch-notename pitch)
988 (ly:pitch-alteration pitch)))
994 (define (apply-durations lyric-music durations)
995 (define (apply-duration music)
996 (if (and (not (equal? (ly:music-length music) ZERO-MOMENT))
997 (ly:duration? (ly:music-property music 'duration)))
999 (set! (ly:music-property music 'duration) (car durations))
1000 (set! durations (cdr durations)))))
1002 (music-map apply-duration lyric-music))
1005 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
1008 (define (recent-enough? bar-number alteration-def laziness)
1009 (if (or (number? alteration-def)
1010 (equal? laziness #t))
1012 (<= bar-number (+ (cadr alteration-def) laziness))))
1014 (define (is-tied? alteration-def)
1015 (let* ((def (if (pair? alteration-def)
1016 (car alteration-def)
1019 (if (equal? def 'tied) #t #f)))
1021 (define (extract-alteration alteration-def)
1022 (cond ((number? alteration-def)
1024 ((pair? alteration-def)
1025 (car alteration-def))
1028 (define (check-pitch-against-signature context pitch barnum laziness octaveness)
1029 "Checks the need for an accidental and a @q{restore} accidental against
1030 @code{localKeySignature}. The @var{laziness} is the number of measures
1031 for which reminder accidentals are used (i.e., if @var{laziness} is zero,
1032 only cancel accidentals in the same measure; if @var{laziness} is three,
1033 we cancel accidentals up to three measures after they first appear.
1034 @var{octaveness} is either @code{'same-octave} or @code{'any-octave} and
1035 specifies whether accidentals should be canceled in different octaves."
1036 (let* ((ignore-octave (cond ((equal? octaveness 'any-octave) #t)
1037 ((equal? octaveness 'same-octave) #f)
1039 (ly:warning (_ "Unknown octaveness type: ~S ") octaveness)
1040 (ly:warning (_ "Defaulting to 'any-octave."))
1042 (key-sig (ly:context-property context 'keySignature))
1043 (local-key-sig (ly:context-property context 'localKeySignature))
1044 (notename (ly:pitch-notename pitch))
1045 (octave (ly:pitch-octave pitch))
1046 (pitch-handle (cons octave notename))
1048 (need-accidental #f)
1049 (previous-alteration #f)
1050 (from-other-octaves #f)
1051 (from-same-octave (assoc-get pitch-handle local-key-sig))
1052 (from-key-sig (assoc-get notename local-key-sig)))
1054 ;; If no key signature match is found from localKeySignature, we may have a custom
1055 ;; type with octave-specific entries of the form ((octave . pitch) alteration)
1056 ;; instead of (pitch . alteration). Since this type cannot coexist with entries in
1057 ;; localKeySignature, try extracting from keySignature instead.
1058 (if (equal? from-key-sig #f)
1059 (set! from-key-sig (assoc-get pitch-handle key-sig)))
1061 ;; loop through localKeySignature to search for a notename match from other octaves
1062 (let loop ((l local-key-sig))
1064 (let ((entry (car l)))
1065 (if (and (pair? (car entry))
1066 (= (cdar entry) notename))
1067 (set! from-other-octaves (cdr entry))
1070 ;; find previous alteration-def for comparison with pitch
1072 ;; from same octave?
1073 ((and (eq? ignore-octave #f)
1074 (not (equal? from-same-octave #f))
1075 (recent-enough? barnum from-same-octave laziness))
1076 (set! previous-alteration from-same-octave))
1079 ((and (eq? ignore-octave #t)
1080 (not (equal? from-other-octaves #f))
1081 (recent-enough? barnum from-other-octaves laziness))
1082 (set! previous-alteration from-other-octaves))
1084 ;; not recent enough, extract from key signature/local key signature
1085 ((not (equal? from-key-sig #f))
1086 (set! previous-alteration from-key-sig)))
1088 (if (is-tied? previous-alteration)
1089 (set! need-accidental #t)
1091 (let* ((prev-alt (extract-alteration previous-alteration))
1092 (this-alt (ly:pitch-alteration pitch)))
1094 (if (not (= this-alt prev-alt))
1096 (set! need-accidental #t)
1097 (if (and (not (= this-alt 0))
1098 (or (< (abs this-alt) (abs prev-alt))
1099 (< (* prev-alt this-alt) 0)))
1100 (set! need-restore #t))))))
1102 (cons need-restore need-accidental)))
1104 (define-public ((make-accidental-rule octaveness laziness) context pitch barnum measurepos)
1105 "Creates an accidental rule that makes its decision based on the octave of the note
1106 and a laziness value.
1107 octaveness is either 'same-octave or 'any-octave and defines whether the rule should
1108 respond to accidental changes in other octaves than the current. 'same-octave is the
1109 normal way to typeset accidentals - an accidental is made if the alteration is different
1110 from the last active pitch in the same octave. 'any-octave looks at the last active pitch
1112 laziness states over how many bars an accidental should be remembered.
1113 0 is default - accidental lasts over 0 bar lines, that is, to the end of current measure.
1114 A positive integer means that the accidental lasts over that many bar lines.
1115 -1 is 'forget immediately', that is, only look at key signature.
1117 (check-pitch-against-signature context pitch barnum laziness octaveness))
1119 (define (key-entry-notename entry)
1120 "Return the pitch of an entry in localKeySignature. The entry is either of the form
1121 '(notename . alter) or '((octave . notename) . (alter barnum . measurepos))."
1122 (if (number? (car entry))
1126 (define (key-entry-octave entry)
1127 "Return the octave of an entry in localKeySignature (or #f if the entry does not have
1129 (and (pair? (car entry)) (caar entry)))
1131 (define (key-entry-bar-number entry)
1132 "Return the bar number of an entry in localKeySignature (or #f if the entry does not
1133 have a bar number)."
1134 (and (pair? (car entry)) (caddr entry)))
1136 (define (key-entry-measure-position entry)
1137 "Return the measure position of an entry in localKeySignature (or #f if the entry does
1138 not have a measure position)."
1139 (and (pair? (car entry)) (cdddr entry)))
1141 (define (key-entry-alteration entry)
1142 "Return the alteration of an entry in localKeySignature."
1143 (if (number? (car entry))
1147 (define-public (find-pitch-entry keysig pitch accept-global accept-local)
1148 "Return the first entry in keysig that matches the pitch.
1149 accept-global states whether key signature entries should be included.
1150 accept-local states whether local accidentals should be included.
1151 if no matching entry is found, #f is returned."
1153 (let* ((entry (car keysig))
1154 (entryoct (key-entry-octave entry))
1155 (entrynn (key-entry-notename entry))
1156 (oct (ly:pitch-octave pitch))
1157 (nn (ly:pitch-notename pitch)))
1158 (if (and (equal? nn entrynn)
1159 (or (and accept-global (equal? #f entryoct))
1160 (and accept-local (equal? oct entryoct))))
1162 (find-pitch-entry (cdr keysig) pitch accept-global accept-local)))
1165 (define-public (neo-modern-accidental-rule context pitch barnum measurepos)
1166 "an accidental rule that typesets an accidental if it differs from the key signature
1167 AND does not directly follow a note on the same staff-line.
1168 This rule should not be used alone because it does neither look at bar lines
1169 nor different accidentals at the same notename"
1170 (let* ((keysig (ly:context-property context 'localKeySignature))
1171 (entry (find-pitch-entry keysig pitch #t #t)))
1172 (if (equal? #f entry)
1174 (let* ((global-entry (find-pitch-entry keysig pitch #t #f))
1175 (key-acc (if (equal? global-entry #f)
1177 (key-entry-alteration global-entry)))
1178 (acc (ly:pitch-alteration pitch))
1179 (entrymp (key-entry-measure-position entry))
1180 (entrybn (key-entry-bar-number entry)))
1181 (cons #f (not (or (equal? acc key-acc)
1182 (and (equal? entrybn barnum) (equal? entrymp measurepos)))))))))
1184 (define-public (teaching-accidental-rule context pitch barnum measurepos)
1185 "an accidental rule that typesets a cautionary accidental
1186 if it is included in the key signature AND does not directly follow
1187 a note on the same staff-line."
1188 (let* ((keysig (ly:context-property context 'localKeySignature))
1189 (entry (find-pitch-entry keysig pitch #t #t)))
1190 (if (equal? #f entry)
1192 (let* ((global-entry (find-pitch-entry keysig pitch #f #f))
1193 (key-acc (if (equal? global-entry #f)
1195 (key-entry-alteration global-entry)))
1196 (acc (ly:pitch-alteration pitch))
1197 (entrymp (key-entry-measure-position entry))
1198 (entrybn (key-entry-bar-number entry)))
1199 (cons #f (not (or (equal? acc key-acc)
1200 (and (equal? entrybn barnum) (equal? entrymp measurepos)))))))))
1202 (define-public (set-accidentals-properties extra-natural
1203 auto-accs auto-cauts
1206 (make-sequential-music
1207 (append (if (boolean? extra-natural)
1208 (list (make-property-set 'extraNatural extra-natural))
1210 (list (make-property-set 'autoAccidentals auto-accs)
1211 (make-property-set 'autoCautionaries auto-cauts))))
1214 (define-public (set-accidental-style style . rest)
1215 "Set accidental style to STYLE. Optionally takes a context argument,
1216 e.g. 'Staff or 'Voice. The context defaults to Staff, except for piano styles, which
1217 use GrandStaff as a context. "
1218 (let ((context (if (pair? rest)
1220 (pcontext (if (pair? rest)
1221 (car rest) 'GrandStaff)))
1224 ;; accidentals as they were common in the 18th century.
1225 ((equal? style 'default)
1226 (set-accidentals-properties #t
1227 `(Staff ,(make-accidental-rule 'same-octave 0))
1230 ;; accidentals from one voice do NOT get cancelled in other voices
1231 ((equal? style 'voice)
1232 (set-accidentals-properties #t
1233 `(Voice ,(make-accidental-rule 'same-octave 0))
1236 ;; accidentals as suggested by Kurt Stone, Music Notation in the 20th century.
1237 ;; This includes all the default accidentals, but accidentals also needs cancelling
1238 ;; in other octaves and in the next measure.
1239 ((equal? style 'modern)
1240 (set-accidentals-properties #f
1241 `(Staff ,(make-accidental-rule 'same-octave 0)
1242 ,(make-accidental-rule 'any-octave 0)
1243 ,(make-accidental-rule 'same-octave 1))
1246 ;; the accidentals that Stone adds to the old standard as cautionaries
1247 ((equal? style 'modern-cautionary)
1248 (set-accidentals-properties #f
1249 `(Staff ,(make-accidental-rule 'same-octave 0))
1250 `(Staff ,(make-accidental-rule 'any-octave 0)
1251 ,(make-accidental-rule 'same-octave 1))
1253 ;; same as modern, but accidentals different from the key signature are always
1254 ;; typeset - unless they directly follow a note of the same pitch.
1255 ((equal? style 'neo-modern)
1256 (set-accidentals-properties #f
1257 `(Staff ,(make-accidental-rule 'same-octave 0)
1258 ,(make-accidental-rule 'any-octave 0)
1259 ,(make-accidental-rule 'same-octave 1)
1260 ,neo-modern-accidental-rule)
1263 ((equal? style 'neo-modern-cautionary)
1264 (set-accidentals-properties #f
1265 `(Staff ,(make-accidental-rule 'same-octave 0))
1266 `(Staff ,(make-accidental-rule 'any-octave 0)
1267 ,(make-accidental-rule 'same-octave 1)
1268 ,neo-modern-accidental-rule)
1270 ((equal? style 'neo-modern-voice)
1271 (set-accidentals-properties #f
1272 `(Voice ,(make-accidental-rule 'same-octave 0)
1273 ,(make-accidental-rule 'any-octave 0)
1274 ,(make-accidental-rule 'same-octave 1)
1275 ,neo-modern-accidental-rule
1276 Staff ,(make-accidental-rule 'same-octave 0)
1277 ,(make-accidental-rule 'any-octave 0)
1278 ,(make-accidental-rule 'same-octave 1)
1279 ,neo-modern-accidental-rule)
1282 ((equal? style 'neo-modern-voice-cautionary)
1283 (set-accidentals-properties #f
1284 `(Voice ,(make-accidental-rule 'same-octave 0))
1285 `(Voice ,(make-accidental-rule 'any-octave 0)
1286 ,(make-accidental-rule 'same-octave 1)
1287 ,neo-modern-accidental-rule
1288 Staff ,(make-accidental-rule 'same-octave 0)
1289 ,(make-accidental-rule 'any-octave 0)
1290 ,(make-accidental-rule 'same-octave 1)
1291 ,neo-modern-accidental-rule)
1293 ;; Accidentals as they were common in dodecaphonic music with no tonality.
1294 ;; Each note gets one accidental.
1295 ((equal? style 'dodecaphonic)
1296 (set-accidentals-properties #f
1297 `(Staff ,(lambda (c p bn mp) '(#f . #t)))
1300 ;; Multivoice accidentals to be read both by musicians playing one voice
1301 ;; and musicians playing all voices.
1302 ;; Accidentals are typeset for each voice, but they ARE cancelled across voices.
1303 ((equal? style 'modern-voice)
1304 (set-accidentals-properties #f
1305 `(Voice ,(make-accidental-rule 'same-octave 0)
1306 ,(make-accidental-rule 'any-octave 0)
1307 ,(make-accidental-rule 'same-octave 1)
1308 Staff ,(make-accidental-rule 'same-octave 0)
1309 ,(make-accidental-rule 'any-octave 0)
1310 ,(make-accidental-rule 'same-octave 1))
1313 ;; same as modernVoiceAccidental eccept that all special accidentals are typeset
1315 ((equal? style 'modern-voice-cautionary)
1316 (set-accidentals-properties #f
1317 `(Voice ,(make-accidental-rule 'same-octave 0))
1318 `(Voice ,(make-accidental-rule 'any-octave 0)
1319 ,(make-accidental-rule 'same-octave 1)
1320 Staff ,(make-accidental-rule 'same-octave 0)
1321 ,(make-accidental-rule 'any-octave 0)
1322 ,(make-accidental-rule 'same-octave 1))
1324 ;; stone's suggestions for accidentals on grand staff.
1325 ;; Accidentals are cancelled across the staves in the same grand staff as well
1326 ((equal? style 'piano)
1327 (set-accidentals-properties #f
1328 `(Staff ,(make-accidental-rule 'same-octave 0)
1329 ,(make-accidental-rule 'any-octave 0)
1330 ,(make-accidental-rule 'same-octave 1)
1332 ,(make-accidental-rule 'any-octave 0)
1333 ,(make-accidental-rule 'same-octave 1))
1336 ((equal? style 'piano-cautionary)
1337 (set-accidentals-properties #f
1338 `(Staff ,(make-accidental-rule 'same-octave 0))
1339 `(Staff ,(make-accidental-rule 'any-octave 0)
1340 ,(make-accidental-rule 'same-octave 1)
1342 ,(make-accidental-rule 'any-octave 0)
1343 ,(make-accidental-rule 'same-octave 1))
1346 ;; same as modern, but cautionary accidentals are printed for all sharp or flat
1347 ;; tones specified by the key signature.
1348 ((equal? style 'teaching)
1349 (set-accidentals-properties #f
1350 `(Staff ,(make-accidental-rule 'same-octave 0))
1351 `(Staff ,(make-accidental-rule 'same-octave 1)
1352 ,teaching-accidental-rule)
1355 ;; do not set localKeySignature when a note alterated differently from
1356 ;; localKeySignature is found.
1357 ;; Causes accidentals to be printed at every note instead of
1358 ;; remembered for the duration of a measure.
1359 ;; accidentals not being remembered, causing accidentals always to
1360 ;; be typeset relative to the time signature
1361 ((equal? style 'forget)
1362 (set-accidentals-properties '()
1363 `(Staff ,(make-accidental-rule 'same-octave -1))
1366 ;; Do not reset the key at the start of a measure. Accidentals will be
1367 ;; printed only once and are in effect until overridden, possibly many
1369 ((equal? style 'no-reset)
1370 (set-accidentals-properties '()
1371 `(Staff ,(make-accidental-rule 'same-octave #t))
1375 (ly:warning (_ "unknown accidental style: ~S") style)
1376 (make-sequential-music '()))))))
1378 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
1380 (define-public (skip-of-length mus)
1381 "Create a skip of exactly the same length as MUS."
1385 'duration (ly:make-duration 0 0))))
1387 (make-event-chord (list (ly:music-compress skip (ly:music-length mus))))))
1389 (define-public (mmrest-of-length mus)
1390 "Create a mmrest of exactly the same length as MUS."
1393 (make-multi-measure-rest
1394 (ly:make-duration 0 0) '())))
1395 (ly:music-compress skip (ly:music-length mus))
1398 (define-public (pitch-of-note event-chord)
1401 ((evs (filter (lambda (x) (memq 'note-event (ly:music-property x 'types)))
1402 (ly:music-property event-chord 'elements))))
1405 (ly:music-property (car evs) 'pitch)
1408 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
1410 (define-public (extract-named-music music music-name)
1411 "Return a flat list of all music named @code{music-name}
1413 (let ((extracted-list
1414 (if (ly:music? music)
1415 (if (eq? (ly:music-property music 'name) music-name)
1417 (let ((elt (ly:music-property music 'element))
1418 (elts (ly:music-property music 'elements)))
1420 (extract-named-music elt music-name)
1424 (extract-named-music x music-name ))
1427 (flatten-list extracted-list)))
1429 (define-public (event-chord-notes event-chord)
1430 "Return a list of all notes from @{event-chord}."
1432 (lambda (m) (eq? 'NoteEvent (ly:music-property m 'name)))
1433 (ly:music-property event-chord 'elements)))
1435 (define-public (event-chord-pitches event-chord)
1436 "Return a list of all pitches from @{event-chord}."
1437 (map (lambda (x) (ly:music-property x 'pitch))
1438 (event-chord-notes event-chord)))