Possible Typo JLS8 Section 16.2.15

Hiram Hunt hiramhunt at verizon.net
Thu Sep 8 18:02:59 UTC 2016


Hello,

In JLS8 Section 16.2.15 it says

If a try statement does have a finally block, then these rules also  apply:
• V is definitely assigned after the try statement iff at least one of 
the following
is true:
   – V is definitely assigned after the try block and V is definitely 
assigned after
every catch block in the try statement.
   – V is definitely assigned after the finally block.
   – V is definitely unassigned after a try statement iff V is 
definitely unassigned
after the finally block.

Should the last item, which starts with a "-", instead start
with a round bullet and be indented less to match the other
round bullet items?  Also, for consistency with the item
that does have a round bullet above, should the last item
be changed to say "the try statement" instead of "a try statement"?

-- Hiram Hunt (hiramhunt at verizon.net)



More information about the jls-jvms-spec-comments mailing list