Ada Programming/Pragmas
From Wikibooks, the open-content textbooks collection
Contents |
[edit] Description
Pragmas control the compiler, i.e. they are compiler directives. They have the standard form of
pragma Name (Parameter_List);
where the parameter list is optional.
[edit] List of language defined pragmas
Some pragmas are specially marked:
- Ada 2005
- This is a new Ada 2005 pragma.
- Obsolescent
- This is a deprecated pragma and it should not be used in new code.
[edit] A – H
- All_Calls_Remote
- Assert (Ada 2005)
- Assertion_Policy (Ada 2005)
- Asynchronous
- Atomic
- Atomic_Components
- Attach_Handler
- Controlled
- Convention
- Detect_Blocking (Ada 2005)
- Discard_Names
- Elaborate
- Elaborate_All
- Elaborate_Body
- Export
[edit] I – O
- Import
- Inline
- Inspection_Point
- Interface (Obsolescent)
- Interface_Name (Obsolescent)
- Interrupt_Handler
- Interrupt_Priority
- Linker_Options
- List
- Locking_Policy
- Memory_Size (Obsolescent)
- No_Return (Ada 2005)
- Normalize_Scalars
- Optimize
[edit] P – R
- Pack
- Page
- Partition_Elaboration_Policy (Ada 2005)
- Preelaborable_Initialization (Ada 2005)
- Preelaborate
- Priority
- Priority_Specific_Dispatching (Ada 2005)
- Profile (Ada 2005)
- Pure
- Queueing_Policy
- Relative_Deadline (Ada 2005)
- Remote_Call_Interface
- Remote_Types
- Restrictions
- Reviewable
[edit] S – Z
- Shared (Obsolescent)
- Shared_Passive
- Storage_Size
- Storage_Unit (Obsolescent)
- Suppress
- System_Name (Obsolescent)
- Task_Dispatching_Policy
- Unchecked_Union (Ada 2005)
- Unsuppress (Ada 2005)
- Volatile
- Volatile_Components
[edit] List of implementation defined pragmas
The following pragmas are not available in all Ada compilers, only in those that had implemented them.
You can help Wikibooks adding implementation dependent attributes of other compilers:
- GNAT
- Implementation defined pragma of the GNAT compiler.
- DEC Ada
- Implementation defined pragma of the DEC Ada compiler.
[edit] A – C
- Abort_Defer (GNAT)
- Ada_83 (GNAT)
- Ada_95 (GNAT)
- Ada_05 (GNAT)
- Annotate (GNAT)
- Ast_Entry (GNAT, DEC Ada)
- C_Pass_By_Copy (GNAT)
- Comment (GNAT)
- Common_Object (GNAT, DEC Ada)
- Compile_Time_Warning (GNAT)
- Complex_Representation (GNAT)
- Component_Alignment (GNAT, DEC Ada)
- Convention_Identifier (GNAT)
- CPP_Class (GNAT)
- CPP_Constructor (GNAT)
- CPP_Virtual (GNAT)
- CPP_Vtable (GNAT)
[edit] D – H
- Debug (GNAT)
- Elaboration_Checks (GNAT)
- Eliminate (GNAT)
- Export_Exception (GNAT, DEC Ada)
- Export_Function (GNAT, DEC Ada)
- Export_Object (GNAT, DEC Ada)
- Export_Procedure (GNAT, DEC Ada)
- Export_Value (GNAT)
- Export_Valued_Procedure (GNAT, DEC Ada)
- Extend_System (GNAT)
- External (GNAT)
- External_Name_Casing (GNAT)
- Finalize_Storage_Only (GNAT)
- Float_Representation (GNAT, DEC Ada)
[edit] I – L
- Ident (GNAT, DEC Ada)
- Import_Exception (GNAT, DEC Ada)
- Import_Function (GNAT, DEC Ada)
- Import_Object (GNAT, DEC Ada)
- Import_Procedure (GNAT, DEC Ada)
- Import_Valued_Procedure (GNAT, DEC Ada)
- Initialize_Scalars (GNAT)
- Inline_Always (GNAT)
- Inline_Generic (GNAT, DEC Ada)
- Interface_Name (GNAT, DEC Ada)
- Interrupt_State (GNAT)
- Keep_Names (GNAT)
- License (GNAT)
- Link_With (GNAT)
- Linker_Alias (GNAT)
- Linker_Section (GNAT)
- Long_Float (GNAT: OpenVMS, DEC Ada)
[edit] M – S
- Machine_Attribute (GNAT)
- Main_Storage (GNAT, DEC Ada)
- Obsolescent (GNAT)
- Passive (GNAT, DEC Ada)
- Polling (GNAT)
- Profile_Warnings (GNAT)
- Propagate_Exceptions (GNAT)
- Psect_Object (GNAT, DEC Ada)
- Pure_Function (GNAT)
- Restriction_Warnings (GNAT)
- Share_Generic (GNAT, DEC Ada)
- Source_File_Name (GNAT)
- Source_File_Name_Project (GNAT)
- Source_Reference (GNAT)
- Stream_Convert (GNAT)
- Style_Checks (GNAT)
- Subtitle (GNAT)
- Suppress_All (GNAT, DEC Ada)
- Suppress_Exception_Locations (GNAT)
- Suppress_Initialization (GNAT)
[edit] T – Z
- Task_Info (GNAT)
- Task_Name (GNAT)
- Task_Storage (GNAT, DEC Ada)
- Thread_Body (GNAT)
- Time_Slice (GNAT, DEC Ada)
- Title (GNAT, DEC Ada)
- Unimplemented_Unit (GNAT)
- Universal_Data (GNAT)
- Unreferenced (GNAT)
- Unreserve_All_Interrupts (GNAT)
- Use_VADS_Size (GNAT)
- Validity_Checks (GNAT)
- Warnings (GNAT)
- Weak_External (GNAT)

