comp.lang.ada
 help / color / mirror / Atom feed
From: Matthew Heaney <matthew_heaney@acm.org>
Subject: Re: Contraint error
Date: 1998/10/11
Date: 1998-10-11T00:00:00+00:00	[thread overview]
Message-ID: <m33e8v324t.fsf@mheaney.ni.net> (raw)
In-Reply-To: 3620BB8F.2973CE00@phoenix.net

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





  parent 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 ` Tucker Taft
1998-10-11  0:00 ` Matthew Heaney [this message]
1998-10-11  0:00   ` Renwick Preston
1998-10-11  0:00     ` Tom Moran
1998-10-11  0:00     ` Matthew Heaney
1998-10-11  0:00   ` Renwick Preston
replies disabled

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