X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=scm%2Fpart-combiner.scm;h=58f7b303a8620ac63279d571aa577b3a8698828b;hb=47db9a3883d726ca53e2133a3b2298f78dd6a32e;hp=8c779a91ee19944affc53ee95d8848e5f1582724;hpb=5edacf4c1908d0fe988d0ef9b3d6a9820a1e8734;p=lilypond.git diff --git a/scm/part-combiner.scm b/scm/part-combiner.scm index 8c779a91ee..58f7b303a8 100644 --- a/scm/part-combiner.scm +++ b/scm/part-combiner.scm @@ -1,6 +1,6 @@ ;;;; This file is part of LilyPond, the GNU music typesetter. ;;;; -;;;; Copyright (C) 2004--2011 Han-Wen Nienhuys +;;;; Copyright (C) 2004--2015 Han-Wen Nienhuys ;;;; ;;;; LilyPond is free software: you can redistribute it and/or modify ;;;; it under the terms of the GNU General Public License as published by @@ -20,7 +20,7 @@ (define-class () (event-list #:init-value '() #:accessor events #:init-keyword #:events) - (when-moment #:accessor when #:init-keyword #:when) + (when-moment #:accessor moment #:init-keyword #:moment) (tuning #:accessor tuning #:init-keyword #:tuning) (split-index #:accessor split-index) (vector-index) @@ -32,7 +32,7 @@ (spanner-state #:init-value '() #:accessor span-state)) (define-method (write (x ) file) - (display (when x) file) + (display (moment x) file) (display " evs = " file) (display (events x) file) (display " active = " file) @@ -41,15 +41,21 @@ (define-method (note-events (vs )) (define (f? x) - (equal? (ly:event-property x 'class) 'note-event)) + (ly:in-event-class? x 'note-event)) + (filter f? (events vs))) + +(define-method (rest-and-skip-events (vs )) + (define (f? x) + (or (ly:in-event-class? x 'rest-event) + (ly:in-event-class? x 'skip-event))) (filter f? (events vs))) (define-method (previous-voice-state (vs )) (let ((i (slot-ref vs 'vector-index)) - (v (slot-ref vs 'state-vector))) + (v (slot-ref vs 'state-vector))) (if (< 0 i) - (vector-ref v (1- i)) - #f))) + (vector-ref v (1- i)) + #f))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; @@ -58,15 +64,15 @@ (configuration #:init-value '() #:accessor configuration) ;; Allow overriding split configuration, takes precedence over configuration (forced-configuration #:init-value #f #:accessor forced-configuration) - (when-moment #:accessor when #:init-keyword #:when) + (when-moment #:accessor moment #:init-keyword #:moment) ;; voice-states are states starting with the Split-state or later ;; (is #:init-keyword #:voice-states #:accessor voice-states) - (synced #:init-keyword #:synced #:init-value #f #:getter synced?)) + (synced #:init-keyword #:synced #:init-value #f #:getter synced?)) (define-method (write (x ) f) - (display (when x) f) + (display (moment x) f) (display " = " f) (display (configuration x) f) (if (synced? x) @@ -82,13 +88,13 @@ (define (make-voice-states evl) (let ((vec (list->vector (map (lambda (v) - (make - #:when (caar v) - #:tuning (cdar v) - #:events (map car (cdr v)))) - evl)))) + (make + #:moment (caar v) + #:tuning (cdar v) + #:events (map car (cdr v)))) + evl)))) (do ((i 0 (1+ i))) - ((= i (vector-length vec)) vec) + ((= i (vector-length vec)) vec) (slot-set! (vector-ref vec i) 'vector-index i) (slot-set! (vector-ref vec i) 'state-vector vec)))) @@ -99,29 +105,29 @@ Voice-state objects " (define (helper ss-idx ss-list idx1 idx2) (let* ((state1 (if (< idx1 (vector-length vs1)) (vector-ref vs1 idx1) #f)) - (state2 (if (< idx2 (vector-length vs2)) (vector-ref vs2 idx2) #f)) - (min (cond ((and state1 state2) (moment-min (when state1) (when state2))) - (state1 (when state1)) - (state2 (when state2)) - (else #f))) - (inc1 (if (and state1 (equal? min (when state1))) 1 0)) - (inc2 (if (and state2 (equal? min (when state2))) 1 0)) - (ss-object (if min - (make - #:when min - #:voice-states (cons state1 state2) - #:synced (= inc1 inc2)) - #f))) + (state2 (if (< idx2 (vector-length vs2)) (vector-ref vs2 idx2) #f)) + (min (cond ((and state1 state2) (moment-min (moment state1) (moment state2))) + (state1 (moment state1)) + (state2 (moment state2)) + (else #f))) + (inc1 (if (and state1 (equal? min (moment state1))) 1 0)) + (inc2 (if (and state2 (equal? min (moment state2))) 1 0)) + (ss-object (if min + (make + #:moment min + #:voice-states (cons state1 state2) + #:synced (= inc1 inc2)) + #f))) (if state1 - (set! (split-index state1) ss-idx)) + (set! (split-index state1) ss-idx)) (if state2 - (set! (split-index state2) ss-idx)) + (set! (split-index state2) ss-idx)) (if min - (helper (1+ ss-idx) - (cons ss-object ss-list) - (+ idx1 inc1) - (+ idx2 inc2)) - ss-list))) + (helper (1+ ss-idx) + (cons ss-object ss-list) + (+ idx1 inc1) + (+ idx2 inc2)) + ss-list))) (list->vector (reverse! (helper 0 '() 0 0) '()))) (define (analyse-spanner-states voice-state-vec) @@ -130,142 +136,155 @@ Voice-state objects "Analyse EVS at INDEX, given state ACTIVE." (define (analyse-tie-start active ev) - (if (equal? (ly:event-property ev 'class) 'tie-event) - (acons 'tie (split-index (vector-ref voice-state-vec index)) - active) - active)) + (if (ly:in-event-class? ev 'tie-event) + (acons 'tie (split-index (vector-ref voice-state-vec index)) + active) + active)) (define (analyse-tie-end active ev) - (if (equal? (ly:event-property ev 'class) 'note-event) - (assoc-remove! active 'tie) - active)) + (if (ly:in-event-class? ev 'note-event) + (assoc-remove! active 'tie) + active)) (define (analyse-absdyn-end active ev) - (if (or (equal? (ly:event-property ev 'class) 'absolute-dynamic-event) - (and (equal? (ly:event-property ev 'class) 'crescendo-event) - (equal? STOP (ly:event-property ev 'span-direction)))) - (assoc-remove! (assoc-remove! active 'cresc) 'decr) - active)) + (if (or (ly:in-event-class? ev 'absolute-dynamic-event) + (and (ly:in-event-class? ev 'span-dynamic-event) + (equal? STOP (ly:event-property ev 'span-direction)))) + (assoc-remove! (assoc-remove! active 'cresc) 'decr) + active)) (define (active (length notes1) 1) (put 'apart)) - ((> (length notes2) 1) (put 'apart)) - ((= 1 (+ (length notes2) (length notes1))) (put 'apart)) - ((and (= (length durs1) 1) - (= (length durs2) 1) - (not (equal? (car durs1) (car durs2)))) - (put 'apart)) - (else - (if (and (= (length pitches1) (length pitches2))) - (if (and (pair? pitches1) - (pair? pitches2) - (or - (< chord-threshold (ly:pitch-steps - (ly:pitch-diff (car pitches1) - (car pitches2)))) - - ;; voice crossings: - (> 0 (ly:pitch-steps (ly:pitch-diff (car pitches1) - (car pitches2)))) - )) - (put 'apart) - ;; copy previous split state from spanner state - (begin - (if (previous-voice-state vs1) - (copy-state-from voice-state-vec1 - (previous-voice-state vs1))) - (if (previous-voice-state vs2) - (copy-state-from voice-state-vec2 - (previous-voice-state vs2))) - (if (and (null? (span-state vs1)) (null? (span-state vs2))) - (put 'chords))))))))) + (let* ((vs1 (car (voice-states now-state))) + (vs2 (cdr (voice-states now-state))) + (notes1 (note-events vs1)) + (durs1 (sort (map (lambda (x) (ly:event-property x 'duration)) + notes1) + ly:duration (length notes1) 1) (put 'apart)) + ((> (length notes2) 1) (put 'apart)) + ((= 1 (+ (length notes2) (length notes1))) (put 'apart)) + ((and (= (length durs1) 1) + (= (length durs2) 1) + (not (equal? (car durs1) (car durs2)))) + (put 'apart)) + (else + (if (and (= (length pitches1) (length pitches2))) + (if (and (pair? pitches1) + (pair? pitches2) + ; Is the interval outside of chord-range? + (let ((diff (ly:pitch-steps + (ly:pitch-diff (car pitches1) + (car pitches2))))) + (or (< diff chord-min-diff) + (> diff chord-max-diff) + ))) + (put 'apart) + ;; copy previous split state from spanner state + (begin + (if (previous-voice-state vs1) + (copy-state-from voice-state-vec1 + (previous-voice-state vs1))) + (if (previous-voice-state vs2) + (copy-state-from voice-state-vec2 + (previous-voice-state vs2))) + (if (and (null? (span-state vs1)) (null? (span-state vs2))) + (put 'chords))))))))) (if (< result-idx (vector-length result)) - (let* ((now-state (vector-ref result result-idx)) - (vs1 (car (voice-states now-state))) - (vs2 (cdr (voice-states now-state)))) - - (cond ((not vs1) (put 'apart)) - ((not vs2) (put 'apart)) - (else - (let ((active1 (previous-span-state vs1)) - (active2 (previous-span-state vs2)) - (new-active1 (span-state vs1)) - (new-active2 (span-state vs2))) - (if #f ; debug - (display (list (when now-state) result-idx - active1 "->" new-active1 - active2 "->" new-active2 - "\n"))) - (if (and (synced? now-state) - (equal? active1 active2) - (equal? new-active1 new-active2)) - (analyse-notes now-state) - - ;; active states different: - (put 'apart))) - - ;; go to the next one, if it exists. - (analyse-time-step (1+ result-idx))))))) + (let* ((now-state (vector-ref result result-idx)) + (vs1 (car (voice-states now-state))) + (vs2 (cdr (voice-states now-state)))) + + (cond ((not vs1) (put 'apart)) + ((not vs2) (put 'apart)) + (else + (let ((active1 (previous-span-state vs1)) + (active2 (previous-span-state vs2)) + (new-active1 (span-state vs1)) + (new-active2 (span-state vs2))) + (if #f ; debug + (display (list (moment now-state) result-idx + active1 "->" new-active1 + active2 "->" new-active2 + "\n"))) + (if (and (synced? now-state) + (equal? active1 active2) + (equal? new-active1 new-active2)) + (analyse-notes now-state) + + ;; active states different: + (put 'apart))) + + ;; go to the next one, if it exists. + (analyse-time-step (1+ result-idx))))))) (define (analyse-a2 result-idx) (if (< result-idx (vector-length result)) - (let* ((now-state (vector-ref result result-idx)) - (vs1 (car (voice-states now-state))) - (vs2 (cdr (voice-states now-state)))) - (if (and (equal? (configuration now-state) 'chords) - vs1 vs2) - (let ((notes1 (note-events vs1)) - (notes2 (note-events vs2))) - (cond ((and (= 1 (length notes1)) - (= 1 (length notes2)) - (equal? (ly:event-property (car notes1) 'pitch) - (ly:event-property (car notes2) 'pitch))) - (set! (configuration now-state) 'unisono)) - ((and (= 0 (length notes1)) - (= 0 (length notes2))) - (set! (configuration now-state) 'unisilence))))) - (analyse-a2 (1+ result-idx))))) + (let* ((now-state (vector-ref result result-idx)) + (vs1 (car (voice-states now-state))) + (vs2 (cdr (voice-states now-state)))) + + (define (analyse-silence) + (let ((rests1 (if vs1 (rest-and-skip-events vs1) '())) + (rests2 (if vs2 (rest-and-skip-events vs2) '()))) + (cond + + ;; multi-measure rests (probably), which the + ;; part-combine iterator handles well + ((and (synced? now-state) + (= 0 (length rests1)) + (= 0 (length rests2))) + (set! (configuration now-state) 'unisilence)) + + ;; equal rests or equal skips, but not one of each + ((and (synced? now-state) + (= 1 (length rests1)) + (= 1 (length rests2)) + (equal? (ly:event-property (car rests1) 'class) + (ly:event-property (car rests2) 'class)) + (equal? (ly:event-property (car rests1) 'duration) + (ly:event-property (car rests2) 'duration))) + (set! (configuration now-state) 'unisilence)) + + ;; rests of different durations or mixed with + ;; skips or multi-measure rests + ((synced? now-state) + ;; TODO When one part has a rest and the other has a + ;; multi-measure rest, tell the part-combine + ;; iterator to route the part with the rest to the + ;; shared voice. Until there is a way to do this, + ;; we print them both; it does not look very good, + ;; but failing to print the rest is misleading. + ;; + ;; Maybe do something similar for skips; route + ;; the rest to the shared voice and the skip to + ;; the voice for its part. + (set! (configuration now-state) 'apart-silence)) + + ;; TODO At a multi-measure rest, return to unisilence + ;; even after having been apart. The results are not + ;; good now because of the deficiency mentioned + ;; above. + ))) + + (if (or vs1 vs2) + (let ((notes1 (if vs1 (note-events vs1) '())) + (notes2 (if vs2 (note-events vs2) '()))) + ; Todo: What about a2 chords, e.g. string multi-stops? + ; Sort and compare notes1 and notes2? + (cond ((and (equal? (configuration now-state) 'chords) + (= 1 (length notes1)) + (= 1 (length notes2)) + (equal? (ly:event-property (car notes1) 'pitch) + (ly:event-property (car notes2) 'pitch))) + (set! (configuration now-state) 'unisono)) + ((and (= 0 (length notes1)) + (= 0 (length notes2))) + (analyse-silence))))) + (analyse-a2 (1+ result-idx))))) (define (analyse-solo12 result-idx) (define (previous-config vs) - (let* ((pvs (previous-voice-state vs)) - (spi (if pvs (split-index pvs) #f)) - (prev-split (if spi (vector-ref result spi) #f))) - (if prev-split - (configuration prev-split) - 'apart))) + (let* ((pvs (previous-voice-state vs)) + (spi (if pvs (split-index pvs) #f)) + (prev-split (if spi (vector-ref result spi) #f))) + (if prev-split + (configuration prev-split) + 'apart))) (define (put-range x a b) - ;; (display (list "put range " x a b "\n")) - (do ((i a (1+ i))) - ((> i b) b) - (set! (configuration (vector-ref result i)) x))) + ;; (display (list "put range " x a b "\n")) + (do ((i a (1+ i))) + ((> i b) b) + (set! (configuration (vector-ref result i)) x))) (define (put x) - ;; (display (list "putting " x "\n")) - (set! (configuration (vector-ref result result-idx)) x)) + ;; (display (list "putting " x "\n")) + (set! (configuration (vector-ref result result-idx)) x)) (define (current-voice-state now-state voice-num) - (define vs ((if (= 1 voice-num) car cdr) - (voice-states now-state))) - (if (or (not vs) (equal? (when now-state) (when vs))) - vs - (previous-voice-state vs))) + (define vs ((if (= 1 voice-num) car cdr) + (voice-states now-state))) + (if (or (not vs) (equal? (moment now-state) (moment vs))) + vs + (previous-voice-state vs))) (define (try-solo type start-idx current-idx) - "Find a maximum stretch that can be marked as solo. Only set + "Find a maximum stretch that can be marked as solo. Only set the mark when there are no spanners active. return next idx to analyse. " - (if (< current-idx (vector-length result)) - (let* ((now-state (vector-ref result current-idx)) - (solo-state (current-voice-state now-state (if (equal? type 'solo1) 1 2))) - (silent-state (current-voice-state now-state (if (equal? type 'solo1) 2 1))) - (silent-notes (if silent-state (note-events silent-state) '())) - (solo-notes (if solo-state (note-events solo-state) '()))) - ;; (display (list "trying " type " at " (when now-state) solo-state silent-state "\n")) - (cond ((not (equal? (configuration now-state) 'apart)) - current-idx) - ((> (length silent-notes) 0) start-idx) - ((not solo-state) - (put-range type start-idx current-idx) - current-idx) - ((and - (null? (span-state solo-state))) - - ;; - ;; This includes rests. This isn't a problem: long rests - ;; will be shared with the silent voice, and be marked - ;; as unisilence. Therefore, long rests won't - ;; accidentally be part of a solo. - ;; - (put-range type start-idx current-idx) - (try-solo type (1+ current-idx) (1+ current-idx))) - (else - (try-solo type start-idx (1+ current-idx))))) - ;; try-solo - start-idx)) + (if (< current-idx (vector-length result)) + (let* ((now-state (vector-ref result current-idx)) + (solo-state (current-voice-state now-state (if (equal? type 'solo1) 1 2))) + (silent-state (current-voice-state now-state (if (equal? type 'solo1) 2 1))) + (silent-notes (if silent-state (note-events silent-state) '())) + (solo-notes (if solo-state (note-events solo-state) '()))) + ;; (display (list "trying " type " at " (moment now-state) solo-state silent-state "\n")) + (cond ((not (equal? (configuration now-state) 'apart)) + current-idx) + ((> (length silent-notes) 0) start-idx) + ((not solo-state) + (put-range type start-idx current-idx) + current-idx) + ((and + (null? (span-state solo-state))) + + ;; + ;; This includes rests. This isn't a problem: long rests + ;; will be shared with the silent voice, and be marked + ;; as unisilence. Therefore, long rests won't + ;; accidentally be part of a solo. + ;; + (put-range type start-idx current-idx) + (try-solo type (1+ current-idx) (1+ current-idx))) + (else + (try-solo type start-idx (1+ current-idx))))) + ;; try-solo + start-idx)) (define (analyse-moment result-idx) - "Analyse 'apart starting at RESULT-IDX. Return next index." - (let* ((now-state (vector-ref result result-idx)) - (vs1 (current-voice-state now-state 1)) - (vs2 (current-voice-state now-state 2)) - ;; (vs1 (car (voice-states now-state))) - ;; (vs2 (cdr (voice-states now-state))) - (notes1 (if vs1 (note-events vs1) '())) - (notes2 (if vs2 (note-events vs2) '())) - (n1 (length notes1)) - (n2 (length notes2))) - ;; (display (list "analyzing step " result-idx " moment " (when now-state) vs1 vs2 "\n")) - (max - ;; we should always increase. - (cond ((and (= n1 0) (= n2 0)) - (put 'apart-silence) - (1+ result-idx)) - ((and (= n2 0) - (equal? (when vs1) (when now-state)) - (null? (previous-span-state vs1))) - (try-solo 'solo1 result-idx result-idx)) - ((and (= n1 0) - (equal? (when vs2) (when now-state)) - (null? (previous-span-state vs2))) - (try-solo 'solo2 result-idx result-idx)) - - (else (1+ result-idx))) - ;; analyse-moment - (1+ result-idx)))) + "Analyse 'apart starting at RESULT-IDX. Return next index." + (let* ((now-state (vector-ref result result-idx)) + (vs1 (current-voice-state now-state 1)) + (vs2 (current-voice-state now-state 2)) + ;; (vs1 (car (voice-states now-state))) + ;; (vs2 (cdr (voice-states now-state))) + (notes1 (if vs1 (note-events vs1) '())) + (notes2 (if vs2 (note-events vs2) '())) + (n1 (length notes1)) + (n2 (length notes2))) + ;; (display (list "analyzing step " result-idx " moment " (moment now-state) vs1 vs2 "\n")) + (max + ;; we should always increase. + (cond ((and (= n1 0) (= n2 0)) + (put 'apart-silence) + (1+ result-idx)) + ((and (= n2 0) + (equal? (moment vs1) (moment now-state)) + (null? (previous-span-state vs1))) + (try-solo 'solo1 result-idx result-idx)) + ((and (= n1 0) + (equal? (moment vs2) (moment now-state)) + (null? (previous-span-state vs2))) + (try-solo 'solo2 result-idx result-idx)) + + (else (1+ result-idx))) + ;; analyse-moment + (1+ result-idx)))) (if (< result-idx (vector-length result)) - (if (equal? (configuration (vector-ref result result-idx)) 'apart) - (analyse-solo12 (analyse-moment result-idx)) - (analyse-solo12 (1+ result-idx))))) ; analyse-solo12 + (if (equal? (configuration (vector-ref result result-idx)) 'apart) + (analyse-solo12 (analyse-moment result-idx)) + (analyse-solo12 (1+ result-idx))))) ; analyse-solo12 (analyse-spanner-states voice-state-vec1) (analyse-spanner-states voice-state-vec2) (if #f - (begin - (display voice-state-vec1) - (display "***\n") - (display voice-state-vec2) - (display "***\n") - (display result) - (display "***\n"))) + (begin + (display voice-state-vec1) + (display "***\n") + (display voice-state-vec2) + (display "***\n") + (display result) + (display "***\n"))) ;; Extract all forced combine strategies, i.e. events inserted by ;; \partcombine(Apart|Automatic|SoloI|SoloII|Chords)[Once] @@ -559,11 +624,11 @@ the mark when there are no spanners active. (analyse-solo12 0) ;; (display result) (set! result (map - ;; forced-configuration overrides, if it is set - (lambda (x) (cons (when x) (or (forced-configuration x) (configuration x)))) - (vector->list result))) + ;; forced-configuration overrides, if it is set + (lambda (x) (cons (moment x) (or (forced-configuration x) (configuration x)))) + (vector->list result))) (if #f ;; pc-debug - (display result)) + (display result)) result)) @@ -594,4 +659,4 @@ the mark when there are no spanners active. (if (not (null? quote-contents)) (hash-set! tab name (list->vector (reverse! quote-contents '()))) - (ly:music-message mus (ly:format (_ "quoted music `~a' is empty") name))))) + (ly:music-warning mus (ly:format (_ "quoted music `~a' is empty") name)))))