X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=scm%2Fmarkup.scm;h=81614a68839fcddf458fd105d841fc4301ccd2dc;hb=f52e59b15644e5da959b30a2e2d55fd5d5970bcb;hp=f1d0863ff77381eb3ad681cf3caaa6e080146277;hpb=4595e16e734aad8d185f1a850f98eca0fb370927;p=lilypond.git diff --git a/scm/markup.scm b/scm/markup.scm index f1d0863ff7..81614a6883 100644 --- a/scm/markup.scm +++ b/scm/markup.scm @@ -2,7 +2,7 @@ ;;;; ;;;; source file of the GNU LilyPond music typesetter ;;;; -;;;; (c) 2003--2006 Han-Wen Nienhuys +;;;; (c) 2003--2007 Han-Wen Nienhuys " Internally markup is stored as lists, whose head is a function. @@ -37,25 +37,45 @@ The command is now available in markup mode, e.g. ;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; markup definer utilities -(define-macro (define-builtin-markup-command command-and-args signature . body) +;; For documentation purposes +;; category -> markup functions +(define-public markup-functions-by-category (make-hash-table 150)) +;; markup function -> used properties +(define-public markup-functions-properties (make-hash-table 150)) +;; List of markup list functions +(define-public markup-list-function-list (list)) + +(define-macro (define-builtin-markup-command command-and-args signature + category properties-or-copied-function . body) " * Define a COMMAND-markup function after command-and-args and body, register COMMAND-markup and its signature, -* add COMMAND-markup to markup-function-list, +* add COMMAND-markup to markup-functions-by-category, * sets COMMAND-markup markup-signature and markup-keyword object properties, * define a make-COMMAND-markup function. Syntax: - (define-builtin-markup-command (COMMAND layout props arg1 arg2 ...) - (arg1-type? arg2-type? ...) + (define-builtin-markup-command (COMMAND layout props . arguments) + argument-types + category + properties \"documentation string\" ...command body...) or: - (define-builtin-markup-command COMMAND (arg1-type? arg2-type? ...) - function) + (define-builtin-markup-command COMMAND + argument-types + category + function) + +where: + argument-types is a list of type predicates for arguments + category is either a symbol or a symbol list + properties a list of (property default-value) lists or COMMANDx-markup elements + (when a COMMANDx-markup is found, the properties of the said commandx are + added instead). No check is performed against cyclical references! " (let* ((command (if (pair? command-and-args) (car command-and-args) command-and-args)) (args (if (pair? command-and-args) (cdr command-and-args) '())) @@ -64,21 +84,111 @@ Syntax: `(begin ;; define the COMMAND-markup function ,(if (pair? args) - `(define-public (,command-name ,@args) - ,@body) + (let ((documentation (car body)) + (real-body (cdr body)) + (properties properties-or-copied-function)) + `(define-public (,command-name ,@args) + ,documentation + (let ,(filter identity + (map (lambda (prop-spec) + (if (pair? prop-spec) + (let ((prop (car prop-spec)) + (default-value (if (null? (cdr prop-spec)) + #f + (cadr prop-spec))) + (props (cadr args))) + `(,prop (chain-assoc-get ',prop ,props ,default-value))) + #f)) + properties)) + ,@real-body))) + (let ((args (gensym "args")) + (markup-command properties-or-copied-function)) + `(define-public (,command-name . ,args) + ,(format #f "Copy of the ~a command." markup-command) + (apply ,markup-command ,args)))) + (set! (markup-command-signature ,command-name) (list ,@signature)) + ;; Register the new function, for markup documentation + ,@(map (lambda (category) + `(hashq-set! markup-functions-by-category ',category + (cons ,command-name + (or (hashq-ref markup-functions-by-category ',category) + (list))))) + (if (list? category) category (list category))) + ;; Used properties, for markup documentation + (hashq-set! markup-functions-properties + ,command-name + (list ,@(map (lambda (prop-spec) + (cond ((symbol? prop-spec) + prop-spec) + ((not (null? (cdr prop-spec))) + `(list ',(car prop-spec) ,(cadr prop-spec))) + (else + `(list ',(car prop-spec))))) + (if (pair? args) + properties-or-copied-function + (list))))) + ;; define the make-COMMAND-markup function + (define-public (,make-markup-name . args) + (let ((sig (list ,@signature))) + (make-markup ,command-name ,(symbol->string make-markup-name) sig args)))))) + +(define-macro (define-builtin-markup-list-command command-and-args signature + properties . body) + "Same as `define-builtin-markup-command, but defines a command that, when +interpreted, returns a list of stencils instead os a single one" + (let* ((command (if (pair? command-and-args) (car command-and-args) command-and-args)) + (args (if (pair? command-and-args) (cdr command-and-args) '())) + (command-name (string->symbol (format #f "~a-markup-list" command))) + (make-markup-name (string->symbol (format #f "make-~a-markup-list" command)))) + `(begin + ;; define the COMMAND-markup-list function + ,(if (pair? args) + (let ((documentation (car body)) + (real-body (cdr body))) + `(define-public (,command-name ,@args) + ,documentation + (let ,(filter identity + (map (lambda (prop-spec) + (if (pair? prop-spec) + (let ((prop (car prop-spec)) + (default-value (if (null? (cdr prop-spec)) + #f + (cadr prop-spec))) + (props (cadr args))) + `(,prop (chain-assoc-get ',prop ,props ,default-value))) + #f)) + properties)) + ,@body))) (let ((args (gensym "args")) (markup-command (car body))) `(define-public (,command-name . ,args) ,(format #f "Copy of the ~a command." markup-command) (apply ,markup-command ,args)))) (set! (markup-command-signature ,command-name) (list ,@signature)) - ;; add the command to markup-function-list, for markup documentation - (if (not (member ,command-name markup-function-list)) - (set! markup-function-list (cons ,command-name markup-function-list))) - ;; define the make-COMMAND-markup function + ;; add the command to markup-list-function-list, for markup documentation + (if (not (member ,command-name markup-list-function-list)) + (set! markup-list-function-list (cons ,command-name + markup-list-function-list))) + ;; Used properties, for markup documentation + (hashq-set! markup-functions-properties + ,command-name + (list ,@(map (lambda (prop-spec) + (cond ((symbol? prop-spec) + prop-spec) + ((not (null? (cdr prop-spec))) + `(list ',(car prop-spec) ,(cadr prop-spec))) + (else + `(list ',(car prop-spec))))) + (if (pair? args) + properties + (list))))) + ;; it's a markup-list command: + (set-object-property! ,command-name 'markup-list-command #t) + ;; define the make-COMMAND-markup-list function (define-public (,make-markup-name . args) (let ((sig (list ,@signature))) - (make-markup ,command-name ,(symbol->string make-markup-name) sig args)))))) + (list (make-markup ,command-name + ,(symbol->string make-markup-name) sig args))))))) (define-public (make-markup markup-function make-name signature args) " Construct a markup object from MARKUP-FUNCTION and ARGS. Typecheck @@ -159,24 +269,26 @@ Use `markup*' in a \\notemode context." (cond ((and (pair? expr) (keyword? (car expr))) ;; expr === (#:COMMAND arg1 ...) - (let* ((command (symbol->string (keyword->symbol (car expr)))) - (sig (markup-command-signature - (car (lookup-markup-command command)))) - (sig-len (length sig))) - (do ((i 0 (1+ i)) - (args '() args) - (rest (cdr expr) rest)) - ((>= i sig-len) - (values (cons (keyword->make-markup (car expr)) (reverse args)) rest)) - (cond ((eqv? (list-ref sig i) markup-list?) - ;; (car rest) is a markup list - (set! args (cons `(list ,@(compile-all-markup-expressions (car rest))) args)) - (set! rest (cdr rest))) - (else - ;; pick up one arg in `rest' - (receive (a r) (compile-markup-arg rest) - (set! args (cons a args)) - (set! rest r))))))) + (let ((command (symbol->string (keyword->symbol (car expr))))) + (if (not (pair? (lookup-markup-command command))) + (ly:error (_ "Not a markup command: ~A") command)) + (let* ((sig (markup-command-signature + (car (lookup-markup-command command)))) + (sig-len (length sig))) + (do ((i 0 (1+ i)) + (args '() args) + (rest (cdr expr) rest)) + ((>= i sig-len) + (values (cons (keyword->make-markup (car expr)) (reverse args)) rest)) + (cond ((eqv? (list-ref sig i) markup-list?) + ;; (car rest) is a markup list + (set! args (cons `(list ,@(compile-all-markup-expressions (car rest))) args)) + (set! rest (cdr rest))) + (else + ;; pick up one arg in `rest' + (receive (a r) (compile-markup-arg rest) + (set! args (cons a args)) + (set! rest r)))))))) ((and (pair? expr) (pair? (car expr)) (keyword? (caar expr))) @@ -259,9 +371,6 @@ Use `markup*' in a \\notemode context." (make-procedure-with-setter markup-command-signature-ref markup-command-signature-set!)) -;; For documentation purposes -(define-public markup-function-list (list)) - (define-public (markup-signature-to-keyword sig) " (A B C) -> a0-b1-c2 " (if (null? sig) @@ -282,14 +391,24 @@ Use `markup*' in a \\notemode context." sig) "-")))) -(define-public (lookup-markup-command code) +(define (lookup-markup-command-aux symbol) (let ((proc (catch 'misc-error (lambda () - (module-ref (current-module) - (string->symbol (format #f "~a-markup" code)))) + (module-ref (current-module) symbol)) (lambda (key . args) #f)))) - (and (procedure? proc) - (cons proc (markup-command-keyword proc))))) + (and (procedure? proc) proc))) + +(define-public (lookup-markup-command code) + (let ((proc (lookup-markup-command-aux + (string->symbol (format #f "~a-markup" code))))) + (and proc (markup-function? proc) + (cons proc (markup-command-keyword proc))))) + +(define-public (lookup-markup-list-command code) + (let ((proc (lookup-markup-command-aux + (string->symbol (format #f "~a-markup-list" code))))) + (and proc (markup-list-function? proc) + (cons proc (markup-command-keyword proc))))) ;;;;;;;;;;;;;;;;;;;;;; ;;; used in parser.yy to map a list of markup commands on markup arguments @@ -313,13 +432,25 @@ eg: ((italic) (raise 4) (bold)), maps the commands on each markup argument, eg: ;;; markup type predicates (define (markup-function? x) - (not (not (markup-command-signature x)))) + (and (markup-command-signature x) + (not (object-property x 'markup-list-command)))) + +(define (markup-list-function? x) + (and (markup-command-signature x) + (object-property x 'markup-list-command))) + +(define-public (markup-command-list? x) + "Determine if `x' is a markup command list, ie. a list composed of +a markup list function and its arguments." + (and (pair? x) (markup-list-function? (car x)))) (define-public (markup-list? arg) + "Return a true value if `x' is a list of markups or markup command lists." (define (markup-list-inner? lst) (or (null? lst) - (and (markup? (car lst)) (markup-list-inner? (cdr lst))))) - (and (list? arg) (markup-list-inner? arg))) + (and (or (markup? (car lst)) (markup-command-list? (car lst))) + (markup-list-inner? (cdr lst))))) + (not (not (and (list? arg) (markup-list-inner? arg))))) (define (markup-argument-list? signature arguments) "Typecheck argument list." @@ -391,6 +522,18 @@ Uncovered - cheap-markup? is used." (define-public interpret-markup ly:text-interface::interpret-markup) + +(define-public (interpret-markup-list layout props markup-list) + (let ((stencils (list))) + (for-each (lambda (m) + (set! stencils + (if (markup-command-list? m) + (append! (reverse! (apply (car m) layout props (cdr m))) + stencils) + (cons (interpret-markup layout props m) stencils)))) + markup-list) + (reverse! stencils))) + (define-public (prepend-alist-chain key val chain) (cons (acons key val (car chain)) (cdr chain)))