Aspect Always_Terminates (GNAT Reference Manual)

Next: Aspect Annotate, Previous: Aspect Abstract_State, Up: Implementation Defined Aspects [Contents][Index]

3.2 Aspect Always_Terminates ¶

This boolean aspect is equivalent to pragma Always_Terminates.