Aspect Effective_Writes (GNAT Reference Manual)

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

3.14 Aspect Effective_Writes ¶

This aspect is equivalent to pragma Effective_Writes.