КОНТРАКТ

( набор четко определенных условий, регулирующих отношения между классом-сервером ( supplier) и его клиентами( client); включает индивидуальные контракты для всех экспортируемых членов класса, представленные пред- и постусловиями ( precondition и postcondition), а также глобальные свойства класса, выраженные в инварианте класса ) contract