Google lancia Contracts per Java
Contracts per Java è il nuovo strumento open source di Google che permette di implementare più facilmente i contratti in Java. Secondo l’annuncio di Google, questo nuovo strumento è basato sul Modern Jass di Johannes Rieken e ispirato dal linguaggio di programmazione Eiffel. É stato creato da due ingegneri di Google, David Morgan e Andreas Leitner, che hanno utilizzato il 20% del loro tempo.
Secondo Wikipedia il Design for Contracts è:
Un approccio alla progettazione dei software per computer. Stabilisce che i progettatori di software possano definire le specifiche formali, precise e verificabili dell’interfaccia per i componenti del software, che estende la definizione ordinaria del tipo dei dati astratti con precondizoni, postcondizioni e costanti. Queste specifiche si riferiscono ai “contratti” in accordo con la metafora concettuale con le condizioni e obbligazioni dei contratti di affari.
Secondo l’annuncio di Google:
Tradizionalmente i programmatori Java rafforzano le precondizioni utilizzando un codice esplicito per il parametro di validazione nei metodi pubblici e asserzioni in quelli non pubblici. Allo stesso modo rafforzano le costanti e le postcondizioni usando le asserzioni. Questo approccio viene descritto qui nel dettaglio. D’ora in poi, le nuove caratteristiche di Java 5 hanno consentito allo svilupparsi di implementazioni dei contratti più convenienti ed espressivi.