CVS difference for arm/source/03a.mss

Differences between 1.86 and version 1.87
Log of other versions for file arm/source/03a.mss

--- arm/source/03a.mss	2007/07/10 05:00:45	1.86
+++ arm/source/03a.mss	2007/07/17 02:11:46	1.87
@@ -1,10 +1,10 @@
 @Part(03, Root="ada.mss")
-@Comment{$Date: 2007/07/10 05:00:45 $}
+@Comment{$Date: 2007/07/17 02:11:46 $}
 @LabeledSection{Declarations and Types}
 @Comment{$Source: e:\\cvsroot/ARM/Source/03a.mss,v $}
-@Comment{$Revision: 1.86 $}
+@Comment{$Revision: 1.87 $}
 This section describes the types in the language and the rules
@@ -1630,6 +1630,68 @@
 is necessary (see @RefSecNum(Object Declarations)).
 A component cannot have an indefinite nominal subtype.]
+@ChgAdded{Version=[3],Type=[Leading],Text=[A view of a composite object is
+@i<known to be constrained> if:]}
+@ChgAdded{Version=[3],Text=[its nominal subtype is constrained, and is not an
+untagged partial view; or]}
+@ChgAdded{Version=[3],Text=[its nominal subtype is indefinite; or]}
+@ChgAdded{Version=[3],Text=[its type is a protected type, a task type, or an
+explicitly limited record type; or]}
+@ChgAdded{Version=[3],Text=[it is part of a stand-alone constant (including a
+generic formal object of mode @key[in]); or]}
+@ChgAdded{Version=[3],Text=[it is part of a formal parameter of mode @key[in]; or]}
+@ChgAdded{Version=[3],Text=[it is part of the object denoted by a
+@nt{function_call} or @nt{aggregate}; or]}
+@ChgAdded{Version=[3],Text=[it is part of a constant return object of an
+@nt{extended_return_statement}; or]}
+@ChgAdded{Version=[3],Text=[it is a dereference of a pool-specific access type,
+and there is no partial view of its type that is constrained.]}
+@ChgAdded{Version=[3],Text=[We do not include dereferences of general access
+types because they might denote stand-alone aliased unconstrained variables.
+That's true even for access-to-constant types (the denoted object does not
+have to be a constant).]}
+@ChgAdded{Version=[3],Text=[There are other cases that could have been
+included in this definition (view conversions, the current instance of
+a type, implementation-defined attributes, objects of a formal discriminated
+private type), but these are not relevant to the places this term is
+used, so there were not included. If this term is used in additional places,
+the definition should be checked to see if any of these additional cases
+are relevant and appropriate wording added if necessary.]}
+@ChgAdded{Version=[3],Text=[For the purposes of determining within a generic
+body whether an object is known to be constrained, a subtype is not considered
+indefinite if it is a descendant of an untagged generic formal derived type,
+nor is an access type considered pool-specific if it is a descendant of a
+formal access type.]}
 @Defn{named number}
 A @i(named number) provides a name for a numeric value known
 at compile time. It is declared by a @nt<number_declaration>.
@@ -1701,6 +1763,10 @@
   @ChgAdded{Version=[3],Text=[@b<Corrigendum 2:> Added wording to allow
   return objects to be declared as constants, and corrected the definition
   of return objects as objects.]}
+  @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0008-1]}
+  @ChgAdded{Version=[3],Text=[@b<Corrigendum 2:> Added a definition of
+  @i<known to be constrained>, for use in other rules.]}
 @LabeledSubClause{Object Declarations}

Questions? Ask the ACAA Technical Agent