Предусловие

Предусловие — условие которое должно обязательно выполняться перед определённым действием, например, перед выполнением метода. Такое условие может проверять корректность входящих данных или корректность состояния объекта.

Предусловие может быть проверено в начале метода через assert или аналогичный механизм.