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

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

--- ai12s/ai12-0422-1.txt	2021/01/23 05:57:34	1.4
+++ ai12s/ai12-0422-1.txt	2021/01/27 06:28:27	1.5
@@ -85,6 +85,43 @@
 object. Repeating that list in each rule just makes it more likely to make
 a mistake, and it will simplify writing any similar rules in the future.
 
+!corrigendum 3.3(13/3)
+
+@dinsa
+An object is either a @i<constant> object or a @i<variable>
+object. Similarly, a view of an object is either a @i<constant>
+or a @i<variable>. All views of a constant elementary object
+are constant.
+All views of a constant composite object are constant,
+except for parts that are of controlled or immutably limited
+types; variable views of those parts and their subcomponents
+may exist. In this sense, objects of controlled and immutably
+limited types are @i<inherently mutable>. A constant view of
+an object cannot be used to modify its value. The terms constant
+and variable by themselves refer to constant and variable views
+of objects.
+@dinst
+A constant object is @i<known to have no variable views> if it does not have
+a part that is immutably limited, or of a controlled type, private type, or
+private extension.
+
+!corrigendum 6.1.1(22.1/4)
+!AI-0198-1
+!AI-0280-2
+!AI-0422-1
+
+@drepl
+@xbullet<a @fa<predicate> of a @fa<quantified_expression>;>
+@dby
+@xbullet<a name statically denoting a
+full constant declaration which is known to have no variable 
+views (see 3.3);>
+
+!corrigendum 6.1.2(0)
+
+@dinsc
+See the conflict file for the changes.
+
 !ASIS
 
 No ASIS Effect.

Questions? Ask the ACAA Technical Agent