From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,385c146dd3112519 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news3.google.com!feeder.news-service.com!de-l.enfer-du-nord.net!feeder1.enfer-du-nord.net!usenet-fr.net!proxad.net!feeder1-2.proxad.net!news.in2p3.fr!in2p3.fr!oleane.net!oleane!hunter.axlog.fr!nobody From: Jean-Pierre Rosen Newsgroups: comp.lang.ada Subject: Re: Private or public task ? Date: Mon, 08 Feb 2010 11:02:18 +0100 Organization: Adalog Message-ID: References: <38a0a3f9-b4a0-48f3-98c9-63b03fe03aca@q4g2000yqm.googlegroups.com> NNTP-Posting-Host: mailhost.axlog.fr Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: s1.news.oleane.net 1265630101 7625 195.25.228.57 (8 Feb 2010 11:55:01 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Mon, 8 Feb 2010 11:55:01 +0000 (UTC) User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) In-Reply-To: <38a0a3f9-b4a0-48f3-98c9-63b03fe03aca@q4g2000yqm.googlegroups.com> Xref: g2news1.google.com comp.lang.ada:8975 Date: 2010-02-08T11:02:18+01:00 List-Id: 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