Next: Aspect Effective_Writes, Previous: Aspect Dimension_System, Up: Implementation Defined Aspects [Contents][Index]
This aspect is equivalent to pragma Effective_Reads.