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

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

--- ai12s/ai12-0116-1.txt	2014/09/30 01:52:51	1.4
+++ ai12s/ai12-0116-1.txt	2014/10/02 22:16:01	1.5
@@ -1,4 +1,4 @@
-!standard 13.1(9/3)                                  14-09-29  AI12-0116-1/03
+!standard 13.1(9/3)                                  14-10-02  AI12-0116-1/03
 !standard 13.1(9.1/3)
 !class binding interpretation 15-06-19
 !status Corrigendum 2015 14-07-11
@@ -24,7 +24,7 @@
        function Is_OK (P : Priv) return Boolean;
     private
        function Is_Great (P : Priv) return Boolean;
-       type Priv is private
+       type Priv is null record
           with Dynamic_Predicate => Is_Great (Priv);
     end P;
 
@@ -80,7 +80,7 @@
 !discussion 
 
 Aspects are one per type, not one per view, so we need to prevent giving
-one on multiple views. For representation and operation aspects, this is
+one on multiple views. For representation and operational aspects, this is
 done by the rules in 13.1. But a subtype predicate is neither of those
 kinds of aspects (neither are preconditions, postconditions, categorization
 aspects, and others -- it's not the case that we can categorize all aspects

Questions? Ask the ACAA Technical Agent