CVS difference for arm/source/13a.mss

Differences between 1.15 and version 1.16
Log of other versions for file arm/source/13a.mss

--- arm/source/13a.mss	2000/05/27 04:44:01	1.15
+++ arm/source/13a.mss	2000/05/29 05:47:21	1.16
@@ -1,10 +1,10 @@
 @Part(13, Root="ada.mss")
 
-@Comment{$Date: 2000/05/27 04:44:01 $}
+@Comment{$Date: 2000/05/29 05:47:21 $}
 @LabeledSection{Representation Issues}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/13a.mss,v $}
-@Comment{$Revision: 1.15 $}
+@Comment{$Revision: 1.16 $}
 
 @begin{Intro}
 @redundant[This section describes features for
@@ -140,7 +140,7 @@
 @end{Discussion}
 
 @Defn{representation of an object}
-@Defn2{Term=size, Sec=(of an object)}The @i{representation} of an
+@Defn2{Term=[size], Sec=(of an object)}The @i{representation} of an
 object consists of a certain
 number of bits (the @i(size) of
 the object).
@@ -3115,7 +3115,7 @@
 @begin{StaticSem}
 The following language-defined library package exists:
 @begin{Example}
-@ChildUnit{Parent=[System],Child=[Storage_Elements],Expanded=[System.Storage_Elements]}
+@ChildUnit{Parent=[System],Child=[Storage_Elements]}
 @key[package] System.Storage_Elements @key[is]
    @key{pragma} Preelaborate(System.Storage_Elements);
 
@@ -3263,7 +3263,7 @@
 
 The following language-defined generic library package exists:
 @begin{Example}
-@ChildUnit{Parent=[System],Child=[Address_To_Access_Conversions],Expanded=[System.Address_To_Access_Conversions]}
+@ChildUnit{Parent=[System],Child=[Address_To_Access_Conversions]}
 @key[generic]
     @key[type] Object(<>) @key[is] @key[limited] @key[private];
 @key[package] System.Address_To_Access_Conversions @key[is]
@@ -3392,7 +3392,7 @@
 
 @begin{StaticSem}
 @Defn{System.Machine_Code}
-@ChildUnit{Parent=[System],Child=[Machine_Code],Expanded=[System.Machine_Code]}
+@ChildUnit{Parent=[System],Child=[Machine_Code]}
 The contents of the library package System.Machine_Code
 (if provided) are implementation defined.
 The meaning of @nt{code_statement}s is implementation defined.
@@ -3480,7 +3480,7 @@
 @key[generic]
    @key[type] Source(<>) @key[is] @key[limited] @key[private];
    @key[type] Target(<>) @key[is] @key[limited] @key[private];
-@ChildUnit{Parent=[Ada],Child=[Unchecked_Conversion],Expanded=[Ada.Unchecked_Conversion]}
+@ChildUnit{Parent=[Ada],Child=[Unchecked_Conversion]}
 @key[function] Ada.Unchecked_Conversion(S : Source) @key[return] Target;
 @key[pragma] Convention(Intrinsic, Ada.Unchecked_Conversion);
 @key[pragma] Pure(Ada.Unchecked_Conversion);
@@ -4060,7 +4060,7 @@
 @begin{Example}
 @key[with] Ada.Finalization;
 @key[with] System.Storage_Elements;
-@ChildUnit{Parent=[System],Child=[Storage_Pools],Expanded=[System.Storage_Pools]}
+@ChildUnit{Parent=[System],Child=[Storage_Pools]}
 @key[package] System.Storage_Pools @key[is]
     @key{pragma} Preelaborate(System.Storage_Pools);
 
@@ -4530,7 +4530,7 @@
 @key[generic]
    @key[type] Object(<>) @key[is] @key[limited] @key[private];
    @key[type] Name   @key[is] @key[access]  Object;
-@ChildUnit{Parent=[Ada],Child=[Unchecked_Deallocation],Expanded=[Ada.Unchecked_Deallocation]}
+@ChildUnit{Parent=[Ada],Child=[Unchecked_Deallocation]}
 @key[procedure] Ada.Unchecked_Deallocation(X : @key[in] @key[out] Name);
 @key[pragma] Convention(Intrinsic, Ada.Unchecked_Deallocation);
 @key[pragma] Preelaborate(Ada.Unchecked_Deallocation);
@@ -4960,7 +4960,7 @@
 (User-defined T'Read and T'Write attributes can also make such calls,
 or can call the Read and Write attributes of other types.)
 @begin{example}
-@ChildUnit{Parent=[Ada],Child=[Streams],Expanded=[Ada.Streams]}
+@ChildUnit{Parent=[Ada],Child=[Streams]}
 @key[package] Ada.Streams @key[is]
     @key[pragma] Pure(Streams)@Defn{unpolluted};
 
@@ -5513,7 +5513,7 @@
 or a declaration of a library package or generic library package,
 causes @i(freezing) of each entity declared within it,
 except for incomplete types.
-@Defn2{Term=freezing, Sec=(entity caused by a body)}
+@Defn2{Term=[freezing], Sec=(entity caused by a body)}
 A noninstance body causes freezing of each entity declared
 before it within the same @nt{declarative_part}.
 @begin{Discussion}
@@ -5658,7 +5658,7 @@
 hence no forcing occurrence of T.
 @end{Ramification}
 
-@PDefn2{Term=freezing, Sec=(entity caused by a name)}
+@PDefn2{Term=[freezing], Sec=(entity caused by a name)}
 At the place where a @nt<name> causes freezing,
 the entity denoted by the @nt<name> is frozen, unless
 the @nt<name> is a @nt<prefix> of an expanded name;
@@ -5674,7 +5674,7 @@
 @nt{Implicit_dereference}s are covered by @nt{expression}.
 @end{Ramification}
 
-@Redundant[@PDefn2{Term=freezing, Sec=(type caused by a range)}
+@Redundant[@PDefn2{Term=[freezing], Sec=(type caused by a range)}
 At the place where a @nt{range} causes freezing, the type of the
 @nt<range> is frozen.]
 @begin{TheProof}

Questions? Ask the ACAA Technical Agent