Next: do statements
Up: Applying the simplify algorithm
Previous: if, switch, and synchronized
We consider the statement
where is an expression and is a statement.
and be the results of applying
the simplify algorithm to . If ,
the transformed version is just
where is the pre-translated version of .
Otherwise the transformed version is