Объяснение предварительных условий и постусловий?

Предварительные условия должны быть истинными, прежде чем вы введете метод, иначе контракт будет аннулирован. Посткоды должны быть истинными после выхода из метода. Извините, я не знаю C#, но если вы знаете Java, этот пример сортировки выбором может помочь. Пример:

public static void selSort(int[] a, int b) {
    //Pre-condition: array a is not null and size of unsorted section is bigger than 1.
    for(int unsortSz = b; unsortSz >1; unsortSz--) {
        int max = 0;
        for (int p = 1; p < unsortSz; p++){
            if (a[p] > a[max]){
                max = p;
            }
        }

        //Post-condition: max is the position of largest element in unsorted part. 

        // now just swap the last element in unsorted part with max
        temp = a[unsortSz-1];
        a[unsortSz] = a[max];
        a[max] = temp;
    }
}

Все это является частью Code Contract. При вводе метода или свойства должны быть соблюдены предварительные условия. Принимая во внимание, что постусловия — это ожидания в момент выхода из кода метода или свойства. Из MSDN

Предварительные условия определяют состояние при вызове метода. Обычно они используются для указания допустимых значений параметров. Все члены, упомянутые в предварительных условиях, должны быть как минимум такими же доступными, как и сам метод; в противном случае предварительное условие может быть понято не всеми вызывающими объектами метода.

Постусловия — это контракты на состояние метода в момент его завершения. Постусловие проверяется непосредственно перед выходом из метода. Поведение невыполненных постусловий во время выполнения определяется анализатором времени выполнения.

Также проверьте эту прекрасную статью Предварительные условия, постусловия: проектирование по контракту для C#

условия перед вызовом метода называются предварительными условиями, такими как имя метода, тип параметров и количество параметров и т. д. постусловия — это условия, которые находятся в конце метода, как метод с возвращаемым типом. int и т. д.