eiffel-1-trabalho [CLP - BCC/UFPEL]
Trace: • eiffel-1-trabalho
Projeto por Contratos
Juan Carlos Domingues Nachtigall
A linguagem Eiffel foi concebida pela Eiffel Software (então conhecida como ISE) em 1985, inicialmente como uma ferramenta interna para desenvolver diversas aplicações próprias. Os engenheiros de software da Eiffel necessitavam de um poderoso ambiente para integrar os modernos conceitos da engenharia de software e orientação a objetos e não havia simplesmente nada disponível. Por esta razão, o Dr. Bertrand Meyer, fundador da Eiffel Software, concebeu o compilador Eiffel 1. Ele foi apresentado ao público na primeira The International Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA) em outubro de 1986, onde ele atraiu considerável atenção, levando o Dr. Meyer a divulgá-lo como um produto comercial, no final de 1986.
Eiffel é uma Linguagem de Programação avançada, puramente orientada a objeto que enfatiza o projeto e construção de software reusável e de alta qualidade. Toda a estrutura da programação em Eiffel é baseada em classes, sua sintaxe é similar ao PASCAL e ALGOL.
Linguagem puramente orientada a objetos;
Definição única de dados: a Classe;
Projeto por Contrato;
Gerenciamento de memória automática, normalmente implementado por coleta de lixo (garbage collection);
Herança, incluindo herança múltipla;
Tipagem Estática (em tempo de compilação);
Separador-livre, a medida em que pontos e vírgulas são opcionais;
Não é case sensitive (não diferencia maiúsculas de minúsculas), favorece bastante a sua redigibilidade.
Eiffel tem apenas seis instruções de execução básicas:
Escolha (case)
Ao contrário de muitas outras linguagens Orientada Objeto, mas similar ao SmallTalk, Eiffel não permite modificar campos de objetos que não sejam do objeto atual. O mesmo ocorre com variáveis locais da rotina atual. Quaisquer modificações em outros objetos devem ser feitas através de seus respectivos métodos.
A sintaxe Eiffel é um conjunto de regras que descrevem a estrutura textual das classes. Um sistema ou programa Eiffel é um coleção de classes. Acima do nível de classes, Eiffel define cluster, que são essencialmente um grupo de classes e, possivelmente, de subclusters (clusters aninhados). Os clusters não são uma construção sintática da linguagem, mas sim um padrão organizacional. Tipicamente uma aplicação Eiffel será organizada com cada classe em um arquivo separado, e cada cluster em um diretório que contém arquivos de classe. Nesta organização, os subclusters são subdiretórios. Por exemplo, pelo padrão organizacional, X é um nome de um arquivo que define uma classe denominada X.
As palavras reservadas presentes na linguagem Eiffel são:
agent class elseif from local or select Void
alias convert end frozen loop Precursor separate when
all create ensure if not redefine then xor
and Current expanded implies note rename True
as debug export inherit obsolete require TUPLE
assign deferred external inspect old rescue undefine
attribute do False invariant once Result until
check else feature like only retry variant
Um método de construção de software que projeta os componentes de um sistema para que eles cooperem com base precisamente definido por contratos. Através do conceito de projeto por contrato, você enxerga seu sistema como feito de um número de componentes complementares os quais cooperam baseados em declarações precisas de obrigações e benefícios mútuos: contratos, assim como contratos entre cliente e empresa. Eiffel obriga diretamente o projeto por contrato através de construções como class invariants , pré-condições e pós-condições.
Admita por exemplo, que nós queremos que nossos contadores sejam sempre não negativos. A classe terá agora uma invariante:
E a feature decremento agora necessita de uma pré-condição, para certificar-se de que o cliente não realiza uma operação ilegal. A palavra-chave require inicia a pré-condição.
item := item -1
"Nem pense em me chamar se não tiver absoluta certeza de que counter é estritamente positivo"
"Se você for um bom garoto (cumpriu a pré-condição), aqui está o que eu prometo fazer para você quando retornar: eu irei decrementar counter em uma unidade."
Pré-condições, pós-condições e invariantes são chamadas asserções. "
Segundo a Sun: "Uma asserção é um comando contendo uma expressão booleana que o programador acredita ser verdadeira no momento que o comando é executado". Ou seja, a asserção é um recurso da linguagem para testar as suposições feitas pelo programador dentro do código.