The Java Language Specification, Third Edition

15.7.2 Evaluate Operands before Operation EXPRESSIONS
416
evaluated, thereby setting the variable to 3. It is not permitted for either example
to produce the result 6. Note that both of these examples have unspecified behavior
in C, according to the ANSI/ISO standard.
If evaluation of the left-hand operand of a binary operator completes abruptly,
no part of the right-hand operand appears to have been evaluated.
Thus, the test program:
class Test {
public static void main(String[] args) {
int j = 1;
try {
int i = forgetIt() / (j = 2);
} catch (Exception e) {
System.out.println(e);
System.out.println("Now j = " + j);
}
}
static int forgetIt() throws Exception {
throw new Exception("I’m outta here!");
}
}
prints:
java.lang.Exception: I'm outta here!
Now j = 1
That is, the left-hand operand forgetIt() of the operator / throws an exception
before the right-hand operand is evaluated and its embedded assignment of 2
to j occurs.
15.7.2 Evaluate Operands before Operation
DRAFT
The Java programming language also guarantees that every operand of an operator
(except the conditional operators &&, ||, and ?:) appears to be fully evaluated
before any part of the operation itself is performed.
If the binary operator is an integer division / (§15.17.2) or integer remainder
% (§15.17.3), then its execution may raise an ArithmeticException, but this
exception is thrown only after both operands of the binary operator have been
evaluated and only if these evaluations completed normally.
So, for example, the program:
class Test {
public static void main(String[] args) {
int divisor = 0;
try {