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

При создании процедур и функции преследуют следующие цели:

1. разделение некоторой общей задачи на несколько частных задач, меньших по объему и менее сложных;

2. уменьшение объема программы за счет оформления многократно повторяющихся действий в виде отдельной процедуры или функции;

3. создание универсальных программных модулей - обобщения полученного решения частной задачи с целью его использования для решения других задач.

Для реализации работы с процедурами с параметрами были использованы следующие переменные и процедуры:

1. pere:array[1..10] of array[1..2,1..10] of string[8]; в этом массиве хранится название процедур, входные параметры и их тип;

2. Num:integer; переменная, которая используется в роли счётчика, указывающего на номер текущей процедуры в массиве pere;

3. DoProcedure - эта процедура разбирает правило

<proc> ::= PROCEDURE <proc-name>(<dec-list>) BEGIN <stmt-list> END;

и генерирует код процедуры.

procedure DoProcedure;

var x,y,i,j,x1,y1:integer;

Name:string;

begin

i:=0;

if token = 23 then

begin

CloseFileOut;

OpenFileOut('Temp.tmp');

while token = 23 do

begin

i:=i+1;

num:=i;

if i>10 then Expected('Ошибка в строке ' + inttostr(LineError));

y1:=1;

x1:=0;

Scan;

pere[i][1,y1]:=value;

y1:=y1+2;

VstId;

Emitln(value+' proc');

Name:=value;

token:=23;

IdList1;

Scan;

if value = '(' then

while value<>')' do

begin

Emit('LOCAL ');

value:=',';

while value=',' do

begin

Scan;

pere[i][1,y1]:=value;

Emit(value+'_');

Scan;

if value = ':' then

begin

Scan;

if (Token<>9) and (Token<>13) then Expected('Ошибка в строке ' + inttostr (LineError)+': Type');{???}

pere[i][2,y1]:=value;

EmitLn(':WORD');

{???}

y1:=y1+1;

end

else Expected('Ошибка в строке ' + inttostr (LineError)+': Type');

x1:=x1+1;

Scan;

end;

if value<>')' then Expected('Ошибка в строке ' + inttostr (LineError)+': Type');

end;

Scan;

if Value<>';' then Expected('Ошибка в строке ' + inttostr (LineError)+': Type');

Scan;

if token <> 8 then Expected('Ошибка в строке ' + inttostr(LineError)+': BEGIN ');

check:=1;

pere[i][1,2]:=IntToStr(x1);

for j:=3 to 2+x1 do

{EmitLn(' pop _'+pere[num][1,j]);}

EmitLn(' push bp');

EmitLn('mov bp, sp');

for j:=3 to 2+x1 do

begin

Emit(' mov AX, [BP+');Emit(IntToStr(4+(j-3)*2));Emitln(']');

EmitLn(' mov '+pere[num][1,j]+'_ ,AX');

end;

StmtList;

if token <> 10 then Expected('Ошибка в строке ' + inttostr(LineError)+': END ');

EmitLn(' mov SP, BP');

EmitLn(' pop BP');

EmitLn(' ret');

EmitLn(Name+' endp');

Scan;

if value <> ';' then Expected('Ошибка в строке ' + inttostr(LineError)+': ; ');

Scan;

end;

CloseFileOut;

Assign(output,'Out.asm');

Append(output);

writeln(output);

Check:=0;

end;

end;

В этой процедуре были использованы следующие переменные: счетчики x,y,i,j,x1,y1 и переменная Name строкового типа для передачи имени процедуры.

DoProcedure выполняет следующие действия указанные на рисунке 2.

Рисунок 2. основные блоки процедуры DoProcedure

В первом блоке выполняется закрытие файла Out.asm и открытие файла Temp.tmp - это делается для того, что бы в последствии из файла Temp.tmp скопировать текст процедуры в файл Out.asm.

Во втором блоке выполняется фиксирование имени процедуры и её параметров, которые записываются в массив pere.

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

В четвертом блоке закрывается файл Temp.tmp и открывается Out.asm, позиция устанавливается в конец файла.

В языке ассемблер для передачи параметров используется директива LOCAL.

LOCAL аргумент [,аргумент] . [=идентификатор]

Отдельные аргументы имеют следующий синтаксис:

имя_аргумента [[выражение_счетчик_1]]

[: сложный_тип [:выражение_счетчик_2]]

где "сложный_тип" - это тип данных аргумента. Он может быть либо простым типом, либо сложным выражением-указателем.

Значения объявленным локальным переменным передаются через стек.

4. процедура copyf копирует данные из файла Temp.tmp в файл Out.asm

procedure copyf;

var

s:string;

i:integer;

begin

Assign(output,'temp.tmp');

reset(output);

assign(f,'out.asm');

append(f);

while not EOF(output) do

begin

readln(output,s);

writeln(f,s);

end;

writeln(f,'end main');

erase(output);

close(f);

end;

5. процедура Assign осуществляющая разбор правила:<exp> ::= id:= <exp>

procedure Assignn;

var

i,u,r:integer;

begin

u:=2;

r:=1;

Name := Value; {Присваиваем имя идентификатора переменной NAME}

IdUnknown; {Проверяем описан ли идентификатор}

If TypeId = '3' then

begin

for i:=1 to 10 do

begin

if pere[i][1,1]=value then

begin

EmitLn(' pusha');

Scan;

if value <> '(' then Expected('Ошибка в строке ' + inttostr(LineError)+': (');

While value <> ')' do

begin

value:=',';

while value = ',' do

begin

u:=u+1;

Scan;

EmitLn('push _'+value);

temp[r]:=value;

if token <> 2 then Expected('Ошибка в строке ' + inttostr(LineError));

IdUnknown;

if typeId='1' then if pere[i][2,u]<>'INTEGER' then

Expected('Ошибка в строке ' + inttostr(LineError));

if typeid='2'then if pere[i][2,u]<>'STRING' then

Expected('Ошибка в строке ' + inttostr(LineError));

Scan;

end;

end;

Scan;

Emitln('CALL '+pere[num][1,1]);

EmitLn(' popa');

break;

end;

if i=10 then Expected('Ошибка в строке ' + inttostr(LineError));

end;

end

else

begin

Scan; {Запрос лексемы}

{Проверяем является ли лексема символом :=}

if Value <> ':=' then Expected('Ошибка в строке ' + inttostr(LineError)+': :=');

Scan; {Запрос лексемы}

if TypeId='1' then

begin

BoolExpression;

CodeAssign(Name); {процедура генерации кода}

end;

if TypeId='2' then

begin

StrExpression;

CodeAssign1(Name); {процедура генерации кода}

end;

Процедура используется при вызове в теле программы. Она проверяет, существует ли процедура и выдает ошибку, в случае если процедуре будет передаваться параметров больше, чем описано, либо если эти параметры будут иметь не верный тип. В процедуре ASSIGN использовались переменные-счётчики - i, u, r целого типа.

6. Процедура IdList1 вставляет в таблицу идентификаторов IdTable тип идентификатора.

7.

Procedure IdList1;

var i,j:integer;

begin

{Если тип равен INTEGER}

if token=9 then begin

for i:=1 to 210 do begin

if IdTable[2,i] = '25' then begin IdTable[2,i]:='1'; {Вставляем тип идентификатора}

Emitln('_' + IdTable[1,i] +' DW ?');

end;

end;

end;

{Если тип равен STRING}

if token=13 then begin

for i:=1 to 210 do begin

if IdTable[2,i] = '25' then begin IdTable[2,i]:='2'; {Вставляем тип идентификатора}

Emitln('_' + IdTable[1,i] +' DB 256 dup (?)');

end;

end;

end;

{Если тип равен PROCEDURE}

f token=23 then begin

for i:=1 to 210 do begin

if IdTable[2,i] = '25' then IdTable[2,i]:='3'; {Вставляем тип идентификатора}

end;

end;

В таблице IdTable хранятся все переменные и их типы, а также названия процедур. Процедура записывает в таблицу IdTable тип. Генерирует код, если тип не равен 3.

компилятор процедура параметр алгоритм

Заключение

В данной работе была в полном объёме выполнена поставленная задача написание компилятора с реализацией работы с процедурами с параметрами. В ходе выполнения задачи было изучен принцип работы компиляторов, что позволило беспроблемно решить поставленную задачу.

Список использованных источников

Бек Л. Введение в системное программирование.: Пер. с англ. - М.: Мир, 1998.

Грис Д. Конструирование компиляторов для цифровых вычислительных машин. - М.: Мир, 1975.

Карпов В.Э. Классическая теория компиляторов. - http://itlab.net.ru/ materials/compiler/compiler.html

Размещено на Allbest.ru