comp.lang.ada
 help / color / mirror / Atom feed
From: Renwick Preston <rpreston@phoenix.net>
Subject: Re: Contraint error
Date: 1998/10/11
Date: 1998-10-11T00:00:00+00:00	[thread overview]
Message-ID: <36211ABC.20EB8DF8@phoenix.net> (raw)
In-Reply-To: m33e8v324t.fsf@mheaney.ni.net

I forgot to say that June_Completed was declared as a plain old Boolean.

Ren


Matthew Heaney wrote:

> Renwick Preston <rpreston@phoenix.net> writes:
>
> You'll have to provide more source code.  There's nothing in the
> fragment you did provide that would indicate CE gets raised.
>
> Is June_Completed a subtype?  Do you do this:
>
> declare
>    June_Completed : Boolean range False .. False := False;
> begin
> ...
>    June_Completed := True;
> ...
> end;
>
> Of course, this really would raise CE.
>
> You're not using a debugger?
>
> Are you using a compiler that supports display of Exception_Information?
>
> > My program just started creating a constraint error after I added some
> > Boolean variables with code that used those variables. I'm thinking
> > that the way I'm using them is what is causing the problem.
> >
> > I first initialize them all to False. In my program I have a case
> > statement with some code for each case. Here is a snippet:
> >
> > case Month
> > when June
> >     If June_Completed then        <- Line added
> >     < some code here>
> >     June_Completed := True;    <- Line added
> >     End if;                                <- Line added
> > <more code>
> > end case;
> >
> > Everything worked fine until I added the lines marked.
> >
> > What could be the problem?
> >
> > Ren







  reply	other threads:[~1998-10-11  0:00 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1998-10-11  0:00 Contraint error Renwick Preston
1998-10-11  0:00 ` Matthew Heaney
1998-10-11  0:00   ` Renwick Preston [this message]
1998-10-11  0:00   ` Renwick Preston
1998-10-11  0:00     ` Matthew Heaney
1998-10-11  0:00     ` Tom Moran
1998-10-11  0:00 ` Tucker Taft
replies disabled

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