CVS difference for ai12s/ai12-0072-1.txt

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/ai12-0072-1.txt

--- ai12s/ai12-0072-1.txt	2013/07/12 03:34:34	1.3
+++ ai12s/ai12-0072-1.txt	2013/07/12 03:50:48	1.4
@@ -1,4 +1,4 @@
-!standard C.5(1)                                13-06-15    AI12-0072-1/02
+!standard C.5(1)                                13-06-16    AI12-0072-1/03
 !standard C.5(5)
 !standard C.5(7/2)
 !standard C.5(8)
@@ -30,24 +30,22 @@
 
    Aspect and Pragma Discard_Names
 
-Modify C.5(1):
+[Would "Reduction of Runtime Name Text" be better??]
 
-Redundant[A pragma Discard_Names may be used to request a reduction in storage
-used for the names of {muggywomp}[certain] entities. {*Muggywomp* entities are
-those for which the name of the entity has a runtime effect.}]
+Modify C.5(1):
 
-[Editor's note: I couldn't find a good term, so "muggywomp" is a placeholder,
-please help!]
+Redundant[A pragma Discard_Names may be used to request a reduction in storage used
+for the names of {entities with runtime name text}[certain entities].]
 
 Add after C.5(1):
 
 Static Semantics
 
-A muggywomp entity is a nonderived enumeration first subtype, a tagged first
-subtype, or an exception.
+An entity with *runtime name text* is a nonderived enumeration first subtype,
+a tagged first subtype, or an exception.
 
-For a muggywomp entity, the following language-defined representation aspect may
-be specified:
+For an entity with runtime name text, the following language-defined
+representation aspect may be specified:
 
 Discard_Names
 The type of aspect Discard_Names is Boolean. If directly specified, the aspect_definition
@@ -59,20 +57,20 @@
 
 Modify C.5(5):
 
-The local_name (if present) shall denote a {muggywomp entity}[nonderived
-enumeration first subtype, a tagged first subtype, or an exception]. The pragma
-[applies to]{specifies that the aspect Discard_Names for} the type or exception
-{has the value True}. Without a local_name, the pragma [applies to]{specifies
-that} all {muggywomp}[such] entities declared after the pragma, within the same
-declarative region{ have the value True for aspect Discard_Names}.
-Alternatively, the pragma can be used as a configuration pragma. {If the
-configuration pragma Discard_Names applies to a compilation unit, all muggywomp
-entities declared in the compilation unit have the value True for the aspect
-Discard_Names.} [If the pragma applies to a type, then it applies also to all
-descendants of the type.]
+The local_name (if present) shall denote {an entity with runtime name text}[a
+nonderived enumeration first subtype, a tagged first subtype, or an exception].
+The pragma [applies to]{specifies that the aspect Discard_Name for} the type or
+exception {has the value True}. Without a local_name, the pragma [applies
+to]{specifies that} all [such] entities {with runtime name text} declared after
+the pragma, within the same declarative region{ have the value True for aspect
+Discard_Names}. Alternatively, the pragma can be used as a configuration pragma.
+{If the configuration pragma Discard_Names applies to a compilation unit, all
+entities with runtime name text declared in the compilation unit have the value
+True for the aspect Discard_Names.} [If the pragma applies to a type, then it
+applies also to all descendants of the type.]
 
-[Editor's note: We don't need the last sentence because normal aspect inheritance applies and
-has that effect.]
+[Editor's note: We don't need the last sentence because normal aspect
+inheritance applies and has that effect.]
 
 Modify C.5(7/2):
 
@@ -122,8 +120,8 @@
 
 !ACATS Test
 
-A test of aspect Discard_Names should be created (possibly an existing pragma test
-could be used as a basis).
+A test of aspect Discard_Names should be created (possibly an existing pragma
+test could be used as a basis).
 
 !ASIS
 
@@ -168,6 +166,14 @@
 
 Here is an attempt at the wording for the Discard_Names AI [this is version
 /02 - ED]; I need a nice term to use, however. Ideas welcome.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Saturday, June 15, 2013  12:09 PM
+
+Here is wording using "entities with runtime name text" as decided earlier
+today. It looks good to me. [This is version /03 of the AI - ED]
 
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent