From: xavier grave <xavier.grave@ipno.in2p3.fr>
To: Rick <rickduley@gmail.com>
Subject: Re: Hiding the value of Constants
Date: Tue, 07 Jul 2009 10:54:34 +0200
Date: 2009-07-07T10:54:34+02:00 [thread overview]
Message-ID: <4A530D4A.4040304@ipno.in2p3.fr> (raw)
In-Reply-To: <30696d63-16e8-44e2-a4a5-db5095d7cfec@m3g2000pri.googlegroups.com>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Rick a �crit :
> Is it possible to declare a constant in a package specification
> without the user knowing the value of that constant?
>
package Test_Constant is
pragma Pure;
type My_Funny_Type is private;
My_Funny_Constant_Value : constant My_Funny_Type;
private
type My_Funny_Type is new Integer;
My_Funny_Constant_Value : constant My_Funny_Type := 0;
end Test_Constant;
Hope it will help
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iEYEARECAAYFAkpTDUoACgkQVIZi0A5BZF5TjACgpVzt1nmCmy2fmuy8S4dsj+bh
IsIAn1XNr94ohlvWt97vuKMNHO5x/aSf
=9Mp6
-----END PGP SIGNATURE-----
next prev parent reply other threads:[~2009-07-07 8:54 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-07-07 8:48 Hiding the value of Constants Rick
2009-07-07 8:54 ` xavier grave [this message]
2009-07-07 8:58 ` AdaMagica
2009-07-07 9:41 ` Georg Bauhaus
2009-07-07 10:41 ` Hibou57 (Yannick Duchêne)
2009-07-07 15:51 ` Adam Beneschan
2009-07-07 16:26 ` Hibou57 (Yannick Duchêne)
2009-07-07 18:48 ` Dmitry A. Kazakov
2009-07-07 19:05 ` Adam Beneschan
2009-07-07 19:53 ` Dmitry A. Kazakov
2009-07-07 20:28 ` Adam Beneschan
2009-07-07 20:57 ` Dmitry A. Kazakov
2009-07-08 10:25 ` Georg Bauhaus
2009-07-08 12:20 ` Dmitry A. Kazakov
2009-07-09 23:04 ` anon
2009-07-10 6:37 ` AdaMagica
2009-07-11 19:06 ` anon
2009-07-11 19:26 ` Georg Bauhaus
2009-07-11 21:53 ` anon
2009-07-11 22:03 ` Albrecht Käfer
2009-07-11 22:15 ` Ed Falis
2009-07-15 9:30 ` anon
2009-07-11 23:31 ` Egil
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox