Konvertierung zur spezielleren Expression

Das böse Java-if

if ( A || B ) { ... } else if ( A ) { // dieser Block wird nie ausgeführt } Die Reihenfolge der Blöcke / Bedingungen hat Einfluß auf die Semantik, Die Bedingungen können nicht-disjoint sein.
Anfang weiter