On Wednesday, 5 July 2017 at 20:35:14 UTC, Marco Leise wrote:
Am Wed, 28 Jun 2017 11:04:58 +0000
schrieb Moritz Maxeiner <[email protected]>:
One could also make an exception for bodyless functions and
allow specification of the exception set *only* there, e.g.
---
// Allow "checked exceptions" for stubs only
void foo() throws AException throws BException;
---
Ah, come one, now that you see the need you can also embrace it
as an option for people who want to add some documentation.
After some more consideration I would be amenable to automatic
inference of the exception set as the default with *optional*
manual specification, i.e.
---
void foo() throws AException throws BException { ... }
vod bar() { foo(); }
---
works and bar's exception is inferred by the compiler to contain
AException and BException.
But to be clear (and the title and description of any DIP
addressing this should reflect this):
These are not checked exceptions, because checked exceptions
would require bar to declare its exception set manually.
