Program Unit Level Restrictions (GNAT Reference Manual) (original) (raw)
Previous: Partition-Wide Restrictions, Up: Standard and Implementation Defined Restrictions [Contents][Index]
5.2 Program Unit Level Restrictions ¶
The second set of restriction identifiers does not require partition-wide consistency. The restriction may be enforced for a single compilation unit without any effect on any of the other compilation units in the partition.
- No_Elaboration_Code
- No_Dynamic_Accessibility_Checks
- No_Dynamic_Sized_Objects
- No_Entry_Queue
- No_Implementation_Aspect_Specifications
- No_Implementation_Attributes
- No_Implementation_Identifiers
- No_Implementation_Pragmas
- No_Implementation_Restrictions
- No_Implementation_Units
- No_Implicit_Aliasing
- No_Implicit_Loops
- No_Obsolescent_Features
- No_Wide_Characters
- Static_Dispatch_Tables
- SPARK_05