Java mendokumentasikan asumsi

if (i % 2 == 0) {
    ...
} else { // We know (i % 2 == 1)
    ...
}
SAMER SAEID