Changeset 31104 in project


Ignore:
Timestamp:
07/08/14 13:27:17 (6 years ago)
Author:
juergen
Message:

document-contracts in dbc 1.0.3 changed to improve automatic docu

Location:
release/4/dbc
Files:
4 edited
1 copied

Legend:

Unmodified
Added
Removed
  • release/4/dbc/tags/1.0.3/dbc.scm

    r28298 r31104  
    905905                 (lambda (v)
    906906                   (bind (name (type . rest)) (dispatcher v)
    907                    ;(let ((disp (dispatcher v)))
    908                    ;  (let ((name (car disp))
    909                    ;        (type (cadr disp))
    910                    ;        (rest (cddr disp)))
    911907                     (bind (hyg tail) (splitp list? rest)
    912                      ;(let (
    913                      ;  (hyg (compress (map symbol? rest) rest))
    914                      ;  (tail (compress (map list? rest) rest))
    915                      ;  )
    916908                       (bind (what . rules) tail
    917                        ;(let ((what (car tail)) (rules (cdr tail)))
    918909                         (let ((calls
    919910                                 ;; replace _ by name in call structure
     
    927918                                     (cons 'or calls))
    928919                                   type)
    929                            (printf "~%~A~?~A~S~%~%"
     920                           (print "\n<enscript highlight=scheme>")
     921                           (printf "~A~?~A~S~%"
    930922                                   (cond
    931923                                     ((and (eq? type 'macro) (null?  hyg))
     
    944936                                     (else ""))
    945937                                   what)
    946                            (print "<enscript highlight=scheme>\n")
    947938                           (for-each
    948939                             (lambda (rule)
    949                                (print `(_ ,@(cdar rule)))
    950940                               (print "requires " (cadr rule))
    951                                (print "ensures  " (caddr rule))
    952                                (newline))
     941                               (print "ensures  " (caddr rule)))
    953942                             rules)
    954943                           (print "</enscript>\n"))))));   )
  • release/4/dbc/tags/1.0.3/dbc.setup

    r28298 r31104  
    77 'dbc
    88 '("dbc.so" "dbc.import.so")
    9  '((version "1.0.2")))
     9 '((version "1.0.3")))
  • release/4/dbc/trunk/dbc.scm

    r28298 r31104  
    905905                 (lambda (v)
    906906                   (bind (name (type . rest)) (dispatcher v)
    907                    ;(let ((disp (dispatcher v)))
    908                    ;  (let ((name (car disp))
    909                    ;        (type (cadr disp))
    910                    ;        (rest (cddr disp)))
    911907                     (bind (hyg tail) (splitp list? rest)
    912                      ;(let (
    913                      ;  (hyg (compress (map symbol? rest) rest))
    914                      ;  (tail (compress (map list? rest) rest))
    915                      ;  )
    916908                       (bind (what . rules) tail
    917                        ;(let ((what (car tail)) (rules (cdr tail)))
    918909                         (let ((calls
    919910                                 ;; replace _ by name in call structure
     
    927918                                     (cons 'or calls))
    928919                                   type)
    929                            (printf "~%~A~?~A~S~%~%"
     920                           (print "\n<enscript highlight=scheme>")
     921                           (printf "~A~?~A~S~%"
    930922                                   (cond
    931923                                     ((and (eq? type 'macro) (null?  hyg))
     
    944936                                     (else ""))
    945937                                   what)
    946                            (print "<enscript highlight=scheme>\n")
    947938                           (for-each
    948939                             (lambda (rule)
    949                                (print `(_ ,@(cdar rule)))
    950940                               (print "requires " (cadr rule))
    951                                (print "ensures  " (caddr rule))
    952                                (newline))
     941                               (print "ensures  " (caddr rule)))
    953942                             rules)
    954943                           (print "</enscript>\n"))))));   )
  • release/4/dbc/trunk/dbc.setup

    r28298 r31104  
    77 'dbc
    88 '("dbc.so" "dbc.import.so")
    9  '((version "1.0.2")))
     9 '((version "1.0.3")))
Note: See TracChangeset for help on using the changeset viewer.