Recipe 9.5: Extending Method Preconditions

Last Updated: Sep 8, 2003 Status: Draft

Problem:  

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

Solution:  

Discussion:

(Preconditions are OR, postconditions are AND) (Can you have a 'group' of preconditions, such that you can alter one precondition while leaving the others alone, sortof ANDing the group together?)

Login / Edit User Info

-- Copyright © 2002 Cognitivity --