Платформа программирования J2ME для портативных устройств



          

Предварительная проверка - часть 3


Атрибуты, которые верификатор предварительной проверки записывает в файлы классов CLDC, называются атрибутами стековой карты. Атрибуты стековой карты определяются структурой данных StackMap_attribute. Эти атрибуты являются субатрибутами атрибута Code, определяемого и используемого обычной виртуальной машиной J2SE. Имя стековая карта отражает природу атрибута как описания типа локальной переменной или элемента стека операндов. Такое имя выбрано потому, что эти элементы всегда находятся в стеке интерпретатора.

Тип Code_attribute является другим типом, определяемым стандартной виртуальной машиной. Он определяет атрибут Code, используемый стандартной виртуальной машиной J2SE. Для получения полного описания этих структур, пожалуйста, смотрите спецификацию виртуальной машины Java «Java Virtual Machine Specification», которая отмечена в разделе ссылок в конце этой книги. Верификатор предварительной проверки CLDC определяет следующую структуру Stackmap_attribute, которая определяет производный тип стековой карты, как изложено ниже:

StackMap_attribute

{

u2 attribute_name_index; u4 attribute_length; u2 .iumber_of_entries;

u4 byte_code_offset;

{

u2 number_of_locals;

cy types_of_locals[number_of_locals];

u2 number_of_stack_iteras;

ty types_of_stack_items[nuraber_of_stack_iterns];

} entries [number_of_entriesj;

}

Для получения дополнительной информации об описании и функционировании каждого из этих полей, пожалуйста, смотрите спецификацию Connected, Limited Device Configuration Specification.




Содержание  Назад  Вперед