Recipe 9.6: Extending Method Postconditions

Last Updated: Sep 8, 2003 Status: Draft

Problem:  

You have a method in a parent class with a declared postcondition. You want to declare an additional postcondition for that method in your subclass.

Solution:  

Discussion:

Login / Edit User Info

-- Copyright © 2002 Cognitivity --