16.3. Definite Assignment and Parameters
• A formal parameter V of a method or constructor (§8.4.1, §8.8.1) is definitely assigned (and moreover is not definitely unassigned) before the body of the method or constructor.
• An exception parameter V of a catch
clause (§14.20) is definitely assigned (and moreover is not definitely unassigned) before the body of the catch
clause.
Get The Java® Language Specification, Java SE 7 Edition, Fourth Edition now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.