Next: , Previous: Aspect Predicate, Up: Implementation Defined Aspects


Aspect Pure_Function

This boolean aspect is equivalent to pragma Pure_Function.