История изменений
Исправление Leron, (текущая версия) :
Хм, в примере проверка исключений действительно в текущем виде работать не будет. Нужно добавить требование что бы у вызываемых функций была спецификация исключений.
запретить throws * для public-методов public-классов.
Я про это тоже подумал, тут есть другой вариант - падать с ошибкой при попытке загрузки несовместимого jar. Исключения это не детали реализации а часть апи, такая же как типы и число аргументов у методов.
запретить throws * у методов интерфейсов
правда, видимо по этой причине checked exceptions сделаны так как сделаны.
Исходная версия Leron, :
Хм, в примере проверка исключений действительно в текущем виде работать не будет. Нужно добавить требование что бы у вызываемых функций была спецификация исключений.
void g() { f(); ... }
запретить throws * для public-методов public-классов.
Я про это тоже подумал, тут есть другой вариант - падать с ошибкой при попытке загрузки несовместимого jar. Исключения это не детали реализации а часть апи, такая же как типы и число аргументов у методов.
запретить throws * у методов интерфейсов
правда, видимо по этой причине checked exceptions сделаны так как сделаны.