Sentencias

Explicación

Una sentencia define una acción que será realizada cuando la sentencia se ejecute. Una sentencia puede ser: simple, si no engloba otras sentencias, o compuesta, si engloba otras sentencias.

La sentencia nula (null_statement) sirve para no hacer nada.

Las sentencias pueden ir acompañadas de etiquetas (label) que las identifiquen.

Sintaxis

sequence_of_statements ::= statement {statement}

statement ::= 
   {label} simple_statement | {label} compound_statement

simple_statement ::= null_statement
   | assignment_statement | exit_statement
   | goto_statement | procedure_call_statement
   | simple_return_statement | entry_call_statement
   | requeue_statement | delay_statement
   | abort_statement | raise_statement
   | code_statement

compound_statement ::= 
     if_statement | case_statement
   | loop_statement | block_statement
   | extended_return_statement
   | accept_statement | select_statement

null_statement ::= null;

label ::= <<label_identifier>>