;;; -*- mode: Lisp; Syntax: Common-Lisp; -*-
;;;
;;; Copyright (c) 2009 by the authors.
;;;
;;; See LICENCE for details.

(in-package :hu.dwim.projectional-editor)

;;;;;;
;;; Projection

(def (projection e) book/book->tree/node ()
  ())

(def (projection e) book/chapter->tree/node ()
  ())

(def (projection e) book->tree ()
  ())

;;;;;;
;;; Construction

(def (function e) make-projection/book/book->tree/node ()
  (make-projection 'book/book->tree/node))

(def (function e) make-projection/book/chapter->tree/node ()
  (make-projection 'book/chapter->tree/node))

(def (function e) make-projection/book->tree ()
  (type-dispatching
    (book/book (make-projection/book/book->tree/node))
    (book/chapter (make-projection/book/chapter->tree/node))
    (string (make-projection/preserving))))

(def (macro e) book->tree ()
  '(make-projection/book->tree))

;;;;;;
;;; Printer

(def printer book/book->tree/node (projection recursion input input-reference output-reference)
  (declare (ignore projection))
  (bind ((child-iomaps nil)
         (output (bind ((typed-input-reference `(the ,(form-type input) ,input-reference)))
                   (make-tree/node (list* (prog1-bind title (title-of input)
                                            (push (make-iomap/object title `(title-of ,typed-input-reference) title `(elt (the list (children-of (the tree/node ,output-reference))) 0)) child-iomaps)
                                            (push (make-iomap/string title `(title-of ,typed-input-reference) 0 title `(elt (the list (children-of (the tree/node ,output-reference))) 0) 0 (length title)) child-iomaps))
                                          (iter (for index :from 0)
                                                (for element :in-sequence (elements-of input))
                                                (for iomap = (recurse-printer recursion element
                                                                              `(elt (the list (elements-of ,typed-input-reference)) ,index)
                                                                              `(elt (the list (children-of (the tree/node ,output-reference))) ,(1+ index))))
                                                (push iomap child-iomaps)
                                                (collect (output-of iomap))))))))
    (make-iomap/recursive input output
                          (list* (make-iomap/object input input-reference output output-reference)
                                 (reverse child-iomaps)))))

(def printer book/chapter->tree/node (projection recursion input input-reference output-reference)
  (declare (ignore projection))
  (bind ((child-iomaps nil)
         (output (bind ((typed-input-reference `(the ,(form-type input) ,input-reference)))
                   (make-tree/node (list* (prog1-bind title (title-of input)
                                            (push (make-iomap/object title `(title-of ,typed-input-reference) title `(elt (the list (children-of (the tree/node ,output-reference))) 0)) child-iomaps)
                                            (push (make-iomap/string title `(title-of ,typed-input-reference) 0 title `(elt (the list (children-of (the tree/node ,output-reference))) 0) 0 (length title)) child-iomaps))
                                          (iter (for index :from 0)
                                                (for element :in-sequence (elements-of input))
                                                (for iomap = (recurse-printer recursion element
                                                                              `(elt (the list (elements-of ,typed-input-reference)) ,index)
                                                                              `(elt (the list (children-of (the tree/node ,output-reference))) ,(1+ index))))
                                                (push iomap child-iomaps)
                                                (collect (output-of iomap))))))))
    (make-iomap/recursive input output
                          (list* (make-iomap/object input input-reference output output-reference)
                                 (reverse child-iomaps)))))

(def printer book->tree (projection recursion input input-reference output-reference)
  (declare (ignore projection recursion))
  (bind ((child-iomaps nil))
    (labels ((recurse (input input-reference output-reference)
               (bind ((typed-input-reference `(the ,(form-type input) ,input-reference)))
                 (prog1-bind output
                     (etypecase input
                       (string
                        (push (make-iomap/string input input-reference 0 input output-reference 0 (length input)) child-iomaps)
                        input)
                       (book/book
                        (make-tree/node (list* (prog1-bind title (title-of input)
                                                 (push (make-iomap/object title `(title-of ,typed-input-reference) title `(elt (the list (children-of (the tree/node ,output-reference))) 0)) child-iomaps)
                                                 (push (make-iomap/string title `(title-of ,typed-input-reference) 0 title `(elt (the list (children-of (the tree/node ,output-reference))) 0) 0 (length title)) child-iomaps))
                                               (iter (for index :from 0)
                                                     (for element :in-sequence (elements-of input))
                                                     (collect (recurse element
                                                                       `(elt (the list (elements-of ,typed-input-reference)) ,index)
                                                                       `(elt (the list (children-of (the tree/node ,output-reference))) ,(1+ index))))))))
                       (book/chapter
                        (make-tree/node (list* (prog1-bind title (title-of input)
                                                 (push (make-iomap/object title `(title-of ,typed-input-reference) title `(elt (the list (children-of (the tree/node ,output-reference))) 0)) child-iomaps)
                                                 (push (make-iomap/string title `(title-of ,typed-input-reference) 0 title `(elt (the list (children-of (the tree/node ,output-reference))) 0) 0 (length title)) child-iomaps))
                                               (iter (for index :from 0)
                                                     (for element :in-sequence (elements-of input))
                                                     (collect (recurse element
                                                                       `(elt (the list (elements-of ,typed-input-reference)) ,index)
                                                                       `(elt (the list (children-of (the tree/node ,output-reference))) ,(1+ index)))))))))
                   (push (make-iomap/object input input-reference output output-reference) child-iomaps)))))
      (bind ((output (recurse input input-reference output-reference)))
        (make-iomap/recursive input output
                              (list* (make-iomap/object input input-reference output output-reference)
                                     (reverse child-iomaps)))))))

;;;;;;
;;; Reader

(def reader book/book->tree/node (projection recursion input input-reference output-reference)
  (declare (ignore projection recursion input input-reference output-reference))
  nil)

(def reader book/chapter->tree/node (projection recursion input input-reference output-reference)
  (declare (ignore projection recursion input input-reference output-reference))
  nil)

(def reader book->tree (projection recursion input input-reference output-reference)
  (declare (ignore projection recursion input input-reference output-reference))
  nil)