about summary refs log tree commit diff
path: root/src/bigloo/verify.scm
diff options
context:
space:
mode:
authorLudovic Court`es2005-11-02 10:08:38 +0000
committerLudovic Court`es2005-11-02 10:08:38 +0000
commitb76d5e1b252967521f210eac10ddbf089dde8c6a (patch)
tree00fc81c51256991c04799d79a749bbdd5b9fad30 /src/bigloo/verify.scm
parentba63b8d4780428d9f63f6ace7f49361b77401112 (diff)
parentf553cb65b157b6df9563cefa593902d59301461b (diff)
downloadskribilo-b76d5e1b252967521f210eac10ddbf089dde8c6a.tar.gz
skribilo-b76d5e1b252967521f210eac10ddbf089dde8c6a.tar.lz
skribilo-b76d5e1b252967521f210eac10ddbf089dde8c6a.zip
Cleaned up the source tree and the installation process.
Patches applied:

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-6
   Cosmetic changes.

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-7
   Removed useless files, integrated packages.

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-8
   Removed useless files, integrated packages.

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-9
   Moved the STkLos and Bigloo code to `legacy'.

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-10
   Installed Autoconf/Automake machinery.  Fixed a few things.

 * lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-11
   Changes related to source-highlighting and to the manual.


git-archimport-id: lcourtes@laas.fr--2004-libre/skribilo--devel--1.2--patch-10
Diffstat (limited to 'src/bigloo/verify.scm')
-rw-r--r--src/bigloo/verify.scm143
1 files changed, 0 insertions, 143 deletions
diff --git a/src/bigloo/verify.scm b/src/bigloo/verify.scm
deleted file mode 100644
index 602a951..0000000
--- a/src/bigloo/verify.scm
+++ /dev/null
@@ -1,143 +0,0 @@
-;*=====================================================================*/
-;*    serrano/prgm/project/skribe/src/bigloo/verify.scm                */
-;*    -------------------------------------------------------------    */
-;*    Author      :  Manuel Serrano                                    */
-;*    Creation    :  Fri Jul 25 09:54:55 2003                          */
-;*    Last change :  Thu Sep 23 19:58:01 2004 (serrano)                */
-;*    Copyright   :  2003-04 Manuel Serrano                            */
-;*    -------------------------------------------------------------    */
-;*    The Skribe verification stage                                    */
-;*=====================================================================*/
-
-;*---------------------------------------------------------------------*/
-;*    The module                                                       */
-;*---------------------------------------------------------------------*/
-(module skribe_verify
-
-   (include "debug.sch")
-   
-   (import  skribe_types
-	    skribe_lib
-	    skribe_engine
-	    skribe_writer
-	    skribe_eval)
-   
-   (export  (generic verify ::obj ::%engine)))
-
-;*---------------------------------------------------------------------*/
-;*    check-required-options ...                                       */
-;*---------------------------------------------------------------------*/
-(define (check-required-options n::%markup w::%writer e::%engine)
-   (with-access::%markup n (required-options)
-      (with-access::%writer w (ident options verified?)
-	 (or verified?
-	     (eq? options 'all)
-	     (begin
-		(for-each (lambda (o)
-			     (if (not (memq o options))
-				 (skribe-error (%engine-ident e)
-					       (format "Option unsupported: ~a, supported options: ~a" o options)
-					       n)))
-			  required-options)
-		(set! verified? #t))))))
-
-;*---------------------------------------------------------------------*/
-;*    check-options ...                                                */
-;*    -------------------------------------------------------------    */
-;*    Only keywords are checked, symbols are voluntary left unchecked. */
-;*---------------------------------------------------------------------*/
-(define (check-options eo*::pair-nil m::%markup e::%engine)
-   (with-debug 6 'check-options
-      (debug-item "markup=" (%markup-markup m))
-      (debug-item "options=" (%markup-options m))
-      (debug-item "eo*=" eo*)
-      (for-each (lambda (o2)
-		   (for-each (lambda (o)
-				(if (and (keyword? o)
-					 (not (eq? o :&skribe-eval-location))
-					 (not (memq o eo*)))
-				    (skribe-warning/ast
-				     3
-				     m
-				     'verify
-				     (format "Engine `~a' does not support markup `~a' option `~a' -- ~a"
-					     (%engine-ident e)
-					     (%markup-markup m)
-					     o
-					     (markup-option m o)))))
-			     o2))
-		(%markup-options m))))
-
-;*---------------------------------------------------------------------*/
-;*    verify :: ...                                                    */
-;*---------------------------------------------------------------------*/
-(define-generic (verify node e)
-   (if (pair? node)
-       (for-each (lambda (n) (verify n e)) node))
-   node)
-
-;*---------------------------------------------------------------------*/
-;*    verify ::%processor ...                                          */
-;*---------------------------------------------------------------------*/
-(define-method (verify n::%processor e)
-   (with-access::%processor n (combinator engine body)
-      (verify body (processor-get-engine combinator engine e))
-      n))
-
-;*---------------------------------------------------------------------*/
-;*    verify ::%node ...                                               */
-;*---------------------------------------------------------------------*/
-(define-method (verify node::%node e)
-   (with-access::%node node (body options)
-      (verify body e)
-      (for-each (lambda (o) (verify (cadr o) e)) options)
-      node))
-
-;*---------------------------------------------------------------------*/
-;*    verify ::%markup ...                                             */
-;*---------------------------------------------------------------------*/
-(define-method (verify node::%markup e)
-   (with-debug 5 'verify::%markup
-      (debug-item "node=" (%markup-markup node))
-      (debug-item "options=" (%markup-options node))
-      (debug-item "e=" (%engine-ident e))
-      (call-next-method)
-      (let ((w (lookup-markup-writer node e)))
-	 (if (%writer? w)
-	     (begin
-		(check-required-options node w e)
-		(if (pair? (%writer-options w))
-		    (check-options (%writer-options w) node e))
-		(let ((validate (%writer-validate w)))
-		   (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)))))))
-      ;; return the node
-      node))
-
-;*---------------------------------------------------------------------*/
-;*    verify ::%document ...                                           */
-;*---------------------------------------------------------------------*/
-(define-method (verify node::%document e)
-   (call-next-method)
-   ;; verify the engine custom
-   (for-each (lambda (c)
-		(let ((i (car c))
-		      (a (cadr c)))
-		   (set-car! (cdr c) (verify a e))))
-	     (%engine-customs e))
-   ;; return the node
-   node)
-
-;*---------------------------------------------------------------------*/
-;*    verify ::%handle ...                                             */
-;*---------------------------------------------------------------------*/
-(define-method (verify node::%handle e)
-   node)
-