-- is why this restriction itself is excluded from the list).
Implementation_Restriction : constant array (All_Restrictions) of Boolean :=
- (Simple_Barriers => True,
- No_Calendar => True,
- No_Default_Initialization => True,
- No_Direct_Boolean_Operators => True,
- No_Dispatching_Calls => True,
- No_Dynamic_Accessibility_Checks => True,
- No_Dynamic_Attachment => True,
- No_Elaboration_Code => True,
- No_Enumeration_Maps => True,
- No_Entry_Calls_In_Elaboration_Code => True,
- No_Entry_Queue => True,
- No_Exception_Handlers => True,
- No_Exception_Propagation => True,
- No_Exception_Registration => True,
- No_Finalization => True,
- No_Fixed_IO => True,
- No_Implementation_Attributes => True,
- No_Implementation_Pragmas => True,
- No_Implicit_Conditionals => True,
- No_Implicit_Aliasing => True,
- No_Implicit_Dynamic_Code => True,
- No_Implicit_Loops => True,
- No_Initialize_Scalars => True,
- No_Local_Protected_Objects => True,
- No_Long_Long_Integers => True,
- No_Multiple_Elaboration => True,
- No_Protected_Type_Allocators => True,
- No_Relative_Delay => True,
- No_Requeue_Statements => True,
- No_Secondary_Stack => True,
- No_Select_Statements => True,
- No_Standard_Storage_Pools => True,
- No_Stream_Optimizations => True,
- No_Streams => True,
- No_Tagged_Type_Registration => True,
- No_Task_Attributes_Package => True,
- No_Task_Termination => True,
- No_Tasking => True,
- No_Wide_Characters => True,
- Static_Priorities => True,
- Static_Storage_Size => True,
- Pure_Barriers => True,
- SPARK_05 => True,
- others => False);
+ (No_Calendar => True,
+ No_Default_Initialization => True,
+ No_Direct_Boolean_Operators => True,
+ No_Dispatching_Calls => True,
+ No_Dynamic_Accessibility_Checks => True,
+ No_Dynamic_Sized_Objects => True,
+ No_Elaboration_Code => True,
+ No_Entry_Calls_In_Elaboration_Code => True,
+ No_Entry_Queue => True,
+ No_Enumeration_Maps => True,
+ No_Exception_Handlers => True,
+ No_Exception_Propagation => True,
+ No_Exception_Registration => True,
+ No_Finalization => True,
+ No_Fixed_IO => True,
+ No_Implicit_Aliasing => True,
+ No_Implicit_Conditionals => True,
+ No_Implicit_Dynamic_Code => True,
+ No_Implicit_Loops => True,
+ No_Implicit_Protected_Object_Allocations => True,
+ No_Implicit_Task_Allocations => True,
+ No_Initialize_Scalars => True,
+ No_Long_Long_Integers => True,
+ No_Multiple_Elaboration => True,
+ No_Secondary_Stack => True,
+ No_Standard_Storage_Pools => True,
+ No_Stream_Optimizations => True,
+ No_Streams => True,
+ No_Tagged_Type_Registration => True,
+ No_Task_At_Interrupt_Priority => True,
+ No_Task_Attributes_Package => True,
+ No_Tasking => True,
+ No_Wide_Characters => True,
+ Static_Dispatch_Tables => True,
+ Static_Priorities => True,
+ Static_Storage_Size => True,
+ SPARK_05 => True,
+ others => False);
--------------------------
-- No_Dependences Table --