-
+ 8AAF89145D930D102E76F08E51768E632C183155C4285D89D897CC5835E55DE3C9C1D27F847203D627198B4A919A138F31EAE131FBA600C5CF9507D4CD5C4064
adalisp/src/restrict.adc
(0 . 0)(1 . 65)
2378 pragma Restrictions(Immediate_Reclamation);
2379 pragma Restrictions(Max_Asynchronous_Select_Nesting => 0);
2380 pragma Restrictions(Max_Protected_Entries => 0);
2381 pragma Restrictions(Max_Select_Alternatives => 0);
2382 pragma Restrictions(Max_Task_Entries => 0);
2383 pragma Restrictions(Max_Tasks => 0);
2384 pragma Restrictions(No_Abort_Statements);
2385 pragma Restrictions(No_Access_Parameter_Allocators);
2386 pragma Restrictions(No_Allocators);
2387 pragma Restrictions(No_Asynchronous_Control);
2388 pragma Restrictions(No_Calendar);
2389 pragma Restrictions(No_Coextensions);
2390 pragma Restrictions(No_Default_Stream_Attributes);
2391 pragma Restrictions(No_Delay);
2392 pragma Restrictions(No_Dispatch);
2393 pragma Restrictions(No_Dispatching_Calls);
2394 pragma Restrictions(No_Dynamic_Attachment);
2395 pragma Restrictions(No_Dynamic_Priorities);
2396 pragma Restrictions(No_Entry_Calls_In_Elaboration_Code);
2397 pragma Restrictions(No_Entry_Queue);
2398 pragma Restrictions(No_Enumeration_Maps);
2399 pragma Restrictions(No_Exception_Propagation);
2400 pragma Restrictions(No_Exception_Registration);
2401 pragma Restrictions(No_Finalization);
2402 pragma Restrictions(No_Fixed_Io);
2403 pragma Restrictions(No_Floating_Point);
2404 pragma Restrictions(No_Implementation_Aspect_Specifications);
2405 pragma Restrictions(No_Implementation_Units);
2406 pragma Restrictions(No_Implicit_Aliasing);
2407 pragma Restrictions(No_Implicit_Conditionals);
2408 pragma Restrictions(No_Implicit_Dynamic_Code);
2409 pragma Restrictions(No_Implicit_Heap_Allocations);
2410 pragma Restrictions(No_Implicit_Protected_Object_Allocations);
2411 pragma Restrictions(No_Implicit_Task_Allocations);
2412 pragma Restrictions(No_Initialize_Scalars);
2413 pragma Restrictions(No_Local_Protected_Objects);
2414 pragma Restrictions(No_Local_Timing_Events);
2415 pragma Restrictions(No_Multiple_Elaboration);
2416 pragma Restrictions(No_Nested_Finalization);
2417 pragma Restrictions(No_Protected_Type_Allocators);
2418 pragma Restrictions(No_Protected_Types);
2419 pragma Restrictions(No_Relative_Delay);
2420 pragma Restrictions(No_Requeue_Statements);
2421 pragma Restrictions(No_Secondary_Stack);
2422 pragma Restrictions(No_Select_Statements);
2423 pragma Restrictions(No_Specific_Termination_Handlers);
2424 pragma Restrictions(No_Standard_Allocators_After_Elaboration);
2425 pragma Restrictions(No_Stream_Optimizations);
2426 pragma Restrictions(No_Streams);
2427 pragma Restrictions(No_Task_Allocators);
2428 pragma Restrictions(No_Task_At_Interrupt_Priority);
2429 pragma Restrictions(No_Task_Attributes_Package);
2430 pragma Restrictions(No_Task_Hierarchy);
2431 pragma Restrictions(No_Tasking);
2432 pragma Restrictions(No_Task_Termination);
2433 pragma Restrictions(No_Terminate_Alternatives);
2434 pragma Restrictions(No_Unchecked_Access);
2435 pragma Restrictions(No_Unchecked_Conversion);
2436 pragma Restrictions(No_Unchecked_Deallocation);
2437 pragma Restrictions(No_Wide_Characters);
2438 pragma Restrictions(Pure_Barriers);
2439 pragma Restrictions(Simple_Barriers);
2440 pragma Restrictions(Static_Priorities);
2441 pragma Restrictions(Static_Storage_Size);
2442 pragma Validity_Checks(ALL_CHECKS);