Aspect Effective_Writes (GNAT Reference Manual)

Next: Aspect Extensions_Visible, Previous: Aspect Effective_Reads, Up: Implementation Defined Aspects [Contents][Index]

3.13 Aspect Effective_Writes ¶

This aspect is equivalent to pragma Effective_Writes.