restrictions.adc

pragma Restrictions (No_Allocators);
pragma Restrictions (No_Calendar);
pragma Restrictions (No_Enumeration_Maps);
pragma Restrictions (No_Exceptions);
pragma Restrictions (No_Exception_Handlers);
pragma Restrictions (No_Implicit_Dynamic_Code);
pragma Restrictions (No_Initialize_Scalars);
pragma Restrictions (No_IO);
pragma Restrictions (No_Streams);
pragma Restrictions (No_Tasking);
pragma Restrictions (Static_Storage_Size);
pragma SPARK_Mode (On);