From: "Gavino" <invalid@invalid.invalid>
Subject: Re: Q: SPARK visibility rules and inherit annotations.
Date: Wed, 19 May 2010 22:41:17 +0200
Date: 2010-05-19T22:41:17+02:00 [thread overview]
Message-ID: <85j0ohF6hnU1@mid.individual.net> (raw)
In-Reply-To: op.vcynrvxnule2fv@garhos
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 485 bytes --]
"Yannick Duch�ne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message
news:op.vcynrvxnule2fv@garhos...
>It seems to expect the path to the package to be expressed explicitly as a
>path in a child package hierarchy. Now will have to look to the reference
>about it, as I don't remember about this kind of detail anywhere.
See end of Section 7.1.1 of the SPARK Reference Manual:
"A child package is denoted by a direct name at places where its declaration
is directly visible."
prev parent reply other threads:[~2010-05-19 20:41 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-05-19 15:04 Q: SPARK visibility rules and inherit annotations Peter C. Chapin
2010-05-19 15:54 ` Phil Thornley
2010-05-19 21:29 ` Peter C. Chapin
2010-05-20 1:47 ` Yannick Duchêne (Hibou57)
2010-05-20 11:03 ` Gavino
2010-05-20 15:58 ` Yannick Duchêne (Hibou57)
2010-05-21 10:42 ` Gavino
2010-05-25 20:58 ` Yannick Duchêne (Hibou57)
2010-05-19 16:22 ` Yannick Duchêne (Hibou57)
2010-05-19 20:41 ` Gavino [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