From: Wes Groleau <wwgrol@sparc01.ftw.rsc.raytheon.com>
Subject: I'm baffled...
Date: Tue, 30 Oct 2001 17:16:56 -0500
Date: 2001-10-30T17:16:56-05:00 [thread overview]
Message-ID: <3BDF26D8.244CC957@sparc01.ftw.rsc.raytheon.com> (raw)
Probably something simple, but I don't see it ....
I don't think it's a compiler bug because
I get the same error from Apex that I get from GNAT.
But how can I get a constraint_error on line 166
of ada.strings.maps? That line is:
Identity : constant Character_Mapping :=
I can't get either debugger to let me examine things
in the run-time.
Code excerpt:
package ASF renames Ada.Strings.Fixed;
package AS renames Ada.Strings;
function Position_Of (Pattern : String) return Index is
Result : Index := 47;
-- just to make it any old legal value
Checkpoint : Character := 'A';
begin
Checkpoint := 'B';
Result := ASF.Index
(Source => Word_List (Current_Index + 1 ..
Word_List'Last),
Pattern => Pattern,
Going => AS.Forward );
Checkpoint := 'C';
if Result /= 0 then
Checkpoint := 'D';
return Result;
else
Checkpoint := 'E';
return ASF.Index
(Source => Word_List ( Word_List'First .. Current_Index
- 1),
Pattern => Pattern,
Going => AS.Backward );
Checkpoint := 'F';
end if;
Checkpoint := 'G';
exception
when E : others =>
Ada.Text_IO.Put_Line (Ada.Exceptions.Exception_Information(E));
Ada.Text_IO.Put_Line ("Checkpoint => " & Checkpoint);
Ada.Text_IO.Put_Line ("Context => " & Word_List
(Current_Index - 10 .. Current_Index + 10) );
Ada.Text_IO.Put_Line ("Pattern => " & Pattern);
Ada.Text_IO.Put_Line ("Current_Index => " & Integer'Image
(Current_Index));
Ada.Text_IO.Put_Line ("Result => " & Integer'Image
(Result));
raise;
end Position_Of;
Typical error output:
Exception name: CONSTRAINT_ERROR
Message: a-strmap.ads:166
Checkpoint => B
Context => addenda addendum adhe
Pattern => pri
Current_Index => 117947
Result => 47
(Word_List is a BIG string)
--
Wes Groleau
http://freepages.rootsweb.com/~wgroleau
next reply other threads:[~2001-10-30 22:16 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-10-30 22:16 Wes Groleau [this message]
-- strict thread matches above, loose matches on Subject: below --
2001-10-30 22:39 Re:I'm baffled ANH_VO
2001-10-31 10:06 ` I'm baffled Robert Dewar
2001-10-31 10:08 ` Robert Dewar
2001-10-31 16:13 ` Wes Groleau
2001-10-31 13:30 baffled ANH_VO
2001-10-31 16:28 ` I'm baffled Wes Groleau
2001-10-31 20:15 ` Wes Groleau
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox