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