Ada 2005 Reference Manual
D.13 Run-time Profiles
This clause specifies a mechanism for defining run-time profiles.
Syntax
The form of a pragma Profile is as follows:
pragma Profile (profile_identifier {, profile_pragma_argument_association});
Legality Rules
The profile_identifier shall be the name of a run-time profile. The semantics of any profile_pragma_argument_associations are defined by the run-time profile specified by the profile_identifier.
Static Semantics
A profile is equivalent to the set of configuration pragmas that is defined for each run-time profile.
Post-Compilation Rules
A pragma Profile is a configuration pragma. There may be more than one pragma Profile for a partition.
