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.
next prev 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