(Bilgisayar) 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
what must be try after a function executes Usually applies to the output data or data members of a class With the pre-condition forms a contract between the writer of a function and the user of that function
an assertion that must hold following the successful execution of the associated function (e g , use case path, class method) See also invariant and precondition