Next: Pure_Barriers, Previous: No_Unchecked_Deallocation, Up: Partition-Wide Restrictions [Contents][Index]
[GNAT] This restriction ensures at compile time that there are no references to the entity given in the form
No_Use_Of_Entity => Name
where Name
is the fully qualified entity, for example
No_Use_Of_Entity => Ada.Text_IO.Put_Line