Пакет java.lang.classfile.instruction

Предоставляет интерфейсы, описывающие инструкции кода для библиотеки java.lang.classfile.

The java.lang.classfile.instruction пакет содержит интерфейсы, описывающие инструкции кода. Реализации этих интерфейсов являются неизменяемыми.

Если не указано иное, передача null или массива или коллекции, содержащей элемент null, в качестве аргумента конструктору или методу любого класса или интерфейса API файлов класса приведет к выбрасыванию исключения NullPointerException.

Чтение инструкций

Инструкции и псевдоинструкции обычно извлекаются из CodeModel, например, CodeModel::forEach, и категоризируются с помощью шаблоносопоставления.

При чтении из файлов class инструкции загружаются лениво; содержимое этих инструкций, помимо базовой структуры, не оценивается для ускорения разбора. Инструкции, представляющие интерес для пользователя, например, отфильтрованные с помощью шаблоносопоставления, загружают свое содержимое по мере необходимости, чтобы избежать ненужного чтения не относящихся к ним инструкций в массиве кода.

Из-за ленивого характера разбора файлов class, исключение IllegalArgumentException, указывающее на некорректные данные файла class, может быть выброшено при вызове любого метода. Например, объект инструкции для TypeCheckInstruction может быть получен из CodeModel, но последующий вызов .type() может завершиться сбоем с IllegalArgumentException, поскольку инструкция ссылается на неверный индекс константного пула.

Запись инструкций

Запись инструкций происходит на CodeBuilder. Наиболее простой способ записи инструкций — передать объект инструкции в CodeBuilder::with, который поддерживает все допустимые инструкции. Тем не менее, CodeBuilder предоставляет множество удобных методов-фабрик для простого создания инструкций, названных по их мнемонике. Эти методы более лаконичны и часто более эффективны во время выполнения, чем передача объектов инструкций.

Из-за ограничений в формате файла class некоторые инструкции могут быть не представлены в CodeBuilder. В некоторых сценариях, таких как для BranchInstruction, параметры API файлов классов управляют использованием альтернатив при генерации кода вместо этого. В противном случае их можно настроить на быстрый сбой, чтобы гарантировать соответствие команд CodeBuilder данным массива code, сгенерированным кодом.