Miks on oluline kasutada lepinguid Java's?

Java-s Contract disain (Design by Contract) on oluline järgmendest põhjustest:

• Usaldusväärsuse tõstmine: Contractid määratlevad selgelt meetodite eeltingimused (preconditions), järeltulemused (postconditions) ja invariantsid (invariants). See võimaldab vigu varakult avastada, mitte tootmises:
• Koodi loetavuse ja mõistmise parandamine: Contractid toimivad dokumentatsiooni vormina, kirjeldades selgelt oodatavat käitumist. Arendajatel on lihtsam mõista, kuidas meetodit kasutada ja milliseid garantiisid see pakub:
• Vigade avastamise lihtsustamine: Kui contracti rikastakse, reageerib süsteem (näiteks, visates erandi), kiiresti näidates probleemikoha. See oluliselt vähendab silumisaja:
• Testimise lihtsustamine: Ühikutestid saavad otse kontrollida contractide täitmist, muutes need tõhusamaks ja usaldusväärsemaks:
• Päriluse ja polümorfismi tugi: Contractid aitavad tagada, et alamperekonnad õigesti rakendavad ülemklasside käitumist (Liskovi põhimõte). Päriluse ajal võib contractide rikkumine põhjustada arusaamatuid vigu:

Näide contractide kasutamisest (kuigi Java-l puudub loomulik tugi, saab kasutada AspectJ või runtime kontrolli annotations):

// Näide annotations-idega (kontseptuaalselt)
public class Calculator {

    /**
     * @pre a >= 0
     * @pre b >= 0
     * @post result >= 0
     * @post result == a + b
     */
    public int add(int a, int b) {
        // Eeltingimuste kontroll (saab olla raamatukoguga või käsitsi)
        if (a < 0 || b < 0) {
            throw new IllegalArgumentException("Argumentide peab olema mitte-negatiivsed.");
        }

        int sum = a + b;

        // Pärast tingimuste kontroll (saab olla raamatukoguga või käsitsi)
        if (sum < 0) { // Ebareaalne postcondition näide
             throw new IllegalStateException("Tulemus peab olema mitte-negatiivne.");
        }
        if (sum != a + b) { // Kontrolli näide
             throw new IllegalStateException("Tulemus on vale.");
        }

        return sum;
    }
}