Kāpēc ir svarīgi izmantot līgumus Java?

Java dizains ar Contract (Design by Contract) ir ir svarīgs šādu iemeslu dēļ:

• Uzticamības palielināšana: Contract skaidri definē metožu priekšnosacījumus (preconditions), pēcapstākļus (postconditions) un invariants. Tas ļauj agrāk atklāt kļūdas, nevis ražošanā:
• Koda lasāmības un saprotamības uzlabošana: Contract kalpo kā dokumentācija, skaidri aprakstot gaidāmo uzvedību. Izstrādātājiem ir vieglāk saprast, kā izmantot metodi un kādas garantijas tā sniedz:
• Kļūdu atklāšanas vienkāršošana: Kad kontrakts tiek pārkāpts, sistēma reaģē (piemēram, izmetot izņēmumu), ātri norādot uz problēmas vietu. Tas ievērojami saīsina atkļūdošanas laiku:
• Testēšanas vienkāršošana: Vienību testi tieši pārbauda kontraktus, padarot tos efektīvākus un uzticamākus:
• Mantošanas un polimorfisma atbalsts: Contract palīdz nodrošināt, ka apakšklases pareizi īsteno vecāku uzvedību (Liskov likums). Mantošanas laikā kontraktu pārkāpšana var novest pie neskaidriem kļūdām:

Piemērs, kā izmantot kontraktus (lai gan Java nav dabiskas atbalsta, to var izmantot ar AspectJ vai runtime pārbaudes anotācijām):

// Piemērs ar anotācijām (konceptuāli)
public class Calculator {

    /**
     * @pre a >= 0
     * @pre b >= 0
     * @post result >= 0
     * @post result == a + b
     */
    public int add(int a, int b) {
        // Priekšnosacījumu pārbaude (var būt ar bibliotēku vai manuāli)
        if (a < 0 || b < 0) {
            throw new IllegalArgumentException("Argumenti jābūt nenegatīviem.");
        }

        int sum = a + b;

        // Pēcapstākļu pārbaude (var būt ar bibliotēku vai manuāli)
        if (sum < 0) { // Nerealistiska pēcapstākļa piemērs
             throw new IllegalStateException("Rezultāts jābūt nenegatīvs.");
        }
        if (sum != a + b) { // Pārbaudes piemērs
             throw new IllegalStateException("Rezultāts ir nepareizs.");
        }

        return sum;
    }
}