Documentation change only, no test required
Tested on x86_64-pc-linux-gnu, committed on trunk
2014-08-04 Robert Dewar <de...@adacore.com>
* gnat_rm.texi: Add section on aspect Invariant'Class.
Index: gnat_rm.texi
===================================================================
--- gnat_rm.texi (revision 213549)
+++ gnat_rm.texi (working copy)
@@ -308,6 +308,7 @@
* Aspect Initializes::
* Aspect Inline_Always::
* Aspect Invariant::
+* Aspect Invariant'Class::
* Aspect Iterable::
* Aspect Linker_Section::
* Aspect No_Elaboration_Code_All::
@@ -8061,6 +8062,7 @@
* Aspect Initializes::
* Aspect Inline_Always::
* Aspect Invariant::
+* Aspect Invariant'Class::
* Aspect Iterable::
* Aspect Linker_Section::
* Aspect Lock_Free::
@@ -8285,6 +8287,14 @@
synonym for the language defined aspect @code{Type_Invariant} except
that it is separately controllable using pragma @code{Assertion_Policy}.
+@node Aspect Invariant'Class
+@unnumberedsec Aspect Invariant'Class
+@findex Invariant'Class
+@noindent
+This aspect is equivalent to pragma @code{Type_Invariant_Class}. It is a
+synonym for the language defined aspect @code{Type_Invariant'Class} except
+that it is separately controllable using pragma @code{Assertion_Policy}.
+
@node Aspect Iterable
@unnumberedsec Aspect Iterable
@findex Iterable
