Спецификация Java 11: 11.2.2. Анализ утверждений исключений

Оператор throw, выброшенное выражение которого имеет статический тип E и не является окончательным (final) или фактически конечным (effectively final) параметром исключения, может вызывать E или любой класс исключения, который может вызвать выброшенное выражение.

Например, оператор throw new java.io.FileNotFoundException(); может генерировать только java.io.FileNotFoundException. Формально это не тот случай, когда он "может генерировать" подкласс или суперкласс java.io.FileNotFoundException.

Оператор throw, выброшенное выражение которого является конечным или фактически конечным параметром исключения в предложении catch C, может вызывать класс исключения E, если и только если:

  • E - это класс исключения, который может выбросить блок try оператора try, который объявляет C; и
  • E - это присваивание, совместимое с любым из перехватываемых классов исключений C; и
  • E не совместим по присваиванию ни с одним из ловимых классов исключений в предложениях catch, объявленных слева от C в том же операторе try.

Оператор try может вызвать исключение класса E, если:

  • Блок try может генерировать E, или выражение, используемое для инициализации ресурса (в инструкции try-with-resources), может генерировать E, или автоматический вызов метода close() ресурса (в try-with-resources оператор) может генерировать E, и E не является совместимым по присваиванию ни с одним классом исключения, который можно перехватить, в любом предложении catch оператора try, и либо блок finally отсутствует, либо блок finally может завершиться нормально; или же
  • Некоторый блок catch оператора try может выдать E, и либо блок finally отсутствует, либо блок finally может завершиться нормально; или же
  • Блок finally присутствует и может бросить E.

Явный оператор вызова конструктора может вызвать исключение класса E, если и только если:

  • Некоторое выражение списка параметров вызова конструктора может вызывать E; или же
  • E определяется как класс исключения для вызываемого конструктора throws.

Любой другой оператор S может вызвать исключение класса E, если выражение или оператор, непосредственно содержащиеся в S, могут вызвать класс исключения E.

Читайте также:


Канал в Телеграм

Комментарии

Отправить комментарий

Популярные сообщения из этого блога

Методы класса Object в Java

Изображение
Класс Object является корнем иерархии классов. У каждого класса есть Object как суперкласс. Все объекты, включая массивы, реализуют методы этого класса. Методы класса Object Метод getClass() public final Class getClass() Возвращает класс времени исполнения (runtime class) этого Object. Возвращенный объект Class - это объект, который заблокирован статическими синхронизированными методами представленного класса. Фактический тип результата - Class<? extends |X|> где |X| заменяется статическим типом выражения, для которого вызывается getClass. Например, в этом фрагменте кода не требуется приведение: Number n = 0; Class c = n.getClass(); Метод getClass() возвращает: Объект Class, представляющий класс времени исполнения (runtime class) этого объекта. Метод hashCode public int hashCode() Возвращает значение хэш-кода для объекта. Этот метод поддерживается для использования хэш-таблиц, таких как те, что предоставляются HashMap. Основной контракт метода hashCo
Далее...

Как получить текущий timestamp в Java

Изображение
Чтобы получить текущий timestamp в Java : package main; import java.sql.Timestamp; public class Main { public static void main(String[] args){ Timestamp timestamp = new Timestamp(System.currentTimeMillis()); System.out.println(timestamp); } } Вывод: 2019-10-03 10:09:21.61 Вот еще два более подробных примера как получить текущий timestamp в Java: 1. java.sql.Timestamp Есть два метода получить текущий java.sql.Timestamp package main; import java.sql.Timestamp; import java.text.SimpleDateFormat; import java.util.Date; public class Main { private static final SimpleDateFormat dateFormat = new SimpleDateFormat("yyyy.MM.dd.HH.mm.ss"); public static void main(String[] args) { // Метод 1 Timestamp timestamp = new Timestamp(System.currentTimeMillis()); System.out.println(timestamp); // Метод 2 - через Date Date date = new Date(); System.out.println(new Timestamp(date.getTime()
Далее...

Основные опции JVM для повышения производительности и отладки

Изображение
Если вы являетесь Java-разработчиком или администратором Java приложения, вам поможет в работе знание того, что означают опции JVM, а также их важность и как они влияют на ваше приложение. Обзор параметров JVM Если говорить о параметрах JVM, то есть три типа параметров, которые вы можете включить в JVM: стандартные, нестандартные и расширенные параметры. Если вы используете расширенную опцию, вы всегда используете опцию с -XX. Точно так же, если вы применяете нестандартную опцию, вы используете -X. Стандартные опции ничего не добавляют к опции. Какие параметры JVM используются вашим приложением? Если приложение работает в Linux, вы можете использовать ps -ef | grep java для идентификации процесса Java и просмотра параметров JVM, напечатанных как аргументы процесса. Если в системе выполняется более одного Java-процесса, вам может потребоваться использовать ключевое слово, уникальное для вашего Java-приложения. Если ваш аргумент слишком длинный, попробуйте использовать ps
Далее...