The purpose of a method's postcondition is to

1 initialize the local variables of the method.
2 describe the conditions under which the compiler is to stop compilation.
3 describe the conditions under which the method may be called so that it satisfies its postcondition.
4 describe the algorithm used by the method.
5describe the conditions that are true when the method completes.