Re: Private or public task ?

[Jean-Pierre Rosen <rosen@adalog.fr>]

Hibou57 (Yannick Duch�ne) a �crit :

> So, if blocking operation are not allowed from a protected type,
> clients of a given operation have to know it weither or not it's
> potentially blocking, and so, this fact must be stated in public part
> of specifications, so then, the protected and tasked aspect of a
> method must be stated in specifications and I suppose it's not a good
> idea to make it private.
> 
> Wrong or right assumptions ?
> 
Right. Thats why there is a rule in AdaControl to check potentially
blocking operations called from protected actions.

The check is of course pessimistic (if it were really statically
checkable, it would be forbidden by langage rules). So it checks for
potentially potentially blocking operations  ;-)

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr