CVS difference for acats/new/testobj.txt
--- acats/new/testobj.txt 2016/02/05 05:43:26 1.113
+++ acats/new/testobj.txt 2016/02/25 05:53:40 1.114
@@ -1153,6 +1153,33 @@
expression for an inherited class-wide precondition or postcondition
expression would be illegal.
+B611007
+
+Check that Pre'Class and Post'Class cannot be specified for an entry of
+an untagged task or protected type.
+
+Check that Pre'Class and Post'Class cannot be specified for a protected
+subprogram of an untagged protected type.
+
+B611008
+
+Check F'Result rules:
+ (1) The prefix of a Result attribute cannot be a procedure or entry.
+ (2) The prefix of a Result attribute cannot be an object.
+ (3) The prefix of a Result attribute cannot be a type, package, task,
+ or protected type.
+ (4) F'Result is not allowed in the postcondition expression for
+ some other function.
+ (5) F'Result is not allowed in a precondition expression for F.
+
+B611009
+
+Check that F'Result is not allowed in the body of F, including in a
+pragma Assert.
+
+Check that F'Result is not allowed in the postcondition expression for
+a nested function.
+
B640001
Check that an abstract nondispatching operation is not considered for
Questions? Ask the ACAA Technical Agent