Recipe 9.16: Placing Postconditions on Method Arguments

Last Updated: Sep 8, 2003 Status: Draft

Problem:  

Your method alters one of its arguments: you want to place a postcondition on that argument to ensure that the returned value is valid. You want the validity check to be part of the method interface, so that it is performed regardless of the method implementation.

Solution:  

Discussion:

(If the value is not rw, postconditions are useless)
(I'd probably rather associate multiple preconditions with the method itself, since that's more powerful and would make this obselete?)

Login / Edit User Info

-- Copyright © 2002 Cognitivity --