[Java Spec Report] Exception checking (11.2)

The Java Language Specification says this (11.2):

"A compiler for the Java programming language checks, at compile time,
that a program contains handlers for checked exceptions, by analyzing
which checked exceptions can result from execution of a method or
constructor. For each checked exception which is a possible result,
the throws clause for the method (=A78.4.4) or constructor
(=A78.8.4) must
mention the class of that exception or one of the superclasses of the
class of that exception."

Computing which exceptions "can result from execution of a method or
constructor" is provably equivalent to the halting problem!



------------------------ Yahoo! Groups Sponsor ---------------------~-->
Upgrade to 128-bit SSL Security!
http://us.click.yahoo.com/LPJzrA/yjVHAA/TtwFAA/5cFolB/TM
---------------------------------------------------------------------~->

To unsubscribe from this mailing list, send an email to:
[email protected]
=20
Yahoo! Groups Links

<*> To visit your group on the web, go to:
     http://groups.yahoo.com/group/java-spec-report/

<*> To unsubscribe from this group, send an email to:
     [email protected]

<*> Your use of Yahoo! Groups is subject to:
     http://docs.yahoo.com/info/terms/
=20