** Next:** Explicit constructor invocation statements
** Up:** Applying the simplify algorithm
** Previous:** for statements
** Contents**
** Index**

###

`return` and `throw` statements

Consider the statement

where is an expression.
As usual,
and are the results of applying
the *simplify* algorithm to . If , i.e. no
simplification is required, the statement is untransformed.
Otherwise the transformed version is

The `throw` statement follows exactly the same pattern.

Bryan Carpenter
2003-04-15