@Part(05, Root="ada.mss") @Comment{$Date: 2000/05/26 05:03:27 $} @LabeledSection{Statements} @Comment{$Source: e:\\cvsroot/ARM/Source/05.mss,v $} @Comment{$Revision: 1.13 $} @begin{Intro} @Redundant[A @nt{statement} defines an action to be performed upon its execution.] @Redundant[This section describes the general rules applicable to all @nt{statement}s. Some @nt{statement}s are discussed in later sections: @nt{Procedure_call_statement}s and @nt{return_statement}s are described in @RefSec{Subprograms}. @nt{Entry_call_statement}s, @nt{requeue_statement}s, @nt{delay_statement}s, @nt{accept_statement}s, @nt{select_statement}s, and @nt{abort_statement}s are described in @RefSec{Tasks and Synchronization}. @nt{Raise_statement}s are described in @RefSec{Exceptions}, and @nt{code_statement}s in @RefSecNum{Representation Issues}. The remaining forms of @nt{statement}s are presented in this section.] @end{Intro} @begin{DiffWord83} The description of @nts has been moved to @RefSec{Return Statements}, so that it is closer to the description of subprograms. @end{DiffWord83} @LabeledClause{Simple and Compound Statements - Sequences of Statements} @begin{Intro} @Redundant[A @nt is either simple or compound. A @nt encloses no other @nt. A @nt can enclose @nts and other @nts.] @end{Intro} @begin{Syntax} @Syn{lhs=,rhs="@Syn2{statement} {@Syn2{statement}}"} @Hinge{} @Syn{lhs=,rhs=" {@Syn2{label}} @Syn2{simple_statement} | {@Syn2{label}} @Syn2{compound_statement}"} @tabclear()@tabset(P31) @Syn{lhs=,rhs="@Syn2{null_statement} | @Syn2{assignment_statement} @\| @Syn2{exit_statement} | @Syn2{goto_statement} @\| @Syn2{procedure_call_statement} | @Syn2{return_statement} @\| @Syn2{entry_call_statement} | @Syn2{requeue_statement} @\| @Syn2{delay_statement} | @Syn2{abort_statement} @\| @Syn2{raise_statement} | @Syn2{code_statement}"} @tabclear()@tabset(P31) @Syn{lhs=,rhs=" @Syn2{if_statement} @\| @Syn2{case_statement} | @Syn2{loop_statement} @\| @Syn2{block_statement} | @Syn2{accept_statement} @\| @Syn2{select_statement}"} @Syn{lhs=,rhs="@key{null};"} @Syn{lhs=