Aspect Effective_Reads (GNAT Reference Manual) (original) (raw)

Next: Aspect Effective_Writes, Previous: Aspect Disable_Controlled, Up: Implementation Defined Aspects [Contents][Index]

3.13 Aspect Effective_Reads ¶

This aspect is equivalent to pragma Effective_Reads.