Run-time Profiles
Author: JTC1/SC22/WG9/ARG, by Randall Brukardt, ARG Editor

Ada Reference Manual — Legal Information

# 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_associations 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.

Sponsored by Ada-Europe