1/2
{00249AI95−00249−01} [This clause specifies a mechanism for defining run−time profiles.]
2/2
{00249AI95−00249−01} The form of a pragma Profile is as follows:
3/2
pragma Profile (profile_identifier {, profile_pragma_argument_association});
4/2
{00249AI95−00249−01} The profile_identifier shall be the name of a run−time profile. The semantics of any profile_pragma_argument_association (see 2.8)s are defined by the run−time profile specified by the profile_identifier.
5/2
{00249AI95−00249−01} A profile is equivalent to the set of configuration pragmas that is defined for each run−time profile.
6/2
{00249AI95−00249−01} {configuration pragma (Profile) [partial]} {pragma, configuration (Profile) [partial]} A pragma Profile is a configuration pragma. There may be more than one pragma Profile for a partition.
6.a/2
{00249AI95−00249−01} {extensions to Ada 95} Pragma Profile is new.