Lots of changes...

Patches applied:

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--base-0
   tag of lcourtes@laas.fr--2004-libre/skribilo--devel--1.2--patch-5

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-1
   Lots of changes.


git-archimport-id: lcourtes@laas.fr--2004-libre/skribilo--devel--1.2--patch-6

1 files changed, 0 insertions, 161 deletions

diff --git a/src/guile/skribe/verify.scm b/src/guile/skribe/verify.scm
deleted file mode 100644
index 7c88616..0000000
--- a/src/guile/skribe/verify.scm
+++ /dev/null
@@ -1,161 +0,0 @@
-;;;;
-;;;; verify.stk				-- Skribe Verification Stage
-;;;; 
-;;;; Copyright © 2003-2004 Erick Gallesio - I3S-CNRS/ESSI <eg@unice.fr>
-;;;; 
-;;;; 
-;;;; This program is free software; you can redistribute it and/or modify
-;;;; it under the terms of the GNU General Public License as published by
-;;;; the Free Software Foundation; either version 2 of the License, or
-;;;; (at your option) any later version.
-;;;; 
-;;;; This program is distributed in the hope that it will be useful,
-;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
-;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-;;;; GNU General Public License for more details.
-;;;; 
-;;;; You should have received a copy of the GNU General Public License
-;;;; along with this program; if not, write to the Free Software
-;;;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, 
-;;;; USA.
-;;;; 
-;;;;           Author: Erick Gallesio [eg@essi.fr]
-;;;;    Creation date: 13-Aug-2003 11:57 (eg)
-;;;; Last file update: 27-Oct-2004 16:35 (eg)
-;;;;
-
-(define-module (skribe verify)
-   :export (verify))
-
-(use-modules (skribe debug)
-;	     (skribe engine)
-;	     (skribe writer)
-;	     (skribe runtime)
-	     (skribe types)
-	     (oop goops))
-
-
-
-(define-generic verify)
-
-;;;
-;;; CHECK-REQUIRED-OPTIONS
-;;;
-(define (check-required-options markup writer engine)
-  (let ((required-options (slot-ref markup 'required-options))
-	(ident		  (slot-ref writer 'ident))
-	(options	  (slot-ref writer 'options))
-	(verified?	  (slot-ref writer 'verified?)))
-    (or verified?
-	(eq? options 'all)
-	(begin
-	  (for-each (lambda (o)
-		      (if (not (memq o options))
-			  (skribe-error (engine-ident engine)
-					(format "Option unsupported: ~a, supported options: ~a" o options)
-					markup)))
-		    required-options)
-	  (slot-set! writer 'verified? #t)))))
-
-;;;
-;;; CHECK-OPTIONS
-;;;
-(define (check-options lopts markup engine)
-  
-  ;;  Only keywords are checked, symbols are voluntary left unchecked. */
-  (with-debug 6 'check-options
-      (debug-item "markup="  (markup-markup markup))
-      (debug-item "options=" (slot-ref markup 'options))
-      (debug-item "lopts="   lopts)
-      (for-each
-          (lambda (o2)
-	    (for-each
-	        (lambda (o)
-		  (if (and (keyword? o)
-			   (not (eq? o :&skribe-eval-location))
-			   (not (memq o lopts)))
-		      (skribe-warning/ast
-		       3
-		       markup
-		       'verify
-		       (format "Engine ~a does not support markup ~a option `~a' -- ~a"
-			       (engine-ident engine)
-			       (markup-markup markup)
-			       o
-			       (markup-option markup o)))))
-		o2))
-	  (slot-ref markup 'options))))
-  
-
-;;; ======================================================================
-;;;
-;;; 				V E R I F Y
-;;;
-;;; ======================================================================
-
-;;; TOP
-(define-method (verify (obj <top>) e)
-  obj)
-
-;;; PAIR
-(define-method (verify (obj <pair>) e)
-  (for-each (lambda (x) (verify x e)) obj)
-  obj)
-
-;;; PROCESSOR
-(define-method (verify (obj <processor>) e)
-  (let ((combinator (slot-ref obj 'combinator))
-	(engine     (slot-ref obj 'engine))
-	(body       (slot-ref obj 'body)))
-    (verify body (processor-get-engine combinator engine e))
-    obj))
-
-;;; NODE
-(define-method (verify (node <node>) e)
-  ;; Verify body
-  (verify (slot-ref node 'body) e)
-  ;; Verify options
-  (for-each (lambda (o) (verify (cadr o) e))
-	    (slot-ref node 'options))
-  node)
-
-;;; MARKUP
-(define-method (verify (node <markup>) e)
-  (with-debug 5 'verify::<markup>
-     (debug-item "node="    (markup-markup node))
-     (debug-item "options=" (slot-ref node 'options))
-     (debug-item "e=" 	    (engine-ident e))
-
-     (next-method)
-
-     (let ((w (lookup-markup-writer node e)))
-       (when (writer? w)
-	 (check-required-options node w e)
-	 (when (pair? (writer-options w))
-	   (check-options (slot-ref w 'options) node e))
-	 (let ((validate (slot-ref w 'validate)))
-	   (when (procedure? validate)
-	     (unless (validate node e)
-	       (skribe-warning
-		     1
-		     node
-		     (format "Node `~a' forbidden here by ~a engine"
-			     (markup-markup node)
-			     (engine-ident e))))))))
-     node))
-
-
-;;; DOCUMENT
-(define-method (verify (node <document>) e)
-  (next-method)
-
-  ;; verify the engine customs
-  (for-each (lambda (c)
-	      (let ((i (car c))
-		    (a (cadr c)))
-		(set-car! (cdr c) (verify a e))))
-	    (slot-ref e 'customs))
-
-   node)
-  
-