From: "G.B." <bauhaus@notmyhomepage.invalid>
Subject: Re: Test for constant (or "in parameter" in procedure)
Date: Thu, 9 Feb 2017 17:51:43 +0100
Date: 2017-02-09T17:51:43+01:00 [thread overview]
Message-ID: <o7i6jl$a1j$1@dont-email.me> (raw)
In-Reply-To: <24a8808f-dd9e-4fcf-bbe5-226f56a41eb9@googlegroups.com>
On 09.02.17 13:46, reinkor wrote:
> OK, I here try to communicate my intention via this simple example:
>
> i : Constant Integer := 5; -- all OK so far (but someone could
> change this to a variable)
>
You could try making it more difficult for programmers
you seemingly need to fight in source text by
- by making i a function; hide its body,
- make your code depend on compile time static constants.
I'd suggest that it is time, technically, for your boss
or for yourself to call for discipline, or ask you lawyer
about what your contracts require you to guarantee if
someone changes i to be some kind of constness backdoor.
next prev parent reply other threads:[~2017-02-09 16:51 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2017-02-09 4:38 Test for constant (or "in parameter" in procedure) reinkor
2017-02-09 12:11 ` AdaMagica
2017-02-09 12:46 ` reinkor
2017-02-09 13:09 ` Dmitry A. Kazakov
2017-02-09 14:10 ` AdaMagica
2017-02-09 15:01 ` reinkor
2017-02-09 16:51 ` G.B. [this message]
2017-02-09 16:59 ` reinkor
2017-02-09 17:17 ` Dmitry A. Kazakov
2017-02-09 17:31 ` G.B.
2017-02-09 18:46 ` Niklas Holsti
2017-02-10 7:48 ` reinkor
2017-02-09 18:03 ` Jeffrey R. Carter
2017-03-26 20:57 ` Norman Worth
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox