Annotated Ada Reference ManualLegal Information
Contents   Index   References   Search   Previous   Next 

 D.13 Run-time Profiles

1/2
{AI95-00249-01} [This clause specifies a mechanism for defining run-time profiles.] 

Syntax

2/2
{AI95-00249-01} The form of a pragma Profile is as follows: 
3/2
  pragma Profile (profile_identifier {, profile_pragma_argument_association});

Legality Rules

4/2
{AI95-00249-01} 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
{AI95-00249-01} A profile is equivalent to the set of configuration pragmas that is defined for each run-time profile. 

Post-Compilation Rules

6/2
{AI95-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. 

Extensions to Ada 95

6.a/2
{AI95-00249-01} {extensions to Ada 95} Pragma Profile is new. 

Contents   Index   References   Search   Previous   Next 
Ada-Europe Sponsored by Ada-Europe