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

Next: Aspect Refined_Depends, Previous: Aspect Program_Exit, Up: Implementation Defined Aspects [Contents][Index]

3.46 Aspect Pure_Function ¶

This boolean aspect is equivalent to pragma Pure_Function.