Dada una condición, que debe ser una expresión booleana, la sentencia if ejecuta la secuencia de sentencias asociada si la condición es cierta. Si la condición es falsa, se evalúan sucesivamente las condiciones alternativas asociadas a cada uno de los elsif opcionales, ejecutándose la secuencia de sentencias asociada a la primera que sea cierta. Si ninguna de las condiciones evaluadas es cierta, se ejecuta la secuencia de sentencias asociada al else opcional.
if condición then
sequence_of_statements
elsif condición then
sequence_of_statements}
[else
sequence_of_statements]
end if;
condición ::= boolean_expression
if Día = Domingo then Día := Lunes; end if; |
if Día = Domingo then Día := Lunes; else Día := Semana'Succ (Día); end if; |
if Día = Lunes then Día := Martes; elsif Día = Martes then Día := Miércoles; elsif Día = Miércoles then Día := Jueves; elsif Día = Jueves then Día := Viernes; elsif Día = Viernes then Día := Sábado; elsif Día = Sábado then Día := Domingo; else Día := Lunes; end if; |