CVS difference for ai05s/ai05-0052-1.txt

Differences between 1.15 and version 1.16
Log of other versions for file ai05s/ai05-0052-1.txt

--- ai05s/ai05-0052-1.txt	2008/11/27 00:08:00	1.15
+++ ai05s/ai05-0052-1.txt	2012/03/27 01:55:18	1.16
@@ -333,6 +333,18 @@
 An ACATS B-Test is needed to check this rule.
+No change is required.
+However, it would be useful to be able to determine the "immutably limited" property
+for a type (many rules depend on this property). Whether this should go in the syntactic
+or semantic interfaces is not clear. For the synactic interface, a function like
+function Is_Immutably_Limited(Definition : in Asis.Definition) return Boolean;
+could be added.
 From private mail of Randy Brukardt replying to a query from Steve Baird

Questions? Ask the ACAA Technical Agent