Next: Aspect Unreferenced_Objects, Previous: Aspect Unmodified, Up: Implementation Defined Aspects
This boolean aspect is equivalent to pragma Unreferenced. Note that in the case of formal parameters, it is not permitted to have aspects for a formal parameter, so in this case the pragma form must be used.