From: Egil H H <ehh.public@gmail.com>
Subject: Re: Deafult GNAT Locking_Policy
Date: Tue, 10 Sep 2019 03:54:04 -0700 (PDT)
Date: 2019-09-10T03:54:04-07:00 [thread overview]
Message-ID: <65b5aa95-1d54-4ee6-97a3-a5ea175acbd6@googlegroups.com> (raw)
In-Reply-To: <8bb804d1-6779-45d9-87d3-72fbb81a3a11@googlegroups.com>
On Tuesday, September 10, 2019 at 12:00:22 PM UTC+2, sbelm...@gmail.com wrote:
> D.3~6/2 says "If no Locking_Policy pragma applies to any of the program units comprising a partition, the locking policy for that partition, as well as the meaning of the priority of a protected object, are implementation defined." But I can't find anything anywhere in any of the GNAT documents, native or cross, that says what that default is. There's this bit:
>
The GNAT documentation is split into two main documents, the GNAT User's Guide, and the GNAT RM. You should find what you're looking for in the Implementation Defined Characteristics chapter of the GNAT RM.
--
~egilhh
next prev parent reply other threads:[~2019-09-10 10:54 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-09-10 10:00 Deafult GNAT Locking_Policy sbelmont700
2019-09-10 10:06 ` AdaMagica
2019-09-10 10:54 ` Egil H H [this message]
2019-09-10 12:11 ` sbelmont700
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox