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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8179c5e594eb425e
X-Google-Attributes: gid103376,public
From: Matthew Heaney <matthew_heaney@acm.org>
Subject: Re: Contraint error
Date: 1998/10/11
Message-ID: <m33e8v324t.fsf@mheaney.ni.net>#1/1
X-Deja-AN: 399955132
Sender: matt@mheaney.ni.net
References: <3620BB8F.2973CE00@phoenix.net>
NNTP-Posting-Date: Sun, 11 Oct 1998 08:53:00 PDT
Newsgroups: comp.lang.ada
Date: 1998-10-11T00:00:00+00:00
List-Id: <comp.lang.ada>

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