-
Английский
-
Русский
-
Германский
-
Английский
-
Русский
-
Германский
Postcondition
UK
/ˌpəʊst.kənˈdɪʃ.ən/
US
/ˌpoʊst.kənˈdɪʃ.ən/
Перевод слова "postcondition" на Русский язык
postcondition
Существительное
UK
/ˌpəʊst.kənˈdɪʃ.ən/
US
/ˌpoʊst.kənˈdɪʃ.ən/
postcondition
postconditions множ.
The postcondition of the function ensures that the result is always positive.
Постусловие функции гарантирует, что результат всегда положительный.
Опеределения
postcondition
Существительное
UK
/ˌpəʊst.kənˈdɪʃ.ən/
US
/ˌpoʊst.kənˈdɪʃ.ən/
A condition or set of conditions that must be true after the execution of a function or operation in programming.
The postcondition for the function ensures that the output list is sorted in ascending order.
Идиомы и фразы
check postcondition
It's important to check postconditions to ensure the program behaves correctly.
проверять постусловие
Важно проверять постусловия, чтобы убедиться, что программа ведет себя правильно.
verify postcondition
Developers should verify postconditions during testing.
проверять постусловие
Разработчики должны проверять постусловия во время тестирования.
satisfy postcondition
The function must satisfy the postcondition to be considered correct.
удовлетворять постусловие
Функция должна удовлетворять постусловию, чтобы считаться правильной.
define postcondition
Before starting, define postconditions to guide the process.
определять постусловие
Перед началом определите постусловия, чтобы направить процесс.
violate postcondition
If the program violates the postcondition, it may lead to errors.
нарушать постусловие
Если программа нарушает постусловие, это может привести к ошибкам.
postcondition holds
If the postcondition holds after the function executes, the program is correct.
постусловие выполняется
Если постусловие выполняется после выполнения функции, то программа правильная.
postcondition fails
When the postcondition fails, an error is reported.
постусловие не выполняется
Когда постусловие не выполняется, сообщается об ошибке.
assert postcondition
Developers often assert postcondition at the end of a method.
утверждать постусловие
Разработчики часто утверждают постусловие в конце метода.
evaluate postcondition
It is important to evaluate postcondition to ensure the correct output.
оценивать постусловие
Важно оценивать постусловие, чтобы гарантировать правильный результат.
derive postcondition
You can derive the postcondition from the method logic.
выводить постусловие
Вы можете вывести постусловие из логики метода.