comp.lang.ada
 help / color / mirror / Atom feed
From: Tom Moran <tmoran@bix.com>
Subject: Re: Q re static deferred constants
Date: 1997/07/19
Date: 1997-07-19T00:00:00+00:00	[thread overview]
Message-ID: <33D11D53.44EA@bix.com> (raw)
In-Reply-To: 33CDB52B.25FE@bix.com


Tucker Taft said:
> :   type T is new Integer;
> :   x : constant T;
> : private
> :   x : constant T := 1;
>  
> : Is p.x static?  ie, can another package use p.x for a 'when' in a case
> : statement?
>  
> If the full definition of X is not visible, then X is not static.
> So inside the package body for P, and those of its children, X is static,
> but outside these places is not.
  So given
x : constant T;
y : constant T := 2;
private
x : constant T := 1;
  then y is everywhere static but x is static only in P or its children?




  parent reply	other threads:[~1997-07-19  0:00 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-07-16  0:00 Q re static deferred constants Tom Moran
1997-07-17  0:00 ` Robert A Duff
1997-07-17  0:00 ` Tucker Taft
1997-07-19  0:00 ` Tom Moran [this message]
1997-07-20  0:00   ` Tucker Taft
replies disabled

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