Интерпретатор ПОЛИЗа для модельного языка

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

Идея алгоритма очень проста: просматриваем ПОЛИЗ слева направо; если встречаем операнд, то записываем его в стек; если встретили знак операции, то извлекаем из стека нужное количество операндов и выполняем операцию, результат (если он есть) заносим в стек и т.д.

Итак, программа на ПОЛИЗе записана в массиве P; пусть она состоит из N элементов-лексем. Каждая лексема - это структура

struct lex {int class; int value;},

возможные значения поля class:

- лексемы-метки (номера элементов в ПОЛИЗе)

- логические константы true либо false (других лексем - служебных слов в ПОЛИЗе нет)

- операции (других лексем-ограничителей в ПОЛИЗе нет)

- целые константы

- лексемы-идентификаторы (во время интерпретации будет использоваться значение)

- лексемы-идентификаторы (во время интерпретации будет использоваться адрес).

Считаем, что к моменту интерпретации распределена память под константы и переменные, адреса занесены в поле address таблиц TID и TNUM, значения констант размещены в памяти.

В программе-интерпретаторе будем использовать некоторые переменные и функции, введенные нами ранее.

void interpreter(void) {

int *ip;

int i, j, arg;

for (i = 0; i<=N; i++)

{curr_lex = P[i];

switch (curr_lex.class) {

case 0: ipush (curr_lex.value); break;

/* метку ПОЛИЗ - в стек */

case 1: if (eq ("true")) ipush (1);

else ipush (0); break;

/* логическое значение - в стек */

case 2: if(eq ("+")){ipush (ipop() + ipop()); break};

/*выполнили операцию сложения, результат - в стек*/

if (eq ("-"))

{arg = ipop(); ipush (ipop() - arg); break;}

/*аналогично для других двухместных арифметических
и логических операций */

if (eq ("not")) {ipush (!ipop()); break;};

if (eq ("!")) {j = ipop(); i = j-1; break;};

/* интерпретация будет продолжена с j-го элемента
ПОЛИЗа */

if (eq ("!F")) {j = ipop(); arg = ipop();

if (!arg) {i = j-1}; break;};

/*если значение arg ложно, то интерпретация будет
продолжена с j -го элемента ПОЛИЗа, иначе порядок не изменится */

if (eq (":=")) {arg = ipop(); ip = (int*)ipop();

*ip = arg; break;};

if (eq ("R")) {ip = (*int) ipop();

scanf("%d", ip); break;};

/* "R" - обозначение операции ввода */

if (eq ("W")) {arg = ipop();

printf ("%d", arg); break;};

/* "W" - обозначение операции вывода */

case 3: ip = TNUM [curr_lex.value].address;

ipush(*ip); break;

/* значение константы - в стек */

case 4: ip = TID [curr_lex.value].address;

ipush(*ip); break;

/* значение переменной - в стек */

case 5: ip = TID [curr_lex.value}.address;

ipush((int)ip); break;

/* адрес переменной - в стек */

} /* конец switch */

} /* конец for */

}