From: reinkor <reinkor@gmail.com>
Subject: Re: Test for constant (or "in parameter" in procedure)
Date: Thu, 9 Feb 2017 08:59:55 -0800 (PST)
Date: 2017-02-09T08:59:55-08:00 [thread overview]
Message-ID: <afc535c6-4779-481e-bbd9-206f5c38b97e@googlegroups.com> (raw)
In-Reply-To: <o7i6jl$a1j$1@dont-email.me>
On Thursday, February 9, 2017 at 5:51:46 PM UTC+1, G.B. wrote:
> 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.
Maybe SPARK has an answer.
next prev parent reply other threads:[~2017-02-09 16:59 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.
2017-02-09 16:59 ` reinkor [this message]
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