CVS difference for acats/docs/mod_list.txt

Differences between 1.73 and version 1.74
Log of other versions for file acats/docs/mod_list.txt

--- acats/docs/mod_list.txt	2015/01/20 00:49:20	1.73
+++ acats/docs/mod_list.txt	2015/03/20 06:50:35	1.74
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.0
-Version 4.0D
-January 19, 2015
+Version 4.0E
+March 19, 2015
 
 
 What is this?
@@ -10,7 +10,7 @@
 current test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012
 (usually known as "Ada 2012").
 
-ACATS Modification List version 3.1E for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1F for ACATS 3.1 is the current list for that
 test suite. ACATS 3.1 should be used for testing implementations that support
 Amendment 1 (ISO/IEC 8652:1995/AMD 1:2007, often known as "Ada 2005"), and will
 continue to be maintained as necessary for the foreseeable future.
@@ -22,40 +22,57 @@
 
 Changes from the last list:
 
-Test CXAC008 (issued with ACATS Modification List 4.0C) required the wrong file
-size in subtest 8 (and also had some messages with the wrong subtest numbers).
-This test was corrected; this resets its required date to October.
+New test C324003 checks the example found in RM subclause 3.2.4, including the
+use of aspect Predicate_Failure and the evaluation order of predicates.
 
-New test C391003 checks that a type may be extended in a more nested scope than
-the parent type.
+An error in test C433004 was corrected; this changed the required date.
+Similarly, an error in test BDB3A01 was corrected; this changed the required
+date.
+
+New tests C552001 and C552002 test the operation of array component iterators.
+New tests B552001, B552A04, and B552A05 test legality rules for each kind of
+iterator. New tests B551001 and B551002 test legality rules for aspects
+Default_Iterator and Iterator_Element, respectively.
+
+In test B730009, the completion of Priv12 at line 131 violates 7.3(10.1/3); this
+is corrected by adding limited to the full type declaration.
+
+New test B730010 checks that 7.3(10.1/3) is enforced.
+
+Corrected two errors in test B732001. Corrected two errors in CC51010. As these
+are new tests that were issued this quarter, these corrections do not change the
+required date of the test.
+
+New test CA21002 checks that the Pure and Preelaborate aspects can be specified
+with a value imported from another package.
+
+New test CC51011 was removed pending the resolution of AI12-0155-1; the
+operations declared in package Inner necessarily violate the freezing rule that
+all types in a profile that is being frozen are completely defined.
+
+New test CXAG001 checks the use of Ada.Directories. New test CXAG002 checks the
+use of Ada.Directories.Hierarchical_File_Names.
+
+New tests CXAH001, CXAH002, and CXAH003 were missing Applicability Criteria.
+This only changes the header of the test; no Ada code was changed. As these are
+new tests that were issued this quarter, these corrections do not change the
+required date of the tests.
+
+Additional items are added to Impdef to support some of these new tests.
+
+A number of new tests had overlong lines, unintended tab characters, and other
+violations of ACATS test lexical rules. These have been corrected. Some of these
+changes caused the required dates to change. These tests include B3A1008,
+B3A1009, B3A2017, B457004, B480002, B438003, B640001, B732C01, B732C02, BA12017,
+BXAI005, BXAI006, BXAI007, BXAI008, BXAIA03, BXAIA04, C391003, C3A1003, C3A1004,
+C431002, C433002, C433003, C433005, C550001, C640002, C732001, C732A00, C732C00,
+C760015, CB30002, CDB3A01, CXA5016, CXAC008, F732A00, F732C00, and FDB3A00.
+
+A number of existing, older tests had overlong lines, unintended tab characters,
+and other violations of ACATS test lexical rules. These have been corrected.
+Test affected are BDD2004, BDD2005, C540002, C552A01, C552A02, CC30003, CC30004,
+CD30006, and CD30007.
 
-New test B393011 checks the examples from AI05-0068-1.
-
-New tests C3A1003 and C3A1004 check that objects of tagged incomplete types can
-be passed as parameters.
-
-New tests B3A1008, B3A1009, and B3A1010 check that objects with incomplete views
-cannot be used as prefixes.
-
-New tests B457002, B457003, B457004, and B457005 check legality rules for
-conditional expressions.
-
-New tests B480002 and B480003 check 4.8(5.2/3), that a class-wide allocator
-doesn't create an object of a type more local than the access type.
-
-New tests and foundations B732001, B732C01, B732C02, C732001, C732A01, C732C01,
-F732A00, and F732C00 test various objectives for type invariants.
-
-New test C760015 checks that a controlled type can be declared inside a
-subprogram.
-
-New tests CC51010 and CC51011 test using formal incomplete types with actual
-incomplete types and views.
-
-New tests CXAH001, CXAH002, and CXAH003 test the implementation of the package
-Ada.Environment_Variables. The support package IMPDEF was updated to support
-those tests.
-
 New tests posted between January 1, 2015 and March 31, 2015 will become required
 for conformity assessments on October 1, 2015. New tests posted between October
 1, 2014 and December 31, 2014 will become required for conformity assessments on
@@ -129,6 +146,11 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
+C324003 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	Check that predicates are checked in the correct order and that
+	the specified exception is raised.
+
 B393011 [Pending New] New VCS Label: A4_0D
 			Required after 2015-10-01
 	Check that an abstract routine of an abstract partial view
@@ -136,32 +158,37 @@
 	overriding when it is inherited if the private part is not visible
 	where it is inherited.
 
-C391003 [Pending New] New VCS Label: A4_0D
+C391003 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check that a type extension can be declared in a more nested scope
-	than its parent type, and that overridden subprograms of that
-	extension can be dispatched to.
+	[VCS Label A4_0D] Check that a type extension can be declared in
+	a more nested scope than its parent type, and that overridden
+	subprograms of that extension can be dispatched to.
+	[VCS Label A4_0E] Eliminate an overlong line.
 
-C3A1003 [Pending New] New VCS Label: A4_0D
+C3A1003 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check that a dereference of an access-to-tagged-incomplete type
-	can be passed as a parameter.
+	[VCS Label A4_0D] Check that a dereference of an
+	access-to-tagged-incomplete type can be passed as a parameter.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
-C3A1004 [Pending New] New VCS Label: A4_0D
+C3A1004 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check that a parameter of a tagged incomplete type can be passed
-	as a parameter.
+	[VCS Label A4_0D] Check that a parameter of a tagged incomplete
+	type can be passed as a parameter.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
-B3A1008 [Pending New] New VCS Label: A4_0D
+B3A1008 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check that a dereference of an access-to-incomplete type cannot
-	be used as a prefix.
+	[VCS Label A4_0D] Check that a dereference of an
+	access-to-incomplete type cannot be used as a prefix.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
-B3A1009 [Pending New] New VCS Label: A4_0D
+B3A1009 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check that a dereference of an access-to-incomplete view cannot
-	be used as a prefix. Check that a parameter of an incomplete view
-	cannot be used as a prefix.
+	[VCS Label A4_0D] Check that a dereference of an
+	access-to-incomplete view cannot be used as a prefix. Check that
+	a parameter of an incomplete view cannot be used as a prefix.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
 B3A1010 [Pending New] New VCS Label: A4_0D
 			Required after 2015-10-01
@@ -176,16 +203,19 @@
 
 B3A2017 [Pending New] New VCS Label: A4_0C
 			Required after 2015-07-01
-	Check P'Access is not allowed in a generic body if P is declared
-	in the generic (including in the parent of a child or in a formal
-	package) and the access type is a formal type or outside of
-	the generic.
-
-C431002 [Pending New] New VCS Label: A4_0B
-			Required after 2015-07-01
-	Check that a component association of others => <> in a record or
-	extension aggregate may have any number of associated components,
-	including none. (Case 2: Null records and extensions.)
+	[VCS Label A4_0C] Check P'Access is not allowed in a generic body
+	if P is declared in the generic (including in the parent of a
+	child or in a formal package) and the access type is a formal
+	type or outside of the generic.
+	[VCS Label A4_0E] Eliminated overlong lines.
+
+C431002 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Check that a component association of others =>
+	<> in a record or extension aggregate may have any number of
+	associated components, including none. (Case 2: Null records and
+	extensions.)
+	[VCS Label A4_0E] Eliminated overlong line.
 
 B431005 [Pending New] New VCS Label: A4_0B
 			Required after 2015-07-01
@@ -200,30 +230,35 @@
 	variant, the value of the governing discriminant of a variant in
 	a record aggregate cannot be non-static.
 
-C433002 [Pending New] New VCS Label: A4_0B
-			Required after 2015-07-01
-	Check that no array components can be outside of the index subtype
-	for an array aggregate, even when the components are specified
-	by <>.
+C433002 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Check that no array components can be outside
+	of the index subtype for an array aggregate, even when the
+	components are specified by <>.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
 C433003 [Pending New] New VCS Label: A4_0B
 			Required after 2015-07-01
-	Check that for each association with a box in an array aggregate,
-	the component is initialized by default (scalar types with
-	Default_Values).
-
-C433004 [Pending New] New VCS Label: A4_0B
-			Required after 2015-07-01
-	Check that for each association with a box in an array aggregate,
-	the component is initialized by default (array types with
-	Default_Component_Values).
-
-C433005 [Pending New] New VCS Label: A4_0B
-			Required after 2015-07-01
-	Check that the constraint of the constrained array subtype of a
-	function return is used to determine the bounds of an array
-	aggregate with an others choice in the expression of a return
-	statement.
+	[VCS Label A4_0B] Check that for each association with a box in
+	an array aggregate, the component is initialized by default
+	(scalar types with Default_Values).
+	[VCS Label A4_0E] Eliminated overlong lines.
+
+C433004 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Check that for each association with a box in
+	an array aggregate, the component is initialized by default
+	(array types with Default_Component_Values).
+	[VCS Label A4_0E] Object O6 @136 expects the wrong result.
+	Eliminated overlong lines.
+
+C433005 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Check that the constraint of the constrained
+	array subtype of a function return is used to determine the
+	bounds of an array aggregate with an others choice in the
+	expression of a return statement.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
 B457002 [Pending New] New VCS Label: A4_0D
 			Required after 2015-10-01
@@ -234,10 +269,11 @@
 	Check that 'else' cannot be omitted for an if expression if the
 	type of the expression is not a boolean type.
 
-B457004 [Pending New] New VCS Label: A4_0D
+B457004 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check that case choice coverage and staticness are enforced for
-	case expressions.
+	[VCS Label A4_0D] Check that case choice coverage and staticness
+	are enforced for case expressions.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
 B457005 [Pending New] New VCS Label: A4_0D
 			Required after 2015-10-01
@@ -245,32 +281,81 @@
 	conditional expression can be dynamically tagged if the type of
 	the expression is a specific tagged type.
 
-B480002 [Pending New] New VCS Label: A4_0D
+B480002 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check that an initialized allocator for an access type with a
-	class-wide designated type does not create an object whose type
-	is more local than the access type.
+	[VCS Label A4_0D] Check that an initialized allocator for an
+	access type with a class-wide designated type does not create an
+	object whose type is more local than the access type.
+	[VCS Label A4_0E] Eliminated overlong lines and tab characters.
 
-B480003 [Pending New] New VCS Label: A4_0D
+B480003 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check that an uninitialized allocator for an access type with a
-	class-wide designated type does not create an object whose type
-	is more local than the access type.
+	[VCS Label A4_0D] Check that an uninitialized allocator for an
+	access type with a class-wide designated type does not create an
+	object whose type is more local than the access type.
+	[VCS Label A4_0E] Eliminated overlong lines and tab characters.
 
-C550001 [Pending New] New VCS Label: A4_0C
+C540002 [Allowed Modification] New VCS Label: A4_0E Org VCS Label: A4_0
 			Required after 2015-07-01
-	Check that for loops iterate properly over subtypes with static
-	predicates.
+	Eliminated overlong lines.
+
+C550001 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0C] Check that for loops iterate properly over
+	subtypes with static predicates.
+	[VCS Label A4_0E] Eliminated overlong lines.
+
+B551001 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	Check legality rules for aspect Default_Iterator.
+
+B551002 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	Check legality rules for aspect Iterator_Element.
 
-B640001 [Pending New] New VCS Label: A4_0C
+B552001 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	Check legality rules for array component iterators from the 2015
+	Corrigendum.
+
+C552001 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	Check correct operation of array component iterators.
+
+C552002 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	Check correct operation of array component iterators where the
+	array has convention Fortran.
+
+C552A01 [Allowed Modification] New VCS Label: A4_0E Org VCS Label: A4_0
 			Required after 2015-07-01
-	Check that abstract nondispatching operations do not participate
-	in resolution.
+	Eliminated violations of ACATS lexical rules.
 
-C640002 [Pending New] New VCS Label: A4_0C
+C552A02 [Allowed Modification] New VCS Label: A4_0E Org VCS Label: A4_0
 			Required after 2015-07-01
-	Check that an abstract nondispatching operator provides a way
-	to eliminate an unwanted predefined operator.
+	Eliminated violations of ACATS lexical rules.
+
+B552A04 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	Check legality rules for container element iterators (most of
+	the checked rules are from the 2015 Corrigendum).
+
+B552A05 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	Check legality rules for generalized iterators from the 2015
+	Corrigendum).
+
+B640001 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0C] Check that abstract nondispatching operations
+	do not participate in resolution.
+	[VCS Label A4_0E] Eliminated overlong lines and tab characters.
+
+C640002 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0C] Check that an abstract nondispatching operator
+	provides a way to eliminate an unwanted predefined operator.
+	[VCS Label A4_0E] Eliminate overlong lines.
 
 B650005 [Pending New] New VCS Label: A4_0C
 			Required after 2015-07-01
@@ -284,106 +369,153 @@
 	Check that an extended return statement with a constant return
 	object cannot omit the initializing expression.
 
-B732001 [Pending New] New VCS Label: A4_0D
+B730009 [Allowed Modification] New VCS Label: A4_0E Org VCS Label: A4_0
+			Required after 2015-07-01
+	Completion of Priv12 @131 violates 7.3(10.1/3).
+
+B730010 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check various resolution and legality rules for aspect
-	Type_Invariant.
+	Check 7.3(10.1/3).
 
-C732001 [Pending New] New VCS Label: A4_0D
+B732001 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check that assertion checks are made after assignments to and
-	calls with actuals of appropriate view conversions.
+	[VCS Label A4_0D] Check various resolution and legality rules for
+	aspect Type_Invariant.
+	[VCS Label A4_0E] Length @80 should have return type Natural.
+	Changed Is_Valid to Is_Clean @95, 97, 146 so that the inherited
+	routine doesn't come into play.
 
-C732A01 [Pending New] New VCS Label: A4_0D
+C732001 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check that the failure of a Type_Invariant check raises
-	Assertion_Error (constrained array).
+	[VCS Label A4_0D] Check that assertion checks are made after
+	assignments to and calls with actuals of appropriate view
+	conversions.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
-B732C01 [Pending New] New VCS Label: A4_0D
+C732A01 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check that the aspect Type_Invariant can only be specified on
-	private types, private extensions, and full types that complete
-	one of the others.
+	[VCS Label A4_0D] Check that the failure of a Type_Invariant check
+	raises Assertion_Error (constrained array).
+	[VCS Label A4_0E] Eliminated overlong lines.
 
-C732C01 [Pending New] New VCS Label: A4_0D
+B732C01 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check that the failure of a Type_Invariant check raises
-	Assertion_Error (tagged record).
+	[VCS Label A4_0D] Check that the aspect Type_Invariant can only
+	be specified on private types, private extensions, and full types
+	that complete one of the others.
+	[VCS Label A4_0E] Eliminate overlong lines.
 
-B732C02 [Pending New] New VCS Label: A4_0D
+C732C01 [Pending New] New VCS Label: A4_0D
 			Required after 2015-10-01
-	Check that the aspect Type_Invariant'Class can only be specified
-	on private types, private extensions, and interfaces.
+	[VCS Label A4_0D] Check that the failure of a Type_Invariant check
+	raises Assertion_Error (tagged record).
+	[VCS Label A4_0E] Eliminated overlong lines.
+
+B732C02 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0D] Check that the aspect Type_Invariant'Class can
+	only be specified on private types, private extensions, and
+	interfaces.
+	[VCS Label A4_0E] Eliminate overlong lines.
 
 C760014 [Pending New] New VCS Label: A4_0A
 			Required after 2015-04-01
 	Check that Ada.Finalization is declared pure.
 
-C760015 [Pending New] New VCS Label: A4_0D
+C760015 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Check that a controlled type can be declared within a subprogram.
+	[VCS Label A4_0D] Check that a controlled type can be declared
+	within a subprogram.
+	[VCS Label A4_0E] Eliminate overlong lines.
 
-BA12017 [Pending New] New VCS Label: A4_0C
-			Required after 2015-07-01
-	Check that a limited with clause is not allowed on a
-	descendant of the named package.
+BA12017 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0C] Check that a limited with clause is not allowed
+	on a descendant of the named package.
+	[VCS Label A4_0E] Eliminated overlong line.
 
 BA15003 [Pending New] New VCS Label: A4_0C
 			Required after 2015-07-01
 	Check that a library unit pragma must apply to a library unit.
 
+CA21002 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	Check that Pure and Preelaborate aspects can be specified with an
+	object declared in another package.
+
 CB30001 [Pending New] New VCS Label: A4_0B
 			Required after 2015-07-01
 	Check that the optional message parameter is supported in a raise
 	statement, and that the message can be retrieved with
 	Exception_Message.
 
-CB30002 [Pending New] New VCS Label: A4_0B
+CB30002 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Check that the optional message parameter is
+	supported in a raise expression, and that the message can be
+	retrieved with Exception_Message.
+	[VCS Label A4_0E] Eliminated overlong lines and tab characters.
+
+CC30003 [Allowed Modification] New VCS Label: A4_0E Org VCS Label: A4_0
 			Required after 2015-07-01
-	Check that the optional message parameter is supported in a raise
-	expression, and that the message can be retrieved with
-	Exception_Message.
+	Eliminated overlong lines.
+
+CC30004 [Allowed Modification] New VCS Label: A4_0E Org VCS Label: A4_0
+			Required after 2015-07-01
+	Eliminated overlong lines and tab characters.
 
 CC51010 [Pending New] New VCS Label: A4_0D
 			Required after 2015-10-01
-	Check that a generic unit with a tagged incomplete formal type
-	can be instantiated with an incomplete view of a type from a
-	limited withed package, and that operations in the instance can be
-	used normally when the full view of the type is visible.
-
-CC51011 [Pending New] New VCS Label: A4_0D
-			Required after 2015-10-01
-	Check that a generic unit with a tagged incomplete formal type
-	can be instantiated with an incomplete type whose completion is
-	given in a body, and that such instantiations can be passed as
-	actuals to formal packages.
+	[VCS Label A4_0D] Check that a generic unit with a tagged
+	incomplete formal type can be instantiated with an incomplete view
+	of a type from a limited withed package, and that operations in
+	the instance can be used normally when the full view of the type
+	is visible.
+	[VCS Label A4_0E] Added constructor function to generic, as
+	Elem'Unchecked_Access is illegal when Elem is incomplete. Moved
+	body of CC51010_2 so it compiles after another package on which it
+	depends.
 
 BC60001 [Pending New] New VCS Label: A4_0C
 			Required after 2015-07-01
 	Test rules associated with formal subprogram defaults of null.
 
-BDB3A01 [Pending New] New VCS Label: A4_0B
+CD30006 [Allowed Modification] New VCS Label: A4_0E Org VCS Label: A4_0
 			Required after 2015-07-01
-	Test resolution and legality rules for pragma and aspect
-	Default_Storage_Pool.
+	Eliminated overlong lines and tab characters.
 
-CDB3A01 [Pending New] New VCS Label: A4_0B
+CD30007 [Allowed Modification] New VCS Label: A4_0E Org VCS Label: A4_0
 			Required after 2015-07-01
-	Test that aspect Default_Storage_Pool changes the default storage
-	pool for a generic instantiation.
+	Eliminated overlong lines.
 
-BDD2004 [Allowed Modification] New VCS Label: A4_0B Org VCS Label: A4_0
-			Required after 2015-04-01
-	Error @229 is legal by AI12-0121-1.
+BDB3A01 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Test resolution and legality rules for
+	pragma and aspect Default_Storage_Pool.
+	[VCS Label A4_0E] Declaration of Pool @53 is missing the TC_Id
+	discriminant.
 
-BDD2005 [Allowed Modification] New VCS Label: A4_0B Org VCS Label: A4_0
-			Required after 2015-04-01
-	Replaced test cases waiting on AI12-0106-1 (now approved)
-	and made changes required by AI12-0121-1.
+CDB3A01 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Test that aspect Default_Storage_Pool changes
+	the default storage pool for a generic instantiation.
+	[VCS Label A4_0E] Eliminated overlong line.
 
-CXA5016 [Pending New] New VCS Label: A4_0C
+BDD2004 [Allowed Modification] New VCS Label: A4_0E Org VCS Label: A4_0
 			Required after 2015-07-01
-	Check operation of attribute Machine_Rounding.
+	[VCS Label A4_0B] Error @229 is legal by AI12-0121-1.
+	[VCS Label A4_0E] Eliminated overlong lines.
+
+BDD2005 [Allowed Modification] New VCS Label: A4_0E Org VCS Label: A4_0
+			Required after 2015-07-01
+	[VCS Label A4_0B] Replaced test cases waiting on AI12-0106-1 (now
+	approved) and made changes required by AI12-0121-1.
+	[VCS Label A4_0E] Eliminated overlong lines.
+
+CXA5016 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0C] Check operation of attribute Machine_Rounding.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
 CXAA021 [Pending New] New VCS Label: A4_0C
 			Required after 2015-07-01
@@ -409,27 +541,42 @@
 			Required after 2015-07-01
 	Check file operations of Wide_Wide_Text_IO.Wide_Wide_Unbounded_IO.
 
-CXAC008 [Pending New] New VCS Label: A4_0D
+CXAC008 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
 	[VCS Label A4_0C] Check that Stream_IO files opened with mode
 	Out_File are not truncated by Close or Reset.
 	[VCS Label A4_0D] Corrected required file size in subtest 8, and
 	various failure messages.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
-CXAH001 [Pending New] New VCS Label: A4_0D
+CXAG001 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Test that package Environment_Variables can be used to read
-	environment variables.
+	Check that Ada.Directories can be used to create and delete
+	directories.
 
-CXAH002 [Pending New] New VCS Label: A4_0D
+CXAG002 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Test that package Environment_Variables can be used to modify
-	environment variables.
+	Check that Ada.Directories.Hierarchical_File_Names exists and
+	works as expected.
 
-CXAH003 [Pending New] New VCS Label: A4_0D
+CXAH001 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Test the two parameter Value in package Environment_Variables.
+	[VCS Label A4_0D] Test that package Environment_Variables can be
+	used to read environment variables.
+	[VCS Label A4_0E] Added missing Applicability Criteria.
 
+CXAH002 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0D] Test that package Environment_Variables can be
+	used to modify environment variables.
+	[VCS Label A4_0E] Added missing Applicability Criteria.
+
+CXAH003 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0D] Test the two parameter Value in package
+	Environment_Variables.
+	[VCS Label A4_0E] Added missing Applicability Criteria.
+
 BXAI001 [Pending New] New VCS Label: A4_0B
 			Required after 2015-07-01
 	Test that package Hashed_Maps does not allow reverse iterators.
@@ -448,25 +595,29 @@
 	Test that package Bounded_Hashed_Sets does not allow reverse
 	iterators.
 
-BXAI005 [Pending New] New VCS Label: A4_0B
-			Required after 2015-07-01
-	Test that package Hashed_Sets does not allow direct writing of set
-	elements.
+BXAI005 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Test that package Hashed_Sets does not allow
+	direct writing of set lements.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
-BXAI006 [Pending New] New VCS Label: A4_0B
-			Required after 2015-07-01
-	Test that package Ordered_Sets does not allow direct writing of
-	set elements.
+BXAI006 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Test that package Ordered_Sets does not allow
+	direct writing of set elements.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
-BXAI007 [Pending New] New VCS Label: A4_0B
-			Required after 2015-07-01
-	Test that package Bounded_Hashed_Sets does not allow direct
-	writing of set elements.
+BXAI007 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Test that package Bounded_Hashed_Sets does not
+	allow direct writing of set elements.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
-BXAI008 [Pending New] New VCS Label: A4_0B
-			Required after 2015-07-01
-	Test that package Bounded_Ordered_Sets does not allow direct
-	writing of set elements.
+BXAI008 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Test that package Bounded_Ordered_Sets does not
+	allow direct writing of set elements.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
 BXAIA01 [Pending New] New VCS Label: A4_0B
 			Required after 2015-07-01
@@ -478,15 +629,17 @@
 	Test that package Indefinite_Hashed_Set does not allow reverse
 	iterators.
 
-BXAIA03 [Pending New] New VCS Label: A4_0B
-			Required after 2015-07-01
-	Test that package Indefinite_Hashed_Sets does not allow direct
-	writing of set elements.
+BXAIA03 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Test that package Indefinite_Hashed_Sets does
+	not allow direct writing of set elements.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
-BXAIA04 [Pending New] New VCS Label: A4_0B
-			Required after 2015-07-01
-	Test that package Indefinite_Ordered_Sets does not allow direct
-	writing of set elements.
+BXAIA04 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Test that package Indefinite_Ordered_Sets does
+	not allow direct writing of set elements.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
 CXAI027 [Allowed Modification] New VCS Label: A4_0B Org VCS Label: A4_0
 			Required after 2015-04-01
@@ -520,26 +673,33 @@
 
 ===== Support =====
 
-F732A00 [Pending New] New VCS Label: A4_0D
+F732A00 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Foundation for test C732A01.
+	[VCS Label A4_0D] Foundation for test C732A01.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
-F732C00 [Pending New] New VCS Label: A4_0D
+F732C00 [Pending New] New VCS Label: A4_0E
 			Required after 2015-10-01
-	Foundation for tests B732C01, B732C02, and C732C01.
+	[VCS Label A4_0D] Foundation for tests B732C01, B732C02, and
+	C732C01.
+	[VCS Label A4_0E] Eliminated overlong lines.
 
-FDB3A00 [Pending New] New VCS Label: A4_0B
-			Required after 2015-07-01
-	Foundation for test BDB3A01 and CDB3A01.
+FDB3A00 [Pending New] New VCS Label: A4_0E
+			Required after 2015-10-01
+	[VCS Label A4_0B] Foundation for test BDB3A01 and CDB3A01.
+	[VCS Label A4_0E] Eliminated overlong line.
 
-IMPDEF [Allowed Modification] New VCS Label: A4_0D Org VCS Label: A4_0
+IMPDEF [Allowed Modification] New VCS Label: A4_0E Org VCS Label: A4_0
 			Required after 2015-07-01
-	VCS Label A3_1E: Added constants for the names of environment
+	[VCS Label A4_0D] Added constants for the names of environment
 	variables used by tests CXAH001, CXAH002, and CXAH003. Also
-	.AW file constants (these are not used as test source has been
-	provided in UTF-8 format since the release of ACATS 3.0). The
-	change is only needed for those tests, it has no effect on any
-	other tests.
+	removed obsolete .AW file constants (these are not used as test
+	source has been provided in UTF-8 format since the release of
+	ACATS 3.0). The change is only needed for those tests, it has no
+	effect on any other tests.
+	[VCS Label A4_0E] Added a constant and function used by test
+	CXAG001. The change is only needed for those tests, it has no
+	effect on any other tests.
 
 
 
@@ -551,7 +711,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_0D.Zip and Tar files on the ACAA web site.
+Mod_4_0E.Zip and Tar files on the ACAA web site.
 
 Individual new and modified tests can be retrieved from the ACATS VCS. Simply
 navigate to the appropriate directory (folder), and select the test you want.
@@ -580,11 +740,16 @@
 
 (Refer to the main list for details)
 
-BDD2004	2015-04-01
-BDD2005	2015-04-01
+B730009	2015-07-01
+BDD2004	2015-07-01
+BDD2005	2015-07-01
+CC30003	2015-07-01
+CC30004	2015-07-01
+CD30006	2015-07-01
+CD30007	2015-07-01
 CXAI027	2015-04-01
-IMPDEF	2015-07-01 [Only needed for new tests CXAH001, CXAH002,
-                        and CXAH003]
+IMPDEF	2015-07-01 [Only needed for new tests CXAG001, CXAG0002,
+		            CXAH001, CXAH002, and CXAH003]
 
 
 Modified Tests
@@ -612,7 +777,7 @@
 B3A1008	2015-10-01
 B3A1009	2015-10-01
 B3A1010	2015-10-01
-B3A2017	2015-07-01
+B3A2017	2015-10-01
 B431005	2015-07-01
 B431006	2015-07-01
 B457002	2015-10-01
@@ -621,47 +786,56 @@
 B457005	2015-10-01
 B480002	2015-10-01
 B480003	2015-10-01
+B551001	2015-10-01
+B551002	2015-10-01
+B552001	2015-10-01
+B552A04	2015-10-01
+B552A05	2015-10-01
 B640001	2015-07-01
 B650005	2015-07-01
 B650006	2015-07-01
+B730010	2015-10-01
 B732001	2015-10-01
 B732C01	2015-10-01
 B732C02	2015-10-01
-BA12017	2015-07-01
+BA12017	2015-10-01
 BA15003	2015-07-01
 BC60001	2015-07-01
-BDB3A01	2015-07-01
+BDB3A01	2015-10-01
 BXAI001	2015-07-01
 BXAI002	2015-07-01
 BXAI003	2015-07-01
 BXAI004	2015-07-01
-BXAI005	2015-07-01
-BXAI006	2015-07-01
-BXAI007	2015-07-01
-BXAI008	2015-07-01
+BXAI005	2015-10-01
+BXAI006	2015-10-01
+BXAI007	2015-10-01
+BXAI008	2015-10-01
 BXAIA01	2015-07-01
 BXAIA02	2015-07-01
-BXAIA03	2015-07-01
-BXAIA04	2015-07-01
+BXAIA03	2015-10-01
+BXAIA04	2015-10-01
+C324003	2015-10-01
 C3A1003	2015-10-01
 C3A1004	2015-10-01
 C3A2004	2015-07-01
-C431002	2015-07-01
-C433002	2015-07-01
-C433003	2015-07-01
-C433004	2015-07-01
-C433005	2015-07-01
-C550001	2015-07-01
-C640002	2015-07-01
+C431002	2015-10-01
+C433002	2015-10-01
+C433003	2015-10-01
+C433004	2015-10-01
+C433005	2015-10-01
+C550001	2015-10-01
+C552001	2015-10-01
+C552002	2015-10-01
+C640002	2015-10-01
 C732A01	2015-10-01
 C732C01	2015-10-01
 C760014	2015-04-01
 C760015	2015-10-01
+CA21002	2015-10-01
 CB30001	2015-07-01
-CB30002	2015-07-01
+CB30002	2015-10-01
 CC51010	2015-10-01
-CC51011	2015-10-01
-CDB3A01	2015-07-01
+CDB3A01	2015-10-01
 CXA5016	2015-07-01
 CXAA021	2015-07-01
 CXAA022	2015-07-01
@@ -670,11 +844,13 @@
 CXAB004	2015-07-01
 CXAB005	2015-07-01
 CXAC008	2015-10-01
+CXAG001	2015-10-01
+CXAG002	2015-10-01
 CXAH001	2015-10-01
 CXAH002	2015-10-01
 CXAH003	2015-10-01
 F732A00	2015-10-01
 F732C00	2015-10-01
-FDB3A00	2015-07-01
+FDB3A00	2015-10-01
 
 

Questions? Ask the ACAA Technical Agent