Структура CONSTANT_Class_info используется для представления класса или интерфейса:

CONSTANT_Class_info {
    u1 tag;
    u2 name_index;
}

Элементы структуры CONSTANT_Class_info следующие:

Поскольку массивы являются объектами, операторы anewarray и multianewarray — но не оператор new — могут ссылаться на "классы" массивов через структуры CONSTANT_Class_info в таблице constant_pool. Для таких классов массивов имя класса является описателем типа массива (§4.3.2).

Описатель типа массива действителен только если он представляет не более 255 измерений.

Поля, методы и методы интерфейсов представлены аналогичными структурами:

CONSTANT_Fieldref_info {
    u1 tag;
    u2 class_index;
    u2 name_and_type_index;
}

CONSTANT_Methodref_info {
    u1 tag;
    u2 class_index;
    u2 name_and_type_index;
}

CONSTANT_InterfaceMethodref_info {
    u1 tag;
    u2 class_index;
    u2 name_and_type_index;
}

Элементы этих структур следующие:

Структура CONSTANT_String_info используется для представления постоянных объектов типа String:

CONSTANT_String_info {
    u1 tag;
    u2 string_index;
}

Элементы структуры CONSTANT_String_info следующие:

Структуры CONSTANT_Integer_info и CONSTANT_Float_info представляют числовые константы 4 байта (int и float):

CONSTANT_Integer_info {
    u1 tag;
    u4 bytes;
}

CONSTANT_Float_info {
    u1 tag;
    u4 bytes;
}

Элементы этих структур следующие:

Структуры CONSTANT_Long_info и CONSTANT_Double_info представляют числовые константы 8 байт (long и double):

CONSTANT_Long_info {
    u1 tag;
    u4 high_bytes;
    u4 low_bytes;
}

CONSTANT_Double_info {
    u1 tag;
    u4 high_bytes;
    u4 low_bytes;
}

Все константы 8 байт занимают две записи в таблице constant_pool файла class. Если структура CONSTANT_Long_info или CONSTANT_Double_info является элементом в таблице constant_pool с индексом n, то следующий используемый элемент в пуле расположен по индексу n+2. Индекс constant_pool n+1 должен быть валиден, но считается неиспользуемым.

В ретроспективе, сделать константы 8 байт занимающими две записи в пуле констант было плохим решением.

Элементы этих структур следующие:

Структура CONSTANT_NameAndType_info используется для представления поля или метода, не указывая, к какому типу класса или интерфейса оно относится:

CONSTANT_NameAndType_info {
    u1 tag;
    u2 name_index;
    u2 descriptor_index;
}

Элементы структуры CONSTANT_NameAndType_info следующие:

Структура CONSTANT_MethodHandle_info используется для представления дескриптора метода:

CONSTANT_MethodHandle_info {
    u1 tag;
    u1 reference_kind;
    u2 reference_index;
}

Элементы структуры CONSTANT_MethodHandle_info следующие:

Структура CONSTANT_MethodType_info используется для представления типа метода:

CONSTANT_MethodType_info {
    u1 tag;
    u2 descriptor_index;
}

Элементы структуры CONSTANT_MethodType_info следующие:

Структура CONSTANT_InvokeDynamic_info используется инструкцией invokedynamic (§invokedynamic) для указания метода-загрузчика, имени динамического вызова, типов аргументов и возвращаемого значения вызова и, необязательно, последовательности дополнительных констант, называемых статическими аргументами метода-загрузчика.

CONSTANT_InvokeDynamic_info {
    u1 tag;
    u2 bootstrap_method_attr_index;
    u2 name_and_type_index;
}

Элементы структуры CONSTANT_InvokeDynamic_info следующие:

Компиляторы разрешается определять и генерировать class файлы, содержащие новые атрибуты в таблицах attributes структур файлов class, структур field_info, структур method_info и атрибутов Code (§4.7.3). Реализации виртуальной машины Java разрешается распознавать и использовать новые атрибуты, найденные в этих таблицах attributes. Однако любой атрибут, не определённый в спецификации файла class, не должен влиять на семантику файла class. Реализации виртуальной машины Java обязаны игнорировать нераспознанные атрибуты.

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

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

Два атрибута, которые предполагается различными, но которые оказываются имеющими одинаковое имя атрибута и одинаковую длину, будут конфликтовать в реализациях, распознающих любой из атрибутов. Атрибуты, определённые не в этой спецификации, должны иметь имена, выбранные в соответствии с соглашениями об именовании пакетов, описанных в Спецификации языка Java, издание Java SE 8 (JLS §6.1).

В будущих версиях этой спецификации могут быть определены дополнительные атрибуты.

Атрибут ConstantValue — атрибут фиксированной длины в таблице attributes структуры field_info (§4.5). Атрибут ConstantValue представляет собой значение константного выражения (JLS §15.28) и используется следующим образом:

В таблице attributes структуры field_info может быть, максимум, один атрибут ConstantValue.

Атрибут ConstantValue имеет следующий формат:

ConstantValue_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 constantvalue_index;
}

Элементы структуры ConstantValue_attribute следующие:

Атрибут Code — это атрибут переменной длины в таблице attributes структуры method_info (§4.6). Атрибут Code содержит инструкции виртуальной машины Java и вспомогательную информацию для метода, включая метод инициализации экземпляра или метод инициализации класса или интерфейса (§2.9).

Если метод является либо native, либо abstract, его структура method_info не должна содержать атрибут Code в своей таблице attributes. В противном случае, его структура method_info должна содержать ровно один атрибут Code в своей таблице attributes.

Атрибут Code имеет следующий формат:

Code_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 max_stack;
    u2 max_locals;
    u4 code_length;
    u1 code[code_length];
    u2 exception_table_length;
    {   u2 start_pc;
        u2 end_pc;
        u2 handler_pc;
        u2 catch_type;
    } exception_table[exception_table_length];
    u2 attributes_count;
    attribute_info attributes[attributes_count];
}

Элементы структуры Code_attribute следующие:

Атрибут Exceptions — атрибут переменной длины в таблице attributes структуры method_info (§4.6). Атрибут Exceptions указывает, какие исключения, обрабатываемые по типу `checked`, может генерировать метод.

В таблице attributes структуры method_info может быть не более одного атрибута Exceptions.

Атрибут Exceptions имеет следующий формат:

Exceptions_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 number_of_exceptions;
    u2 exception_index_table[number_of_exceptions];
}

Элементы структуры Exceptions_attribute следующие:

Метод должен выбрасывать исключение только в том случае, если выполняется хотя бы одно из трех следующих условий:

Эти требования не проверяются в виртуальной машине Java; они проверяются только на этапе компиляции.

Атрибут InnerClasses — это атрибут переменной длины в таблице attributes структуры ClassFile (§4.1).

Если константный пул класса или интерфейса C содержит хотя бы одну запись CONSTANT_Class_info (§4.4.1), которая представляет класс или интерфейс, не являющийся членом пакета, то в таблице attributes структуры ClassFile для C должен присутствовать ровно один атрибут InnerClasses.

Атрибут InnerClasses имеет следующий формат:

InnerClasses_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 number_of_classes;
    {   u2 inner_class_info_index;
        u2 outer_class_info_index;
        u2 inner_name_index;
        u2 inner_class_access_flags;
    } classes[number_of_classes];
}

Элементы структуры InnerClasses_attribute таковы:

Реализация Oracle Java Virtual Machine не проверяет согласованность атрибута InnerClasses с файлом class, представляющим класс или интерфейс, на который ссылается атрибут.

Атрибут EnclosingMethod — атрибут фиксированной длины в таблице attributes структуры ClassFile (§4.1). Класс должен иметь атрибут EnclosingMethod, если и только если он представляет локальный класс или анонимный класс (JLS §14.3, JLS §15.9.5).

В таблице attributes структуры ClassFile может быть не более одного атрибута EnclosingMethod.

Атрибут EnclosingMethod имеет следующий формат:

EnclosingMethod_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 class_index;
    u2 method_index;
}

Элементы структуры EnclosingMethod_attribute следующие:

Атрибут Synthetic — атрибут фиксированной длины в таблице attributes структуры ClassFile, field_info или method_info (§4.1, §4.5, §4.6). Член класса, который не отображается в исходном коде, должен быть помечен с помощью атрибута Synthetic, либо его флаг ACC_SYNTHETIC должен быть установлен. Исключение составляют методы, сгенерированные компилятором, которые не считаются артефактами реализации, а именно метод инициализации экземпляра, представляющий собой конструктор по умолчанию языка программирования Java (§2.9), метод инициализации класса (§2.9), а также методы Enum.values() и Enum.valueOf().

Атрибут Synthetic был введён в JDK 1.1 для поддержки вложенных классов и интерфейсов.

Атрибут Synthetic имеет следующий формат:

Synthetic_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
}

Элементы структуры Synthetic_attribute следующие:

Атрибут SourceFile — это необязательный атрибут фиксированной длины в таблице attributes структуры ClassFile (§4.1).

В таблице attributes структуры ClassFile может быть не более одного атрибута SourceFile.

Атрибут SourceFile имеет следующий формат:

SourceFile_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 sourcefile_index;
}

Элементы структуры SourceFile_attribute следующие:

Атрибут SourceDebugExtension — это необязательный атрибут в таблице attributes структуры ClassFile (§4.1).

В таблице attributes структуры ClassFile может быть не более одного атрибута SourceDebugExtension.

Атрибут SourceDebugExtension имеет следующий формат:

SourceDebugExtension_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u1 debug_extension[attribute_length];
}

Элементы структуры SourceDebugExtension_attribute следующие:

Атрибут LineNumberTable — это необязательный атрибут переменной длины в таблице attributes атрибута Code (§4.7.3). Он может использоваться отладчиками для определения того, какая часть массива code соответствует заданному номеру строки в исходном файле.

Если в таблице attributes атрибута Code присутствуют несколько атрибутов LineNumberTable, то они могут появляться в любом порядке.

Может быть более одного атрибута LineNumberTable на одну строку исходного файла в таблице attributes атрибута Code. То есть атрибуты LineNumberTable вместе могут представлять одну строку исходного файла, и они не обязательно должны быть взаимно однозначными строкам исходного кода.

Атрибут LineNumberTable имеет следующий формат:

LineNumberTable_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 line_number_table_length;
    {   u2 start_pc;
        u2 line_number;	
    } line_number_table[line_number_table_length];
}

Элементы структуры LineNumberTable_attribute следующие:

Атрибут таблицы локальных переменных является необязательным атрибутом переменной длины в таблице атрибутов кода (§4.7.3). Он может использоваться отладчиками для определения значения заданной локальной переменной во время выполнения метода.

Если несколько атрибутов таблиц локальных переменных присутствуют в таблице атрибутов кода, то они могут располагаться в любом порядке.

Может быть не более одного атрибута таблицы локальных переменных на каждую локальную переменную в таблице атрибутов кода.

Атрибут таблицы локальных переменных имеет следующий формат:

LocalVariableTable_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 local_variable_table_length;
    {   u2 start_pc;
        u2 length;
        u2 name_index;
        u2 descriptor_index;
        u2 index;
    } local_variable_table[local_variable_table_length];
}

Элементы структуры атрибута таблицы локальных переменных:

Атрибут таблицы типов локальных переменных является необязательным атрибутом переменной длины в таблице атрибутов кода (§4.7.3). Он может использоваться отладчиками для определения значения заданной локальной переменной во время выполнения метода.

Если несколько атрибутов таблицы типов локальных переменных присутствуют в таблице атрибутов кода, то они могут располагаться в любом порядке.

Может быть не более одного атрибута таблицы типов локальных переменных на каждую локальную переменную в таблице атрибутов кода.

Атрибут таблицы типов локальных переменных отличается от атрибута таблицы локальных переменных (§4.7.13) тем, что он предоставляет информацию о сигнатуре, а не о описании. Это различие существенно только для переменных, тип которых использует тип переменной или параметризованный тип. Такие переменные будут присутствовать в обеих таблицах, в то время как переменные других типов будут присутствовать только в таблице типов.

Атрибут таблицы типов локальных переменных имеет следующий формат:

LocalVariableTypeTable_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 local_variable_type_table_length;
    {   u2 start_pc;
        u2 length;
        u2 name_index;
        u2 signature_index;
        u2 index;
    } local_variable_type_table[local_variable_type_table_length];
}

Элементы структуры атрибута таблицы типов локальных переменных:

Атрибут Deprecated — это необязательный атрибут фиксированной длины в таблице attributes структуры ClassFile, field_info или method_info (§4.1, §4.5, §4.6). Класс, интерфейс, метод или поле могут быть помечены атрибутом Deprecated, чтобы указать, что класс, интерфейс, метод или поле устарели.

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

Атрибут Deprecated имеет следующий формат:

Deprecated_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
}

Элементы структуры Deprecated_attribute следующие:

Атрибут RuntimeInvisibleAnnotations — это атрибут переменной длины в таблице attributes структуры ClassFile, field_info или method_info (§4.1, §4.5, §4.6). Атрибут RuntimeInvisibleAnnotations записывает невидимые во время выполнения аннотации в объявлении соответствующего класса, метода или поля.

В таблице attributes структуры ClassFile, field_info или method_info может быть, но не обязательно, присутствовать не более одного атрибута RuntimeInvisibleAnnotations.

Атрибут RuntimeInvisibleAnnotations аналогичен атрибуту RuntimeVisibleAnnotations (§4.7.16), за исключением того, что аннотации, представленные атрибутом RuntimeInvisibleAnnotations, не должны быть доступны для возврата отражающими API, если виртуальная машина Java не получила инструкцию сохранить эти аннотации с помощью какого-либо механизма, специфичного для реализации, такого как флаг командной строки. В противном случае виртуальная машина Java игнорирует этот атрибут.

Атрибут RuntimeInvisibleAnnotations имеет следующий формат:

RuntimeInvisibleAnnotations_attribute {
    u2         attribute_name_index;
    u4         attribute_length;
    u2         num_annotations;
    annotation annotations[num_annotations];
}

Элементы структуры RuntimeInvisibleAnnotations_attribute следующие:

Атрибут RuntimeVisibleParameterAnnotations — это атрибут переменной длины в таблице attributes структуры method_info (§4.6). Атрибут RuntimeVisibleParameterAnnotations записывает аннотации, видимые во время выполнения, в объявлениях формальных параметров соответствующего метода. Виртуальная машина Java должна сделать эти аннотации доступными для возврата соответствующими отражающими API.

В таблице attributes структуры method_info может быть не более одного атрибута RuntimeVisibleParameterAnnotations.

Атрибут RuntimeVisibleParameterAnnotations имеет следующий формат:

RuntimeVisibleParameterAnnotations_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u1 num_parameters;
    {   u2         num_annotations;
        annotation annotations[num_annotations];
    } parameter_annotations[num_parameters];
}

Элементы структуры RuntimeVisibleParameterAnnotations_attribute следующие:

Атрибут RuntimeInvisibleParameterAnnotations — это атрибут переменной длины в таблице attributes структуры method_info (§4.6). Атрибут RuntimeInvisibleParameterAnnotations записывает невидимые во время выполнения аннотации в объявлениях формальных параметров соответствующего метода.

В таблице attributes структуры method_info может быть не более одного атрибута RuntimeInvisibleParameterAnnotations.

Атрибут RuntimeInvisibleParameterAnnotations аналогичен атрибуту RuntimeVisibleParameterAnnotations (§4.7.18), за исключением того, что аннотации, представленные атрибутом RuntimeInvisibleParameterAnnotations, не должны быть доступны для возврата отражающими API, если виртуальная машина Java специально не получила инструкцию сохранить эти аннотации с помощью какого-либо механизма, специфичного для реализации, такого как флаг командной строки. В противном случае виртуальная машина Java игнорирует этот атрибут.

Атрибут RuntimeInvisibleParameterAnnotations имеет следующий формат:

RuntimeInvisibleParameterAnnotations_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u1 num_parameters;
    {   u2         num_annotations;
        annotation annotations[num_annotations];
    } parameter_annotations[num_parameters];
}

Элементы структуры RuntimeInvisibleParameterAnnotations_attribute следующие:

Атрибут RuntimeInvisibleTypeAnnotations — атрибут переменной длины в таблице attributes структуры ClassFile, field_info или method_info, или атрибута Code (§4.1, §4.5, §4.6, §4.7.3). Атрибут RuntimeInvisibleTypeAnnotations записывает невидимые во время выполнения аннотации на типы, используемые в соответствующем объявлении класса, поля или метода, или в выражении в соответствующем теле метода. Атрибут RuntimeInvisibleTypeAnnotations также записывает аннотации на объявления параметров типа обобщённых классов, интерфейсов, методов и конструкторов.

В таблице attributes структуры ClassFile, field_info или method_info, или атрибута Code может быть не более одного атрибута RuntimeInvisibleTypeAnnotations.

Таблица attributes содержит атрибут RuntimeInvisibleTypeAnnotations только в том случае, если типы аннотированы в видах объявления или выражения, соответствующих родительской структуре или атрибуту таблицы attributes.

Атрибут RuntimeInvisibleTypeAnnotations имеет следующий формат:

RuntimeInvisibleTypeAnnotations_attribute {
    u2              attribute_name_index;
    u4              attribute_length;
    u2              num_annotations;
    type_annotation annotations[num_annotations];
}

Элементы структуры RuntimeInvisibleTypeAnnotations_attribute следующие:

Атрибут AnnotationDefault — атрибут переменной длины в таблице attributes некоторых структур method_info (§4.6), а именно тех, которые представляют элементы типов аннотаций (JLS §9.6.1). Атрибут AnnotationDefault записывает значение по умолчанию (JLS §9.6.2) для элемента, представленного структурой method_info. Виртуальная машина Java должна сделать это значение по умолчанию доступным, чтобы его можно было применить соответствующими рефлексивными API.

В таблице attributes структуры method_info, представляющей элемент типа аннотации, может быть не более одного атрибута AnnotationDefault.

Атрибут AnnotationDefault имеет следующий формат:

AnnotationDefault_attribute {
    u2            attribute_name_index;
    u4            attribute_length;
    element_value default_value;
}

Элементы структуры AnnotationDefault_attribute следующие:

Атрибут BootstrapMethods — атрибут переменной длины в таблице attributes структуры ClassFile (§4.1). Атрибут BootstrapMethods записывает спецификаторы методов инициализации, на которые ссылаются инструкции invokedynamic (§invokedynamic).

В таблице attributes структуры ClassFile должен быть ровно один атрибут BootstrapMethods, если таблица ClassFile структуры constant_pool содержит по крайней мере один элемент CONSTANT_InvokeDynamic_info (§4.4.10).

В таблице attributes структуры ClassFile может быть не более одного атрибута BootstrapMethods.

Атрибут BootstrapMethods имеет следующий формат:

BootstrapMethods_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 num_bootstrap_methods;
    {   u2 bootstrap_method_ref;
        u2 num_bootstrap_arguments;
        u2 bootstrap_arguments[num_bootstrap_arguments];
    } bootstrap_methods[num_bootstrap_methods];
}

Элементы структуры BootstrapMethods_attribute следующие:

Атрибут MethodParameters — атрибут переменной длины в таблице attributes структуры method_info (§4.6). Атрибут MethodParameters записывает информацию о формальных параметрах метода, например, их названия.

В таблице attributes структуры method_info может быть не более одного атрибута MethodParameters.

Атрибут MethodParameters имеет следующий формат:

MethodParameters_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u1 parameters_count;
    {   u2 name_index;
        u2 access_flags;
    } parameters[parameters_count];
}

Элементы структуры MethodParameters_attribute следующие:

Элемент с индексом i в массиве parameters соответствует i-му описателю параметра в описателе метода. (Элемент parameters_count имеет один байт, так как описание метода ограничено 255 параметрами.) Эффективно, это означает, что массив parameters хранит информацию обо всех параметрах метода. Можно представить и другие схемы, где элементы в массиве parameters указывают на соответствующие описатели параметров, но это сделало бы атрибут MethodParameters излишне сложным.

Элемент с индексом i в массиве parameters может или не может соответствовать i-му типу в атрибуте Signature окружающего метода (если он присутствует), или i-й аннотации в аннотациях параметров окружающего метода.