From: Anh Vo <anhvofrcaus@gmail.com>
Subject: Re: My bug or else regarding Visibility Rules
Date: Thu, 28 Mar 2013 15:06:31 -0700 (PDT)
Date: 2013-03-28T15:06:31-07:00 [thread overview]
Message-ID: <627f8c74-f316-44c2-a189-3d549db7e06e@googlegroups.com> (raw)
In-Reply-To: <25ee066d-3270-4efd-829f-ed40b04c0655@googlegroups.com>
On Thursday, March 28, 2013 1:58:33 PM UTC-7, Adam Beneschan wrote:
>> 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
I understand it now. Thank you Adam for your help. By the way, I have decided to move these data into the body event though I will lose parts of Postcondition checking.
AVo
prev parent reply other threads:[~2013-03-28 22:06 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
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 [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox