CodeHS Glossary

Precondition JavaScript

Assumptions we make about what must be true before the function is called.

/*
* 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.
*/
function runToFinish(){
    move();
    move();
    move();
    move();
}