text: В объектно-ориентированном программировании контракт метода обычно включает следующую информацию: возможные типы входных данных и их значение; типы возвращаемых данных и их значение; условия возникновения исключений, их типы и значения; присутствие побочного эффекта метода; предусловия, которые могут быть ослаблены (но не усилены) в подклассах; постусловия, которые могут быть усилены (но не ослаблены) в подклассах; инварианты, которые могут быть усилены (но не ослаблены) в подклассах; (иногда) гарантии производительности, например, временная сложность или сложность по памяти.