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.
+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