CVS difference for 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