Recipe 9.9: Associating a Pre/Postcondition with a Particular Method Implementation

Last Updated: Sep 8, 2003 Status: Draft

Problem:  

You want to declare a pre/postcondition that is executed only for this implementation of the method -- it shouldn't be inherited by any subsequent implementations.

Solution:  

Declare the pre/postcondition as part of the method implementation, not the method interface:

Discussion:

Login / Edit User Info

-- Copyright © 2002 Cognitivity --