Next: Aspect Favor_Top_Level, Previous: Aspect Effective_Reads, Up: Implementation Defined Aspects
This aspect is equivalent to pragma Effective_Writes.