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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.31.151.21 with SMTP id z21mr85456718vkd.7.1452048392006;
        Tue, 05 Jan 2016 18:46:32 -0800 (PST)
X-Received: by 10.182.176.40 with SMTP id cf8mr393600obc.11.1452048391968;
 Tue, 05 Jan 2016 18:46:31 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!94no3307411qgt.1!news-out.google.com!f6ni44772igq.0!nntp.google.com!o2no283959iga.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 5 Jan 2016 18:46:31 -0800 (PST)
In-Reply-To: <f2fabc7b-a6a4-49db-85ac-d0fedf6cf95e@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2601:18f:900:8350:ba86:87ff:fed6:5907;
 posting-account=3pYsyQoAAACcI-ym7XtMOI2PDU8gRZS5
NNTP-Posting-Host: 2601:18f:900:8350:ba86:87ff:fed6:5907
References: <7dcd49f3-b04f-4ea3-b431-5c27f73b9afe@googlegroups.com>
 <87poxixqmy.fsf@theworld.com>
 <b5dcba43-8652-40f0-8115-a235c6c83544@googlegroups.com>
 <f2fabc7b-a6a4-49db-85ac-d0fedf6cf95e@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <89e66d9c-2b70-4273-8e17-c632c723cb32@googlegroups.com>
Subject: Re: Instantiating package problems
From: Andrew Shvets <andrew.shvets@gmail.com>
Injection-Date: Wed, 06 Jan 2016 02:46:31 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2166
X-Received-Body-CRC: 2414600154
Xref: news.eternal-september.org comp.lang.ada:29022
Date: 2016-01-05T18:46:31-08:00
List-Id: <comp.lang.ada>

On Monday, January 4, 2016 at 3:49:32 PM UTC-5, Anh Vo wrote:
> On Sunday, January 3, 2016 at 4:07:30 PM UTC-8, Andrew Shvets wrote:
> > Hi Bob,
> >=20
> > Thanks for writing back.  This is the entire example:
> > http://pastebin.com/GEJT3WzL
> =20
> Just recommend to add a precondition to function Division as shown below.=
 By the way, this feature is part of latest Ada (Ada 2012). In addition, yo=
u should think about adding precondition to other operations such as Additi=
on where Input1 + Input2 <=3D Integer'Last and Input1 + Input2 >=3D Integer=
'Last.=20
>=20
>   function Division(
>     Input1 : in Integer;=20
>     Input2 : in Integer)
>       return Integer
>    with pre =3D> Input2 /=3D 0;
>=20
> Anh Vo

I have never heard of preconditions.  I'll definitely take a look.