Baixe Ada - Rascunho e outras Notas de estudo em PDF para Informática, somente na Docsity!
Importância ADA
A origem da linguagem Ada trouxe para ela grande importância no meio computacional, por se tratar de uma linguagem criada sob encomenda do DoD (Department of Defense – Departamento de Defesa dos Estados Unidos) e linguagem padrão deste, esta passou a ser considerada um exemplo de robustez, passando a ser utilizada também por países aliados aos EUA.
Ada vem como uma linguagem que traz a engenharia de software como uma atividade humana, por isso conta com mecanismos que permitem uma forte verificação de tipos, e tenta minimizar o erro semântico. Ada se tornou um exemplo de linguagem para sistemas de tempo real – aqueles cujo funcionamento não pode parar – pois esta requer um grau de profissionalismo de seus desenvolvedores.
Um exemplo que demonstra a confiança na linguagem Ada é sua utilização nos sistemas de voo do Boeing 777, nos sistemas de ataque do Eurofighter Typhoon e nos sistemas de controle de trafego aéreo de mais de 10 países.
Abstração e Controle de Processos
As estruturas de controle da linguagem Ada se parecem com outras linguagens, porém, com o foco na legibilidade e robustez do código fonte.
Um detalhe de destaque em Ada é que todas as estruturas de controle terminam claramente com “end alguma-coisa”, não deixando em aberto sobre qual estrutura estamos finalizando.
Seletores Bidirecionais
If – Se
Todas declarações do “If” terminam com “End If”. Sintaxe:
if <expressão lógica> then <declarações> end if;
Ou:
if <expressão lógica> then <declarações> else
<declarações> end if;
Ou:
if <expressão lógica> then <declarações> elsif <expressão lógica> then <declarações> elsif <expressão lógica> <declarações> else <declarações> end if;
Exemplo de Uso:
Ada: if idade=18 then idade := 8; end if;
Java: if(idade==18){ idade = 8; }
Muito cuidado ao escrever o elsif, pois este pode confundir com else if.
Seletores Multiplos
Case – Caso
Todas as declarações do “Case” em Ada devem começar com Case e terminar com End Case. É importante que salientar que Ada exige que se cubram todas as possibilidades da expressão seletora (que só pode ser de tipo discreto), caso o “range” (abrangência) seja muito grande, pode se utilizar a clausula “others”, se estas condições não forem atendidas, um erro em tempo de compilação é causado. Sintaxe:
case <expressão (só pode ser discreta)> is when <lista de valores para expressão> => <declarações> when others => <declarações> end case;
loop <declarações> exit -- Opcional. end loop;
Laço While - Enquanto
O laço “while” do Ada é muito similar ao “while” do Pascal, onde a validação é feita antes da execução do laço.
Sintaxe:
while <expressão lógica> loop <declarações> end loop;
Laço For - Para
O laço “for” do Ada também é similar ao “for” do Pascal. Assim como em outras linguagens, o laço for tem várias regras e formas de aplicação.
- O índice deve ser um valor discreto, “float” (real), não serão aceitos.
- A declaração do índice deve ser feita pela linguagem, de forma implícita.
- (^) O índice não poder ser modificado nas declarações do laço.
- O índice inicial deve ser maior que o final, caso contrário, o laço não executará.
Sintaxe:
for <índice> in loop <declarações> end loop;
Caso seja necessária a contagem inversa do alcance, usa-se a palavras reservada “reverse”.
for <índice> in reverse loop <declarações> end loop;
Exit e exit when – Saia e Saia Quando
O “exit” e o “exit when” podem ser utilizados para sair de um laço prematuramente. O “exit” funciona como o comando de saída do C, ou Java. O “exit when” funciona como um comando de saída dentro de um se.
Sintaxe:
loop <declarações> if <expressão lógica> then exit; end if; end loop;
loop <declarações> exit when <expressão lógica>; end loop;
Laços identificados
O comando “exit” normalmente sai do mais próximo laço que se encontra, em Ada, podemos identificar os laços de forma que possamos sair do laço mais distante sem precisar dar vários “exits”.
Sintaxe:
teste_loop: loop <declarações> loop <declarações> exit teste_loop when <expressão lógica>; end loop; end loop teste_loop;
Fontes:
www.adaic.org/whyada/intro.html
http://www.adacore.com/home/ada_answers/lookwho/
ELBERT, Theodore F. Embedded Programming in Ada. 1ª Edição, New York:
