pragma Profile ([Name =>] IDENTIFIER); IDENTIFIER ::= APEX | Ravenscar | XGC | Restrictedruntime | Noruntime
This pragma specifies a restriction profile. It is a configuration pragma, and so has the usual applicability of configuration pragmas (that is it applies to either an entire partition, or to all units in a compilation, or to a single unit, depending on how it is used. See Appendix A.