comp.lang.ada
 help / color / mirror / Atom feed
From: Georg Bauhaus <rm.dash-bauhaus@futureapps.de>
Subject: Re: Hiding the value of Constants
Date: Tue, 07 Jul 2009 11:41:11 +0200
Date: 2009-07-07T11:41:11+02:00	[thread overview]
Message-ID: <4a531837$0$30227$9b4e6d93@newsspool1.arcor-online.net> (raw)
In-Reply-To: <30696d63-16e8-44e2-a4a5-db5095d7cfec@m3g2000pri.googlegroups.com>

Rick schrieb:
> Is it possible to declare a constant in a package specification
> without the user knowing the value of that constant?

I'm assuming you do not want the value to be
visible neither in the private part nor in the
public part of the package specification?

Use a function then, and make the package pure,
if possible:

package P is

  pragma pure;

  type Thing is ...;

  function My_Constant return Thing;

  pragma Inline(My_constant);

end P;

Chances are that the compiler might be able to
act as if My_Constant was a simple constant.



  parent reply	other threads:[~2009-07-07  9:41 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
2009-07-07  8:58   ` AdaMagica
2009-07-07  9:41 ` Georg Bauhaus [this message]
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