Spec-Zone .ru спецификации, руководства, описания, API

ГЛАВА 4

Формат файла класса

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

A class файл состоит из потока 8-разрядных байтов. Все 16-разрядные, 32-разрядные, и 64-разрядные количества создаются, читая в два, четыре, и восемь последовательных 8-разрядных байтов, соответственно. Многобайтовые элементы данных всегда сохранены в порядке с обратным порядком байтов, где высокие байты на первом месте. В Java этот формат поддерживается интерфейсами java.io.DataInput и java.io.DataOutput и классы такой как java.io.DataInputStream и java.io.DataOutputStream.

Эта глава определяет свой собственный набор типов данных, представляющих Java class данные файла: типы u1, u2, и u4 представьте без знака - два - или четырехбайтовое количество, соответственно. В Java эти типы могут быть считаны методами такой как readUnsignedByte, readUnsignedShort, и readInt из интерфейса java.io.DataInput.

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

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

Где мы именуем структуру данных как массив, это - буквально массив.

4.1 ClassFile

    ClassFile {

    	u4 magic;
    	u2 minor_version;
    	u2 major_version;
    	u2 constant_pool_count;
    	cp_info constant_pool[constant_pool_count-1];
    	u2 access_flags;
    	u2 this_class;
    	u2 super_class;
    	u2 interfaces_count;
    	u2 interfaces[interfaces_count];
    	u2 fields_count;
    	field_info fields[fields_count];
    	u2 methods_count;
    	method_info methods[methods_count];
    	u2 attributes_count;
    	attribute_info attributes[attributes_count];
    }

    волшебство

magic элемент предоставляет магическое число, идентифицирующее class формат файла; у этого есть значение 0xCAFEBABE.

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

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

Виртуальная машина Java не должна попытаться выполнить код с различной основной версией. Изменение номера основной версии указывает на главное несовместимое изменение, тот, который требует существенно различной виртуальной машины Java.

В Наборе Разработчика Java Sun (JDK) 1.0.2 выпуска, задокументированные этой книгой, значением major_version 45. Значение minor_version 3. Только Sun может определить значение новых class номера версий файла.

Значение constant_pool_count элемент должен быть больше чем нуль. Это подает число записей constant_pool таблица class файл, где constant_pool запись в индексном нуле включается в количество, но не присутствует в constant_pool таблица файла класса. A constant_pool индекс считают допустимым, если это больше чем нуль и меньше чем constant_pool_count.

constant_pool таблица структур переменной длины (§4.4) представление различных строковых констант, имен классов, имен полей, и других констант, которые упоминаются в пределах ClassFile структура и ее подструктуры.

Первая запись constant_pool таблица, constant_pool[0], резервируется для внутреннего пользования реализацией виртуальной машины Java. Та запись не присутствует в class файл. Первая запись в class файл constant_pool[1].

Каждый из constant_pool записи таблицы в индексах 1 через constant_pool_count-1 структура переменной длины (§4.4), чей формат обозначается его первым байтом "тега".

Значение access_flags элемент является маской модификаторов, используемых с классом и интерфейсными объявлениями. access_flags модификаторы показывают в Таблице 4.1.

Имя флага	Значение	Значение	Используемый
ACC_PUBLIC	0x0001	Общедоступно; может быть получен доступ снаружи его пакета.	Класс, интерфейс
ACC_FINAL	0x0010	Является заключительным; никакие подклассы не позволяются.	Класс
ACC_SUPER	0x0020	Методы суперкласса обработки особенно в invokespecial.	Класс, интерфейс
ACC_INTERFACE	0x0200	Интерфейс.	Интерфейс
ACC_ABSTRACT	0x0400	Абстрактно; возможно, не инстанцируется.	Класс, интерфейс

Интерфейс отличает ACC_INTERFACE устанавливаемый флаг. Если ACC_INTERFACE не устанавливается, этот файл класса определяет класс, не интерфейс.

Интерфейсы могут только использовать флаги, обозначенные в Таблице 4.1 как использующийся интерфейсами. Классы могут только использовать флаги, обозначенные в Таблице 4.1 как использующийся классами. Интерфейс неявно abstract (§2.13.1); ACC_ABSTRACT флаг должен быть установлен. Интерфейс не может быть final; его реализация никогда не могла завершаться (§2.13.1), если бы это было, таким образом, у этого не могло быть ACC_FINAL флаг устанавливается.

Флаги ACC_FINAL и ACC_ABSTRACT не может оба быть установлен для класса; реализация такого класса никогда не могла завершаться (§2.8.2).

Установка ACC_SUPER флаг направляет виртуальную машину Java который из двух альтернативных семантик для ее invokespecial инструкции, чтобы выразить; это существует для обратной совместимости для кода, скомпилированного более старыми компиляторами Java Sun. Все новые реализации виртуальной машины Java должны реализовать семантику для invokespecial, задокументированного в Главу 6, "Набор команд виртуальной машины Java." Все новые компиляторы к набору команд виртуальной машины Java должны установить ACC_SUPER флаг. Более старые компиляторы Java Sun генерируют ClassFile флаги с ACC_SUPER сброс. Более старые реализации виртуальной машины Java Sun игнорируют флаг, если он устанавливается.

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

Значение this_class элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Class_info (§4.4.1) структура, представляющая класс или интерфейс, определяется этим class файл.

Для класса, значения super_class элемент или должен быть нулем или должен быть допустимым индексом в constant_pool таблица. Если значение super_class элемент является ненулевым, constant_pool запись по тому индексу должна быть a CONSTANT_Class_info (§4.4.1) структура, представляющая суперкласс класса, определяется этим class файл. Ни суперкласс, ни любой из его суперклассов не могут быть a final класс.

Если значение super_class нуль, тогда это class файл должен представить класс java.lang.Object, единственный класс или интерфейс без суперкласса.

Для интерфейса, значения super_class должен всегда быть допустимый индекс в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Class_info структура, представляющая класс java.lang.Object.

Значение interfaces_count элемент дает число прямых суперинтерфейсов этого класса или интерфейсного типа.

Каждое значение в interfaces массив должен быть допустимым индексом в constant_pool таблица. constant_pool запись в каждом значении interfaces[я], где 0 < I £ interfaces_count, должен быть a CONSTANT_Class_info структура (§4.4.1), представляющая интерфейс, который является прямым суперинтерфейсом этого класса или интерфейсного типа, в слева направо порядок, данный в источнике для типа.

Значение fields_count элемент дает число field_info структуры в fields таблица. field_info (§4.5) структуры представляют все поля, и переменные класса и переменные экземпляра, объявленные этим классом или интерфейсным типом.

Каждое значение в fields таблица должна быть переменной длиной field_info (§4.5) структура, дающая полное описание поля в классе или интерфейсном типе. fields таблица включает только те поля, которые объявляются этим классом или интерфейсом. Это не включает поля представления элементов, которые наследованы от суперклассов или суперинтерфейсов.

Значение methods_count элемент дает число method_info структуры в methods таблица.

Каждое значение в methods таблица должна быть переменной длиной method_info (§4.6) структура, дающая полное описание и виртуальную машину Java, кодируют для метода в классе или интерфейсе.

method_info структуры представляют все методы, оба метода экземпляра и, для классов, класс (static) методы, объявленные этим классом или интерфейсным типом. methods таблица только включает те методы, которые явно объявляются этим классом. У интерфейсов есть только единственный метод <clinit>, интерфейсный метод инициализации (§3.8). methods таблица не включает методы представления элементов, которые наследованы от суперклассов или суперинтерфейсов.

Значение attributes_count элемент дает число атрибутов (§4.7) в attributes таблица этого класса.

Каждое значение attributes таблица должна быть структурой атрибута переменной длины. A ClassFile у структуры может быть любое число атрибутов (§4.7) связанный с этим.

Единственный атрибут, определенный этой спецификацией для attributes таблица a ClassFile структура SourceFile атрибут (§4.7.2).

Реализация виртуальной машины Java обязана тихо игнорировать любые атрибуты в attributes таблица a ClassFile структура, которую это не распознает. Атрибутам, не определенным в этой спецификации, не позволяют влиять на семантику class файл, но только предоставить дополнительную дескриптивную информацию (§4.7.1).

4.2 Внутренняя Форма Полностью определенных Имен классов

По историческим причинам точный синтаксис полностью определенных имен классов, которые появляются в class файловые структуры отличаются от знакомого Java полностью определенное имя класса, задокументированное в §2.7.9. Во внутренней форме, периоды ASCII ('.') это обычно разделяет идентификаторы (§2.2), которые составляют полностью определенное имя, заменяются наклонными чертами вправо ASCII ('/'). Например, нормальное полностью определенное имя класса Thread java.lang.Thread. В форме, используемой в дескрипторах в class файлы, ссылка на имя класса Thread реализуется, используя a CONSTANT_Utf8_info структура, представляющая строку "java/lang/Thread".

4.3 Дескрипторы

4.3.1 Нотация грамматики

4.3.2 Полевые Дескрипторы

    FieldDescriptor:

FieldType

    ComponentType:

FieldType

    FieldType:

BaseType

ObjectType

ArrayType

    BaseType:

B

C

D

F

Я

J

S

Z

L <имя класса>;

[ComponentType

Значение типов поля следующие:

 B	      byte			signed byte 

 C	      char			character 

 D	      double			double-precision IEEE 754 float 

 F	      float			single-precision IEEE 754 float 

 I	      int			integer 

 J	      long			long integer 

 L<classname>;	...			an instance of the class 
 
 S	      short			signed short 

 Z	      boolean			true or false  

 [	      ...			one array dimension

    double d[][][];

    [[[D

4.3.3 Дескрипторы метода

    ParameterDescriptor:

FieldType

    MethodDescriptor:

(ParameterDescriptor *) ReturnDescriptor

    ReturnDescriptor:

FieldType

V

Допустимый дескриптор метода Java должен представить 255 или меньше слов параметров метода, где тот предел включает слово для this в случае вызовов метода экземпляра. Предел находится на числе слов параметров метода а не на числе параметров непосредственно; параметры типа long и double каждое использование два слова.

Например, дескриптор метода для метода

    Object mymethod(int i, double d, Thread t)

    (IDLjava/lang/Thread;)Ljava/lang/Object;

Дескриптор метода для mymethod то же самое ли mymethod static или метод экземпляра. Хотя метод экземпляра передают this, ссылка на текущий экземпляр класса, в дополнение к его намеченным параметрам, тот факт не отражается в дескрипторе метода. (Ссылка на this не передается к a static метод.) Ссылка на this передается неявно инструкциями вызова метода виртуальной машины Java, используемой, чтобы вызвать методы экземпляра.

4.4 Постоянный Пул

    cp_info {

    	u1 tag;
    	u1 info[];
    }

Постоянный Тип	Значение
CONSTANT_Class	7
CONSTANT_Fieldref	9
CONSTANT_Methodref	10
CONSTANT_InterfaceMethodref	11
CONSTANT_String	8
CONSTANT_Integer	3
CONSTANT_Float	4
CONSTANT_Long	5
CONSTANT_Double	6
CONSTANT_NameAndType	12
CONSTANT_Utf8	1

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

4.4.1 CONSTANT_Class

    CONSTANT_Class_info {

    	u1 tag;
    	u2 name_index;
    }

    тег

tag у элемента есть значение CONSTANT_Class (7).

Значение name_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Utf8_info структура (§4.4.7), представляющая допустимое полностью определенное имя класса Java (§2.8.1), который был преобразован в class внутренняя форма файла (§4.2).

    int[][] 

    [[I

    Thread[] 

    [Ljava.lang.Thread;

4.4.2 CONSTANT_Fieldref, CONSTANT_Methodref, и CONSTANT_InterfaceMethodref

    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;
    }

    тег

tag элемент a CONSTANT_Fieldref_info у структуры есть значение CONSTANT_Fieldref (9).

tag элемент a CONSTANT_Methodref_info у структуры есть значение CONSTANT_Methodref (10).

tag элемент a CONSTANT_InterfaceMethodref_info у структуры есть значение CONSTANT_InterfaceMethodref (11).

Значение class_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Class_info структура (§4.4.1), представляющая класс или интерфейсный тип, который содержит объявление поля или метода.

class_index элемент a CONSTANT_Fieldref_info или a CONSTANT_Methodref_info структура должна быть типом класса, не интерфейсным типом. class_index элемент a CONSTANT_InterfaceMethodref_info структура должна быть интерфейсным типом, который объявляет данный метод.

Значение name_and_type_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_NameAndType_info (§4.4.6) структура. Это constant_pool запись указывает на имя и дескриптор поля или метода.

Если имя метода a CONSTANT_Methodref_info или CONSTANT_InterfaceMethodref_info начинается с a '<' ('u003c'), тогда имя должно быть одним из специальных внутренних методов (§3.8), также <init> или <clinit>. В этом случае метод не должен возвратить значение.

4.4.3 CONSTANT_String

    CONSTANT_String_info {

    	u1 tag;
    	u2 string_index;
    }

    тег

tag элемент CONSTANT_String_info у структуры есть значение CONSTANT_String (8).

Значение string_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Utf8_info (§4.4.3) тех, структура, представляющая последовательность символов, к который java.lang.String объект состоит в том, чтобы быть инициализирован.

4.4.4 CONSTANT_Integer и CONSTANT_Float

    CONSTANT_Integer_info {

    	u1 tag;
    	u4 bytes;
    }


    CONSTANT_Float_info {
    	u1 tag;
    	u4 bytes;
    }

    тег

tag элемент CONSTANT_Integer_info у структуры есть значение CONSTANT_Integer (3).

tag элемент CONSTANT_Float_info у структуры есть значение CONSTANT_Float (4).

bytes элемент CONSTANT_Integer_info структура содержит значение int постоянный. Байты значения сохранены в обратном порядке байтов (высокий байт сначала) порядок.

bytes элемент CONSTANT_Float_info структура содержит значение float постоянный в IEEE 754 "единственный формат с плавающей точкой" разрядное расположение. Байты значения сохранены в обратном порядке байтов (высокий байт сначала) порядок, и сначала преобразовываются в int параметр. Затем:

• Если параметр 0x7f800000, float значение будет положительной бесконечностью.
• Если параметр 0xff800000, float значение будет отрицательной бесконечностью.
• Если параметр находится в диапазоне 0x7f800001 через 0x7fffffff или в диапазоне 0xff800001 через 0xffffffff, float значением будет НЭН.
• Во всех других случаях позволить s, e, и m будьте тремя значениями, которые могли бы быть вычислены

    int s = ((bytes >> 31) == 0) ? 1 : -1;
    int e = ((bytes >> 23) & 0xff);
    int m = (e == 0) ?
    		(bytes & 0x7fffff) << 1 :
    		(bytes & 0x7fffff) | 0x800000;

Затем float значение равняется результату математического выражения



.

4.4.5 CONSTANT_Long и CONSTANT_Double

    CONSTANT_Long_info {

    	u1 tag;
    	u4 high_bytes;
    	u4 low_bytes;
    }


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

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

    тег

tag элемент CONSTANT_Long_info у структуры есть значение CONSTANT_Long (5).

tag элемент CONSTANT_Double_info у структуры есть значение CONSTANT_Double (6).

Без знака high_bytes и low_bytes элементы CONSTANT_Long структура вместе содержит значение long постоянный ((long)high_bytes << 32) + low_bytes, где байты каждого из high_bytes и low_bytes сохранены в обратном порядке байтов (высокий байт сначала) порядок.

high_bytes и low_bytes элементы CONSTANT_Double_info структура содержит double значение в IEEE 754 "двойной формат с плавающей точкой" разрядное расположение. Байты каждого элемента сохранены в обратном порядке байтов (высокий байт сначала) порядок. high_bytes и low_bytes элементы сначала преобразовываются в a long параметр. Затем:

• Если параметр 0x7f80000000000000L, double значение будет положительной бесконечностью.
• Если параметр 0xff80000000000000L, double значение будет отрицательной бесконечностью.
• Если параметр находится в диапазоне 0x7ff0000000000001L через 0x7fffffffffffffffL или в диапазоне 0xfff0000000000001L через 0xffffffffffffffffL, double значением будет НЭН.
• Во всех других случаях позволить s, e, и m будьте тремя значениями, которые могли бы быть вычислены из параметра:

    int s = ((bits >> 63) == 0) ? 1 : -1;
    int e = (int)((bits >> 52) & 0x7ffL);
    long m = (e == 0) ?
    	(bits & 0xfffffffffffffL) << 1 :
    	(bits & 0xfffffffffffffL) | 0x10000000000000L;

Затем значение с плавающей точкой равняется double значение математического выражения



.

4.4.6 CONSTANT_NameAndType

    CONSTANT_NameAndType_info {

    	u1 tag;
    	u2 name_index;
    	u2 descriptor_index;
    }

    тег

tag элемент CONSTANT_NameAndType_info у структуры есть значение CONSTANT_NameAndType (12).

Значение name_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Utf8_info (§4.4.7) структура, представляющая допустимое имя поля Java или имя метода (§2.7) сохраненный как простое (не полностью определенный) имя (§2.7.1), то есть, как идентификатор Java.

Значение descriptor_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Utf8_info (§4.4.7) структура, представляющая допустимый полевой дескриптор Java (§4.3.2) или дескриптор метода (§4.3.3).

4.4.7 CONSTANT_Utf8

Строки UTF-8 кодируются так, чтобы символьные последовательности, которые содержат только ненулевые символы ASCII, могли быть представлены, используя только один байт за символ, но символы до 16 битов могут быть представлены. Все символы в диапазоне 'u0001' к 'u007F' представляются единственным байтом:

0

биты 0-7

Семь битов данных в байте дают значение представленного символа. Нулевой символ ('u0000') и символы в диапазоне 'u0080' к 'u07FF' представляются парой байтов x и y:

x:

1

1

0

биты 6-10

y:

1

0

биты 0-5

Байты представляют символ со значением ((x & 0x1f) << 6) + (y & 0x3f).

Символы в диапазоне 'u0800' к 'uFFFF' представляются на три байта x, y, и z:

x:

1

1

1

0

биты 12-15

y:

1

0

биты 6-11

z:

1

0

биты 0-5

Символ со значением ((x & 0xf) << 12) + ((y & 0x3f) << 6) + (z & 0x3f) представляется байтами.

Байты многобайтовых символов сохранены в class файл в обратном порядке байтов (высокий байт сначала) порядок.

Есть два различия между этим форматом и "стандартным" форматом UTF-8. Во-первых, нулевой байт (byte)0 кодируется, используя двухбайтовый формат, а не однобайтовый формат, так, чтобы виртуальная машина Java, которую никогда не встраивали строки UTF-8, обнулила. Во-вторых, только однобайтовое, два байта, и трехбайтовые форматы используются. Виртуальная машина Java не распознает дольше форматы UTF-8.

Для получения дополнительной информации относительно формата UTF-8, см. Файловую систему Безопасный Формат Преобразования UCS (FSS_UTF), X/Open Предварительная Спецификация, X/Open Company Ltd., Номер документа: P316. Эта информация также появляется в ISO/IEC 10646, Приложении P.

CONSTANT_Utf8_info структура

    CONSTANT_Utf8_info {

    	u1 tag;
    	u2 length;
    	u1 bytes[length];
    }

    тег

tag элемент CONSTANT_Utf8_info у структуры есть значение CONSTANT_Utf8 (1).

Значение length элемент подает число байтов bytes массив (не длина получающейся строки). Строки в CONSTANT_Utf8_info структура не завершается нулем.

bytes массив содержит байты строки. Ни у какого байта не может быть значения (byte)0 или (byte)0xf0-(byte)0xff.

4.5 Поля

    field_info {

    	u2 access_flags;
    	u2 name_index;
    	u2 descriptor_index;
    	u2 attributes_count;
    	attribute_info attributes[attributes_count];
    }

    access_flags

Значение access_flags элемент является маской модификаторов, используемых, чтобы описать право доступа к и свойства поля. access_flags модификаторы показывают в Таблице 4.3.

Имя флага	Значение	Значение	Используемый
ACC_PUBLIC	0x0001	public; может быть получен доступ снаружи его пакета.	Любое поле
ACC_PRIVATE	0x0002	private; применимый только в пределах класса определения.	Поле класса
ACC_PROTECTED	0x0004	protected; может быть получен доступ в пределах подклассов.	Поле класса
ACC_STATIC	0x0008	static.	Любое поле
ACC_FINAL	0x0010	final; никакое дальнейшее переопределение или присвоение после инициализации.	Любое поле
ACC_VOLATILE	0x0040	volatile; не может кэшироваться.	Поле класса
ACC_TRANSIENT	0x0080	transient; не записанный или читают персистентным диспетчером объектов.	Поле класса

Поля интерфейсов могут только использовать флаги, обозначенные в Таблице 4.3 как использующийся любым полем. Поля классов могут использовать любой из флагов в Таблице 4.3.

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

У полей класса может быть самое большее один из флагов ACC_PUBLIC, ACC_PROTECTED, и ACC_PRIVATE набор (§2.7.8). У поля класса, возможно, нет обоих ACC_FINAL и ACC_VOLATILE набор (§2.9.1).

Каждое интерфейсное поле неявно static и final (у §2.13.4) и должны быть оба ACC_STATIC и ACC_FINAL флаги устанавливаются. Каждое интерфейсное поле неявно public (у §2.13.4) и должен быть ACC_PUBLIC флаг устанавливается.

Значение name_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Utf8_info структура (§4.4.7), которая должна представить допустимое имя поля Java (§2.7) сохраненный как простое (не полностью определенный) имя (§2.7.1), то есть, как идентификатор Java.

Значение descriptor_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Utf8 структура (§4.4.7), которая должна представить допустимый полевой дескриптор Java (§4.3.2).

Значение attributes_count элемент указывает на число дополнительных атрибутов (§4.7) этого поля.

Каждое значение attributes таблица должна быть структурой атрибута переменной длины. У поля может быть любое число атрибутов (§4.7) связанный с этим.

Единственный атрибут, определенный для attributes таблица a field_info структура этой спецификацией ConstantValue атрибут (§4.7.3).

Реализация виртуальной машины Java должна распознать ConstantValue атрибуты в attributes таблица a field_info структура. Реализация виртуальной машины Java обязана тихо игнорировать любые другие атрибуты в attributes таблица, которую это не распознает. Атрибутам, не определенным в этой спецификации, не позволяют влиять на семантику class файл, но только предоставить дополнительную дескриптивную информацию (§4.7.1).

4.6 Методы

    method_info {

    	u2 access_flags;
    	u2 name_index;
    	u2 descriptor_index;
    	u2 attributes_count;
    	attribute_info attributes[attributes_count];
    }

    access_flags

Значение access_flags элемент является маской модификаторов, используемых, чтобы описать право доступа к и свойства метода или метода инициализации экземпляра (§3.8). access_flags модификаторы показывают в Таблице 4.4.

Имя флага	Значение	Значение	Используемый
ACC_PUBLIC	0x0001	public; может быть получен доступ снаружи его пакета.	Любой метод
ACC_PRIVATE	0x0002	private; применимый только в пределах класса определения.	Класс/метод экземпляра
ACC_PROTECTED	0x0004	protected; может быть получен доступ в пределах подклассов.	Класс/метод экземпляра
ACC_STATIC	0x0008	static.	Класс/метод экземпляра
ACC_FINAL	0x0010	final; никакое переопределение не позволяется.	Класс/метод экземпляра
ACC_SYNCHRONIZED	0x0020	synchronized; оберните использование в блокировку монитора.	Класс/метод экземпляра
ACC_NATIVE	0x0100	native; реализованный на языке кроме Java.	Класс/метод экземпляра
ACC_ABSTRACT	0x0400	abstract; никакая реализация не обеспечивается.	Любой метод

Методы в интерфейсах могут только использовать флаги, обозначенные в Таблице 4.4 как использующийся любым методом. Класс и методы экземпляра (§2.10.3) могут использовать любой из флагов в Таблице 4.4. Методы инициализации экземпляра (§3.8) могут только использовать ACC_PUBLIC, ACC_PROTECTED, и ACC_PRIVATE.

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

Самое большее один из флагов ACC_PUBLIC, ACC_PROTECTED, и ACC_PRIVATE может быть установлен для любого метода. Класс и методы экземпляра, возможно, не используют ACC_ABSTRACT вместе с ACC_FINAL, ACC_NATIVE, или ACC_SYNCHRONIZED (то есть, native и synchronized методы требуют реализации). Класс или метод экземпляра, возможно, не используют ACC_PRIVATE с ACC_ABSTRACT (то есть, a private метод не может быть переопределен, таким образом, такой метод никогда не мог реализовываться или использоваться). Класс или метод экземпляра, возможно, не используют ACC_STATIC с ACC_ABSTRACT (то есть, a static метод неявно final и таким образом не может быть переопределен, таким образом, такой метод никогда не мог реализовываться или использоваться).

Класс и интерфейсные методы инициализации (§3.8), то есть, методы называют <clinit>, вызываются неявно виртуальной машиной Java; значение их access_flags элемент игнорируется.

Каждый интерфейсный метод неявно abstract, и, имеют - также ACC_ABSTRACT флаг устанавливается. Каждый интерфейсный метод неявно public (§2.13.5), и, имеют - также ACC_PUBLIC флаг устанавливается.

Значение name_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Utf8_info (§4.4.7) структура, представляющая любые из специальных внутренних имен методов (§3.8), также <init> или <clinit>, или допустимое имя метода Java (§2.7), сохраненный как простое (не полностью определенный) имя (§2.7.1).

Значение descriptor_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Utf8_info (§4.4.7) структура, представляющая допустимый дескриптор метода Java (§4.3.3).

Значение attributes_count элемент указывает на число дополнительных атрибутов (§4.7) этого метода.

Каждое значение attributes таблица должна быть структурой атрибута переменной длины. У метода может быть любое число дополнительных атрибутов (§4.7) связанный с этим.

Единственные атрибуты, определенные этой спецификацией для attributes таблица a method_info структура Code (§4.7.4) и Exceptions (§4.7.5) атрибуты.

Реализация виртуальной машины Java должна распознать Code (§4.7.4) и Exceptions (§4.7.5) атрибуты. Реализация виртуальной машины Java обязана тихо игнорировать любые другие атрибуты в attributes таблица a method_info структура, которую это не распознает. Атрибутам, не определенным в этой спецификации, не позволяют влиять на семантику class файл, но только предоставить дополнительную дескриптивную информацию (§4.7.1).

4.7 Атрибуты

    attribute_info {

    	u2 attribute_name_index;
    	u4 attribute_length;
    	u1 info[attribute_length];
    }

Определенные атрибуты предопределяются как часть class спецификация файла. Предопределенные атрибуты SourceFile (§4.7.2), ConstantValue (§4.7.3), Code (§4.7.4), Exceptions (§4.7.5), LineNumberTable (§4.7.6), и Local-VariableTable (§4.7.7) атрибуты. В пределах контекста их использования в этой спецификации, то есть, в attributes таблицы class резервируются файловые структуры, в которых они появляются, имена этих предопределенных атрибутов.

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

4.7.1 Определение и Именование Новых Атрибутов

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

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

Два атрибута, которые предназначаются, чтобы быть отличными, но которые, оказывается, используют то же самое название атрибута и являются той же самой длины, будут конфликтовать на реализациях, которые распознают любой атрибут. У атрибутов, определенных кроме Sun, должны быть имена, выбранные согласно соглашению о присвоении имен пакета, определенному Спецификацией языка Java. Например, у нового атрибута, определенного Netscape, могло бы быть имя "COM.Netscape.new-attribute".

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

4.7.2 Атрибут SourceFile

SourceFile у атрибута есть формат

    SourceFile_attribute {

    	u2 attribute_name_index;
    	u4 attribute_length;
    	u2 sourcefile_index;
    }

    attribute_name_index

Значение attribute_name_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Utf8_info (§4.4.7) структура, представляющая строку "SourceFile".

Значение attribute_length элемент a SourceFile_attribute структура должна быть 2.

Значение sourcefile_index элемент должен быть допустимым индексом в constant_pool таблица. Постоянная запись пула по тому индексу должна быть a CONSTANT_Utf8_info (§4.4.7) тех, структура, представляющая строку, дающую имя исходного файла, от который это class файл был скомпилирован.

Только имя исходного файла дается SourceFile атрибут. Это никогда не представляет имя каталога, содержащего файл или абсолютный путь для файла. Например, SourceFile атрибут мог бы содержать имя файла foo.java но не путь UNIX /home/lindholm/foo.java.

4.7.3 Атрибут ConstantValue

Каждая реализация виртуальной машины Java должна распознать ConstantValue атрибуты.

ConstantValue у атрибута есть формат

    ConstantValue_attribute {

    	u2 attribute_name_index;
    	u4 attribute_length;
    	u2 constantvalue_index;
    }

    attribute_name_index

Значение attribute_name_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Utf8_info (§4.4.7) структура, представляющая строку "ConstantValue".

Значение attribute_length элемент a ConstantValue_attribute структура должна быть 2.

Значение constantvalue_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна дать постоянную величину, представленную этим атрибутом.

constant_pool запись должна иметь тип, соответствующий полю, как показано Таблицей 4.5.

Тип поля	Тип записи
long	CONSTANT_Long
float	CONSTANT_Float
double	CONSTANT_Double
int, short, char, byte, boolean	CONSTANT_Integer
java.lang.String	CONSTANT_String

4.7.4 Атрибут кода

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];
    }

    attribute_name_index

Значение attribute_name_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Utf8_info (§4.4.7) структура, представляющая строку "Code".

Значение attribute_length элемент указывает на длину атрибута, исключая начальные шесть байтов.

Значение max_stack элемент дает максимальное количество слов на стеке операнда в любой точке во время выполнения этого метода.

Значение max_locals элемент дает число локальных переменных, используемых этим методом, включая параметры, которые передают к методу вызову. Индекс первой локальной переменной 0. Самый большой индекс локальной переменной для значения с одним словом max_locals-1. Самый большой индекс локальной переменной для значения с двумя словами max_locals-2.

Значение code_length элемент подает число байтов code массив для этого метода. Значение code_length должно быть больше чем нуль; code массив не должен быть пустым.

code массив дает фактические байты кода виртуальной машины Java, которые реализуют метод.

Когда code массив читается в память на байте адресуемая машина, если первый байт массива будет выровненный на 4-байтовой границе, то tableswitch и lookupswitch 32-разрядные смещения составят выровненные 4 байта; сошлитесь на описания тех инструкций для получения дополнительной информации о последствиях code выравнивание массива.

Подробные ограничения на содержание code массив обширен и дается в отдельном участке (§4.8).

Значение exception_table_length элемент подает число записей exception_table таблица.

Каждая запись в exception_table массив описывает один обработчик исключений в code массив. Каждый exception_table запись содержит следующие элементы:

Значения этих двух элементов start_pc и end_pc укажите на диапазоны в code массив, в котором обработчик исключений является активным. Значение start_pc должен быть допустимый индекс в code массив кода операции инструкции. Значение end_pc любой должен быть допустимым индексом в code массив кода операции инструкции, или должно быть равным code_length, длина code массив. Значение start_pc должны быть меньше чем значение end_pc.

start_pc является содержащим и end_pc является монопольным; то есть, обработчик исключений должен быть активным, в то время как счетчик программы в пределах интервала [start_pc, end_pc).²

Значение handler_pc элемент указывает на запуск обработчика исключений. Значение элемента должно быть допустимым индексом в code выстройте, должен быть индекс кода операции инструкции, и должны быть меньше чем значение code_length элемент.

Если значение catch_type элемент является ненулевым, это должен быть допустимый индекс в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Class_info структура (§4.4.1), представляющая класс исключений, что этот обработчик исключений определяется, чтобы поймать. Этот класс должен быть классом Throwable или один из его подклассов. Обработчик исключений вызовут, только если выданное исключение является экземпляром данного класса или одним из его подклассов.

Если значение catch_type элемент является нулем, этот обработчик исключений вызывают для всех исключений. Это используется, чтобы реализовать finally (см. Раздел 7.13, "Компилируя наконец").

Значение attributes_count элемент указывает на число атрибутов Code атрибут.

Каждое значение attributes таблица должна быть структурой атрибута переменной длины. A Code у атрибута может быть любое число дополнительных атрибутов, связанных с этим.

В настоящий момент, LineNumberTable (§4.7.6) и LocalVariableTable (§4.7.7) атрибуты, оба из которых содержат отладочную информацию, определяются и используются с Code атрибут.

Реализации виртуальной машины Java разрешают тихо проигнорировать любые атрибуты в attributes таблица a Code атрибут. Атрибутам, не определенным в этой спецификации, не позволяют влиять на семантику class файл, но только предоставить дополнительную дескриптивную информацию (§4.7.1).

4.7.5 Атрибут исключений

Exceptions у атрибута есть формат

    Exceptions_attribute {

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

    attribute_name_index

Значение attribute_name_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть CONSTANT_Utf8_info (§4.4.7) структура, представляющая строку "Exceptions".

Значение attribute_length элемент указывает на длину атрибута, исключая начальные шесть байтов.

Значение number_of_exceptions элемент указывает на число записей в exception_index_table.

Каждое ненулевое значение в exception_index_table массив должен быть допустимым индексом в constant_pool таблица. Для каждого табличного элемента, если exception_index_table[я] != 0, где 0I £ < number_of_exceptions, тогда constant_pool запись по индексу exception_index_table[я] должен быть a CONSTANT_Class_info структура (§4.4.1), представляющая тип класса, который этот метод, как объявляют, бросает.

• Исключение является экземпляром RuntimeException или один из его подклассов.
• Исключение является экземпляром Error или один из его подклассов.
• Исключение является экземпляром одного из классов исключений, определенных в exception_index_table выше, или один из их подклассов.

4.7.6 Атрибут 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];
    }

    attribute_name_index

Значение attribute_name_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Utf8_info (§4.4.7) структура, представляющая строку "LineNumberTable".

Значение attribute_length элемент указывает на длину атрибута, исключая начальные шесть байтов.

Значение line_number_table_length элемент указывает на число записей в line_number_table массив.

Каждая запись в line_number_table массив указывает, что номер строки в исходном исходном файле Java изменяется в поданной точке code массив. Каждая запись должна содержать следующие элементы:

Значение start_pc элемент должен указать на индекс в code массив, в котором начинается код для новой строки в исходном исходном файле Java. Значение start_pc должны быть меньше чем значение code_length элемент Code атрибут которого это LineNumberTable атрибут.

Значение line_number элемент должен дать соответствующий номер строки в исходном исходном файле Java.

4.7.7 Атрибут LocalVariableTable

LocalVariableTable у атрибута есть формат

    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];
    }	

    attribute_name_index

Значение attribute_name_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна быть a CONSTANT_Utf8_info (§4.4.7) структура, представляющая строку "LocalVariableTable".

Значение attribute_length элемент указывает на длину атрибута, исключая начальные шесть байтов.

Значение local_variable_table_length элемент указывает на число записей в local_variable_table массив.

Каждая запись в local_variable_table массив указывает на диапазон code выстройте смещения, в пределах которых у локальной переменной есть значение. Это также указывает на индекс в локальные переменные текущего фрейма, в котором может быть найдена та локальная переменная. Каждая запись должна содержать следующие элементы:

У данной локальной переменной должно быть значение в индексах в code массив в интервале [start_pc, start_pc+length], то есть, между start_pc и start_pc+length включительно. Значение start_pc должен быть допустимый индекс в code массив этого Code атрибут кода операции инструкции. Значение start_pc+length должен быть любой допустимый индекс в code массив этого Code атрибут кода операции инструкции, или первый индекс вне конца этого code массив.

Значение name_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна содержать a CONSTANT_Utf8_info (§4.4.7) структура, представляющая допустимое имя локальной переменной Java, сохраненное как простое имя (§2.7.1).

Значение descriptor_index элемент должен быть допустимым индексом в constant_pool таблица. constant_pool запись по тому индексу должна содержать a CONSTANT_Utf8_info (§4.4.7) структура, представляющая допустимый дескриптор для локальной переменной Java. У дескрипторов локальной переменной Java есть та же самая форма как полевые дескрипторы (§4.3.2).

Данная локальная переменная должна быть в index в локальных переменных его метода. Если локальная переменная в index тип с двумя словами (double или long), это занимает обоих index и index+1.

4.8 Ограничения на Код виртуальной машины Java

4.8.1 Статические Ограничения

Статические ограничения на инструкции в code массив следующие:

• code массив не должен быть пустым, таким образом, code_length у атрибута не может быть значения 0.
• Код операции первой инструкции в code массив начинается по индексу 0.
• Только экземпляры инструкций, задокументированных в (§6.4), могут появиться в code массив. Экземпляры инструкций, используя зарезервированные коды операций (§6.2), _quick коды операций, задокументированные в Главу 9, "Оптимизация," или любые коды операций, не задокументированные в эту спецификацию, возможно, не появляются в code массив.
• Для каждой инструкции в code массив кроме последнего, индекс кода операции следующей инструкции равняется индексу кода операции текущей команды плюс длина той инструкции, включая все ее операнды. Широкая инструкция обрабатывается как любая другая инструкция в этих целях; код операции, определяющий работу, которую должна изменить широкая инструкция, обрабатывается как один из операндов той широкой инструкции. Тот код операции никогда не должен быть непосредственно достижимым вычислением.
• Последний байт последней инструкции в code массив должен быть байтом по индексу code_length-1.

• Цель каждой команды перехода и команды перехода (jsr, jsr_w, goto, goto_w, ifeq, ifne, iflt, ifge, ifgt, ifle, ifnull, ifnonnull, if_icmpeq, if_icmpne, if_icmplt, if_icmpge, if_icmpgt, if_icmple, if_acmpeq, if_acmpne) должна быть кодом операции инструкции в пределах этого метода. Цель команды перехода или команды перехода никогда не должна быть кодом операции, используемым, чтобы определить работу, которая будет изменена широкой инструкцией; цель перехода или ответвления может быть широкой инструкцией непосредственно.
• Каждая цель, включая значение по умолчанию, каждой tableswitch инструкции должна быть кодом операции инструкции в пределах этого метода. У каждой tableswitch инструкции должно быть много записей в ее таблице переходов, которая является непротиворечивой с ее табличными операндами низкого и прыжка в высоту, и ее низкая стоимость должна быть меньше чем или равной ее высокому значению. Никакая цель tableswitch инструкции не может быть кодом операции, используемым, чтобы определить работу, которая будет изменена широкой инструкцией; цель tableswitch может быть широкой инструкцией непосредственно.
• Каждая цель, включая значение по умолчанию, каждой lookupswitch инструкции должна быть кодом операции инструкции в пределах этого метода. У каждой lookupswitch инструкции должно быть много смещенных соответствием пар, который является непротиворечивым с ее npairs операндом. Смещенные соответствием пары должны быть сортированы в увеличении числового порядка значением соответствия со знаком. Никакая цель lookupswitch инструкции не может быть кодом операции, используемым, чтобы определить работу, которая будет изменена широкой инструкцией; цель lookupswitch может быть широкой инструкцией непосредственно
• Операнд каждого ldc и ldc_w инструкции должен быть допустимым индексом в constant_pool таблица. Постоянная запись пула, на которую ссылается тот индекс, должна иметь тип CONSTANT_Integer, CONSTANT_Float, или CONSTANT_String.
• Операнд каждой ldc2_w инструкции должен быть допустимым индексом в constant_pool таблица. Постоянная запись пула, на которую ссылается тот индекс, должна иметь тип CONSTANT_Long или CONSTANT_double. Кроме того, последующий постоянный индекс пула должен также быть допустимым индексом в постоянный пул, и постоянная запись пула по тому индексу не должна использоваться.
• Операнд каждого getfield, putfield, getstatic, и putstatic инструкция должны быть допустимым индексом в constant_pool таблица. Постоянная запись пула, на которую ссылается тот индекс, должна иметь тип CONSTANT_Fieldref.
• Индексный операнд каждого invokevirtual, invokespecial, и invokestatic инструкция должны быть допустимым индексом в constant_pool таблица. Постоянная запись пула, на которую ссылается тот индекс, должна иметь тип CONSTANT_Methodref.
• Только invokespecial инструкции позволяют вызвать метод <init>, метод инициализации экземпляра (§3.8). Никакой другой метод, имя которого начинается с символа '<' ('u003c') может быть вызван инструкциями вызова метода. В частности метод инициализации класса <clinit> никогда не вызывается явно от инструкций виртуальной машины Java, но только неявно виртуальной машиной Java непосредственно.
• Индексный операнд каждой invokeinterface инструкции должен быть допустимым индексом в constant_pool таблица. Постоянная запись пула, на которую ссылается тот индекс, должна иметь тип CONSTANT_InterfaceMethodref. Значение nargs операнда каждой invokeinterface инструкции должно быть тем же самым как числом слов параметра, подразумеваемых дескриптором CONSTANT_NameAndType_info структура, на которую ссылаются CONSTANT_InterfaceMethodref постоянная запись пула. У четвертого байта операнда каждой invokeinterface инструкции должен быть нуль значения.
• Индексный операнд каждого instanceof, checkcast, новый, anewarray, и multi-anewarray инструкция должен быть допустимым индексом в constant_pool таблица. Постоянная запись пула, на которую ссылается тот индекс, должна иметь тип CONSTANT_Class.
• Никакая anewarray инструкция не может использоваться, чтобы создать массив больше чем 255 размерностей.
• Никакая новая инструкция не может сослаться на a CONSTANT_Class constant_pool запись таблицы, представляющая класс массива. Новая инструкция не может использоваться, чтобы создать массив. Новая инструкция также не может использоваться, чтобы создать интерфейс или экземпляр abstract во время ссылки выполняется класс, но те проверки.
• multianewarray инструкция должна только использоваться, чтобы создать массив типа, у которого есть, по крайней мере, так много размерностей как значение его операнда размерностей. Таким образом, в то время как multianewarray инструкция не обязана создавать все размерности типа массива, на который ссылается CONSTANT_Class операнд, это не должно попытаться создать больше размерностей, чем находятся в типе массива. Операнд размерностей каждой multianewarray инструкции не должен быть нулем.
• atype операнд каждой newarray инструкции должен принять одно из значений T_BOOLEAN (4), T_CHAR (5), T_FLOAT (6), T_DOUBLE (7), T_BYTE (8), T_SHORT (9), T_INT (10), или T_LONG (11).
• Индексный операнд каждого iload, fload, aload, istore, fstore, astore, широкий, iinc, и мочит инструкцию, должно быть натуральное число, не больше чем max_locals-1.
• Неявный индекс каждого iload _ <n>, fload _ <n>, aload _ <n>, istore _ <n>, fstore _ <n>, и astore _ <n> инструкция должен быть не больше чем значение max_locals-1.
• Индексный операнд каждого lload, dload, lstore, и dstore инструкция должны быть не больше чем значение max_locals-2.
• Неявный индекс каждого lload _ <n>, dload _ <n>, lstore _ <n>, и dstore _ <n> инструкция должен быть не больше чем значение max_locals-2.

4.8.2 Структурные ограничения

• Каждая инструкция должна только быть выполнена с соответствующим типом и числом параметров в стеке операнда и локальных переменных, независимо от пути выполнения, который приводит к его вызову. Инструкция, работающая на значениях типа int также разрешается работать на значениях типа byte, char, и short. (Как отмечено в §3.11.1, виртуальная машина Java внутренне преобразовывает значения типов byte, char, и short вводить int.)
• Где инструкция может быть выполнена вдоль нескольких различных путей выполнения, у стека операнда должен быть тот же самый размер до выполнения инструкции, независимо от взятого пути.
• Ни в каком смысле во время выполнения не может порядок слов типа с двумя словами (long или double) будьте инвертированы или разделены. Ни в каком смысле не может слова типа с двумя словами управляться на индивидуально.
• Ни к какой локальной переменной (или пара локальной переменной, в случае типа с двумя словами) нельзя получить доступ прежде, чем она будет присвоена значение.
• Ни в каком смысле во время выполнения не может стек операнда расти, чтобы содержать больше чем max_stack слова.
• Ни в каком смысле во время выполнения не может больше слов быть вытолканным от стека операнда, чем это содержит.
• Каждая invokespecial инструкция должна назвать только метод инициализации экземпляра <init>, метод в this, a private метод, или метод в суперклассе this.
• Когда метод инициализации экземпляра <init> вызывается, неинициализированный экземпляр класса должен быть в соответствующей позиции на стеке операнда. <init> метод никогда не должен вызываться на инициализированный экземпляр класса.
• Когда любой метод экземпляра вызывается, или когда к любой переменной экземпляра получают доступ, экземпляр класса, который содержит метод экземпляра, или переменная экземпляра должна уже быть инициализирована.
• Никогда не должно быть неинициализированного экземпляра класса на стеке операнда или в локальной переменной, когда любой назад переходит, берется. Никогда не должно быть неинициализированного экземпляра класса в локальной переменной в коде, защищенном обработчиком исключений или a finally пункт. Однако, неинициализированный экземпляр класса может быть на стеке операнда в коде, защищенном обработчиком исключений или a finally пункт. Когда исключение выдается, содержание стека операнда отбрасывается.
• Каждый метод инициализации экземпляра (§3.8), за исключением метода инициализации экземпляра произошел от конструктора класса Object, должен вызвать любой другой метод инициализации экземпляра this или метод инициализации экземпляра ее непосредственного суперкласса super прежде, чем к его членам экземпляра получают доступ. Однако, это не необходимо в случае класса Object, у которого нет суперкласса (§2.4.6).
• Параметрами каждому вызову метода должен быть вызов метода, совместимый (§2.6.7) с дескриптором метода (§4.3.3).
• abstract метод никогда не должен вызываться.
• Каждая инструкция возврата должна соответствовать тип возврата своего метода. Если метод возвращает a byte, char, short, или int, только ireturn инструкция может использоваться. Если метод возвращает a float, long, или double, только freturn, lreturn, или dreturn инструкция, соответственно, может использоваться. Если метод возвращает a reference введите, это должно сделать так использование areturn инструкции, и возвращенное значение должно быть присвоением, совместимым (§2.6.6) с дескриптором возврата (§4.3.3) метода. Все методы инициализации экземпляра, статические инициализаторы, и методы, которые, как объявляют, возвратились void должен только использовать инструкцию возврата.
• Если getfield или putfield привыкли к доступу a protected поле суперкласса, тогда тип получаемого доступ экземпляра класса должно быть тем же самым как или подкласс текущего класса. Если invokevirtual привык к доступу a protected метод суперкласса, тогда тип получаемого доступ экземпляра класса должен быть тем же самым как или подкласс текущего класса.
• Тип каждого экземпляра класса, загруженного из или сохраненный в getfield или putfield инструкцией, должен быть экземпляром типа класса или подклассом типа класса.
• Тип каждого значения, сохраненного putfield или putstatic инструкцией, должен быть совместимым с дескриптором поля (§4.3.2) экземпляра класса или класса, сохраненного в. Если тип дескриптора byte, char, short, или int, тогда значение должно быть int. Если тип дескриптора float, long, или double, тогда значение должно быть a float, long, или double, соответственно. Если тип дескриптора является a reference введите, тогда значение должно иметь тип, который является присвоением, совместимым (§2.6.6) с типом дескриптора.
• Тип каждого значения сохранен в массив типа reference aastore инструкцией должно быть присвоение, совместимое (§2.6.6) с компонентным типом массива.
• Каждая athrow инструкция должна только бросить значения, которые являются экземплярами класса Throwable или подклассов Throwable.
• Выполнение никогда не уменьшается нижняя часть code массив.
• Никакой обратный адрес (значение типа returnAddress) может быть загружен из локальной переменной.
• Инструкция после каждого jsr или jsr_w инструкция только могут быть возвращены к синглом, мочат инструкцию.
• Никакой jsr или jsr_w инструкция не могут использоваться, чтобы рекурсивно вызвать подпрограмму, если та подпрограмма уже присутствует в цепочке вызова подпрограммы. (Подпрограммы могут быть вложены при использовании try-finally конструкции изнутри a finally пункт. Для получения дополнительной информации по подпрограммам виртуальной машины Java см. §4.9.6.)
• Каждый экземпляр типа returnAddress может быть возвращен к самое большее однажды. Если мочить инструкция возвращается к вопросу в цепочке вызова подпрограммы выше мочить инструкции, соответствующей приведенному примеру типа returnAddress, тогда тот экземпляр никогда не может использоваться в качестве обратного адреса.

4.9 Проверка Файлов класса

Дополнительной проблемой со временем компиляции, проверяя является скос версии. Пользователь, возможно, успешно скомпилировал класс, сказать PurchaseStockOptions, быть подклассом TradingClass. Но определение TradingClass возможно, изменился в пути, который не является совместимым с существующими ранее двоичными файлами со времени, класс был скомпилирован. Методы, возможно, были удалены, или имели свои типы возврата или измененные модификаторы. Поля, возможно, изменили типы или изменились от переменных экземпляра до переменных класса. Модификаторы доступа метода или переменной, возможно, изменились от public к private. Для обсуждения этих проблем см. Главу 13, "Совместимость на уровне двоичных кодов," в Спецификации языка Java.

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

Вместо этого реализация виртуальной машины Java Sun проверяет что каждый class файл, который это считает незащищенным, удовлетворяет необходимые ограничения при соединении времени (§2.16.3). Структурные ограничения на код виртуальной машины Java проверяются, используя простую программу автоматического доказательства теоремы.

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

• Нет никаких переполнений стека операнда или потерь значимости.
• Все использование локальной переменной и хранилища допустимы.
• Параметры всем инструкциям виртуальной машины Java имеют допустимые типы.

class верификатор файла также независим от языка Java. Другие языки могут быть скомпилированы в class формат, но только передаст проверку, если они удовлетворят те же самые ограничения как a class файл скомпилирован из источника Java.

4.9.1 Процесс Проверки

Передача 1: Когда предполагаемое class файл загружается (§2.16.2) виртуальной машиной Java, виртуальная машина Java сначала гарантирует, что у файла есть основной формат Java class файл. Первые четыре байта должны содержать правильное магическое число. Все распознанные атрибуты должны иметь надлежащую длину. class файл не должен быть усеченным или иметь дополнительные байты в конце. Постоянный пул не должен содержать поверхностно неузнаваемую информацию.

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

Передача 2: Когда class файл соединяется, верификатор выполняет всю дополнительную проверку, которая может быть сделана, не смотря на code массив Code атрибут (§4.7.4). Проверки, выполняемые этой передачей, включают следующее:

• Обеспечение этого final классы не разделяются на подклассы, и это final методы не переопределяются.
• Проверка, что каждый класс (кроме Object) имеет суперкласс.
• Обеспечение, что постоянный пул удовлетворяет задокументированные статические ограничения; например, ссылки класса в постоянном пуле должны содержать поле, которое указывает на a CONSTANT_Utf8 представьте ссылку в виде строки в постоянном пуле.
• Проверка, что у всех полевых ссылок и ссылок метода в постоянном пуле есть допустимые имена, допустимые классы, и допустимый дескриптор типа.

Передача 3: Все еще во время соединения, верификатор проверяет code массив Code атрибут для каждого метода class файл, выполняя анализ потока данных каждого метода. Верификатор гарантирует, что в любой данной точке в программе, независимо от того какой путь выполнения кода берется, чтобы достигнуть той точки:

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

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

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

Передача 4 является виртуальной передачей, проверка которой делается соответствующими инструкциями виртуальной машины Java. В первый раз инструкция, что ссылается на тип, выполняется, выполняющаяся инструкция делает следующее:

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

• Гарантирует, что метод, на который ссылаются, или поле существуют в данном классе.
• Проверки, что у метода, на который ссылаются, или поля есть обозначенный дескриптор.
• Проверки, что у в настоящий момент выполняющегося метода есть доступ к методу, на который ссылаются, или полю.

Виртуальной машине Java позволяют выполнить любую из Передачи 4 шага, за исключением класса или интерфейсной инициализации, как часть Передачи 3; см. 2.16.1, "Запуск Виртуальной машины" для примера и большего количества обсуждения.

В реализации виртуальной машины Java Sun, после того, как была выполнена проверка, инструкция в коде виртуальной машины Java заменяется альтернативной формой инструкции (см. Главу 9, "Оптимизация"). Например, код операции new заменяется new_quick. Эта альтернативная инструкция указывает, что проверка, необходимая этой инструкции, имела место и не должна быть выполнена снова. Последующие вызовы метода таким образом будут быстрее. Это недопустимо для этих альтернативных форм инструкции, чтобы появиться в class файлы, и с ними никогда не должен встречаться верификатор.

4.9.2 Верификатор Байт-кода

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

• Ответвления должны быть в пределах границ code массив для метода.
• Цели всех инструкций потока управления - каждый запуск инструкции. В случае широкой инструкции широкий код операции считают запуском инструкции, и кодом операции, дающим работу, измененную, которым широкая инструкция, как полагают, не запускает инструкцию. Ответвления в середину инструкции отвергаются.
• Никакая инструкция не может получить доступ или изменить локальную переменную по индексу, больше чем число локальных переменных, что его метод указывает, что это использует.
• Все ссылки на постоянный пул должны быть к записи соответствующего типа. Например: инструкция ldc может только использоваться для данных типа int или float, или для экземпляров класса String; инструкция getfield должна сослаться на поле.
• Код не заканчивается в середине инструкции.
• Выполнение не может уменьшиться конец кода.
• Для каждого обработчика исключений начальная и конечная точка кода, защищенного обработчиком, должна быть в начале инструкции. Начальная точка должна быть перед конечной точкой. Код обработчика исключений должен запуститься в допустимой инструкции, и он, возможно, не запускается в коде операции, изменяемом широкой инструкцией.

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

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

1. Выберите инструкцию виртуальной машины, "измененный" бит которой устанавливается. Если никакая инструкция не остается, чей "измененный" бит устанавливается, метод был успешно проверен. Иначе, выключите "измененный" бит выбранной инструкции.
2. Смоделируйте эффект инструкции по стеку операнда и локальным переменным:
   • Если значения использования инструкции от стека операнда, гарантируйте, что есть достаточное число значений на стеке и что главные значения на стеке имеют соответствующий тип. Иначе, сбои проверки.
   • Если инструкция использует локальную переменную, гарантируйте, что указанная локальная переменная содержит значение соответствующего типа. Иначе, сбои проверки.
   • Если значения нажатий инструкции на стек операнда, гарантируйте, что есть достаточная комната на стеке операнда для новых значений. Добавьте обозначенные типы к вершине смоделированного стека операнда.
   • Если инструкция изменяет локальную переменную, запишите это, локальная переменная теперь содержит новый тип.
3. Определите инструкции, которые могут следовать за текущей командой. Инструкции преемника могут быть одним из следующего:
   • Следующая инструкция, если текущая команда не является безусловной инструкцией передачи управления (например goto, возврат или athrow). Проверка перестала работать, если возможно "уменьшиться" последняя инструкция метода.
   • Цель (и) условного или безусловного перехода или переключателя.
   • Любые обработчики исключений для этой инструкции.
4. Объедините состояние стека операнда и локальных переменных в конце выполнения текущей команды в каждую из инструкций преемника. В особом случае передачи управления в обработчик исключений стек операнда устанавливается содержать единственный объект типа исключения, обозначенного информацией об обработчике исключений.
   • Если это - первый раз, когда инструкцию преемника посетили, запишите это, стек операнда и значения локальных переменных, вычисленные в шагах 2 и 3, являются состоянием стека операнда и локальных переменных до выполнения инструкции преемника. Установите "измененный" бит для инструкции преемника.
   • Если инструкция преемника была замечена прежде, уже объедините стек операнда и значения локальной переменной, вычисленные в шагах 2 и 3 в значения там. Установите "измененный" бит, если есть какая-либо модификация к значениям.
5. Продолжайте в шаге 1.

Чтобы объединить два состояния локальной переменной, соответствующие пары локальных переменных сравниваются. Если два типа не идентичны, то, если оба не содержат reference значения, записи верификатора, что локальная переменная содержит неприменимое значение. Если обе из пары локальных переменных содержат reference значения, объединенное состояние содержит a reference к экземпляру первого общего суперкласса двух типов.

Если поток данных, анализатор работает на методе, не сообщая об отказе проверки, то метод был успешно проверен Передачей 3 из class верификатор файла.

Определенные инструкции и типы данных усложняют поток данных анализатор. Мы теперь исследуем каждый из них более подробно.

4.9.3 Длинные целые и Удваиваются

Всякий раз, когда a long или double перемещается в локальную переменную, последующая локальная переменная отмечается как содержащий вторую половину a long или double. Это специальное значение указывает что все ссылки на long или double должен быть через индекс локальной переменной с более низким номером.

Всякий раз, когда любое значение перемещается в локальную переменную, предыдущая локальная переменная исследуется, чтобы видеть, содержит ли это первое слово a long или a double. Если так, та предыдущая локальная переменная изменяется, чтобы указать, что она теперь содержит неприменимое значение. Начиная с половины long или double был перезаписан, другая половина больше не должна использоваться.

Контакт с 64-разрядными количествами на стеке операнда более прост; верификатор обрабатывает их как единые блоки на стеке. Например, код проверки для dadd кода операции (добавляют два double значения), проверяет, что лучшие два элемента на стеке имеют оба тип double. Когда вычисление операнда складывает длину, значения типа long и double имейте длину два.

Невведенные инструкции, которые управляют стеком операнда, должны обработать значения типа double и long как атомарный. Например, верификатор сообщает об отказе, если главное значение на стеке является a double и это встречается с инструкцией те, которые выталкивают или копируют. Инструкции pop2 или dup2 должны использоваться вместо этого.

4.9.4 Методы Инициализации экземпляра и Недавно Создаваемые Объекты

    ...

    new myClass(i, j, k);
    ...

    ...

    new 	#1		// Allocate uninitialized space for myClass
    dup			// Duplicate object on the operand stack
    iload_1			// Push i
    iload_2			// Push j
    iload_3			// Push k
    invokespecial myClass.<init>	         // Initialize object
    ...

Метод инициализации экземпляра <init> для класса myClass рассматривает новый неинициализированный объект как this параметр в локальной переменной 0. Это должно или вызвать альтернативный метод инициализации экземпляра для класса myClass или вызовите метод инициализации суперкласса на this объект прежде, чем будет позволено сделать что-либо еще с this.

Делая анализ потока данных методов экземпляра, верификатор инициализирует локальную переменную 0 содержать объект текущего класса, или, например методы инициализации, локальная переменная 0 содержит специальный тип, указывающий на неинициализированный объект. После того, как соответствующий метод инициализации вызывается (от текущего класса или текущего суперкласса) на этом объекте, все возникновения этого специального типа на модели верификатора стека операнда и в локальных переменных заменяются текущим типом класса. Верификатор отклоняет код, который использует новый объект прежде, чем это было инициализировано, или это инициализирует объект дважды. Кроме того, это гарантирует, что каждый нормальный возврат метода или вызвал метод инициализации в классе этого метода или в прямом суперклассе.

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

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

new InputStream(new Foo(), new InputStream("foo"))

может иметь два неинициализированных экземпляра InputStream на операнде складывают сразу. Когда метод инициализации вызывается на экземпляр класса, только те возникновения специального типа на стеке операнда или в регистрах, которые являются тем же самым объектом, как экземпляр класса заменяется.

У допустимой последовательности инструкции не должно быть неинициализированного объекта на стеке операнда или в локальной переменной во время назад ответвление, или в локальной переменной в коде, защищенном обработчиком исключений или a finally пункт. Иначе, окольная часть кода могла бы дурачить верификатор, заставляя думать, это инициализировало экземпляр класса, когда это, фактически, инициализировало экземпляр класса, создаваемый в предыдущей передаче через цикл.

4.9.5 Обработчики исключений

• Диапазоны инструкций, защищенных двумя различными обработчиками исключений всегда, являются или абсолютно непересекающимися, или иначе каждый - поддиапазон другого. Никогда нет частичного перекрытия диапазонов.
• Обработчик для исключения никогда не будет в коде, который защищается.
• Единственная запись в обработчик исключений через исключение. Невозможно провалиться или "goto" обработчик исключений.

4.9.6 Исключения и finally

    ...

    try {
    startFaucet();
    waterLawn();
    } finally {
    stopFaucet();
    }
    ...

Реализовывать try-finally создайте, компилятор Java использует средства обработки исключений вместе с двумя специальными инструкциями jsr ("переход к подпрограмме"), и мочите ("возврат из подпрограммы"). finally пункт компилируется как подпрограмма в пределах кода виртуальной машины Java для его метода, очень как код для обработчика исключений. Когда jsr инструкция, которая вызывает подпрограмму, выполняется, это продвигает свой обратный адрес, адрес инструкции после jsr, который выполняется на стек операнда как значение типа returnAddress. Код для подпрограммы хранит обратный адрес в локальной переменной. В конце подпрограммы мочить инструкция выбирает обратный адрес от локальной переменной и передает управление инструкции в обратном адресе.

Управление может быть передано finally пункт ( finally подпрограмма может быть вызвана) несколькими различными способами. Если try пункт обычно завершается, finally подпрограмма вызывается через jsr инструкцию прежде, чем оценить следующее выражение Java. A break или continue в try пункт, который передает управление вне try пункт выполняет jsr к коду для finally пункт сначала. Если try пункт выполняет a return, скомпилированный код делает следующее:

1. Сохраняет возвращаемое значение (если любой) в локальной переменной.
2. Выполняет jsr к коду для finally пункт.
3. По возврату из finally пункт, возвращает значение, сохраненное в локальной переменной.

1. Сохраняет исключение в локальной переменной.
2. Выполняет jsr к finally пункт.
3. По возврату из finally пункт, повторно бросает исключение.

Код для finally пункт представляет специальную проблему верификатору. Обычно, если определенная инструкция может быть достигнута через разнообразные пути, и определенная локальная переменная содержит несовместимые значения через те разнообразные пути, то локальная переменная становится неприменимой. Однако, a finally пункт можно было бы вызвать от нескольких различных мест, приводя к нескольким различным обстоятельствам:

• У вызова от обработчика исключений может быть определенная локальная переменная, которая содержит исключение.
• Вызов, чтобы реализовать return может иметь некоторую локальную переменную, которая содержит возвращаемое значение.
• Вызов от нижней части try у пункта может быть неопределенное значение в той же самой локальной переменной.

Проверка кода, который содержит a finally пункт усложняется. Основная идея является следующим:

• Каждая инструкция отслеживает список целей jsr, должен был достигнуть той инструкции. Для большинства кода этот список пуст. Для инструкций в кодируют для finally пункт, это имеет длину один. Для умножаются вложенный finally код (чрезвычайно редкий!), это может быть более длинно чем один.
• Поскольку каждая инструкция и каждый jsr должны были достигнуть той инструкции, немного вектора сохраняется всех локальных переменных, к которым получают доступ или измененный начиная с выполнения jsr инструкции.
• Выполняя мочить инструкцию, которая реализует возврат из подпрограммы, должна быть только одна возможная подпрограмма, из которой может возвращаться инструкция. Две различных подпрограммы не могут "объединиться", их выполнение к синглу мочат инструкцию.
• Чтобы выполнить анализ потока данных мочить инструкции, специальная процедура используется. Так как верификатор знает подпрограмму, из которой должна возвращаться инструкция, это может найти все jsr инструкции, которые вызывают подпрограмму и объединяют состояние стека операнда и локальных переменных во время мочить инструкции в стек операнда и локальных переменных инструкций после jsr. Слияние использует специальный набор значений для локальных переменных:
• Для любой локальной переменной, для которой битовый вектор (созданный выше) указывает, что подпрограмма получила доступ или изменила, используйте тип локальной переменной во время мочения.
• Для других локальных переменных используйте тип локальной переменной перед jsr инструкцией.

4.10 Ограничения виртуальной машины Java и class Формат файла

• Постоянный пул на класс ограничивается 65535 записями 16-разрядным constant_pool_count поле ClassFile структура (§4.1). Это действует как внутренний предел на полной сложности единого класса.
• Объем кода на метод ограничивается 65535 байтами размерами индексов в exception_table из Code атрибут (§4.7.4), в LineNumberTable атрибут (§4.7.6), и в LocalVariableTable атрибут (§4.7.7).
• Число локальных переменных в методе ограничивается 65535 двухбайтовым индексным операндом многих инструкций виртуальной машины Java и размером max_locals элемент ClassFile структура (§4.1). (Вспомните это значения типа long и double как полагают, занимают две локальных переменные.)
• Число полей класса ограничивается 65535 размером fields_count элемент ClassFile структура (§4.1).
• Число методов класса ограничивается 65535 размером methods_count элемент ClassFile структура (§4.1).
• Размер стека операнда ограничивается 65535 словами max_stack поле Code_attribute структура (§4.7.4).
• Число размерностей в массиве ограничивается 255 размером кода операции размерностей multianewarray инструкции, и ограничениями, наложенными на multianewarray, anewarray, и newarray инструкции §4.8.2.
• Допустимый дескриптор метода Java (§4.3.3) должен потребовать 255 или меньшего количества слов параметров метода, где тот предел включает слово для this в случае вызовов метода экземпляра. Отметьте, что предел находится на числе слов параметров метода, а не на числе параметров непосредственно. Параметры типа long и double два слова долго; параметрами всех других типов является одно слово долго.

² факт это end_pc является монопольным, историческая ошибка в виртуальной машине Java: если код виртуальной машины Java для метода точно 65535 байтов длиной и заканчивается инструкцией, которая один байт длиной, то та инструкция не может быть защищена обработчиком исключений. Разработчик компилятора может работать вокруг этой ошибки, ограничивая максимальный размер сгенерированного кода виртуальной машины Java для любого метода, метода инициализации экземпляра, или статического инициализатора (размер любого code массив) к 65534 байтам.

³ javac компилятор в JDK Sun 1.0.2 выпуска может фактически генерировать LineNumberTable атрибуты, которые не находятся в порядке номера строки и которые не являются непосредственными с исходными строками. Это неудачно, поскольку мы предпочли бы определять непосредственное, упорядоченное отображение LineNumberTable атрибуты, чтобы определить источник строк, но должен уступить обратной совместимости.

Содержание | Предыдущий | Следующий | Индекс

Спецификация Виртуальной машины Java

Авторское право © 1996, 1997 Sun Microsystems, Inc. Все права защищены
Пожалуйста, отправьте любые комментарии или исправления к jvm@java.sun.com