CVS difference for arm/source/03a.mss

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

--- arm/source/03a.mss	2011/06/04 05:28:18	1.107
+++ arm/source/03a.mss	2011/06/18 07:20:51	1.108
@@ -1,10 +1,10 @@
 @Part(03, Root="ada.mss")
 
-@Comment{$Date: 2011/06/04 05:28:18 $}
+@Comment{$Date: 2011/06/18 07:20:51 $}
 @LabeledSection{Declarations and Types}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/03a.mss,v $}
-@Comment{$Revision: 1.107 $}
+@Comment{$Revision: 1.108 $}
 
 @begin{Intro}
 This section describes the types in the language and the rules
@@ -1538,7 +1538,9 @@
 @begin{Resolution}
 @ChgRef{Version=[3],Kind=[AddedNormal],ARef=[AI05-0153-3]}
 @ChgAdded{Version=[3],Text=[The expected type for a predicate aspect
-@nt{expression} is any boolean type.]}
+@nt{expression} is any boolean
+type.@PDefn{Term=[expected type],Sec=[@nt{expression} of a predicate aspect]}]}
+
 @end{Resolution}
 
 @begin{StaticSem}
@@ -1646,7 +1648,9 @@
   Sec=[@key[in out] parameters]}@Defn2{Term=[predicate check],
   Sec=[@nt{object_declaration}]}@Defn2{Term=[predicate check],
   Sec=[@nt{allocator}]}@Defn2{Term=[check, language-defined],
-  Sec=[controlled by assertion policy]}]}
+  Sec=[controlled by assertion policy]}@Defn2{Term=(Assertion_Error),
+  Sec=(raised by failure of run-time check)}]}
+
 
 @begin{Ramification}
   @ChgRef{Version=[3],Kind=[AddedNormal]}
@@ -4730,9 +4734,9 @@
 @begin{Resolution}
 @ChgRef{Version=[3],Kind=[Added],ARef=[AI05-0228-1]}
 @ChgAdded{Version=[3],Text=[The expected type for the @nt{expression}
-specified for the Default_Component_Value aspect is the component type of the
-array type defined by the
-@nt{full_type_declaration} on which it appears.]}
+specified for the Default_Value aspect is the type defined by the
+@nt{full_type_declaration} on which it
+appears.@PDefn2{Term=[expected type],Sec=[@nt{expression} of a Default_Value aspect]}]}
 @end{Resolution}
 
 @begin{Notes}

Questions? Ask the ACAA Technical Agent