Скачиваний:
10
Добавлен:
01.05.2014
Размер:
34.82 Кб
Скачать

4.3. Описание символов действия

{WrRM}x y Запись размера массива в структуру идентификатора.

x– ссылка на идентификатор в ТИ (куда нужно записать)

y – ссылка на число в ТЧ (что нужно записать)

{FMB}ab x Формирование массива Boolean

{FMC}ab x Формирование массива Char

a – указатель на первую свободную ячейку ТЗ, откуда можно начинать формирование

b – новый указатель на первую свободную ячейку ТЗ

x – ссылка на идентификатор в ТИ (в структуре которого находится информация о массиве)

Проверяет количество элементов на допустимое значение, если значение допустимо, то формирует в ТЗ массив.

{FUkTZEM}x yt Формирование указателя на ячейку ТЗ, в которой хранится значение элемента массива

x – ссылка на идентификатор массива в ТИ

y – ссылка на число в ТЧ (номер элемента в массиве)

t – сформированный указатель на ячейку ТЗ

{NewB}ab x Выделение памяти под переменную типа Boolean

{NewC}ab x Выделение памяти под переменную типа Char

a – указатель на первую свободную ячейку ТЗ (выделяемая ячейка)

b – новый указатель на первую свободную ячейку ТЗ

x – ссылка на идентификатор переменной в ТИ, для которой необходимо выделить память

Устанавливает указатель на ТЗ в структуре идентификатора.

{FUkTZId}xt Формирование указателя на ячейку ТЗ, в которой хранится значение переменной

x – ссылка на идентификатор переменной в ТИ

t – сформированный указатель на ячейку ТЗ

{FAt=}t1 t2 t3 Формирование атома (=, Операнд1, Операнд2, Результат)

t1 – указатель на ячейку памяти, в которой хранится значение Операнд1

t2 – указатель на ячейку памяти, в которой хранится значение Операнд2

t3 – указатель на ячейку памяти, в которую нужно записать Результат

Проверяет по значению поля TypeZ структуры ячейка памяти типы

Операнд1 и Операнд2. Если они совпадают, то формирует атом (=, Операнд1, Операнд2, Операнд1).

{FAt&}t1 t2 t3 Формирование атома (&, Операнд1, Операнд2, Результат)

t1 – указатель на ячейку памяти, в которой хранится значение Операнд1

t2 – указатель на ячейку памяти, в которой хранится значение Операнд2

t3 – указатель на ячейку памяти, в которую нужно записать Результат

Проверяет по значению поля TypeZ структуры ячейка памяти типы

Операнд1 и Операнд2. Если они совпадают и имеют значение TBool, то формирует атом (=, Операнд1, Операнд2, Результат).

{FAtV}t1 t2 t3 Формирование атома (&, Операнд1, Операнд2, Результат)

t1 – указатель на ячейку памяти, в которой хранится значение Операнд1

t2 – указатель на ячейку памяти, в которой хранится значение Операнд2

t3 – указатель на ячейку памяти, в которую нужно записать Результат

Проверяет по значению поля TypeZ структуры ячейка памяти типы

Операнд1 и Операнд2. Если они совпадают и имеют значение TBool, то формирует атом (V, Операнд1, Операнд2, Результат).

{FAt!}t1 t2 t3 Формирование атома (!, Операнд, NULL, Результат)

t1 – указатель на ячейку памяти, в которой хранится значение Операнд

t2 – NULL (унарная операция)

t3 – указатель на ячейку памяти, в которую нужно записать Результат

Проверяет по значению поля TypeZ структуры ячейка памяти тип

Операнд. Если он имеет значение TBool, то формирует атом (!, Операнд, NULL, Операнд).

{NextZ}ab Получение указателя на очередную свободную ячейку ТЗ

а – указатель на ячейку ТЗ

b – сформированный указатель на очередную свободную ячейку ТЗ