-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Hi,
I'm implementing a B-Tree in Ada using indefinite private type:
generic
-- Element to be stored in the btree
type Element (<>) is private;
-- Null element when not found
Element_Null: Element;
-- Key of the element in the B-Tree wich must be compareable
type Key (<>) is private;
with function "<"(k1: in Key; k2: in Key) return Boolean;
with function ">"(k1: in Key; k2: in Key) return Boolean;
with procedure Put_Line(k: in Key);
-- Order of the B-Tree
Order: Positive;
package SCMAL.Tools.BTrees is
-- Omitted
end SCMAL.Tools.BTrees;
When I create an instance of the package using the following code:
9 package IT is new SCMAL.Tools.BTrees(
10 Element => Integer,
11 Element_Null => 0,
12 Key => Integer,
13 "<" => "<",
14 ">" => ">",
15 Put_Line => Put_Line,
16 Order => 1
17 );
I got the following warnings:
btreetests.adb:9:04: warning: in instantiation at
scmal-tools-btrees.adb:159
btreetests.adb:9:04: warning: value not in range of subtype of
"Standard.Integer" defined at scmal-tools-btrees.ads:82, instance at line
9
btreetests.adb:9:04: warning: "Constraint_Error" will be raised at run
time
btreetests.adb:9:04: warning: in instantiation at
scmal-tools-btrees.adb:160
btreetests.adb:9:04: warning: value not in range of subtype of
"Standard.Integer" defined at scmal-tools-btrees.ads:83, instance at line
9
btreetests.adb:9:04: warning: "Constraint_Error" will be raised at run
time
btreetests.adb:9:04: warning: in instantiation at
scmal-tools-btrees.adb:161
btreetests.adb:9:04: warning: value not in range of subtype of
"Standard.Integer" defined at scmal-tools-btrees.ads:84, instance at line
9
btreetests.adb:9:04: warning: "Constraint_Error" will be raised at run
time
btreetests.adb:9:04: warning: in instantiation at
scmal-tools-btrees.adb:177
btreetests.adb:9:04: warning: value not in range of subtype of
"Standard.Integer" defined at scmal-tools-btrees.ads:82, instance at line
9
btreetests.adb:9:04: warning: "Constraint_Error" will be raised at run
time
btreetests.adb:9:04: warning: in instantiation at
scmal-tools-btrees.adb:178
btreetests.adb:9:04: warning: value not in range of subtype of
"Standard.Integer" defined at scmal-tools-btrees.ads:83, instance at line
9
btreetests.adb:9:04: warning: "Constraint_Error" will be raised at run
time
but I run time it works fine and I have no constraint error.
Where theses warnings come from? How to correct my code?
Is there a way to avoid to take the default "<" and ">" function?
Thanks by advance,
Sebastien
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (Cygwin)
iD8DBQFIV+na+zV9xm4PlDQRAn1vAJ4hWuphvyP5DAU/zTB2iH4jP+DuMQCdF252
4ZGus6+yxjCwqug3lqycgsY=
=XSuj
-----END PGP SIGNATURE-----
|
