Changes between Version 7 and Version 8 of Contracts

Timestamp:

07/02/11 21:04:59 (13 years ago)

Author:

Charles

Comment:

--

Contracts

@@ -139 +139 @@
 the preconditions/requirements ('''require''') can be augmented through an
     '''or require''' 
-clause meaning that the derivedClass is more flexible about what conditions 
+clause meaning that the derived class is more flexible about what conditions 
 the work can be done in.
 
@@ -147 +147 @@
 about the results of the work.
 
+Or in other words, an overriding method in a derived class:
+ * Can ''weaken'' the precondition/requirement, but not strengthen it.
+ * Can ''strengthen'' the postcondition/ensurement, but not weaken it.
+
+to-do: more explanation and examples are needed here
+
+See also ticket:280 for a faux bug report that didn't take into account the rules on inheritance and contracts. In comment #3 is more detailed explanation of what's going on.
 
 == Compiler Command Line ==