make the deinprogramm documentation drdr messages be accurate

(that is, I think that the complaints coming from the
   tests\deinprogramm\test-docs-complete.rkt message are
   now pointing out things for which there is actually no
   documentation, instead of pointing out the need for
   different declare-exporting declarations)
This commit is contained in:
Robby Findler 2011-05-04 18:27:11 -05:00
parent d3c04ae701
commit d40b43c0a9
5 changed files with 18 additions and 5 deletions

View File

@ -18,3 +18,4 @@
define-record-procedures-2 define-record-procedures-2
symbol? string->symbol symbol->string symbol? string->symbol symbol->string
apply)) apply))

View File

@ -32,6 +32,8 @@ Abstraktion mit Zuweisungen} to go with the German textbook
@section{@scheme[define-record-procedures-2]} @section{@scheme[define-record-procedures-2]}
@declare-exporting[deinprogramm/DMdA]
@defform[(define-record-procedures-2 t c p (field-spec ...))]{ @defform[(define-record-procedures-2 t c p (field-spec ...))]{
Die @scheme[define-record-procedures-2]-Form ist eine Definition für Die @scheme[define-record-procedures-2]-Form ist eine Definition für
einen neuen Record-Typ. Dabei ist @scheme[t] der Name der Record-Signatur, einen neuen Record-Typ. Dabei ist @scheme[t] der Name der Record-Signatur,
@ -43,6 +45,8 @@ Mutators sein.
@section{@scheme[define-record-procedures-parametric-2]} @section{@scheme[define-record-procedures-parametric-2]}
@declare-exporting[deinprogramm/DMdA]
@defform[(define-record-procedures-parametric-2 t cc c p (field-spec1 ...))]{ @defform[(define-record-procedures-parametric-2 t cc c p (field-spec1 ...))]{
Diese Form ist wie @scheme[define-record-procedures-2], nur parametrisch Diese Form ist wie @scheme[define-record-procedures-2], nur parametrisch
wie @scheme[define-record-procedures-parametric]. Außerdem wie @scheme[define-record-procedures-parametric]. Außerdem
@ -53,6 +57,8 @@ Konstruktion überprüft und nicht erst beim Aufruf eines Selektors.
@section{@scheme[begin]} @section{@scheme[begin]}
@declare-exporting[deinprogramm/DMdA]
@defform[(begin expr expr ...)]{ @defform[(begin expr expr ...)]{
Bei der Auswertung eines @scheme[begin]-Ausdrucks werden nacheinander Bei der Auswertung eines @scheme[begin]-Ausdrucks werden nacheinander
die Operanden ausgewertet. Der Wert des letzten Ausdrucks wird der die Operanden ausgewertet. Der Wert des letzten Ausdrucks wird der
@ -61,6 +67,8 @@ Wert des @scheme[begin]-Ausdrucks.
@section{@scheme[set!]} @section{@scheme[set!]}
@declare-exporting[deinprogramm/DMdA]
@defform[(set! id expr)]{ @defform[(set! id expr)]{
Ein @scheme[set!]-Ausdruck ist eine Zuweisung, und ändert den Inhalt Ein @scheme[set!]-Ausdruck ist eine Zuweisung, und ändert den Inhalt
der Zelle, die an @scheme[id] gebunden ist, auf den Wert von @scheme[expr]. der Zelle, die an @scheme[id] gebunden ist, auf den Wert von @scheme[expr].
@ -68,6 +76,8 @@ der Zelle, die an @scheme[id] gebunden ist, auf den Wert von @scheme[expr].
@section[#:tag "assignments-signatures"]{Signaturen} @section[#:tag "assignments-signatures"]{Signaturen}
@declare-exporting[deinprogramm/DMdA]
@defidform[unspecific]{ @defidform[unspecific]{
Signatur für unspezifische Werte, die unwichtig sind - typischerweise für die Signatur für unspezifische Werte, die unwichtig sind - typischerweise für die
Rückgabewerte von Operationen, die nur Seiteneffekte haben wie @scheme[set!] Rückgabewerte von Operationen, die nur Seiteneffekte haben wie @scheme[set!]

View File

@ -440,4 +440,5 @@ Eigenschaft: @scheme[(==> c p)] legt fest, daß die Eigenschaft
@section[#:tag "beginner-prim-ops"]{Primitive Operationen} @section[#:tag "beginner-prim-ops"]{Primitive Operationen}
@declare-exporting[deinprogramm/DMdA-beginner]
@prim-op-defns['(lib "DMdA-beginner.ss" "deinprogramm") #'here '()] @prim-op-defns['(lib "DMdA-beginner.ss" "deinprogramm") #'here '()]

View File

@ -11,7 +11,7 @@ This is documentation for the language level @italic{Die Macht der
Abstraktion} to go with the German textbook @italic{Die Macht der Abstraktion} to go with the German textbook @italic{Die Macht der
Abstraktion}. Abstraktion}.
@declare-exporting[deinprogramm/DMdA-vanilla] @declare-exporting[deinprogramm/DMdA-vanilla #:use-sources (deinprogramm/DMdA)]
@schemegrammar*-DMdA[ @schemegrammar*-DMdA[
#:literals () #:literals ()

View File

@ -8,14 +8,15 @@
;(check-docs (quote deinprogramm/line3d)) ;(check-docs (quote deinprogramm/line3d))
;(check-docs (quote deinprogramm/image)) ;(check-docs (quote deinprogramm/image))
;(check-docs (quote deinprogramm/DMdA)) ;(check-docs (quote deinprogramm/DMdA))
;(check-docs (quote deinprogramm/DMdA-vanilla))
;(check-docs (quote deinprogramm/DMdA-vanilla-reader)) ;(check-docs (quote deinprogramm/DMdA-vanilla-reader))
;(check-docs (quote deinprogramm/DMdA-reader)) ;(check-docs (quote deinprogramm/DMdA-reader))
;(check-docs (quote deinprogramm/DMdA-beginner))
;(check-docs (quote deinprogramm/DMdA-beginner-reader)) ;(check-docs (quote deinprogramm/DMdA-beginner-reader))
;(check-docs (quote deinprogramm/DMdA-assignments))
;(check-docs (quote deinprogramm/DMdA-assignments-reader)) ;(check-docs (quote deinprogramm/DMdA-assignments-reader))
(check-docs (quote deinprogramm/DMdA-advanced) #:skip #rx"^#%")
;(check-docs (quote deinprogramm/DMdA-advanced-reader)) ;(check-docs (quote deinprogramm/DMdA-advanced-reader))
;(check-docs (quote deinprogramm/define-record-procedures)) ;(check-docs (quote deinprogramm/define-record-procedures))
;(check-docs (quote deinprogramm/convert-explicit)) ;(check-docs (quote deinprogramm/convert-explicit))
(check-docs (quote deinprogramm/DMdA-beginner) #:skip #rx"^#%")
(check-docs (quote deinprogramm/DMdA-vanilla) #:skip #rx"^#%")
(check-docs (quote deinprogramm/DMdA-advanced) #:skip #rx"^#%")
(check-docs (quote deinprogramm/DMdA-assignments) #:skip #rx"^#%")