jml

9calore

2risposta

Perché JML non è implementato come annotazioni in Java?

Contrariamente ai contratti di codice in C#, nel codice JML I contratti sono solo testo che viene utilizzato sotto forma di commenti nell'intestazione di un metodo. Non sarebbe meglio averli esposti c

java design-by-contract jml 2010-03-18

---