comp.lang.ada
 help / color / mirror / Atom feed
From: Stuart Palin <stuart.palin@0.0>
Subject: Re: Simple program to find average of 3 numbers
Date: Fri, 04 Jul 2003 12:02:54 +0100
Date: 2003-07-04T12:02:54+01:00	[thread overview]
Message-ID: <3F055EDE.A213E474@0.0> (raw)
In-Reply-To: d40d7104.0307040128.13246b65@posting.google.com

prashna wrote:

> O.K, I have changed line 12 to  AVG := (OBJ1+OBJ2+OBJ3)/3;
> But still it giving constraint error!!! :((

Having another look at your original posting, notice that
there is a difference between the way you have declared your
type and the way it is declared in Robert Eachus' example.

Do you get the exception with Robert's example?
If not what might be the underlying difference?

Think again about the points I raised earlier:

> You might also want to consider what values the intermediate
> calculation Obj_1+Obj_2+Obj_3 can take.

OK, the second sentence really applies to Robert's
example...
> In this instance because your type is constrained to a
> number which should be well within the bounds of integer
> you would not experience a problem.

What context might the expression be evaluated in in your
example?

(Think about 'base types' try ranges of 1..42 and 1..43
[with suitable initial values].  What interesting number
lies between 3*42 and 3*43?)

How might it be possible to detect a potential constraint
error at compile time rather than during execution?

--
Stuart Palin



  reply	other threads:[~2003-07-04 11:02 UTC|newest]

Thread overview: 28+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-07-04  5:01 Simple program to find average of 3 numbers prashna
2003-07-04  5:22 ` John R. Strohm
2003-07-04  5:34   ` Cephus�
2003-07-04  9:54     ` Tarjei T. Jensen
2003-07-05 17:49       ` Cephus�
2003-07-04  5:33 ` Robert I. Eachus
2003-07-04  8:37   ` Stuart Palin
2003-07-05 10:06     ` Preben Randhol
2003-07-04  5:39 ` tmoran
2003-07-04  9:28   ` prashna
2003-07-04 11:02     ` Stuart Palin [this message]
2003-07-04 16:20     ` Pascal Obry
2003-07-05  1:25       ` Robert I. Eachus
     [not found]     ` <1e3ht-ig4.ln1@beastie.ix.netcom.com>
2003-07-04 21:17       ` Jeffrey Creem
2003-07-05  5:07         ` Anders Wirzenius
2003-07-05 14:39 ` Marqmc5
2003-07-06  3:47 ` g_ak
2003-07-08  5:06   ` prashna
2003-07-09 15:25     ` Matthew Heaney
2003-07-09 21:38       ` Robert I. Eachus
2003-07-10 13:52         ` Matthew Heaney
2003-07-10 15:46           ` Robert I. Eachus
2003-07-11  0:56             ` Randy Brukardt
2003-07-11 21:54           ` Robert A Duff
2003-07-11 21:50         ` Robert A Duff
2003-07-11 23:32           ` Robert I. Eachus
2003-07-10  4:55       ` Simon Wright
  -- strict thread matches above, loose matches on Subject: below --
2003-07-09  6:24 christoph.grein
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox