Next: , Previous: D.12, Up: Annex D


D.13 Run-time Profiles

1/2
This clause specifies a mechanism for defining run−time profiles.

Syntax

2/2

The form of a pragma Profile is as follows:

3/2

  pragma Profile (profile_identifier {, profile_pragma_argument_association});
Legality Rules

4/2
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.

Static Semantics

5/2
A profile is equivalent to the set of configuration pragmas that is defined for each run−time profile.

Post-Compilation Rules

6/2
A pragma Profile is a configuration pragma. There may be more than one pragma Profile for a partition.