From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "G.B." <bauhaus@notmyhomepage.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Test for constant (or "in parameter" in procedure)
Date: Thu, 9 Feb 2017 17:51:43 +0100
Organization: A noiseless patient Spider
Message-ID: <o7i6jl$a1j$1@dont-email.me>
References: <ce914880-959e-48c9-8ffc-7f14cd022ed6@googlegroups.com>
 <8aaa2cef-9ca2-4536-bdf2-1567947b9ab8@googlegroups.com>
 <24a8808f-dd9e-4fcf-bbe5-226f56a41eb9@googlegroups.com>
Reply-To: nonlegitur@notmyhomepage.de
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 9 Feb 2017 16:49:57 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="f6ac00634f1c2e9ee04b594ad746ad04";
	logging-data="10291"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+UGEBggB4HBFZCidAjGjEll/WIq0JQc3s="
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:45.0)
 Gecko/20100101 Thunderbird/45.7.1
In-Reply-To: <24a8808f-dd9e-4fcf-bbe5-226f56a41eb9@googlegroups.com>
Cancel-Lock: sha1:tR3I8zeRBVKUzeD8EVcLerHYDkM=
Xref: news.eternal-september.org comp.lang.ada:33290
Date: 2017-02-09T17:51:43+01:00
List-Id: <comp.lang.ada>

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.