The book specifies all of Javas syntax and semantics. It contains both lexical and syntactic grammars for the language, including a LALR(1) grammar. It describes all aspects of the language as checked by a Java compiler, including the semantics of all types, statements, and expressions. It also covers all aspects of the Java execution model, including exceptions, threads, and binary compatibility. In addition, the book gives specifications for all the types defined in the core packages of Javas Application Programming Interface (API): java.lang, java.io, and java.util.