Answer to Question #103952 in Python for Dennis Ekaniyere

Question

Define "precondition" and "postcondition" as part of your description.

Answer 1

postcondition

An assertion that indicates what is to be true at the end of execution of a function body or, more generally, of any sequence of statements.

precondition

An assertion that indicates what is to be true at the beginning of execution of a function body or, more generally, of any sequence of statements.

References:

1. David Gries, Walker White () CS 1110: Introduction to Computing Using Python Spring 2013, Available at: https://www.cs.cornell.edu/courses/cs1110/2013sp/materials/definitions.php#postcondition (Accessed: 27.02.2020.).
2. David Gries, Walker White () CS 1110: Introduction to Computing Using Python Spring 2013, Available at: https://www.cs.cornell.edu/courses/cs1110/2013sp/materials/definitions.php#precondition (Accessed: 27.02.2020.).