CVS difference for acats/new/testobj.txt

Differences between 1.113 and version 1.114
Log of other versions for file 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