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

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

3.43 Aspect Pure_Function ¶

This boolean aspect is equivalent to pragma Pure_Function.