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!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: Quick question regarding limited type return syntax Date: Fri, 01 Aug 2014 09:57:11 +0200 Organization: A noiseless patient Spider Message-ID: References: <166aaec5-5e9c-40e0-9b07-9b9c7d5f7f33@googlegroups.com> <16a6846f-2964-438a-ab9b-2029075f7924@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Injection-Date: Fri, 1 Aug 2014 07:57:08 +0000 (UTC) Injection-Info: mx05.eternal-september.org; posting-host="aca65b0bca7e55f925767357a504d933"; logging-data="28466"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+Kh9fT4pcO5ecFA9lLQpkF" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0 In-Reply-To: Cancel-Lock: sha1:RuzEJ+Kwc1MK1Z3VHIJAZ+6bx1E= X-Enigmail-Version: 1.6 Xref: news.eternal-september.org comp.lang.ada:21371 Date: 2014-08-01T09:57:11+02:00 List-Id: Le 01/08/2014 04:12, Randy Brukardt a écrit : > t's annoying that we couldn't get this "explicit default-initialization" > syntax more widely used. I prefer to ensure that everything is properly > initialized, but sometimes the default value is good enough. It would be > nice to be able to specify that: > > Obj : My_Type := <>; > or maybe > Obj : My_Type := (<>); > > so that I could verify that every object is either initialized or explicitly > left default initialized. One of my clients has a rule that every user-defined type must provide an associated constant for the default value (and of course, AdaControl can enforce that rule). Then it is enough to say that every variable must be initialized. Seems close enough to what you want... -- 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