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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,6009c73a58f787a0
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-01-12 02:22:13 PST
From: "Martin Dowie" <martin.dowie@nospam.baesystems.com>
Newsgroups: comp.lang.ada
References: <3c3ee8c8.105408250@News.CIS.DFN.DE>
 <5ee5b646.0201111140.48bf30e2@posting.google.com>
Subject: Re: How to avoid unreferenced objects (mutexes etc)
Date: Sat, 12 Jan 2002 10:18:05 -0000
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4522.1200
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200
NNTP-Posting-Host: ed125012.sd.edinbr.gmav.gecm.com
Message-ID: <3c400d23$1@pull.gecm.com>
X-Trace: 12 Jan 2002 10:17:07 GMT, ed125012.sd.edinbr.gmav.gecm.com
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!isdnet!btnet-peer1!btnet-peer0!btnet-feed5!btnet!newreader.ukcore.bt.net!pull.gecm.com!ed125012.sd.edinbr.gmav.gecm.com
Xref: archiver1.google.com comp.lang.ada:18820
Date: 2002-01-12T10:18:05+00:00
List-Id: <comp.lang.ada>

"Robert Dewar" <dewar@gnat.com> wrote in message
news:5ee5b646.0201111140.48bf30e2@posting.google.com...
> dmitry@elros.cbb-automation.de (Dmitry A. Kazakov) wrote in message
news:<3c3ee8c8.105408250@News.CIS.DFN.DE>...
> In GNAT, we just introduced
>
>    pragma Unreferenced (entity-name, entity-name, ....);
>
> specifically to deal with entities that are deliberately
> unreferenced. This pragma supresses unreferenced warnings
> for the entity, and gives an error if the entity is actually referenced.
>
> It provides useful documentation that the entity is really
> really intended to be there, and serves a purpose even
> though it is not specifically referenced.

This sounds unbelievable useful, is it going to be proposed for Ada200X?