In una pagina dodici di "Concurrency Java in pratica" c'è una frase
"A good specification defines invariants constraining an object's state and post - conditions describing the effect of its operation."
Più o meno I undersand la frase fino alla parola "post" , poi diventa un garbage.
Puoi aiutare per favore?
Forse la spaziatura è confusa. L'ultima parte della frase dovrebbe leggere "post-condizioni che descrivono l'effetto della sua operazione", o cosa deve essere vero circa lo stato dell'oggetto dopo il completamento di una chiamata di metodo (o qualsiasi altro blocco di codice).
Post-condizioni , insieme a precondizioni e invarianti , sono frequentemente utilizzate in progettare per contratto . Avere una specifica formale aiuta a capire la concorrenza e gli effetti collaterali di una chiamata di metodo. È anche utile per stabilire il codice di test e le asserzioni.
Leggi altre domande sui tag java