From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!aioe.org!Hx95GBhnJb0Xc8StPhH8AA.user.46.165.242.91.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Is there a way to see if a value is declared as a constant Date: Mon, 13 Sep 2021 21:00:45 +0200 Organization: Aioe.org NNTP Server Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: gioia.aioe.org; logging-data="31120"; posting-host="Hx95GBhnJb0Xc8StPhH8AA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org"; User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 X-Notice: Filtered by postfilter v. 0.9.2 Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:62725 List-Id: On 2021-09-13 19:08, ldries46 wrote: > I have a set of constants that need a different name each for > readability. It may not be an array. > For instance: > C1 : constant record_item := ..... > C2 : constant record_item := ..... > C3 : constant record_item := ..... > C4 : constant record_item := ..... > C5 : constant record_item := ..... > > Now in a procedure or a function I have to use one of these constants > for instance: > > function X(C : record_item) return record_Item is >    RI : record_item; > begin >    .. >    .. >    RI := C -- This C may only be one of the five constants and not > another record_item >    .. >    .. >     return RI; > end X; > > In what way do I test if C is a constant and not another record Item [The requirement makes no sense and suggests design error] type Record_Item is tagged record I : Integer; end record; ... type Dedicated_Record_Item is new Record_Item with null record; C1 : constant Dedicated_Record_Item := (I => 1); C2 : constant Dedicated_Record_Item := (I => 2); C3 : constant Dedicated_Record_Item := (I => 3); C4 : constant Dedicated_Record_Item := (I => 4); C5 : constant Dedicated_Record_Item := (I => 5); function X (C : Dedicated_Record_Item) return Record_Item is begin return RI : Record_Item := Record_Item (C); end X; -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de