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

Remove redundant file

Browse Source
This commit is contained in:
Eli Barzilay 2010-05-17 09:57:03 -04:00
parent 41ea7311f3
commit 28998cfe11
1 changed files with 0 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
collects/scribblings/guide/contracts-examples/6.rkt
View File

@ -1,20 +0,0 @@
;; chapter 6: Subclassing and Contracts
;; In a subclass, an Eiffel programmer must use
;; ... require else ...
;; for preconditions, which or-s them together, and
;; ... ensure then ...
;; for postconditions, which and-s them together.
;; See Findler's papers on inheritance and contracts for
;; an analysis of these mechanisms and their problems.
;; prepare for subclassing with postconditions of the shape:
;; precondition1 <b>implies</b> postcondition1
;; and
;; ...
;; and
;; preconditionN <b>implies</b> postconditionN
;; [Note: I am not sure about this one yet.]