-
+ A341DB13126E582BB4EAC515D56975EA7EE4E83F04BB94AC0A831C2BC17B6521445CAB5CDD9112E164300E898A88C1E747A25ED989B347547018A9864DFE6A1F
cryostat/demo/restrict.adc
(0 . 0)(1 . 83)
 269 ------------------------------------------------------------------------------
 270 ------------------------------------------------------------------------------
 271 -- This file is part of 'CryoDemo', a tutorial example for 'Cryostat'.      --
 272 --                                                                          --
 273 -- (C) 2020 Stanislav Datskovskiy ( www.loper-os.org )                      --
 274 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 275 --                                                                          --
 276 -- You do not have, nor can you ever acquire the right to use, copy or      --
 277 -- distribute this software ; Should you use this software for any purpose, --
 278 -- or copy and distribute it to anyone or in any manner, you are breaking   --
 279 -- the laws of whatever soi-disant jurisdiction, and you promise to         --
 280 -- continue doing so for the indefinite future. In any case, please         --
 281 -- always : read and understand any software ; verify any PGP signatures    --
 282 -- that you use - for any purpose.                                          --
 283 ------------------------------------------------------------------------------
 284 ------------------------------------------------------------------------------
 285 
 286 pragma Restrictions(Immediate_Reclamation);
 287 pragma Restrictions(Max_Asynchronous_Select_Nesting => 0);
 288 pragma Restrictions(Max_Protected_Entries => 0);
 289 pragma Restrictions(Max_Select_Alternatives => 0);
 290 pragma Restrictions(Max_Task_Entries => 0);
 291 pragma Restrictions(Max_Tasks => 0);
 292 pragma Restrictions(No_Abort_Statements);
 293 pragma Restrictions(No_Access_Parameter_Allocators);
 294 pragma Restrictions(No_Allocators);
 295 pragma Restrictions(No_Asynchronous_Control);
 296 pragma Restrictions(No_Calendar);
 297 pragma Restrictions(No_Coextensions);
 298 pragma Restrictions(No_Default_Stream_Attributes);
 299 pragma Restrictions(No_Delay);
 300 pragma Restrictions(No_Dispatch);
 301 pragma Restrictions(No_Dispatching_Calls);
 302 pragma Restrictions(No_Dynamic_Attachment);
 303 pragma Restrictions(No_Dynamic_Priorities);
 304 pragma Restrictions(No_Entry_Calls_In_Elaboration_Code);
 305 pragma Restrictions(No_Entry_Queue);
 306 pragma Restrictions(No_Enumeration_Maps);
 307 pragma Restrictions(No_Exception_Propagation);
 308 pragma Restrictions(No_Exception_Registration);
 309 pragma Restrictions(No_Fixed_Io);
 310 pragma Restrictions(No_Floating_Point);
 311 pragma Restrictions(No_Implementation_Aspect_Specifications);
 312 pragma Restrictions(No_Implementation_Units);
 313 pragma Restrictions(No_Implicit_Dynamic_Code);
 314 pragma Restrictions(No_Implicit_Heap_Allocations);
 315 pragma Restrictions(No_Implicit_Protected_Object_Allocations);
 316 pragma Restrictions(No_Implicit_Task_Allocations);
 317 pragma Restrictions(No_Initialize_Scalars);
 318 pragma Restrictions(No_Local_Protected_Objects);
 319 pragma Restrictions(No_Local_Timing_Events);
 320 pragma Restrictions(No_Protected_Type_Allocators);
 321 pragma Restrictions(No_Protected_Types);
 322 pragma Restrictions(No_Relative_Delay);
 323 pragma Restrictions(No_Requeue_Statements);
 324 pragma Restrictions(No_Secondary_Stack);
 325 pragma Restrictions(No_Select_Statements);
 326 pragma Restrictions(No_Specific_Termination_Handlers);
 327 pragma Restrictions(No_Standard_Allocators_After_Elaboration);
 328 pragma Restrictions(No_Stream_Optimizations);
 329 pragma Restrictions(No_Streams);
 330 pragma Restrictions(No_Task_Allocators);
 331 pragma Restrictions(No_Task_At_Interrupt_Priority);
 332 pragma Restrictions(No_Task_Attributes_Package);
 333 pragma Restrictions(No_Task_Hierarchy);
 334 pragma Restrictions(No_Tasking);
 335 pragma Restrictions(No_Task_Termination);
 336 pragma Restrictions(No_Terminate_Alternatives);
 337 pragma Restrictions(No_Unchecked_Access);
 338 pragma Restrictions(No_Unchecked_Conversion);
 339 pragma Restrictions(No_Unchecked_Deallocation);
 340 pragma Restrictions(No_Wide_Characters);
 341 pragma Restrictions(Pure_Barriers);
 342 pragma Restrictions(Simple_Barriers);
 343 pragma Restrictions(Static_Priorities);
 344 pragma Restrictions(Static_Storage_Size);
 345 pragma Validity_Checks(ALL_CHECKS);
 346 
 347 ----- Deliberately omitted (we use these) :
 348 
 349 -- pragma Restrictions(No_Finalization);
 350 -- pragma Restrictions(No_Nested_Finalization);
 351 -- pragma Restrictions(No_Multiple_Elaboration);