postcondition

Englisch - Englisch

Definition von postcondition im Englisch Englisch wörterbuch

A condition that must be met immediately after execution of some piece of code

(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

returns true iff the dictionary contains the value

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

A predicate that must be true at the end of a method (provided that the preconditions were true at the beginning)

puts key-value pair in Dictionary, returns old value

The dictionaryNode has been CAPACITY, link[] ,fileFormat, Data(character or digit) and NumOfChild

A constraint that must be true at the completion of an operation

An constraint that must be true at the completion of an operation

What is true after something has happened Typically indicates something that has changed Contrast precondition

Etymologie

() post- +‎ condition