suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Document inherit.

Browse Source 
svn: r18238
This commit is contained in:
Stevie Strickland 2010-02-20 22:58:21 +00:00
parent f72ca7bb1b
commit d67058c1ac
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/scribblings/reference/class.scrbl
View File

@ -1474,6 +1474,7 @@ resulting trait is the same as for @scheme[trait-sum], otherwise the
([member-spec
method-spec
(field field-spec ...)
(inherit method-spec ...)
(inherit-field field-spec ...)
(super method-spec ...)
(inner method-spec ...)
@ -1516,6 +1517,11 @@ The external contracts are as follows:
The internal contracts are as follows:
@itemize[
@item{A method contract, tagged with @scheme[inherit], describes the behavior of the
method when invoked directly (i.e., via @scheme[inherit]) in any subclass of the
contracted class. This contract, like external method contracts, applies until
the contracted class's method implementation is no longer the entry point for dynamic
dispatch.}
@item{A field contract, tagged with @scheme[inherit-field], describes the behavior of the
value contained in that field when accessed directly (i.e., via @scheme[inherit-field])
in any subclass of the contracted class. Since fields may be mutated, these contracts are