Post-condition

post-condition (также postcondition) – постусловие в программировании – условие, выполнение которого должно гарантироваться при возврате из процедуры (метода в ООП) в вызывающую программу, если при входе в неё выполнялось предусловие. Пример: A description of post-conditions that describe any side effects of invoking the method – описание постусловий, поясняющих любые побочные эффекты исполнения данных методов (ср. pre-condition).