a couple of naive questions



Date view Thread view Subject view Author view Attachment view

From: Leonor Barroca (l.barroca@open.ac.uk)
Date: Thu 18 Mar 2004 - 10:34:58 GMT


I would be grateful for some clarification to the following:

1. Is the use of body and use of result in a postcondition equivalent?

2. Is Class->count() the same as Class.allInstances()->count
and
Class->isUnique (attribute) the same as Class.allInstances()->isUnique 
(attribute)

Thanks
Leonor 

Date view Thread view Subject view Author view Attachment view