Java-da müqavilələrdən istifadə etmək niyə vacibdir?

Java-da Contract dizaynı (Design by Contract) aşağıdakı səbəblərə görə vacibdir:

• Etibarlılığı artırmaq: Contractlar metodlar üçün ön şərtləri (preconditions), sonrası şərtləri (postconditions) və invariantsləri açıq şəkildə müəyyən edir. Bu, səhvləri inkişafın erkən mərhələlərində tapmağa imkan verir, istehsalda deyil.
• Kodun oxunaqlığını və anlaşılmasını yaxşılaşdırmaq: Contractlar sənəd kimi xidmət edir, metodun gözlənilən davranışını aydın şəkildə təsvir edir. İnkişafçılar metodun necə istifadə olunacağını və hansı zəmanətləri verdiyini daha asan başa düşürlər.
• Debug etməyi asanlaşdırır: Contract pozulduqda, sistem (məsələn, istisna ataraq) tez bir zamanda problemi göstərir. Bu, debug vaxtını əhəmiyyətli dərəcədə azaldır.
• Testlərin effektivliyini artırır: Birlik testləri birbaşa contractların icrasını yoxlaya bilər, bu da onları daha səmərəli və etibarlı edir.
• Miras və çox formallıq dəstəyi: Contractlar alt siniflərin super sinifdə müəyyən edilmiş davranışı düzgün həyata keçirməsini təmin etməyə kömək edir (Liskov qaydası). Miras zamanı contractların pozulması gözlənilməz səhvlərə səbəb ola bilər.

Contractların istifadəsinə nümunə (Java-da yerli dəstək olmadığı üçün, AspectJ və ya runtime yoxlaması ilə anotasiya kimi kitabxanələr istifadə oluna bilər):

// Anotasiya istifadə edilərək nümunə (konseptual)
public class Calculator {

    /**
     * @pre a >= 0
     * @pre b >= 0
     * @post result >= 0
     * @post result == a + b
     */
    public int add(int a, int b) {
        // Ön şərtlərin yoxlanması (kitabxana və ya əl ilə həyata keçirilə bilər)
        if (a < 0 || b < 0) {
            throw new IllegalArgumentException(" arqumentlər mənfi olmamalıdır.");
        }

        int sum = a + b;

        // Son şərtlərin yoxlanması (kitabxana və ya əl ilə həyata keçirilə bilər)
        if (sum < 0) { // Demonstrasiya üçün qeyri-real nümunə
             throw new IllegalStateException("Nəticə mənfi olmamalıdır.");
        }
        if (sum != a + b) { // Bərabərlik yoxlaması nümunəsi
             throw new IllegalStateException("Nəticə düzgün deyil.");
        }

        return sum;
    }
}