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." Newsgroups: comp.lang.ada Subject: Re: Ada 2012 Constraints (WRT an Ada IR) Date: Thu, 8 Dec 2016 10:42:24 +0100 Organization: A noiseless patient Spider Message-ID: References: <03847fd7-5699-48de-bb3c-ef5512398f26@googlegroups.com> <3ef819e8-55f7-4ef7-9f37-77e6abc33f98@googlegroups.com> <47366b42-c0a3-41bf-a44a-5241c109d60f@googlegroups.com> Reply-To: nonlegitur@futureapps.de Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Thu, 8 Dec 2016 09:41:04 -0000 (UTC) Injection-Info: mx02.eternal-september.org; posting-host="a81a2ce3d8cb0399a12185c308ca8416"; logging-data="14965"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18WTBwe5V9ACZ5FTg6ZEpm0QGDmJ0zYKdc=" User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:45.0) Gecko/20100101 Thunderbird/45.5.1 In-Reply-To: Cancel-Lock: sha1:9s82QnaoeDkb76Y8Prm3PecDEus= Xref: news.eternal-september.org comp.lang.ada:32677 Date: 2016-12-08T10:42:24+01:00 List-Id: On 08.12.16 09:57, Dmitry A. Kazakov wrote: > The proper way to do this is elevate the check into the behavior and contract an exception. What will these two parts look like in the example, bothrelating to "+", and to Plus? procedure Plus is Y : Standard.Integer := Standard.Integer'Last; begin Y := Y + 1; end Plus; -- "HOTDOGS ARE NOT BOOKMARKS" Springfield Elementary teaching staff