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