libadalang_tools_24.0.0_d864b5a8/testsuite/tests/pp/partial/VB07-095/renaming_decl/src/exception_renaming_declaration.ads

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
--  Based on ARM 2022
--  $3.1:
--  basic_declaration ::= 
--       type_declaration | subtype_declaration
--     | object_declaration | number_declaration
--     | subprogram_declaration | abstract_subprogram_declaration
--     | null_procedure_declaration | expression_function_declaration
--     | package_declaration | renaming_declaration
--     | exception_declaration | generic_declaration
--     | generic_instantiation
--  $8.5:
--  renaming_declaration ::= 
--     object_renaming_declaration
--   | exception_renaming_declaration
--   | package_renaming_declaration
--   | subprogram_renaming_declaration
--   | generic_renaming_declaration
--  $8.5.2:
--  exception_renaming_declaration ::= 
--    defining_identifier : exception renames exception_name
--      [aspect_specification];

--  This testcase concerns exception renaming declarations.

with Ada.IO_Exceptions;

package Exception_Renaming_Declaration is

   EOF : exception renames Ada.IO_Exceptions.End_Error;
   
end Exception_Renaming_Declaration;