Home
last modified time | relevance | path

Searched refs:Equivalent_Keys (Results 1 – 25 of 1143) sorted by last modified time

12345678910>>...46

/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gnat.dg/
H A Dconfig_pragma1_pkg.ads16 Equivalent_Keys => "=");
H A Dcontainers2.adb45 Equivalent_Keys => "=");
51 Equivalent_Keys => "=");
H A Dlimited_with3_pkg1.ads17 function Equivalent_Keys (Left, Right : Key_Type) return Boolean; subprogspec
25 Equivalent_Keys => Equivalent_Keys,
H A Dlimited_with3_pkg1.adb10 function Equivalent_Keys (Left, Right : Key_Type) return Boolean is
H A Dopt50_pkg.adb17 Hash => Ada.Strings.Hash, Equivalent_Keys => "=");
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnat/
H A Da-cborma.adb591 function Equivalent_Keys (Left, Right : Key_Type) return Boolean is subprogram
600 end Equivalent_Keys;
H A Da-cfhase.ads196 Equivalent_Keys => "=",
1300 with function Equivalent_Keys (Left, Right : Key_Type) return Boolean; formal
1316 or Equivalent_Keys (Generic_Keys.Key (E), Key));
1447 not Equivalent_Keys (Key, Generic_Keys.Key (E))) =>
1457 and Equivalent_Keys
1465 Equivalent_Keys (Key, Generic_Keys.Key (E)));
H A Da-cforse.adb1076 function Equivalent_Keys (Left, Right : Key_Type) return Boolean is subprogram
1085 end Equivalent_Keys;
1200 if Equivalent_Keys
1221 and not Equivalent_Keys (Generic_Keys.Key (E), Key)
H A Da-cforse.ads246 Equivalent_Keys => "=",
1481 function Equivalent_Keys (Left, Right : Key_Type) return Boolean with subprogspec
1484 Equivalent_Keys'Result = (not (Left < Right) and not (Right < Left));
1485 pragma Annotate (GNATprove, Inline_For_Proof, Equivalent_Keys);
1547 and Equivalent_Keys
1561 or Equivalent_Keys (Generic_Keys.Key (E), Key));
1715 not Equivalent_Keys (Key, Generic_Keys.Key (E))) =>
1728 and Equivalent_Keys
1772 Equivalent_Keys (Key, Generic_Keys.Key (E)));
H A Da-cihama.adb112 Equivalent_Keys => Equivalent_Key_Node);
410 return Equivalent_Keys (Key, Node.Key.all);
417 function Equivalent_Keys (Left, Right : Cursor) return Boolean is subprogram
443 end Equivalent_Keys;
445 function Equivalent_Keys subprogram
462 return Equivalent_Keys (Left.Node.Key.all, Right);
463 end Equivalent_Keys;
465 function Equivalent_Keys subprogram
482 return Equivalent_Keys (Left, Right.Node.Key.all);
483 end Equivalent_Keys;
[all …]
H A Da-ciorse.adb827 function Equivalent_Keys (Left, Right : Key_Type) return Boolean is subprogram
834 end Equivalent_Keys;
1062 if Equivalent_Keys (K, Key (E)) then
H A Da-ciorse.ads250 function Equivalent_Keys (Left, Right : Key_Type) return Boolean; subprogspec
H A Da-cofuma.adb95 if not Equivalent_Keys (K, New_Key)
119 if not Equivalent_Keys (K, X)
120 and then not Equivalent_Keys (K, Y)
203 if not Equivalent_Keys (K, New_Key)
225 if not Equivalent_Keys (K, X)
226 and then not Equivalent_Keys (K, Y)
H A Da-cofuma.ads39 with function Equivalent_Keys formal
82 (if (for some K of Container => Equivalent_Keys (K, Key)) then
97 (Equivalent_Keys (K, Key) =
166 (if not Equivalent_Keys (Key, New_Key) then
181 (if not Equivalent_Keys (Key, X)
182 and not Equivalent_Keys (Key, Y)
198 (if not Equivalent_Keys (Key, New_Key) then
215 (if not Equivalent_Keys (Key, X)
216 and not Equivalent_Keys (Key, Y)
345 Right : Key_Type) return Boolean renames Equivalent_Keys;
H A Da-cohama.adb108 Equivalent_Keys => Equivalent_Key_Node);
398 return Equivalent_Keys (Key, Node.Key);
405 function Equivalent_Keys (Left, Right : Cursor) subprogram
421 return Equivalent_Keys (Left.Node.Key, Right.Node.Key);
422 end Equivalent_Keys;
424 function Equivalent_Keys (Left : Cursor; Right : Key_Type) return Boolean is subprogram
433 return Equivalent_Keys (Left.Node.Key, Right);
434 end Equivalent_Keys;
445 return Equivalent_Keys (Left, Right.Node.Key);
446 end Equivalent_Keys;
[all …]
H A Da-cohama.ads74 with function Equivalent_Keys (Left, Right : Key_Type) return Boolean; formal
386 function Equivalent_Keys (Left, Right : Cursor) return Boolean; subprogspec
390 function Equivalent_Keys (Left : Cursor; Right : Key_Type) return Boolean; subprogspec
394 function Equivalent_Keys (Left : Key_Type; Right : Cursor) return Boolean; subprogspec
422 pragma Inline (Equivalent_Keys);
H A Da-cohase.ads377 with function Equivalent_Keys (Left, Right : Key_Type) return Boolean; formal
H A Da-coorse.adb750 function Equivalent_Keys (Left, Right : Key_Type) return Boolean is subprogram
753 end Equivalent_Keys;
969 if Equivalent_Keys (K, Key (E)) then
H A Da-coorse.ads243 function Equivalent_Keys (Left, Right : Key_Type) return Boolean; subprogspec
H A Da-cohase.adb63 function Equivalent_Keys subprogspec
66 pragma Inline (Equivalent_Keys);
127 Equivalent_Keys => Equivalent_Keys);
569 function Equivalent_Keys (Key : Element_Type; Node : Node_Access) subprogram
573 end Equivalent_Keys;
1869 Equivalent_Keys => Equivalent_Key_Node);
1949 return Equivalent_Keys (Key, Generic_Keys.Key (Node.Element));
2158 if Equivalent_Keys (K, Key (E)) then
H A Da-cbhase.ads379 with function Equivalent_Keys (Left, Right : Key_Type) return Boolean; formal
H A Da-cborma.ads55 function Equivalent_Keys (Left, Right : Key_Type) return Boolean; subprogspec
H A Da-cborse.adb796 function Equivalent_Keys (Left, Right : Key_Type) return Boolean is subprogram
799 end Equivalent_Keys;
1016 if Equivalent_Keys (K, Key (E)) then
H A Da-cborse.ads242 function Equivalent_Keys (Left, Right : Key_Type) return Boolean; subprogspec
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/
H A DChangeLog-20181318 to Iterated. Rename formal subprogram Equivalent_Keys to "=".

12345678910>>...46