CVS difference for ais/ai-00171.txt

Differences between 1.10 and version 1.11
Log of other versions for file ais/ai-00171.txt

--- ais/ai-00171.txt	2000/08/01 05:39:34	1.10
+++ ais/ai-00171.txt	2002/07/23 01:05:23	1.11
@@ -266,10 +266,17 @@
 An extensive set of tests check cases where a constraint contains an enclosing
 discriminant in component_definitions (C37213x and C37215x).
 
-C-Tests should be constructed to check that these rules are enforced on
-per-object constraints in task and protected specifications, and that the
-checks are made when the per-object expression contains a attribute whose
-prefix denotes the current instance of the type.
+Test C380001 was constructed to check that the checks are made when the
+per-object expression contains a attribute whose prefix denotes the current
+instance of the type. (Test, 5-0-3, ARG Letter Ballot, February 2001).
+
+Test C380002 was constructed to check that an expression in a per-object
+discriminant constraint is evaluated once for each named association.
+(Test, 7-0-1, ARG Letter Ballot, February 2001).
+
+Tests C380003 and C380004 were constructed that these rules are enforced
+per-object constraints in task and protected specifications (Test, 5-1-2,
+ARG Letter Ballot, February 2001).
 
 !appendix
 

Questions? Ask the ACAA Technical Agent