Документация

Используйте утверждения

Если вы используете правильность конкретных операторов для вашего кода, то рассматриваете включая эти операторы в коде. Такие операторы называются утверждениями. Утверждения помогают вам помнить особые условия, при которых вы ожидали выполнять свой код. Они могут также помочь другим разработчикам, которые могут должны быть рассмотреть или обновить ваш код.

MuPAD^® позволяет вам использовать проверяемые утверждения. Если вы переключаетесь на специальный режим выполнения вашего кода, система оценивает утверждения в течение времени выполнения. Если утверждение не оценивает к TRUE, система останавливает выполнение кода и выдает ошибку.

Например, эта процедура решает уравнение sin (x) + cos (x) = a ². Предположим, что вы получаете параметр a в результате некоторых расчетов, и вы ожидаете условие быть всегда допустимыми. Используя это условие, вы ожидаете решения быть действительными. Задайте это условие как утверждение при помощи assert:

f := proc(a)
begin
  assert(a^2 <= sqrt(2));
  s := solve(sin(x) + cos(x) = a^2)
end:

Утверждения проверяются только, когда вы запускаетесь, ваш код в специальном режиме вызвал режим проверки аргументов. В противном случае система игнорирует все утверждения. Например, в этом вызове процедуры, MuPAD пропускает утверждение и возвращает следующий комплексный результат:

f(4/3)

Чтобы переключиться на режим проверки аргументов, установите значение testargs к TRUE:

testargs(TRUE):

Теперь, когда вы вызываете процедуру f, MuPAD проверяет утверждение. Для   a = 4/3, утверждение оценивает к FALSE, и осуществление процедуры останавливается с ошибкой:

f(4/3)

Error: Assertion 'a^2 <= sqrt(2)' has failed. [f]

Для   a = 1, утверждение оценивает к TRUE. Вызов процедуры выполнение до завершения и возвращает следующий набор действительных решений:

f(1)

Режим проверки аргументов может замедлить ваши расчеты. Используйте этот режим только в отладке вашего кода. Всегда восстанавливайте testargs к его значению по умолчанию FALSE после того, как вы закончили отлаживать:

testargs(FALSE):