This Annex summarizes the definitions given elsewhere of the language-defined pragmas.

pragma All_Calls_Remote[(library_unit_name)]; — See E.2.3.

  pragma Assert([Check =>] boolean_expression[, [Message =>] string_expression]); — See 11.4.2.

  pragma Assertion_Policy(policy_identifier); — See 11.4.2.

  pragma Asynchronous (local_name); — See J.15.13.

  pragma Atomic (local_name); — See J.15.8.

  pragma Atomic_Components (array_local_name); — See J.15.8.

  pragma Attach_Handler (handler_name, expression); — See J.15.7.

  pragma Convention([Convention =>] convention_identifier,[Entity =>] local_name); — See J.15.5.

  pragma CPU (expression); — See J.15.9.

  pragma Default_Storage_Pool (storage_pool_indicator); — See 13.11.3.

  pragma Detect_Blocking; — See H.5.

pragma Discard_Names[([On => ] local_name)]; — See C.5.

  pragma Dispatching_Domain (expression); — See J.15.10.

pragma Elaborate(library_unit_name{, library_unit_name}); — See 10.2.1.

pragma Elaborate_All(library_unit_name{, library_unit_name}); — See 10.2.1.

pragma Elaborate_Body[(library_unit_name)]; — See 10.2.1.

   pragma Export(
     [Convention =>] convention_identifier, [Entity =>] local_name
  [, [External_Name =>] external_name_string_expression]
  [, [Link_Name =>] link_name_string_expression]); — See J.15.5.

 This paragraph was deleted.pragma Export(
     [Convention =>] convention_identifier, [Entity =>] local_name
  [, [External_Name =>] string_expression] [, [Link_Name =>] string_expression]); — See B.1.

   pragma Import(
     [Convention =>] convention_identifier, [Entity =>] local_name
  [, [External_Name =>] external_name_string_expression]
  [, [Link_Name =>] link_name_string_expression]); — See J.15.5.

 This paragraph was deleted.pragma Import(
     [Convention =>] convention_identifier, [Entity =>] local_name
  [, [External_Name =>] string_expression] [, [Link_Name =>] string_expression]); — See B.1.

   pragma Independent (component_local_name); — See J.15.8.

   pragma Independent_Components (local_name); — See J.15.8.

   pragma Inline (name{, name}); — See J.15.1.

 This paragraph was deleted.pragma Inline(name {, name}); — See 6.3.2.

pragma Inspection_Point[(object_name {, object_name})]; — See H.3.2.

   pragma Interrupt_Handler (handler_name); — See J.15.7.

 This paragraph was deleted.pragma Interrupt_Handler(handler_name); — See C.3.1.

   pragma Interrupt_Priority [(expression);] — See J.15.11.

 This paragraph was deleted.pragma Interrupt_Priority[(expression);] — See D.1.

pragma Linker_Options(string_expression); — See B.1.

pragma List(identifier); — See 2.8.

pragma Locking_Policy(policy_identifier); — See D.3.

   pragma No_Return (procedure_local_name{, procedure_local_name}); — See J.15.2.

   This paragraph was deleted. pragma No_Return(procedure_local_name{, procedure_local_name}); — See 6.5.1.

pragma Normalize_Scalars; — See H.1.

pragma Optimize(identifier); — See 2.8.

   pragma Pack (first_subtype_local_name); — See J.15.3.

 This paragraph was deleted.pragma Pack(first_subtype_local_name); — See 13.2.

pragma Page; — See 2.8.

   pragma Partition_Elaboration_Policy (policy_identifier); — See H.6.

   pragma Preelaborable_Initialization(direct_name); — See 10.2.1.

pragma Preelaborate[(library_unit_name)]; — See 10.2.1.

   pragma Priority (expression); — See J.15.11.

 This paragraph was deleted.pragma Priority(expression); — See D.1.

   pragma Priority_Specific_Dispatching (
     policy_identifier, first_priority_expression, last_priority_expression); — See D.2.2.

   This paragraph was deleted.pragma Profile (profile_identifier {, profile_pragma_argument_association}); — See D.13.

   pragma Profile (profile_identifier {, profile_pragma_argument_association}); — See 13.12.

pragma Pure[(library_unit_name)]; — See 10.2.1.

pragma Queuing_Policy(policy_identifier); — See D.4.

   pragma Relative_Deadline (relative_deadline_expression); — See J.15.12.

   This paragraph was deleted.pragma Relative_Deadline (relative_deadline_expression); — See D.2.6.

pragma Remote_Call_Interface[(library_unit_name)]; — See E.2.3.

pragma Remote_Types[(library_unit_name)]; — See E.2.2.

pragma Restrictions(restriction{, restriction}); — See 13.12.

pragma Reviewable; — See H.3.1.

pragma Shared_Passive[(library_unit_name)]; — See E.2.1.

   pragma Storage_Size (expression); — See J.15.4.

 This paragraph was deleted.pragma Storage_Size(expression); — See 13.3.

pragma Suppress(identifier [, [On =>] name]); — See 11.5.

pragma Task_Dispatching_Policy(policy_identifier); — See D.2.2.

   pragma Unchecked_Union (first_subtype_local_name); — See J.15.6.

   This paragraph was deleted.pragma Unchecked_Union (first_subtype_local_name); — See B.3.3.

   pragma Unsuppress(identifier); — See 11.5.

   pragma Volatile (local_name); — See J.15.8.

 This paragraph was deleted.pragma Volatile(local_name); — See C.6.

   pragma Volatile_Components (array_local_name); — See J.15.8.

 This paragraph was deleted.pragma Volatile_Components(array_local_name); — See C.6.