--- ai05s/ai05-0297-1.txt 2012/03/20 06:17:05 1.3 +++ ai05s/ai05-0297-1.txt 2012/04/03 22:21:06 1.4 @@ -1,4 +1,4 @@ -!standard 3.5.5(7) 12-03-13 AI05-0297-1/02 +!standard 3.5.5(7) 12-03-27 AI05-0297-1/03 !class Amendment 12-02-26 !status Amendment 2012 12-02-26 !status ARG Approved 8-1-1 12-02-26 @@ -41,15 +41,16 @@ S'First_Valid S'First_Valid denotes the smallest value that belongs to S and - satisfies any predicate of S. + satisfies the predicate of S. The value of this attribute is of the type of S. S'Last_Valid S'Last_Valid denotes the largest value that belongs to S and - satisfies any predicate of S. + satisfies the predicate of S. The value of this attribute is of the type of S. [Redundant: First_Valid and Last_Valid attribute_references are always static - expressions. Any predicate of S is always a static predicate.] + expressions. Any explicit predicate of S can only have been specified by a + Static_Predicate aspect.] AARM Reason: We require there to be at least one value so that these are always values of @@ -107,13 +108,14 @@ @xhang<@xterm<S'First_Valid> S'First_Valid denotes the smallest value that belongs to S and -satisfies any predicate of S. The value of this attribute is of the type of S.> +satisfies the predicate of S. The value of this attribute is of the type of S.> @xhang<@xterm<S'Last_Valid> S'Last_Valid denotes the largest value that belongs to S and -satisfies any predicate of S. The value of this attribute is of the type of S.> +satisfies the predicate of S. The value of this attribute is of the type of S.> First_Valid and Last_Valid @fa<attribute_reference>s are always static -expressions. Any predicate of S is always a static predicate. +expressions. Any explicit predicate of S can only have been specified by a +Static_Predicate aspect. !ACATS Test

Questions? Ask the ACAA Technical Agent