CodeHS Glossary

Postcondition Java

What should be true after a method is called.

Postconditions should be written in the comment above the method:

/*
* Precondition: Karel has just jumped the
* last hurdle, and is facing east.
* Postcondition: Karel is all of the way
* at the end of the world.
*/
private void runToFinish(){
    move();
    move();
    move();
    move();
}