CVS difference for 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.
 
+!ASIS
+
+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.
+
 !appendix
 
 From private mail of Randy Brukardt replying to a query from Steve Baird