precondition (предусловие)

Ограничение, которое должно соблюдаться перед вызовом операции.

Семантика

Предусловие представляет собой логическое выражение, которое должно быть истинно перед вызовом операции. Ответственность за соблюдение предусловия лежит на источнике вызова. Это не то условие, которое должен проверять получатель вызова. Предусловие отличается от сторожевого условия - оно должно быть истинным, в то время как сторожевое условие задает опциональность выполнения операции. Иногда лучше проверить предусловие до начала операции, однако это скорее относится к отладке программы. Предусловие должно быть истинно, все прочие варианты означают ошибку в программном коде. Если предусловие не удовлетворено, то операцию или систему нельзя считать цельной, поскольку она может вообще не сработать. На практике же, если проверять предусловие в получателе вызова, можно обнаружить большое количество ошибок.
См. invariant; postcondition.

Структура

Предусловие моделируют в виде ограничения со стереотипом "precondition", который прикрепляется к операции.

Нотация

Предусловие изображается в виде примечания, имеющего ключевое слово "precondition". Примечание прикрепляется к операции.

Пример

На рис. 147 изображено предусловие для операции произведения матриц.