/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/ada/acats/tests/cb/ |
H A D | cb41004.a | 28 -- the case of Null_Id or Null_Occurrence. Check that Exception_Message, 34 -- Check that Null_Id is the default initial value of type Exception_Id. 38 -- defined in package Ada.Exceptions, using either Null_Id or 69 Report.Test ("CB41004", "Check that Null_Id and Null_Occurrence input " & 80 -- to Null_Id and Null_Occurrence respectively. 88 -- Verify that Null_Id is the default initial value of type 91 if not (A_Null_Exception_Id = Ada.Exceptions.Null_Id) then 93 "Exception_Id was not Null_Id"); 97 -- Verify that Raise_Exception has no effect in the case of Null_Id. 103 "when called with a Null_Id input parameter - compatible with " & [all …]
|
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/ada/acats/tests/cb/ |
H A D | cb41004.a | 28 -- the case of Null_Id or Null_Occurrence. Check that Exception_Message, 34 -- Check that Null_Id is the default initial value of type Exception_Id. 38 -- defined in package Ada.Exceptions, using either Null_Id or 69 Report.Test ("CB41004", "Check that Null_Id and Null_Occurrence input " & 80 -- to Null_Id and Null_Occurrence respectively. 88 -- Verify that Null_Id is the default initial value of type 91 if not (A_Null_Exception_Id = Ada.Exceptions.Null_Id) then 93 "Exception_Id was not Null_Id"); 97 -- Verify that Raise_Exception has no effect in the case of Null_Id. 103 "when called with a Null_Id input parameter - compatible with " & [all …]
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/ada/acats/tests/cb/ |
H A D | cb41004.a | 28 -- the case of Null_Id or Null_Occurrence. Check that Exception_Message, 34 -- Check that Null_Id is the default initial value of type Exception_Id. 38 -- defined in package Ada.Exceptions, using either Null_Id or 69 Report.Test ("CB41004", "Check that Null_Id and Null_Occurrence input " & 80 -- to Null_Id and Null_Occurrence respectively. 88 -- Verify that Null_Id is the default initial value of type 91 if not (A_Null_Exception_Id = Ada.Exceptions.Null_Id) then 93 "Exception_Id was not Null_Id"); 97 -- Verify that Raise_Exception has no effect in the case of Null_Id. 103 "when called with a Null_Id input parameter - compatible with " & [all …]
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/ada/acats/tests/cb/ |
H A D | cb41004.a | 28 -- the case of Null_Id or Null_Occurrence. Check that Exception_Message, 34 -- Check that Null_Id is the default initial value of type Exception_Id. 38 -- defined in package Ada.Exceptions, using either Null_Id or 69 Report.Test ("CB41004", "Check that Null_Id and Null_Occurrence input " & 80 -- to Null_Id and Null_Occurrence respectively. 88 -- Verify that Null_Id is the default initial value of type 91 if not (A_Null_Exception_Id = Ada.Exceptions.Null_Id) then 93 "Exception_Id was not Null_Id"); 97 -- Verify that Raise_Exception has no effect in the case of Null_Id. 103 "when called with a Null_Id input parameter - compatible with " & [all …]
|
/dports/devel/aunit/aunit-gpl-2017-src/include/aunit/framework/ |
H A D | aunit-assertions.ads | 138 Null_Id : constant Test_Id := 0; constant 142 Id : Test_Id := Null_Id; 152 Id : Test_Id := Null_Id;
|
/dports/devel/zpu-gcc/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | a-except.ads | 49 Null_Id : constant Exception_Id; constant 131 Null_Id : constant Exception_Id := null; constant 292 Id => Null_Id,
|
H A D | 1aexcept.ads | 48 Null_Id : constant Exception_Id; constant 62 Null_Id : constant Exception_Id := Exception_Id (System.Null_Address); constant
|
/dports/devel/zpu-binutils/zpu-toolchain-1.0/toolchain/gcc/gcc/ada/ |
H A D | a-except.ads | 49 Null_Id : constant Exception_Id; constant 131 Null_Id : constant Exception_Id := null; constant 292 Id => Null_Id,
|
H A D | 1aexcept.ads | 48 Null_Id : constant Exception_Id; 62 Null_Id : constant Exception_Id := Exception_Id (System.Null_Address);
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gnat.dg/ |
H A D | warn25.adb | 12 if Exception_Identity (CASA_Unavailable) = Null_Id then 20 if Exception_Identity (CASA_Unavailable) /= Null_Id then
|
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gnat.dg/ |
H A D | warn25.adb | 12 if Exception_Identity (CASA_Unavailable) = Null_Id then 20 if Exception_Identity (CASA_Unavailable) /= Null_Id then
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gnat.dg/ |
H A D | warn25.adb | 12 if Exception_Identity (CASA_Unavailable) = Null_Id then 20 if Exception_Identity (CASA_Unavailable) /= Null_Id then
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gnat.dg/ |
H A D | warn25.adb | 12 if Exception_Identity (CASA_Unavailable) = Null_Id then 20 if Exception_Identity (CASA_Unavailable) /= Null_Id then
|
/dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/gnat.dg/ |
H A D | warn25.adb | 12 if Exception_Identity (CASA_Unavailable) = Null_Id then 20 if Exception_Identity (CASA_Unavailable) /= Null_Id then
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/gnat.dg/ |
H A D | warn25.adb | 12 if Exception_Identity (CASA_Unavailable) = Null_Id then 20 if Exception_Identity (CASA_Unavailable) /= Null_Id then
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/gnat.dg/ |
H A D | warn25.adb | 12 if Exception_Identity (CASA_Unavailable) = Null_Id then 20 if Exception_Identity (CASA_Unavailable) /= Null_Id then
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ada/libgnat/ |
H A D | a-except.ads | 55 Null_Id : constant Exception_Id; constant 168 Null_Id : constant Exception_Id := null; constant 281 Id : Exception_Id := Null_Id;
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/libgnat/ |
H A D | a-except.ads | 51 Null_Id : constant Exception_Id; constant 164 Null_Id : constant Exception_Id := null; constant 252 Id : Exception_Id := Null_Id;
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ada/libgnat/ |
H A D | a-except.ads | 55 Null_Id : constant Exception_Id; constant 168 Null_Id : constant Exception_Id := null; constant 281 Id : Exception_Id := Null_Id;
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnat/ |
H A D | a-except.ads | 51 Null_Id : constant Exception_Id; constant 164 Null_Id : constant Exception_Id := null; constant 237 Id : Exception_Id := Null_Id;
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/libgnat/ |
H A D | a-except.ads | 51 Null_Id : constant Exception_Id; constant 164 Null_Id : constant Exception_Id := null; constant 252 Id : Exception_Id := Null_Id;
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ada/libgnat/ |
H A D | a-except.ads | 55 Null_Id : constant Exception_Id; constant 168 Null_Id : constant Exception_Id := null; constant 281 Id : Exception_Id := Null_Id;
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/libgnat/ |
H A D | a-except.ads | 51 Null_Id : constant Exception_Id; constant 164 Null_Id : constant Exception_Id := null; constant 252 Id : Exception_Id := Null_Id;
|
/dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/ada/acats/tests/cb/ |
H A D | cb41004.a | 28 -- the case of Null_Id or Null_Occurrence. Check that Exception_Message, 34 -- Check that Null_Id is the default initial value of type Exception_Id. 38 -- defined in package Ada.Exceptions, using either Null_Id or 61 -- Add a subtest for Exception_Name(Null_Id), which 71 Report.Test ("CB41004", "Check that Null_Id and Null_Occurrence input " & 82 -- to Null_Id and Null_Occurrence respectively. 90 -- Verify that Null_Id is the default initial value of type 93 if not (A_Null_Exception_Id = Ada.Exceptions.Null_Id) then 95 "Exception_Id was not Null_Id");
|
/dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/ada/acats/tests/cb/ |
H A D | cb41004.a | 28 -- the case of Null_Id or Null_Occurrence. Check that Exception_Message, 34 -- Check that Null_Id is the default initial value of type Exception_Id. 38 -- defined in package Ada.Exceptions, using either Null_Id or 61 -- Add a subtest for Exception_Name(Null_Id), which 71 Report.Test ("CB41004", "Check that Null_Id and Null_Occurrence input " & 82 -- to Null_Id and Null_Occurrence respectively. 90 -- Verify that Null_Id is the default initial value of type 93 if not (A_Null_Exception_Id = Ada.Exceptions.Null_Id) then 95 "Exception_Id was not Null_Id");
|