Next: Aspect Effective_Writes, Previous: Aspect Disable_Controlled, Up: Implementation Defined Aspects
This aspect is equivalent to pragma Effective_Reads.