Postcondition

In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself. Often, postconditions are simply included in the documentation of the affected section of code.

单词	postcondition
释义	postcondition /ˌpəustkən'diʃən/ 英汉-汉英词典后[置]条件词组 \| 习惯用语您要查找的是不是： precondition n. 前提, 先决条件 postconsonantal adj. 辅音后的 postcondition 后置条件网络短语: Strongest postcondition 最强后置条件 program postcondition 程序后置条件 hypothermia postcondition 低温后适应英语百科 Postcondition In computer programming, a postcondition is a condition or predicate that must always be true just after the execution of some section of code or after an operation in a formal specification. Postconditions are sometimes tested using assertions within the code itself. Often, postconditions are simply included in the documentation of the affected section of code.
随便看	permission denied的意思 permission的意思 permission indication的意思 permissionist的意思 permission legislation的意思 permissionless的意思 permission lever的意思 permission log的意思 Permission marketing的意思 permission object的意思 permissions的意思 permission slip的意思 permission to build的意思 permission to deal的意思 Permission to Land的意思 permission to take off的意思 permission vector的意思 permissive的意思 permissive action的意思 Permissive Action Link的意思 permissive action link device的意思 permissive aspect的意思 permissive atmosphere的意思 Permissive block的意思 permissive block signal的意思

postcondition /ˌpəustkən'diʃən/

您要查找的是不是：

网络短语:

Postcondition