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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Private extension of a synchronized interface Date: Wed, 20 Feb 2019 17:43:56 -0600 Organization: JSA Research & Innovation Message-ID: References: Injection-Date: Wed, 20 Feb 2019 23:43:57 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="4068"; mail-complaints-to="news@jacob-sparre.dk" X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246 Xref: reader01.eternal-september.org comp.lang.ada:55615 Date: 2019-02-20T17:43:56-06:00 List-Id: "Simon Wright" wrote in message news:lyo976mv2j.fsf@pushface.org... > "Randy Brukardt" writes: > >> What I'd suggest in this case is to create a self-testing example as a >> potential ACATS test. I'd guess that a case like this doesn't happen >> in the ACATS, but this a fundemental enough capabilitity that is makes >> sense for an example to be in the test suite. > > The only C test occurences of 'synchronized' are in c950001 and c954027; > both use class-wide objects or accesses. Makes sense. This case has to do with the 3.9.3 rules and how they apply to protected (and presumably task) interfaces. I doubt very much that was tested, or is even on the list of possible things to test. But of course real Ada user bugs are always of interest. Especially if they are rather fundemental to the feature. (Too bad I don't have a spell check on this reader. ;-) Randy.