From: Adam Beneschan <adam@irvine.com>
Subject: Re: strange error in tiny ada 2012 program
Date: Fri, 6 Jul 2012 17:36:58 -0700 (PDT)
Date: 2012-07-06T17:36:58-07:00 [thread overview]
Message-ID: <7faec088-ac59-44c2-93f2-0e7dce2b5d45@googlegroups.com> (raw)
In-Reply-To: <ba3d13c3-527e-4f09-8d09-ee7d450e5b62@googlegroups.com>
On Friday, July 6, 2012 2:55:53 PM UTC-7, Charly wrote:
> So my questions are:
> Did I make any mistake in this tiny program or is it a bug in the new GNAT version?
> How can a extend a proteced type (line 16).
I have no idea about the STORAGE_ERROR issue, but the answer to the second one is simple: you can't. The following paragraph from AI95-345 appears to be the main reason:
An important advantage of eliminating inheritance of any code or data
for tasks and protected types is that the "monitor"-like benefits of
these constructs are preserved. All of the synchronizing operations are
implemented in a single module, simplifying analysis and avoiding any
inheritance "anomalies" that have been associated in the literature with
combining inheritance with synchronization.
-- Adam
next prev parent reply other threads:[~2012-07-07 1:35 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-07-06 21:55 strange error in tiny ada 2012 program Charly
2012-07-07 0:36 ` Adam Beneschan [this message]
2012-07-07 10:25 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox