Stewart Gordon <> changed:

           What    |Removed                     |Added
                 CC|                            |

--- Comment #1 from Stewart Gordon <> 2011-10-29 18:20:20 PDT ---
"If a function in a derived class overrides a function in its super class, then
only one of the in contracts of the function and its base functions must be
satisfied. Overriding functions then becomes a process of loosening the in

A function without an in contract means that any values of the function
parameters are allowed."

On an override, the semantics of an in contract are to _add_ to what is a legal
call of the method.  And the absence of an in contract in a function definition
is really syntactic sugar for an empty in contract.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to