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: Renwick Preston <rpreston@phoenix.net>
Subject: Re: Contraint error
Date: 1998/10/11
Message-ID: <36211ABC.20EB8DF8@phoenix.net>#1/1
X-Deja-AN: 400026122
Content-Transfer-Encoding: 7bit
References: <3620BB8F.2973CE00@phoenix.net> <m33e8v324t.fsf@mheaney.ni.net>
Content-Type: text/plain; charset=us-ascii
X-Trace: news.giganews.com 908139082 209.127.52.240 (Sun,
 11 Oct 1998 15:51:22 CDT)
MIME-Version: 1.0
NNTP-Posting-Date: Sun, 11 Oct 1998 15:51:22 CDT
Newsgroups: comp.lang.ada
Date: 1998-10-11T00:00:00+00:00
List-Id: <comp.lang.ada>

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