Ada 编程/编译指示
外观
< Ada 编程
编译指示 控制编译器,即它们是 编译器指令。 它们具有标准形式
pragma
Name (Parameter_List);
其中参数列表是可选的。
某些编译指示有特殊标记
- Admission_Policy (Ada 2022)
- All_Calls_Remote
- Assert (Ada 2005)
- Assertion_Policy (Ada 2005)
- Asynchronous (自 Ada 2012 起已过时)
- Atomic (自 Ada 2012 起已过时)
- Atomic_Components (自 Ada 2012 起已过时)
- Attach_Handler (自 Ada 2012 起已过时)
- Conflict_Check_Policy (Ada 2022)
- Controlled (已从 Ada 2012 中移除)
- Convention (自 Ada 2012 起已过时)
- CPU (Ada 2012)
- Default_Storage_Pool (Ada 2012)
- Detect_Blocking (Ada 2005)
- Discard_Names
- Dispatching_Domain (Ada 2012)
- Elaborate
- Elaborate_All
- Elaborate_Body
- Export (自 Ada 2012 起已过时)
- Generate_Deadlines (Ada 2022)
- Import (自 Ada 2012 起已过时)
- Independent (Ada 2012)
- Independent_Component (Ada 2012)
- Inline (自 Ada 2012 起已过时)
- Inspection_Point
- Interface (已过时)
- Interrupt_Handler (自 Ada 2012 起已过时)
- Interrupt_Priority (自 Ada 2012 起已过时)
- Linker_Options
- List
- Locking_Policy
- Memory_Size (已过时)
- No_Return (Ada 2005) (自 Ada 2012 起已过时)
- Normalize_Scalars
- Optimize
- Pack (自 Ada 2012 起已过时)
- Page
- Partition_Elaboration_Policy (Ada 2005)
- Preelaborable_Initialization (Ada 2005)
- Preelaborate
- Priority (自 Ada 2012 起已过时)
- Priority_Specific_Dispatching (Ada 2005)
- Profile (Ada 2005)
- Pure
- Queueing_Policy
- Relative_Deadline (Ada 2005)
- Remote_Call_Interface
- Remote_Types
- Restrictions
- Reviewable
- Shared (已过时)
- Shared_Passive
- Storage_Size
- Storage_Unit (已过时)
- Suppress
- System_Name (已过时)
- Task_Dispatching_Policy
- Unchecked_Union (Ada 2005)
- Unsuppress (Ada 2005)
- Volatile
- Volatile_Components
以下编译指示并非所有 Ada 编译器都可用,只有那些已实现它们的编译器才可用。
目前,只列出了少数编译器的实现定义的编译指示。 你可以帮助维基教科书 添加 其他编译器的具体方面
- GNAT
- 实现定义的编译指示 来自 AdaCore 和 FSF 的 GNAT 编译器。
- HP Ada
- 实现定义的编译指示 来自 HP Ada 编译器(以前称为“DEC Ada”)。
- ICC
- 实现定义的编译指示[1] 来自 Irvine ICC 编译器。
- PowerAda
- 实现定义的编译指示 来自 OC Systems 的 PowerAda。
- SPARCompiler
- 实现定义的pragma 由 Sun 的 SPARCompiler Ada 提供。 [2]
A – C
[edit | edit source]- Abort_Defer (GNAT)
- Ada_83 (GNAT)
- Ada_95 (GNAT)
- Ada_05 (GNAT)
- Ada_2005 (GNAT)
- Ada_12 (GNAT)
- Ada_2012 (GNAT)
- Annotate (GNAT)
- Assume_No_Invalid_Values (GNAT)
- Ast_Entry (GNAT, HP Ada)
- Bit_Pack (SPARCompiler)
- Built_In (SPARCompiler)
- Byte_Pack (SPARCompiler)
- C_Pass_By_Copy (GNAT)
- Call_Mechanism (ICC)
- Canonical_Streams (GNAT)
- Check (GNAT)
- Check_Name (GNAT)
- Check_Policy (GNAT)
- CM_Info (PowerAda)
- Comment (GNAT)
- Common_Object (GNAT, HP Ada)
- Compatible_Calls (ICC)
- Compile_Time_Error (GNAT)
- Compile_Time_Warning (GNAT)
- Complete_Representation (GNAT)
- Complex_Representation (GNAT)
- Component_Alignment (GNAT, HP Ada)
- Compress (ICC)
- Constrain_Private (ICC)
- Convention_Identifier (GNAT)
- CPP_Class (GNAT)
- CPP_Constructor (GNAT)
- CPP_Virtual (GNAT)
- CPP_Vtable (GNAT)
D – H
[edit | edit source]- Data_Mechanism (ICC)
- Debug (GNAT)
- Debug_Policy (GNAT)
- Delete_Subprogram_Entry (ICC)
- Elaboration_Checks (GNAT)
- Eliminate (GNAT)
- Error (SPARCompiler)
- Export_Exception (GNAT, HP Ada)
- Export_Function (GNAT, HP Ada, SPARCompiler)
- Export_Mechanism (ICC)
- Export_Object (GNAT, HP Ada, SPARCompiler)
- Export_Procedure (GNAT, HP Ada, SPARCompiler)
- Export_Value (GNAT)
- Export_Valued_Procedure (GNAT, HP Ada)
- Extend_System (GNAT)
- Extensions_Allowed (GNAT)
- External (GNAT, SPARCompiler)
- External_Name (ICC, SPARCompiler)
- External_Name_Casing (GNAT)
- Fast_Math (GNAT)
- Favor_Top_Level (GNAT)
- Finalize_Storage_Only (GNAT)
- Float_Representation (GNAT, HP Ada)
- Foreign (ICC)
- Generic_Mechanism (ICC)
- Generic_Policy (SPARCompiler)
I – L
[edit | edit source]- i960_Intrinsic (ICC)
- Ident (GNAT, HP Ada)
- Images (PowerAda)
- Implemented, 之前名为 'Implemented_By_Entry' (GNAT)
- Implicit_Code (SPARCompiler)
- Implicit_Packing (GNAT)
- Import_Exception (GNAT, HP Ada)
- Import_Function (GNAT, HP Ada, SPARCompiler)
- Import_Mechanism (ICC)
- Import_Object (GNAT, HP Ada, SPARCompiler)
- Import_Procedure (GNAT, HP Ada, SPARCompiler)
- Import_Valued_Procedure (GNAT, HP Ada)
- Include (SPARCompiler)
- Initialize (SPARCompiler)
- Initialize_Scalars (GNAT)
- Inline_Always (GNAT)
- Inline_Generic (GNAT, HP Ada)
- Inline_Only (SPARCompiler)
- Instance_Policy (SPARCompiler)
- Interface_Constant (ICC)
- Interface_Information (PowerAda)
- Interface_Mechanism (ICC)
- Interface_Name (GNAT, HP Ada, ICC, SPARCompiler)
- Interrupt_State (GNAT)
- Invariant (GNAT)
- Keep_Names (GNAT)
- Label (ICC)
- License (GNAT)
- Link_With (GNAT, ICC, SPARCompiler)
- Linker_Alias (GNAT)
- Linker_Constructor (GNAT)
- Linker_Destructor (GNAT)
- Linker_Section (GNAT)
- Long_Float (GNAT: OpenVMS, HP Ada)
M – P
[edit | edit source]- Machine_Attribute (GNAT)
- Main (GNAT)
- Main_Storage (GNAT, HP Ada)
- No_Body (GNAT)
- No_Image (SPARCompiler)
- No_Strict_Aliasing (GNAT)
- No_Suppress (PowerAda)
- No_Reorder (ICC)
- No_Zero (ICC)
- Noinline (ICC)
- Non_Reentrant (SPARCompiler)
- Not_Elaborated (SPARCompiler)
- Not_Null (ICC)
- Obsolescent (GNAT)
- Optimize_Alignment (GNAT)
- Optimize_Code (SPARCompiler)
- Optimize_Options (ICC)
- Ordered (GNAT)
- Parameter_Mechanism (ICC)
- Passive (GNAT, HP Ada, SPARCompiler)
- Persistent_BSS (GNAT)
- Physical_Address (ICC)
- Polling (GNAT)
- Postcondition (GNAT)
- Precondition (GNAT)
- Preserve_Layout (PowerAda)
- Profile_Warnings (GNAT)
- Propagate_Exceptions (GNAT)
- Protect_Registers (ICC)
- Protected_Call (ICC)
- Protected_Return (ICC)
- Psect_Object (GNAT, HP Ada)
- Pure_Function (GNAT)
- Put (ICC)
- Put_Line (ICC)
R – S
[edit | edit source]- Reserve_Registers (ICC)
- Restriction_Warnings (GNAT)
- RTS_Interface (SPARCompiler)
- SCCS_ID (PowerAda)
- Share_Body (SPARCompiler)
- Share_Code (SPARCompiler)
- Share_Generic (GNAT, HP Ada)
- Shareable (ICC)
- Short_Circuit_And_Or (GNAT)
- Short_Descriptors (GNAT)
- Simple_Storage_Pool_Type (GNAT)
- Simple_Task (ICC)
- Source_File_Name (GNAT)
- Source_File_Name_Project (GNAT)
- Source_Reference (GNAT)
- Stack_Size (ICC)
- Static_Elaboration (ICC)
- Static_Elaboration_Desired (GNAT)
- Stream_Convert (GNAT)
- Style_Checks (GNAT)
- Subtitle (GNAT)
- Suppress_All (GNAT, HP Ada, PowerAda, SPARCompiler)
- Suppress_Elaboration_Checks (SPARCompiler)
- Suppress_Exception_Locations (GNAT)
- Suppress_Initialization (GNAT)
- System_Table (ICC)
T – Z
[edit | edit source]- Task_Attributes (SPARCompiler)
- Task_Info (GNAT)
- Task_Name (GNAT)
- Task_Storage (GNAT, HP Ada)
- Test_Case (GNAT)
- Thread_Body (GNAT)
- Thread_Local_Storage (GNAT)
- Time_Slice (GNAT, HP Ada, ICC)
- Time_Slice_Attributes (ICC)
- Title (GNAT, HP Ada)
- Unimplemented_Unit (GNAT)
- Universal_Aliasing (GNAT)
- Universal_Data (GNAT)
- Unmodified (GNAT)
- Unreferenced (GNAT)
- Unreferenced_Objects (GNAT)
- Unreserve_All_Interrupts (GNAT)
- Unsigned_Literal (ICC)
- Use_VADS_Size (GNAT)
- Validity_Checks (GNAT)
- Warning (SPARCompiler)
- Warnings (GNAT, SPARCompiler)
- Weak_External (GNAT)
- Wide_Character_Encoding (GNAT)