O comando If

O comando if permite a especificação da execução condicional de comandos. A sintaxe do comando if, adaptada do Ada 95 Reference Manual é exibida a seguir:
::= if then

{ elseif then
}
[else
]
::=

Cada comando IF deve terminar por um end Ii;. A construção elseif está envolva pelos símbolos {}, isto quer dizer que ela pode ocorrer zero, 1, 2,...,n vezes após a cláusula if inicial.
A construção else está envolta pelos símbolos [ ], e isto quer dizer que ela é opcional.
A semântica do comando if estabelece que apenas uma seqüencia de comandos seja executada.