
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;
;; MODULE      : bibtexout.scm
;; DESCRIPTION : generation of BibTeX from scheme expressions
;; COPYRIGHT   : (C) 2010  David MICHEL
;;
;; This software falls under the GNU general public license version 3 or later.
;; It comes WITHOUT ANY WARRANTY WHATSOEVER. For details, see the file LICENSE
;; in the root directory or <http://www.gnu.org/licenses/gpl-3.0.html>.
;;
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(texmacs-module (convert bibtex bibtexout)
  (:use (convert tools output))
  (:use (convert latex texout)))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Entries output
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(define (bibtex-remove-keepcase x)
  ;;(display* "REMOVE KEEPCASE: " x "\n")
  (cond
    ((list? x)
     (if (not (null? x))
	 (if (equal? (car x) 'keepcase)
	     (if (null? (cdr x)) "{}"
		 `(rigid ,(bibtex-remove-keepcase (cadr x))))
	     (cons (car x) (map bibtex-remove-keepcase (cdr x))))
	 `()))
    ((string? x) x)))

(define (bibtex-latex x)
  (let ((options `(("texmacs->latex:replace-style" "on")
		   ("texmacs->latex:expand-macros" "on")
		   ("texmacs->latex:expand-user-macros" "off")
		   ("texmacs->latex:indirect-bib" "off")
		   ("texmacs->latex:use-catcodes" "off")
		   ("texmacs->latex:use-macros" "on"))))
    (with old (output-set-exact #t)
      (output-set-exact #t)
      (output-flush)
      (texout (texmacs->latex (bibtex-remove-keepcase x) options))
      (output-set-exact old))))

(define (bibtex-match l s a)
  (and (list? l) (>= (length l) (+ a 1)) (equal? (car l) s)))

(define (bibtex-flat x)
  (cond
    ((list? x)
     (if (not (null? x))
	 (begin
          (bibtex-flat (car x))
          (bibtex-flat (cdr x)))))
    ((string? x) (output-verbatim x))))

(define (bibtex-has-var x)
  (if (list? x)
    (cond
      ((null? x) #f)
      ((bibtex-match (car x) 'bib-var 1) #t)
      (else (bibtex-has-var (cdr x))))
    #f))

(define (bibtex-arg-var x)
  ;; (display* "BIBTEX ARG VAR: " x "\n")
  (if (not (null? x))
    (let ((head (car x))
	  (tail (cdr x)))
      (begin
	(cond
	  ((bibtex-match head 'bib-var 1) (output-verbatim (cadr head)))
	  ((string? head) (output-verbatim "{" head "}"))
	  (else
	    (begin
	      (output-verbatim "{")
	      (bibtex-latex head)
	      (output-verbatim "}"))))
	(if (not (null? tail))
	    (begin
	      (output-verbatim " # ")
	      (bibtex-arg-var tail)))))))

(define (bibtex-name x)
  ;; (display* "BIBTEX NAME: " x "\n")
  (if (bibtex-match x 'bib-name 4)
      (let ((first (list-ref x 1))
	    (von (list-ref x 2))
	    (last (list-ref x 3))
	    (jr (list-ref x 4)))
	(begin
	  (if (not (equal? von ""))
	      (begin
		(bibtex-latex von)
		(output-verbatim " ")))
	  (bibtex-latex last)
	  (if (not (equal? first ""))
	      (begin
		(output-verbatim ", ")
		(bibtex-latex first)))
	  (if (not (equal? jr ""))
	      (begin
		(output-verbatim ", ")
		(bibtex-latex jr)))))))

(define (bibtex-names x)
  ;; (display* "BIBTEX NAMES: " x "\n")
  (if (not (null? x))
    (let ((head (car x))
	  (tail (cdr x)))
      (cond
	((bibtex-match head 'bib-name 4)
	 (begin
	   (bibtex-name head)
	   (if (> (length tail) 0) (output-verbatim " and "))
	   (bibtex-names tail)))))))

(define (bibtex-arg x)
  ;; (display* "BIBTEX ARG: " x "\n")
  (cond
    ((bibtex-match x 'bib-var 1) (output-verbatim (cadr x)))
    ((bibtex-match x 'bib-names 0)
     (begin
       (output-verbatim "{")
       (bibtex-names (cdr x))
       (output-verbatim "}")))
    ((bibtex-match x 'concat 0)
     (if (bibtex-has-var x)
	 (bibtex-arg-var (cdr x))
	 (begin
	   (output-verbatim "{")
	   (bibtex-latex x)
	   (output-verbatim "}"))))
    ((string? x) (output-verbatim "{" x "}"))))

(define (bibtex-preamble pre x)
  ;; (display* "PREAMBLE: " x "\n")
  (begin
    (output-verbatim pre "preamble{ ")
    (bibtex-arg x)
    (output-verbatim " }")
    (output-lf-verbatim)))

(define (bibtex-preambles pre)
  (lambda (x)
    (if (list? x)
	(cond
	  ((func? x 'document)
	   (for-each (bibtex-preambles pre) (cdr x)))
	  ((func? x 'bib-latex)
	   (begin
	     (bibtex-preamble pre (cadr x))
	     (output-lf-verbatim)))
	  ((func? x 'bib-comment)
	   (for-each (bibtex-preambles "") (cdr x)))))))

(define (bibtex-string pre x)
  (if (list? x)
      (begin
	(output-verbatim pre "string{ " (car x) " = ")
	(bibtex-arg (cadr x))
	(output-verbatim " }")
	(output-lf-verbatim))))
      
(define (bibtex-strings pre)
  (lambda (x)
    (if (list? x)
	(cond
	  ((func? x 'document) (for-each (bibtex-strings pre) (cdr x)))
	  ((func? x 'bib-assign)
	   (begin
	     (bibtex-string pre (cdr x))
	     (output-lf-verbatim)))
	  ((func? x 'bib-comment) (for-each (bibtex-strings "") (cdr x)))))))

(define (bibtex-field x)
  (if (and (list? x) (= 2 (length x)))
      (begin
	(output-verbatim "  " (car x) " = ")
	(bibtex-arg (cadr x)))))

(define (bibtex-fields x)
  (if (and (list? x) (not (null? x)))
      (cond
	((func? (car x) 'document) (bibtex-fields (cdar x)))
	((func? (car x) 'bib-field) 
	 (begin
	   (bibtex-field (cdar x))
	   (if (not (null? (cdr x)))
	       (output-verbatim ","))
	   (output-lf-verbatim)
	   (bibtex-fields (cdr x)))))))

(define (bibtex-entry pre x)
  (let ((type (cadr x))
	(id (caddr x))
	(fields (cdddr x)))
    (begin
      (output-verbatim pre type "{" id)
      (if (not (null? fields))
	  (begin
	    (output-verbatim ",")
	    (output-lf-verbatim)
	    (bibtex-fields fields)))
      (output-verbatim "}")
      (output-lf-verbatim))))

(define (bibtex-comment x)
  (cond
    ((list? x)
     (if (not (null? x))
	 (begin
	   (cond
	     ((func? (car x) 'document) (bibtex-comment (cdar x)))
	     ((func? (car x) 'bib-entry) (bibtex-entry "" (car x)))
	     ((func? (car x) 'bib-latex) (bibtex-preamble "" (cadar x)))
	     ((func? (car x) 'bib-assign) (bibtex-string "" (cdar x)))
	     (else
	       (begin
		 (output-verbatim "%")
		 (bibtex-flat (car x))
		 (output-lf-verbatim))))
	   (bibtex-comment (cdr x)))))
    ((string? x)
     (begin
       (output-verbatim "%" x)
       (output-lf-verbatim)))))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Main output routines
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(define (bibtexout x)
  (if (list? x)
      (cond
	((func? x 'document)
	 (for-each bibtexout (cdr x)))
	((func? x 'bib-string)
	 (for-each (bibtex-strings "@") (cdr x)))
	((func? x 'bib-preamble)
	 (for-each (bibtex-preambles "@") (cdr x)))
	((func? x 'bib-entry)
	 (bibtex-entry "@" x)
	 (output-lf-verbatim))
	((func? x 'bib-comment)
	 (bibtex-comment (cdr x))
	 (output-lf-verbatim))
	((func? x 'bib-field)
	 (bibtex-field (cdr x))
	 (output-verbatim ",")
	 (output-lf-verbatim))
	((func? x 'bib-assign)
	 (bibtex-string "@" (cdr x))
	 (output-lf-verbatim))
	((func? x 'bib-line) (bibtex-comment (cdr x)))
	((func? x 'bib-var) (cdr x))
	((func? x 'bib-names)
	 (bibtex-names x)
	 (output-lf-verbatim))
	((func? x 'bib-name) (bibtex-name x))
	((func? x 'bib-latex)
	 (bibtex-preamble "@" (cadr x))
	 (output-lf-verbatim)))))

(tm-define (serialize-bibtex x)
  (bibtexout x)
  (output-produce))

