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

Next: Aspect Refined_Global, Previous: Aspect Pure_Function, Up: Implementation Defined Aspects [Contents][Index]

3.44 Aspect Refined_Depends ¶

This aspect is equivalent to pragma Refined_Depends.