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.
Wikipage redirect
Advertised promiseAssertion (software development)Assertion definition languageAxiomatic semanticsBehavioral subtypingClass invariantDafnyDefensive programmingDesign by contractEiffelStudioEiffel (programming language)Extended static checkingFormal methodsGOAL agent programming languageGlossary of computer scienceHoare logicJava Modeling LanguageLiskov substitution principleList of tools for static code analysisLoop invariantMALPAS Software Static Analysis ToolsetMethod overridingMicrosoft and open sourceOak (programming language)ParaSail (programming language)Post-conditionPostconditionsPraspelPreconditionPredicate transformer semanticsPython syntax and semanticsRefinement (computing)Refinement typeSPARK (programming language)Semantics (computer science)SofCheck InspectorStack-oriented programmingStructural synthesis of programsTest caseUbercode
Link from a Wikipage to another Wikipage
primaryTopic
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.
has abstract
En programación, una postcondi ...... debe ser mayor o igual que 1.
@es
In computer programming, a pos ...... square be equal to the input.
@en
In programmazione, una postcon ...... quadrato sia uguale all'input.
@it
Пі́сляумова, в програмуванні т ...... в так званих модульних тестах.
@uk
在计算机编程中,后置条件指在执行一段代码后必须成立的条件或谓词。 例如,阶乘的结果应该是大于等于1的整数。
@zh
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,003,975,312
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
type
comment
En programación, una postcondi ...... espondiente sección de código.
@es
In computer programming, a pos ...... the affected section of code.
@en
In programmazione, una postcon ...... l relativo segmento di codice.
@it
Пі́сляумова, в програмуванні т ...... в так званих модульних тестах.
@uk
在计算机编程中,后置条件指在执行一段代码后必须成立的条件或谓词。 例如,阶乘的结果应该是大于等于1的整数。
@zh
label
Nachbedingung (Informatik)
@de
Postcondición
@es
Postcondition
@en
Postcondizione
@it
Післяумова (формальні методи)
@uk
后置条件
@zh