comp.lang.ada
 help / color / mirror / Atom feed
From: Jere <jhb.chat@gmail.com>
Subject: Re: Private extension of a synchronized interface
Date: Tue, 19 Feb 2019 18:32:38 -0800 (PST)
Date: 2019-02-19T18:32:38-08:00	[thread overview]
Message-ID: <b6e6497b-8786-4d9d-8b59-bce6675169b2@googlegroups.com> (raw)
In-Reply-To: <q4fbv1$2pq$1@franka.jacob-sparre.dk>

On Monday, February 18, 2019 at 5:35:15 PM UTC-5, Randy Brukardt wrote:
> "Jere" wrote in message 
> > I'll get to my ultimate goal later, but while following various
> > rabbit trails, I came across a situation I couldn't solve.  GNAT
> > allows you to make private extensions to synchronized interfaces
> > and it allows you to complete those private extensions with
> > protected types.  I can't, however, figure out how it overrides
> > the abstract procedures and functions of the synchronized interface.
> >
> > If I don't specify an override and try to call the procedure, it complains
> > that the procedure is abstract.
> 
> This appears to be a GNAT bug, although I'm not 100% certain.
> 
> <SNIPPED Explaination
Ok, thank you!  That makes it clearer.

> 
> 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. (Generally, we don't try to test 
> combinations of rules in the ACATS, and this is such a combination. But 
> there are cases where testing the individidual rules don't prove anything 
> about the combination, and this appears to be such a case. That is, the 
> implementation of protected type abstract rules are probably quite different 
> from the normal subprogram rules, so just testing the normal case doesn't 
> prove much. (You can find out details about writing ACATS tests at 
> http://www.ada-auth.org/acats-files/4.1/docs/UG-E.HTM, although getting 
> everything perfect is neither necessary nor likely).
> 
> Then submit the test to either the agent (agent@ada-auth.org) or to the 
> ACATS-Test@ada-auth.org mailing list. And of course report the issue to 
> AdaCore as well.
> 
I'll take a look.  I've never dealt with ACATS before directly, so this
will be new territory for me.


  parent reply	other threads:[~2019-02-20  2:32 UTC|newest]

Thread overview: 29+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-02-16  0:52 Private extension of a synchronized interface Jere
2019-02-17  9:50 ` Dmitry A. Kazakov
2019-02-17 13:46   ` Jere
2019-02-17 14:52     ` Dmitry A. Kazakov
2019-02-17 15:36       ` Jere
2019-02-17 16:28         ` Dmitry A. Kazakov
2019-02-17 20:56           ` Jere
2019-02-17 22:36 ` Simon Wright
2019-02-18  0:36   ` Jere
2019-02-18  8:11     ` Dmitry A. Kazakov
2019-02-18  8:29       ` Simon Wright
2019-02-18  8:42         ` Dmitry A. Kazakov
2019-02-18  8:26     ` Simon Wright
2019-02-18  8:33     ` Simon Wright
2019-02-18 15:40       ` Jere
2019-02-18 17:24         ` Simon Wright
2019-02-19 11:04           ` Simon Wright
2019-02-20  2:36             ` Jere
2019-02-20 10:46               ` Simon Wright
2019-02-20 15:04                 ` Jere
2019-02-18 15:49       ` Jere
2019-02-18 22:06 ` Randy Brukardt
2019-02-18 22:35 ` Randy Brukardt
2019-02-19 10:01   ` Egil H H
2019-02-19 11:29     ` Simon Wright
2019-02-19 11:53       ` Egil H H
2019-02-20  2:32   ` Jere [this message]
2019-02-20 13:46   ` Simon Wright
2019-02-20 23:43     ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox