CVS difference for ais/ai-00108.txt

Differences between 1.14 and version 1.15
Log of other versions for file ais/ai-00108.txt

--- ais/ai-00108.txt	2000/08/01 21:39:37	1.14
+++ ais/ai-00108.txt	2001/03/22 22:24:52	1.15
@@ -306,11 +306,42 @@
 
 !ACATS test
 
-A C-Test to check that the Read and Write attributes of an extension are
-defined as in this issue should be created. It should also check that the
-Input and Output attributes revert to the predefined versions for an extension.
-Tests to check that language-defined nonlimited private types properly support
-'Read and 'Write should also be created.
+Create a C-Test to check that the default value is always used for the
+External_Tag aspect. (No Test, 2-4-2, ARG Letter Ballot, February 2001).
+Such a test would have little value, as the default value is
+implementation-defined.
+
+Create a C-Test to check that the Read, Write, Input, and Output attributes
+are inherited for untagged derived types. (Test, 8-0-0, ARG Letter Ballot,
+February 2001).
+
+Create a C-Test to check that the default Read and Write attributes for a
+type extension are created from the parent type's attribute (which may be
+user-defined) and those for the extension components. (Test, 8-0-0, ARG Letter
+Ballot, February 2001).
+
+Create a B-Test to check that a limited type extension is illegal if
+       -- The parent type has user defined Read or Write attributes; and
+       -- The extension has a limited component which does not
+          have a user-defined Read or Write attribute.
+(Test, 6-0-2, ARG Letter Ballot, February 2001).
+
+Create a C-Test to check that the default Read and Write attributes for a
+limited type extension are created from the parent type's attribute (which
+may be user-defined) and those for the extension components, if the
+extension components are non-limited or have user-defined attributes.
+Check that such limited type extension attributes are callable.
+(Test, 6-0-2, ARG Letter Ballot, February 2001).
+
+Create a C-Test to check that the default Input and Output attributes are
+used for a type extension, even if the parent type's attribute is user-defined.
+(Test, 8-0-0, ARG Letter Ballot, February 2001).
+
+Create a C-Test to check that the stream attributes work for every
+language-defined type. (No Test, 4-2-2 (2/3rd majority required, but not
+achieved), ARG Letter Ballot, February 2001). This would require writing,
+then reading values of each predefined type. Such a test would be very large,
+and probably would not find errors.
 
 !appendix
 

Questions? Ask the ACAA Technical Agent