CVS difference for ais/ai-00249.txt

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

--- ais/ai-00249.txt	2003/03/04 04:56:22	1.12
+++ ais/ai-00249.txt	2005/01/07 03:07:31	1.13
@@ -1,4 +1,4 @@
-!standard D.13 (01)                                  02-12-03  AI95-00249/09
+!standard D.13 (01)                                  04-12-11  AI95-00249/10
 !class amendment 00-12-04
 !status Amendment 200Y 02-10-23
 !status WG9 Approved 02-12-13
@@ -46,15 +46,14 @@
 
 Syntax
 The form of a pragma Profile is as follows:
-pragma Profile (profile_identifier [, profile_argument_associations]);
-profile_argument_associations ::= pragma_argument_association,
-    {pragma_argument_association}
+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_argument_associations. For other profile_identifiers, the
-semantics of any profile_argument_associations are implementation-defined.
+profile_pragma_argument_associations. For other profile_identifiers, the
+semantics of any profile_pragma_argument_associations are
+implementation-defined.
 
 Static Semantics
 A profile is equivalent to the set of configuration pragmas that is
@@ -132,18 +131,15 @@
 @i<@s8<Syntax>>
 
 The form of a pragma Profile is as follows:@hr
-@fa<@b<pragma> Profile (@i<profile_>identifier [profile_argument_associations]);>
+@xindent<@b<pragma> Profile (@i<profile_>@fa<identifier> {@i<profile_>@fa<pragma_argument_association>);>
 
-@fa<profile_argument_associations ::= pragma_argument_association,
-{pragma_argument_association}>
-
 @i<@s8<Legality Rules>>
 
-The @fa<@i<profile_>identifier> shall be either Ravenscar or an
-implementation-defined identifier. For @fa<@i<profile_>identifier> Ravenscar,
-there shall be no @fa<profile_argument_associations>. For other
-@fa<@i<profile_>identifier>s, the semantics of any
-@fa<profile_argument_associations> are implementation-defined.
+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.
 
 @i<@s8<Static Semantics>>
 

Questions? Ask the ACAA Technical Agent