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

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

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

API этого пакета выполняют проверки на null и недопустимые аргументы, если не указано иное.

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

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

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

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

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

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

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