Definition
while_stm : while ( exp ) outer_stm
Purpose
A while_stm represents a loop that is checked for continuation at the beginning of the loop body. It may never execute, as opposed to the do_stm, which executes the loop body at least once.
Semantics
The exp must be of a boolean-compatible type.
