Ada Conformity Assessment Authority      Home Conformity Assessment   Test Suite ARGAda Standard
Overview of Ada 2022
Jeff Cousins
Contents   Index   Search   Previous   Next 

3.11 Aspect No_Return for functions

The aspect No_Return may now be specified for functions (Aspect No_Return for functions (AI12-0269), not just procedures (see RM 6.5.1), but the reason that such a function never returns must be that it raises an exception (rather than containing an endless loop). As for procedures, there will be a check at compile time that the function does not contain any explicit return statements, and a check at run-time that it does not run into the final end. 

Contents   Index   Search   Previous   Next 
© 2021, 2022 Jeff Cousins