Specifications

Sun Services
Java™ Programming Language Module 8, slide 23 of 25
Copyright 2005 Sun Microsystems, Inc. All Rights Reserved. Sun Services, Revision F
Control Flow Invariants
For example:
1 switch (suit) {
2 case Suit.CLUBS: // ...
3 break;
4 case Suit.DIAMONDS: // ...
5 break;
6 case Suit.HEARTS: // ...
7 break;
8 case Suit.SPADES: // ...
9 break;
10 default: assert false : "Unknown playing card suit";
11 break;
12 }