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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: "J-P. Rosen" <rosen@adalog.fr>
Newsgroups: comp.lang.ada
Subject: Re: Ada++
Date: Sun, 31 May 2020 17:51:02 +0200
Organization: Adalog
Message-ID: <rb0jp8$qve$1@dont-email.me>
References: <50711230-5b14-4278-b9d8-d197bbe3c93b@googlegroups.com>
 <rapqt9$189k$1@gioia.aioe.org> <yS_zG.337746$mf1.50060@fx45.iad>
 <raqqgu$nss$1@dont-email.me>
 <85d07cd3-8f7b-4e19-81a9-397b53166b3d@googlegroups.com>
 <rb052o$dbv$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 31 May 2020 15:51:04 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="0ea97e9b107565c63facdabb0fd6d157";
	logging-data="27630"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1++J2ItHVlvBKvfG2rCxI/s"
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101
 Thunderbird/68.7.0
Cancel-Lock: sha1:e7ww6lHK4mAQHNtedKqSYvmvSkw=
In-Reply-To: <rb052o$dbv$1@dont-email.me>
Content-Language: fr
Xref: reader01.eternal-september.org comp.lang.ada:58905
Date: 2020-05-31T17:51:02+02:00
List-Id: <comp.lang.ada>

Le 31/05/2020 à 13:40, Björn Lundin a écrit :
> I also noted some yeasr aga that end procedure-name/end function-name is
> not mandatory in Ada.
> However gnat has a style option to warn if they are missing.
AdaControl too - with a possible exception for very short subprograms:
check style (no_closing_name, 5)

Require closing name except for subprograms up to 5 lines.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr