CVS difference for ais/ai-00249.txt

Differences between 1.13 and version 1.14
Log of other versions for file ais/ai-00249.txt

--- ais/ai-00249.txt	2005/01/07 03:07:31	1.13
+++ ais/ai-00249.txt	2005/04/13 05:37:01	1.14
@@ -1,4 +1,4 @@
-!standard D.13 (01)                                  04-12-11  AI95-00249/10
+!standard D.13 (01)                                  05-02-25  AI95-00249/11
 !class amendment 00-12-04
 !status Amendment 200Y 02-10-23
 !status WG9 Approved 02-12-13
@@ -37,27 +37,40 @@
 
 !wording
 
-Add new section D.13
+Add new clauses D.13 and D.13.1
 
-D.13 Run-time Profiles and the Ravenscar Profile
+D.13 Run-time Profiles
 
 This clause specifies a mechanism for defining run-time profiles.
-It also defines one such profile, Ravenscar.
 
 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 either Ravenscar or an implementation-defined
-identifier. For profile_identifier Ravenscar, there shall be no
-profile_pragma_argument_associations. For other profile_identifiers, the
-semantics of any profile_pragma_argument_associations are
-implementation-defined.
+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 profile_identifier. The profile_identifier Ravenscar
+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.
+
+D.13.1 The Ravenscar Profile
+
+This clause defines the Ravenscar profile.
+
+Legality Rules
+The profile_identifier Ravenscar names a run-time profile.
+For run-time profile Ravenscar, there shall be no
+profile_pragma_argument_associations.
+
+Static Semantics
+The run-time profile Ravenscar
 is equivalent to the following set of pragmas:
 
 pragma Task_Dispatching_Policy (FIFO_Within_Priorities);
@@ -87,10 +100,6 @@
                 No_Task_Termination,
                 Simple_Barriers);
 
-Post-Compilation Rules
-A pragma Profile is a configuration pragma. There may be more than one
-pragma Profile for a partition.
-
 NOTES
 The effect of the Max_Entry_Queue_Length => 1 restriction applies
 only to protected entry queues due to the accompanying restriction of
@@ -126,7 +135,6 @@
 @dinsc
 
 This clause specifies a mechanism for defining run-time profiles.
-It also defines one such profile, Ravenscar.
 
 @i<@s8<Syntax>>
 
@@ -135,16 +143,35 @@
 
 @i<@s8<Legality Rules>>
 
-The @i<profile_>@fa<identifier> shall be either Ravenscar or an
-implementation-defined identifier. For @i<profile_>@fa<identifier> Ravenscar,
-there shall be no @i<profile_>@fa<pragma_argument_association>s. For other
-@i<profile_>@fa<identifier>s, the semantics of any
-@i<profile_>@fa<pragam_argument_association>s are implementation-defined.
+The @i<profile_>@fa<identifier> shall be the name of a run-time profile.
+The semantics of any @i<profile_>@fa<pragma_argument_association>s are
+defined by the run-time profile specified by the @i<profile_>@fa<identifier>.
 
 @i<@s8<Static Semantics>>
 
 A profile is equivalent to the set of configuration pragmas that is
-defined for each @fa<@i<profile_>identifier>. The @fa<@i<profile_>identifier> Ravenscar
+defined for each run-time profile.
+
+@i<@s8<Post-Compilation Rules>>
+
+A pragma Profile is a configuration pragma. There may be more than one
+pragma Profile for a partition.
+
+!corrigendum D.13.1(01)
+
+@dinsc
+
+This clause defines the Ravenscar profile.
+
+@i<@s8<Legality Rules>>
+
+The @i<profile_>@fa<identifier> Ravenscar names a run-time profile.
+For run-time profile Ravenscar, there shall be no
+@i<profile_>@fa<pragma_argument_association>s.
+
+@i<@s8<Static Semantics>>
+
+The run-time profile Ravenscar
 is equivalent to the following set of pragmas:
 
 @xcode<@b<pragma> Task_Dispatching_Policy (FIFO_Within_Priorities);
@@ -170,11 +197,6 @@
                 No_Task_Hierarchy,
                 No_Task_Termination,
                 Simple_Barriers);>
-
-@i<@s8<Post-Compilation Rules>>
-
-A pragma Profile is a configuration pragma. There may be more than one
-pragma Profile for a partition.
 
 @xindent<@s9<NOTES@hr
 37 The effect of the Max_Entry_Queue_Length =@> 1 restriction applies

Questions? Ask the ACAA Technical Agent