Checked Exceptions do not exist on the JVM.

Neal Gafter neal at
Wed May 20 13:02:39 PDT 2009

On Wed, May 20, 2009 at 11:56 AM, Rémi Forax <forax at> wrote:

> Neal Gafter a écrit :
>  On Wed, May 20, 2009 at 11:02 AM, Joseph D. Darcy <Joe.Darcy at>
>> wrote:
>>> Additionally, on the point of interfacing with other language in Java,
>>> the possibility of having what are in Java checked exceptions thrown by
>>> the caller argue for Dynamic call sites to be regarded as being able to
>>> throw Exception so that the existing Java semantics and checking can be
>>> preserved.
>> Agreed, though I think you mean that they throw java.lang.Throwable, which
>> is the root of the language's exception hierarchy.
> Neal, why do you want Throwable and not Exception ?
> It the second time you mention it and I don't understand why.

Because a type such as

*class Foo extends Throwable {}

is a checked exception type from the point of view of the Java Programming
Language.  The class Exception isn't special in any way.  See JLS3 sections
11.2 and 11.5.


More information about the coin-dev mailing list