Kodėl svarbu naudoti sutartis Java?

Java kalbant apie Contract dizainą (Design by Contract), tai svarbu dėl šių priežasčių:

• Patikimumo didinimas: Contract aiškiai apibrėžia metodų išankstinius (preconditions), galutinius (postconditions) ir invariants. Tai leidžia anksti aptikti klaidas, o ne gamybos metu:
• Kodo skaitomumo ir supratimo gerinimas: Contract veikia kaip dokumentacija, aiškiai apibūdina tikėtiną elgesį. Kūrėjams lengviau suprasti, kaip naudoti metodą ir kokias garantijas jis teikia:
• Klaidų aptikimo palengvinimas: Kai kontraktas pažeidžiamas, sistema reaguoja (pavyzdžiui, išmetant išimtį), greitai nurodydama problemos vietą. Tai žymiai sutrumpina derinimo laiką:
• Testavimo palengvinimas: Vienetų testai gali tiesiogiai tikrinti kontraktų vykdymą, todėl jie tampa efektyvesni ir patikimesni:
• Paveldėjimo ir polimorfizmo palaikymas: Contract padeda užtikrinti, kad pogrupiai teisingai įgyvendina tėvų elgesį (Liskov principas). Paveldėjimo metu kontraktų pažeidimas gali sukelti neaiškių klaidų:

Pavyzdys, kaip naudoti kontraktus (nors Java neturi natūralios paramos, galima naudoti AspectJ ar runtime tikrinimo anotacijas):

// Pavyzdys su anotacijomis (konceptualus)
public class Calculator {

    /**
     * @pre a >= 0
     * @pre b >= 0
     * @post result >= 0
     * @post result == a + b
     */
    public int add(int a, int b) {
        // Prekondicijų tikrinimas (galima naudoti biblioteką arba rankiniu būdu)
        if (a < 0 || b < 0) {
            throw new IllegalArgumentException("Argumentai turi būti ne neigiamai.");
        }

        int sum = a + b;

        // Postkondicijų tikrinimas (galima naudoti biblioteką arba rankiniu būdu)
        if (sum < 0) { // Pavyzdinis nereali postkondicija
             throw new IllegalStateException("Rezultatas turi būti ne neigiamas.");
        }
        if (sum != a + b) { // Tikrinimo pavyzdys
             throw new IllegalStateException("Rezultatas neteisingas.");
        }

        return sum;
    }
}