/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gnat.dg/ |
H A D | config_pragma1_pkg.ads | 16 Equivalent_Keys => "=");
|
H A D | containers2.adb | 45 Equivalent_Keys => "="); 51 Equivalent_Keys => "=");
|
H A D | limited_with3_pkg1.ads | 17 function Equivalent_Keys (Left, Right : Key_Type) return Boolean; subprogspec 25 Equivalent_Keys => Equivalent_Keys,
|
H A D | limited_with3_pkg1.adb | 10 function Equivalent_Keys (Left, Right : Key_Type) return Boolean is
|
H A D | opt50_pkg.adb | 17 Hash => Ada.Strings.Hash, Equivalent_Keys => "=");
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnat/ |
H A D | a-cborma.adb | 591 function Equivalent_Keys (Left, Right : Key_Type) return Boolean is subprogram 600 end Equivalent_Keys;
|
H A D | a-cfhase.ads | 196 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 D | a-cforse.adb | 1076 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 D | a-cforse.ads | 246 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 D | a-cihama.adb | 112 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 D | a-ciorse.adb | 827 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 D | a-ciorse.ads | 250 function Equivalent_Keys (Left, Right : Key_Type) return Boolean; subprogspec
|
H A D | a-cofuma.adb | 95 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 D | a-cofuma.ads | 39 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 D | a-cohama.adb | 108 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 D | a-cohama.ads | 74 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 D | a-cohase.ads | 377 with function Equivalent_Keys (Left, Right : Key_Type) return Boolean; formal
|
H A D | a-coorse.adb | 750 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 D | a-coorse.ads | 243 function Equivalent_Keys (Left, Right : Key_Type) return Boolean; subprogspec
|
H A D | a-cohase.adb | 63 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 D | a-cbhase.ads | 379 with function Equivalent_Keys (Left, Right : Key_Type) return Boolean; formal
|
H A D | a-cborma.ads | 55 function Equivalent_Keys (Left, Right : Key_Type) return Boolean; subprogspec
|
H A D | a-cborse.adb | 796 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 D | a-cborse.ads | 242 function Equivalent_Keys (Left, Right : Key_Type) return Boolean; subprogspec
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/ |
H A D | ChangeLog-2018 | 1318 to Iterated. Rename formal subprogram Equivalent_Keys to "=".
|