1.12 Loose Ends

We have nearly finished covering the core ``functional'' subset of Java. Only a few loose ends remain. They include:

• local variables;
• casts and static type checking;
• exceptions; and
• name and method overloading