Which of the following statements describes one aspect of a postcondition?
A) A logical condition in a program that you believe to be true.
B) A guarantee that the object is in a certain state after the method call is completed.
C) A requirement that the caller of a method must meet.
D) A set of criteria defined by the caller of a method.

Question

Quizplus · Accepted Answer

A postcondition is a guarantee that the object is in a certain state after the method call is completed, ensuring the method has achieved its intended effect.

Which of the Following Statements Describes One Aspect of a Postcondition