Chapter Summary

Section 6.13 Chapter Summary

A repetition structure is a control structure that allows a statement or sequence of statements to be repeated.
All loop structures involve three elements—an initializer, a loop entry condition or a loop boundary condition, and an updater.
When designing a loop, it is important to analyze the loop structure to make sure that the loop bound will eventually be satisfied.
The for statement has the following syntax:
```
for (  initializer ;  loop entry condition ; updater )
{  
    for loop body 
}
```
A summary of various loop bounds:

Bound Example

Counting k \(\lt\) \(100\)

Sentinel input != 9999

Flag done != true

Limit amount \(\lt\) \(0.5\)

The while statement takes the following form:

while ( loop entry condition )
{
    loop body
}

The do-while statement has the following general form:
```
do
{ 
    loop body 
} while ( loop condition );
```
When designing a loop, it is important to analyze the loop structure to make sure that the loop bound will eventually be satisified. The table below summarizes the types of loop bounds that we have identified.
Structured programming is the practice of writing programs that are built up from a small set of predefined control structures—the sequence, selection, repetition, and method-call structures. An important feature of these structures is that each has a single entry and exit.
A precondition is a condition that must be true before a certain code segment executes. A postcondition is a condition that must be true when a certain code segment is finished. Preconditions and postconditions should be used in the design, coding, documentation, and debugging of algorithms and methods.