predecessor-set and successor-set properties

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

predecessor-set and successor-set properties

Werner Donné

Hi,

The latter is defined in terms of the former, making them
computed and protected respectively. This suggests an
implementation. I think both should be protected and have
a stand-alone definition.

Regards,

Werner.
--
Werner Donné  --  Re
Engelbeekstraat 8
B-3300 Tienen
tel: (+32) 486 425803 e-mail: [hidden email]

Reply | Threaded
Open this post in threaded view
|

Re: predecessor-set and successor-set properties

Manfred Baedke


> The latter is defined in terms of the former, making them
> computed and protected respectively.
>  
successor-set is computed (in particular protected) so that the spec
does not have to mention every impact a method could possibly have on
the value of this property. This makes sense, IMHO.