comp.lang.ada
 help / color / mirror / Atom feed
From: Adam Beneschan <adam@irvine.com>
Subject: Re: My bug or else regarding Visibility Rules
Date: Thu, 28 Mar 2013 13:58:33 -0700 (PDT)
Date: 2013-03-28T13:58:33-07:00	[thread overview]
Message-ID: <25ee066d-3270-4efd-829f-ed40b04c0655@googlegroups.com> (raw)
In-Reply-To: <0c77e832-e12b-446d-af24-78d77c358f1e@googlegroups.com>

On Thursday, March 28, 2013 12:54:26 PM UTC-7, Anh Vo wrote:
> For the codes below GNAT complains that In_Index, Buffer, and Out_Index are undefined. However, if I comment out private key word, GNAT is happy. Did I violate Ada syntax rules? Thanks.

13.1.1(11): The usage names in an aspect_definition [ are not resolved at the point of the associated declaration, but rather] are resolved at the end of the immediately enclosing declaration list.

In your example, the "immediately enclosing declaration list" ends at the keyword PRIVATE when that keyword is present; but if you take it out, the declaration list ends at "end Circular_Queue;".

                        -- Adam



  reply	other threads:[~2013-03-28 20:58 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2013-03-28 19:54 My bug or else regarding Visibility Rules Anh Vo
2013-03-28 20:58 ` Adam Beneschan [this message]
2013-03-28 22:03   ` Randy Brukardt
2013-03-30  6:05     ` Anh Vo
2013-04-02  0:56       ` Randy Brukardt
2013-04-02  1:52         ` Anh Vo
2013-04-02  8:26           ` Simon Wright
2013-04-02 18:17             ` Anh Vo
2013-04-02 20:16               ` Simon Wright
2013-04-03 23:21                 ` Anh Vo
2013-04-04  8:19                   ` Simon Wright
2013-04-04 19:21                     ` Anh Vo
2013-04-04 19:47                       ` Simon Wright
2013-04-02 22:04           ` Randy Brukardt
2013-03-28 22:06   ` Anh Vo
replies disabled

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