Ada 2005 Reference Manual
Section 5: Statements
A statement defines an action to be performed upon its execution.
This section describes the general rules applicable to all statements. Some statements are discussed in later sections: Procedure_call_statements and return statements are described in 6, “Subprograms”. Entry_call_statements, requeue_statements, delay_statements, accept_statements, select_statements, and abort_statements are described in 9, “Tasks and Synchronization”. Raise_statements are described in 11, “Exceptions”, and code_statements in 13. The remaining forms of statements are presented in this section.