Основы объектно-ориентированного программирования

         

Предусловия


Предусловия выражают ограничения, выполнение которых необходимо для корректной работы функции. Здесь:

  • put не может быть вызвана, если стек заполнен;
  • remove и item не могут быть применены к пустому стеку.

Предусловия применяются ко всем вызовам программы, как внутри класса, так и у клиента. Корректная система никогда не вызовет программу в состоянии, в котором не выполняется ее предусловие.



Содержание раздела