In a Java or HPJava program, expressions can appear in the context of various kinds of statement. This section enumerates (in gory detail) the transformations of the input program that follow from simplification of those expressions.
