Семантические действия в синтаксическом анализаторе. Построение дерева программы
Материал из Вики ИТ мехмата ЮФУ
Для построения дерева программы создадим модуль, включающий все синтаксические узлы программы
Модуль узлов синтаксического дерева
unit ProgramTree;
uses
System.Collections.Generic,
SimpleLangLexer;
type
Node = class // базовый класс для всех узлов
end;
ExprNode = class(Node) // базовый класс для всех выражений
end;
IdNode = class(ExprNode)
public
name: string;
constructor (name: string);
begin
Self.name := name;
end;
end;
NumNode = class(ExprNode)
public
num: integer;
constructor (num: integer);
begin
Self.num := num;
end;
end;
StatementNode = class(Node) // базовый класс для всех операторов
end;
AssignOpType = lexAssign..lexAssignMult;
AssignNode = class(StatementNode)
public
id: IdNode;
expr: ExprNode;
assop: AssignOpType;
constructor (id: IdNode; expr: ExprNode; assop: AssignOpType);
begin
Self.id := id;
Self.expr := expr;
Self.assop := assop;
end;
end;
CycleNode = class(StatementNode)
public
ex: ExprNode;
st: StatementNode;
constructor (ex: ExprNode; st: StatementNode);
begin
Self.ex := ex;
Self.st := st;
end;
end;
StatementList = class
public
stlist: List<StatementNode>;
constructor ();
begin
stlist := new List<StatementNode>();
end;
constructor (st: StatementNode);
begin
stlist := new List<StatementNode>();
Add(st);
end;
procedure Add(st: StatementNode);
begin
stlist.Add(st);
end;
end;
BlockNode = class(StatementNode)
public
sl: StatementList;
constructor (sl: StatementList);
begin
Self.sl := sl;
end;
end;
ProgrNode = class(Node)
public
body: StatementList;
constructor (body: StatementList);
begin
Self.body := body;
end;
end;
var root: ProgrNode;
end.
Задания
- Добавить семантические действия, строящие дерево программы с корнем root: ProgrNode. Для этого в модуле парсера превратить все процедуры в функции, создающие соответствующие узлы синтаксического дерева
- Добавить цикл for в грамматику и узел ForNode в модуль узлов синтаксического дерева
- Добавить цикл while в грамматику и узел WhileNode в модуль узлов синтаксического дерева
- Добавить оператор if в грамматику и узел IfNode в модуль узлов синтаксического дерева (предусмотреть полную и неполную форму)
- Добавить грамматику выражений и узел BinaryOperation с параметрами LeftOperand, RightOperand: Expr и OpType: char.
- По построенному синтаксическому дереву восстановить текст программы, реализовав в каждом классе синтаксического дерева метод ToString
- По построенному синтаксическому дереву написать интерпретатор, реализовав в узлах методы Execute и Evaluate.