Checked Exceptions do not exist on the JVM.

[Neal Gafter]

On Wed, May 20, 2009 at 11:56 AM, Rémi Forax <forax at univ-mlv.fr> wrote:

> Neal Gafter a écrit :
>
>  On Wed, May 20, 2009 at 11:02 AM, Joseph D. Darcy <Joe.Darcy at sun.com>
>> 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.

Cheers,
Neal