comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: how to do things like procedure foo(A: string) is bar: string := A; begin; ...;end;
Date: Mon, 18 Dec 2017 16:22:54 -0600
Date: 2017-12-18T16:22:54-06:00	[thread overview]
Message-ID: <p19f3v$jk9$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: 1e659202-ab0b-44a5-9549-3e41fa465ab4@googlegroups.com

"Mehdi Saada" <00120260a@gmail.com> wrote in message 
news:1e659202-ab0b-44a5-9549-3e41fa465ab4@googlegroups.com...
>Fine. It means a variable's bounds must be known at initizialisation, not 
>compilation ?
> I had a boggus idea of what "static" means, or when it's necessary.

"Static" means (approximately) "determinable at compile-time". And it is 
rarely necessary (mostly for type declarations [but not subtype 
declarations] and representation clauses). The vast majority of things allow 
any legal expression of the correct type.

                                       Randy.




  parent reply	other threads:[~2017-12-18 22:22 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-12-16 20:56 how to do things like procedure foo(A: string) is bar: string := A; begin; ...;end; Mehdi Saada
2017-12-16 21:49 ` Jeffrey R. Carter
2017-12-17 12:40   ` Mehdi Saada
2017-12-17 13:25     ` Jere
2017-12-17 13:49       ` Jere
2017-12-17 13:51     ` Jeffrey R. Carter
2017-12-18 22:22     ` Randy Brukardt [this message]
2017-12-18  6:39 ` Robert Eachus
2017-12-18 15:34   ` Mehdi Saada
2017-12-18 17:31     ` Anh Vo
2017-12-18 21:14     ` Robert Eachus
2017-12-19 22:52   ` Robert Eachus
replies disabled

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