Which term describes the end result expected from a method or function in the program?

• A. Postcondition
• B. Precondition
• C. Readability
• D. Spiral Development

Answer: (A)

Postcondition describes what is guaranteed after a method finishes. It specifies the end state or properties that will hold when the function returns, assuming the preconditions were met. This is the contract about the outcome. For example, a function that adds two numbers will have a postcondition that the returned value equals the sum of the inputs. In contrast, a precondition states what must be true before running the method, readability is about how easy the code is to read, and Spiral Development is a development process model—neither describes the result after execution.