From 28998cfe11bc0b26cdd0f1f5e6d678a194e7d69c Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 17 May 2010 09:57:03 -0400 Subject: [PATCH] Remove redundant file --- .../guide/contracts-examples/6.rkt | 20 ------------------- 1 file changed, 20 deletions(-) delete mode 100644 collects/scribblings/guide/contracts-examples/6.rkt diff --git a/collects/scribblings/guide/contracts-examples/6.rkt b/collects/scribblings/guide/contracts-examples/6.rkt deleted file mode 100644 index b347a2715a..0000000000 --- a/collects/scribblings/guide/contracts-examples/6.rkt +++ /dev/null @@ -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 implies postcondition1 -;; and -;; ... -;; and -;; preconditionN implies postconditionN - -;; [Note: I am not sure about this one yet.]