Unit 6: Methods, Parameters, Return Values, and Scope

Methods are where a growing program begins to develop structure.

A good method has a job that can be stated without reading every line inside it. Its parameters define incoming information. Its return value or visible effect defines what it produces. Local variables belong to its internal implementation.

This unit ends with Checkpoint 2: you will turn a requirement into an algorithm, divide it into methods, prove loop termination, and test boundary cases.