" Um conceito revolucionário para se fazer softwares confiáveis, introduzido pela Eiffel e apenas impelmentadaimplementada na Eiffel. A idéia básica é que para fazer software confiável não é suficiente ser "cuidadoso" e utilizar todo tipo de checagem ao longo do código. Uma abordagem mais sistemática é essencial. AtrvésAtravés do conceito de projeto por contrato, você enxerga seu sistema como feito de um número de componentes complementares - as classes em Eiffel - os quais cooperam baseados em deeclaraçõesdeclaraçõ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é-cndiçõescondiçõ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 :
''indexing ... class''
Linha 73:
A pré-condição diz ao cliente:
* "Nem pense em me chamar a se não tiver absoluta certeza de que counter é estritamente positivo"
