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.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,834610f4f567e94b X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.66.76.130 with SMTP id k2mr3701978paw.16.1346727916767; Mon, 03 Sep 2012 20:05:16 -0700 (PDT) Received: by 10.68.125.201 with SMTP id ms9mr536590pbb.20.1346727916715; Mon, 03 Sep 2012 20:05:16 -0700 (PDT) Path: a8ni19134537pbd.1!nntp.google.com!r4no5902586pbs.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 3 Sep 2012 20:05:16 -0700 (PDT) In-Reply-To: <269901b0-6570-4d7a-bcd4-19d590383515@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=69.20.190.126; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC NNTP-Posting-Host: 69.20.190.126 References: <5045278b$0$6576$9b4e6d93@newsspool3.arcor-online.net> <269901b0-6570-4d7a-bcd4-19d590383515@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Hi-Lite high integrity showcase and overflow errors From: Shark8 Injection-Date: Tue, 04 Sep 2012 03:05:16 +0000 Content-Type: text/plain; charset=ISO-8859-1 Date: 2012-09-03T20:05:16-07:00 List-Id: Forgive the multiple posts, but this might be a little bit clearer; I certainly like that the [word] Return is not repeated. function Mult (X , Y : My_Int) return My_Int is begin Return Result : My_Int do Result:= X*Y; -- When the constraint is exceeded we return the last value. exception when Constraint_Error => Result:= My_Int'Last; End Return; end Mult;