-
+ 6048316F9F081BE81CE8DB21F65F4F4E28B394716D97F62B55E19B36DC617D63E23502B6779DF144CD60E970EF531568F38219C01355DD13B04C7149C643A6FFzfp/adainclude/s-elaall.ads(0 . 0)(1 . 40)
514 ------------------------------------------------------------------------------
515 ------------------------------------------------------------------------------
516 -- You do not have, nor can you ever acquire the right to use, copy or --
517 -- distribute this software ; Should you use this software for any purpose, --
518 -- or copy and distribute it to anyone or in any manner, you are breaking --
519 -- the laws of whatever soi-disant jurisdiction, and you promise to --
520 -- continue doing so for the indefinite future. In any case, please --
521 -- always : read and understand any software ; verify any PGP signatures --
522 -- that you use - for any purpose. --
523 -- --
524 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm . --
525 ------------------------------------------------------------------------------
526 ------------------------------------------------------------------------------
527
528 -- This package provides the interfaces for proper handling of restriction
529 -- No_Standard_Allocators_After_Elaboration. It is used only by programs
530 -- which use this restriction.
531
532 package System.Elaboration_Allocators is
533 pragma Preelaborate;
534
535 procedure Mark_Start_Of_Elaboration;
536 -- Called right at the start of main elaboration if the program activates
537 -- restriction No_Standard_Allocators_After_Elaboration. We don't want to
538 -- rely on the normal elaboration mechanism for marking this event, since
539 -- that would require us to be sure to elaborate this first, which would
540 -- be awkward, and it is convenient to have this package be Preelaborate.
541
542 procedure Mark_End_Of_Elaboration;
543 -- Called when main elaboration is complete if the program has activated
544 -- restriction No_Standard_Allocators_After_Elaboration. This is the point
545 -- beyond which any standard allocator use will violate the restriction.
546
547 procedure Check_Standard_Allocator;
548 -- Called as part of every allocator in a program for which the restriction
549 -- No_Standard_Allocators_After_Elaboration is active. This will raise an
550 -- exception (Program_Error with an appropriate message) if it is called
551 -- after the call to Mark_End_Of_Elaboration.
552
553 end System.Elaboration_Allocators;