Вики проекта PascalABC.NET - Вклад [ru]

Разбиение списка квадрик на базовые блоки

2011-11-17T11:02:41Z

Extremall:

Последняя версия проекта.

17.11.2011

http://webfiles.ru/27010051

МПОК 2011

2011-11-17T11:00:29Z

Extremall:

[[Роли в проекте и задания разработчикам 2011]]<br\>
[[Грамматика языка Pascal]] 
[[Грамматика языка С]] 
[[Диаграмма классов синтаксического дерева]] 
[[Грамматика Pascal + Код]] 
[[Грамматика C + Код]] 
[[Собранный проект с последними изменениями - всем скачать]] 
[http://files.mail.ru/KA9Z5M Изменения с пары 27.10.2011] 
[http://webfile.ru/5659541 Компилятор, который строит синтаксическое дерево программы (язык Pascal) 10.11.2011] 
[http://dl.dropbox.com/u/18182279/MSS/dvel.7z Удаление мертвых переменных внутри базового блока 17.11.2011] 
[[Разбиение списка квадрик на базовые блоки]]

Роли в проекте и задания разработчикам 2011

2011-10-19T19:06:37Z

Extremall:

Темченко А. А. Соловьев Л. В.

1) парсер С

Венцко А.З. Владыкин К.В.

1) парсер языка Pascal

2) алгоритм удаления мертвых переменных

Баштанова Д.С., Найденов С.Г.

1) первичное описание классов синтаксического дерева

2) Инфраструктура visitor'ов

Науменко А.Е., Ксения П.

1) Обработчики грамматики

2) Разбиение на блоки

Пронин А., Бувайло О.

1) Visitor для генерации трехадресного кода. Структура для трехадрессного кода.

Разбиение списка квадрик на базовые блоки

2011-10-19T19:04:50Z

Extremall: Новая: Не знаю, у кого сейчас последняя версия проекта, поэтому выкладываю отдельно. http://webfile.ru/5614773

Не знаю, у кого сейчас последняя версия проекта, поэтому выкладываю отдельно.

http://webfile.ru/5614773

МПОК 2011

2011-10-19T19:02:44Z

Extremall:

[[Роли в проекте и задания разработчикам 2011]] 
[[Грамматика языка Pascal]] 
[[Грамматика языка С]] 
[[Диаграмма классов синтаксического дерева]] 
[[Первичное описание классов синтаксического дерева]] 
[[Грамматика Pascal + Код]] 
[[Грамматика C + Код]] 
[[Собранный проект с последними изменениями - всем скачать]] 
[[Разбиение списка квадрик на базовые блоки]]

Грамматика C + Код

2011-09-28T19:13:56Z

Extremall: Новая: <source lang=""> progr: { $$ = new Program(@$); } | progr OperatorSequence { for (int i = 0; i < $2.list.Count) $1.list.Add($2.list[i]); $$ = $1; } ; Operator: def { $$ ...

<source lang="">
progr: {
$$ = new Program(@$);
}
| progr OperatorSequence {
for (int i = 0; i < $2.list.Count)
$1.list.Add($2.list[i]);
$$ = $1;
}
;

Operator: def {
$$ = $1;
}
| assign {
$$ = $1;
}
| if {
$$ = $1;
}
| while {
$$ = $1;
}
| OutPut
| BOperator {
$$ = $1;
}
;

BOperator: BEGIN OperatorSequense END {
$$ = $2;
}
;

OperatorSequense: {
$$ = new BlockOperator(@$);
}
| Operatorsequense operator {
$1.list.Add($2);
$$ = $1;
}
;

def: ident varlist SEMICOLUMN{
TipType type;
if ($1 == "int")
type = TipType.IntType;
else if ($1 == "double")
type = TipType.DoubleType;
else if ($1 == "bool")
type = TipType.BoolType;
else
{
// Error: unknown type
}
$$ = new VarDef(@$, $2, type);
}
;

varlist: ident {
if (GlobalStructures.isNameExists($1))
{
// Error: this name is already used
}
Ident Id = new Ident($1, @1);
listVars.Add(Id);
$$ = new List<Ident>();
$$.Add(Id);
}
| varlist COMMA ident{
if (GlobalStructures.isNameExists($3))
{
// Error: this name is already used
}
Ident Id = new Ident($3, @3);
listVars.Add(Id);
$1.Add(Id);
$$ = $1;
}
;

assgin: ident ASS expr SEMICOLUMN {
if (!GlobalStructures.isNameExists($1))
{
// Error: Undeclarated identifier
}
Ident Id = GlobalStructures.getIdentByName($1);
$$ = new Assign(Id, $3, @3);
}
;

expr
: ident {
if (!GlobalStructures.isNameExists($1))
{
// Error: Undeclarated identifier
}
$$ = new Ident($1, @1);
}
| INTNUM {
int i = int.Parse($1);
$$ = new IntConst(i, @1);
}
| REALNUM {
double d = double.Parse($1);
$$ = new DoubleConst(d, @1);
}
| TRUE {
$$ = new BoolConst(true, @$);
}
| FALSE{
$$ = new BoolConst(false, @$);
}
| MINUS expr %prec UMINUS {
if ($2.getType() != TipType.IntType && $2.getType() != TipType.DoubleType)
{
// Error: type is wrong.
}
$$ = new UnarExpression($2, Op.Minus, @2);
}
| LB expr RB {
$$ = $2;
}
| expr PLUS expr {
$$ = new BinExpression($1, $3, Op.Plus, @$);
}
| expr MINUS expr {
$$ = new BinExpression($1, $3, Op.Minus, @$);
}
| expr MULT expr {
$$ = new BinExpression($1, $3, Op.Mult, @$);
}
| expr DIVIDE expr {
$$ = new BinExpression($1, $3, Op.Divide, @$);
}
| expr EQ expr {
$$ = new BinExpression($1, $3, Op.Equal, @$);
}
| expr NE expr {
$$ = new BinExpression($1, $3, Op.NotEqual, @$);
}
| expr LT expr {
$$ = new BinExpression($1, $3, Op.Less, @$);
}
| expr LE expr {
$$ = new BinExpression($1, $3, Op.LessEqual, @$);
}
| expr GT expr {
$$ = new BinExpression($1, $3, Op.More, @$);
}
| expr GE expr {
$$ = new BinExpression($1, $3, Op.MoreEqual, @$);
}
;

if: IF LB expr RB operator elsepart {
if ($3.getType()!=TypType.Boolean)
{
// Error: Условие должно иметь логический тип
}
$$=new If($3,$5,$6,@$);
}
;

elsepart: { $$ = null; }
| operator {
$$ = $1;
}

while: WHILE LB expr RB operator {
if ($3.getType()!=TypType.Boolean)
{
// Error: Условие должно иметь логический тип
}
$$ = new While($3, $5, @$);
}</source>

МПОК 2011

2011-09-28T19:13:21Z

Extremall:

[[Роли в проекте и задания разработчикам 2011]] 
[[Грамматика языка Pascal]] 
[[Грамматика языка С]] 
[[Диаграмма классов синтаксического дерева]] 
Первичное описание классов синтаксического дерева 24.09.11 [http://files.mail.ru/47O3R5] 
[[Грамматика Pascal + Код]] 
[[Грамматика C + Код]]

Грамматика Pascal + Код

2011-09-28T19:12:55Z

Extremall:

<source lang="">%{
Dictionary<string,double> vars = new Dictionary<string,double>();
%}
%union {
public int iVal;
public double dVal;
public string sVal;
public ExprNode eVal;
public List<ExprNode> elVal;
public TreeNode tVal;
public BlockNode lVal;
public List<string> lsVal;
public GreatType dtVal;
}
%output=PascalYacc.cs
%using System.IO
%using Syntax_node_tree
%namespace LexScanner
%start progr

%token kBEGIN kEND kIF kTHEN kELSE kWHILE kDO kVAR
%token ASSIGN SEMICOLUMN LPAREN RPAREN COLUMN COLON POINT
%token PLUS MINUS MULT DIVIDE
%token AND OR NOT LT GT EQ NE LE GE DIV MOD
%token <iVal> INTNUM
%token <dVal> REALNUM
%token <sVal> STRINGLITERAL
%token <sVal> ID
%token <dtVal> kREAL kINTEGER

%type <eVal> expr
%type <tVal> operator elsepart
%type <lVal> listoperator progr
%type <lsVal> ident
%type <elVal> exprlist
%type <dtVal> ktype kSimpleType

%left LT GT LE GE EQ NE
%left MINUS PLUS OR
%left MULT DIVIDE AND DIV MOD
%left UMINUS NOT

%%

progr : {
$$ = new Program(@$);
}
| defss kBEGIN listoperator kEND {
$$ = $1;
foreach (Operator oper in $3.list)
$$.list.Add(oper);
}
| error
{
System.Console.WriteLine("BAD TEXT!!!");
break;
}
;

defss : defs {
$$ = new BlockOperator(@$);
$$.list.Add($1);
}
|defss defs {
$1.list.Add($2);
$$ = $1;
}
|
;

defs : kVAR ident COLON ktype SEMICOLUMN {
TipType type;
if ($4 == "int")
type = TipType.IntType;
else if ($4 == "double")
type = TipType.DoubleType;
else if ($4 == "bool")
type = TipType.BoolType;
else
{
// Error: unknown type
}
$$ = new VarDef(@$, $2, type);
}
;

ident: ID {
if (GlobalStructures.isNameExists($1))
{
// Error: this name is already used
}
Ident Id = new Ident($1, @1);
listVars.Add(Id);
$$ = new List<Ident>();
$$.Add(Id);
}
|ident COLUMN ID {
if (GlobalStructures.isNameExists($3))
{
// Error: this name is already used
}
Ident Id = new Ident($3, @3);
listVars.Add(Id);
$1.Add(Id);
$$ = $1;
}
;

listoperator : operator {
$$ = new BlockOperator(@$);
$$.list.Add($1);
}
| listoperator SEMICOLUMN operator {
$1.list.Add($2);
$$ = $1;
}
;

ktype : kSimpleType
| error
{
System.Console.WriteLine("BAD GREATE TYPE");
break;
}
;

kSimpleType : kREAL {
$$ = "double";
}
| kINTEGER {
$$ = "int";
}
;

operator: {

}
| ID ASSIGN expr {
if (!GlobalStructures.isNameExists($1))
{
// Error: Undeclarated identifier
}
Ident Id = GlobalStructures.getIdentByName($1);
$$ = new Assign(Id, $3, @3);
}
| kWHILE expr kDO operator {
if ($2.getType()!=TypType.Boolean)
{
// Error: Условие должно иметь логический тип
}
$$ = new While($2, $4, @$);
}
| kIF expr kTHEN operator elsepart {
if ($2.getType()!=TypType.Boolean)
{
// Error: Условие должно иметь логический тип
}
$$=new If($2,$4,$5,@$);
}
| kBEGIN listoperator kEND {
$$ = $2;
}
;

elsepart: {
$$ = null;
}
| kELSE operator {
$$ = $2;
}
;

exprlist : expr {
// Не понятно, зачем нам нужен список выражений. Реализую, на всякий случай, в виде списка, но класса под это не создавали.
$$ = new List<Expression>();
$$.Add($1);
}
| exprlist COLUMN expr {
$1.Add($2);
$$ = $1;
}
;

expr: INTNUM {
int i = int.Parse($1);
$$ = new IntConst(i, @1);
}
| REALNUM {
double d = double.Parse($1);
$$ = new DoubleConst(d, @1);
}
| STRINGLITERAL {
// Нет у нас таких!!!
}
| ID {
if (!GlobalStructures.isNameExists($1))
{
// Error: Undeclarated identifier
}
$$ = new Ident($1, @1);
}
| expr PLUS expr {
$$ = new BinExpression($1, $3, Op.Plus, @$);
}
| expr MINUS expr {
$$ = new BinExpression($1, $3, Op.Minus, @$);
}
| expr MULT expr {
$$ = new BinExpression($1, $3, Op.Mult, @$);
}
| expr DIVIDE expr {
$$ = new BinExpression($1, $3, Op.Divide, @$);
}
| expr DIV expr {
// Не поддерживается!
}
| expr MOD expr {
// Не поддерживается!
}
| expr AND expr {
if ($1.getType() != TipType.BoolType || $2.getType() != TipType.BoolType)
{
// Error: only for bool types
}
$$ = new BinExpression($1, $3, Op.And, @$);
}
| expr OR expr {
if ($1.getType() != TipType.BoolType || $2.getType() != TipType.BoolType)
{
// Error: only for bool types
}
$$ = new BinExpression($1, $3, Op.Or, @$);
}
| expr LT expr {
$$ = new BinExpression($1, $3, Op.Less, @$);
}
| expr GT expr {
$$ = new BinExpression($1, $3, Op.More, @$);
}
| expr LE expr {
$$ = new BinExpression($1, $3, Op.LessEqual, @$);
}
| expr GE expr {
$$ = new BinExpression($1, $3, Op.MoreEqual, @$);
}
| expr EQ expr {
$$ = new BinExpression($1, $3, Op.Equal, @$);
}
| expr NE expr {
$$ = new BinExpression($1, $3, Op.NotEqual, @$);
}
| NOT expr {
if ($2.getType() != TipType.BoolType)
{
// Error: type is wrong.
}
$$ = new UnarExpression($2, Op.Not, @2);
}
| MINUS expr %prec UMINUS {
if ($2.getType() != TipType.IntType && $2.getType() != TipType.DoubleType)
{
// Error: type is wrong.
}
$$ = new UnarExpression($2, Op.Minus, @2);
}
| LPAREN expr RPAREN {
$$ = $2;
}
;

%%</source>

Грамматика Pascal + Код

2011-09-28T19:12:36Z

Extremall:

--[[Участник:Extremall|Extremall]] 19:12, 28 сентября 2011 (UTC)

<source lang="">%{
Dictionary<string,double> vars = new Dictionary<string,double>();
%}
%union {
public int iVal;
public double dVal;
public string sVal;
public ExprNode eVal;
public List<ExprNode> elVal;
public TreeNode tVal;
public BlockNode lVal;
public List<string> lsVal;
public GreatType dtVal;
}
%output=PascalYacc.cs
%using System.IO
%using Syntax_node_tree
%namespace LexScanner
%start progr

%token kBEGIN kEND kIF kTHEN kELSE kWHILE kDO kVAR
%token ASSIGN SEMICOLUMN LPAREN RPAREN COLUMN COLON POINT
%token PLUS MINUS MULT DIVIDE
%token AND OR NOT LT GT EQ NE LE GE DIV MOD
%token <iVal> INTNUM
%token <dVal> REALNUM
%token <sVal> STRINGLITERAL
%token <sVal> ID
%token <dtVal> kREAL kINTEGER

%type <eVal> expr
%type <tVal> operator elsepart
%type <lVal> listoperator progr
%type <lsVal> ident
%type <elVal> exprlist
%type <dtVal> ktype kSimpleType

%left LT GT LE GE EQ NE
%left MINUS PLUS OR
%left MULT DIVIDE AND DIV MOD
%left UMINUS NOT

%%

progr : {
$$ = new Program(@$);
}
| defss kBEGIN listoperator kEND {
$$ = $1;
foreach (Operator oper in $3.list)
$$.list.Add(oper);
}
| error
{
System.Console.WriteLine("BAD TEXT!!!");
break;
}
;

defss : defs {
$$ = new BlockOperator(@$);
$$.list.Add($1);
}
|defss defs {
$1.list.Add($2);
$$ = $1;
}
|
;

defs : kVAR ident COLON ktype SEMICOLUMN {
TipType type;
if ($4 == "int")
type = TipType.IntType;
else if ($4 == "double")
type = TipType.DoubleType;
else if ($4 == "bool")
type = TipType.BoolType;
else
{
// Error: unknown type
}
$$ = new VarDef(@$, $2, type);
}
;

ident: ID {
if (GlobalStructures.isNameExists($1))
{
// Error: this name is already used
}
Ident Id = new Ident($1, @1);
listVars.Add(Id);
$$ = new List<Ident>();
$$.Add(Id);
}
|ident COLUMN ID {
if (GlobalStructures.isNameExists($3))
{
// Error: this name is already used
}
Ident Id = new Ident($3, @3);
listVars.Add(Id);
$1.Add(Id);
$$ = $1;
}
;

listoperator : operator {
$$ = new BlockOperator(@$);
$$.list.Add($1);
}
| listoperator SEMICOLUMN operator {
$1.list.Add($2);
$$ = $1;
}
;

ktype : kSimpleType
| error
{
System.Console.WriteLine("BAD GREATE TYPE");
break;
}
;

kSimpleType : kREAL {
$$ = "double";
}
| kINTEGER {
$$ = "int";
}
;

operator: {

}
| ID ASSIGN expr {
if (!GlobalStructures.isNameExists($1))
{
// Error: Undeclarated identifier
}
Ident Id = GlobalStructures.getIdentByName($1);
$$ = new Assign(Id, $3, @3);
}
| kWHILE expr kDO operator {
if ($2.getType()!=TypType.Boolean)
{
// Error: Условие должно иметь логический тип
}
$$ = new While($2, $4, @$);
}
| kIF expr kTHEN operator elsepart {
if ($2.getType()!=TypType.Boolean)
{
// Error: Условие должно иметь логический тип
}
$$=new If($2,$4,$5,@$);
}
| kBEGIN listoperator kEND {
$$ = $2;
}
;

elsepart: {
$$ = null;
}
| kELSE operator {
$$ = $2;
}
;

exprlist : expr {
// Не понятно, зачем нам нужен список выражений. Реализую, на всякий случай, в виде списка, но класса под это не создавали.
$$ = new List<Expression>();
$$.Add($1);
}
| exprlist COLUMN expr {
$1.Add($2);
$$ = $1;
}
;

expr: INTNUM {
int i = int.Parse($1);
$$ = new IntConst(i, @1);
}
| REALNUM {
double d = double.Parse($1);
$$ = new DoubleConst(d, @1);
}
| STRINGLITERAL {
// Нет у нас таких!!!
}
| ID {
if (!GlobalStructures.isNameExists($1))
{
// Error: Undeclarated identifier
}
$$ = new Ident($1, @1);
}
| expr PLUS expr {
$$ = new BinExpression($1, $3, Op.Plus, @$);
}
| expr MINUS expr {
$$ = new BinExpression($1, $3, Op.Minus, @$);
}
| expr MULT expr {
$$ = new BinExpression($1, $3, Op.Mult, @$);
}
| expr DIVIDE expr {
$$ = new BinExpression($1, $3, Op.Divide, @$);
}
| expr DIV expr {
// Не поддерживается!
}
| expr MOD expr {
// Не поддерживается!
}
| expr AND expr {
if ($1.getType() != TipType.BoolType || $2.getType() != TipType.BoolType)
{
// Error: only for bool types
}
$$ = new BinExpression($1, $3, Op.And, @$);
}
| expr OR expr {
if ($1.getType() != TipType.BoolType || $2.getType() != TipType.BoolType)
{
// Error: only for bool types
}
$$ = new BinExpression($1, $3, Op.Or, @$);
}
| expr LT expr {
$$ = new BinExpression($1, $3, Op.Less, @$);
}
| expr GT expr {
$$ = new BinExpression($1, $3, Op.More, @$);
}
| expr LE expr {
$$ = new BinExpression($1, $3, Op.LessEqual, @$);
}
| expr GE expr {
$$ = new BinExpression($1, $3, Op.MoreEqual, @$);
}
| expr EQ expr {
$$ = new BinExpression($1, $3, Op.Equal, @$);
}
| expr NE expr {
$$ = new BinExpression($1, $3, Op.NotEqual, @$);
}
| NOT expr {
if ($2.getType() != TipType.BoolType)
{
// Error: type is wrong.
}
$$ = new UnarExpression($2, Op.Not, @2);
}
| MINUS expr %prec UMINUS {
if ($2.getType() != TipType.IntType && $2.getType() != TipType.DoubleType)
{
// Error: type is wrong.
}
$$ = new UnarExpression($2, Op.Minus, @2);
}
| LPAREN expr RPAREN {
$$ = $2;
}
;

%%</source>

Грамматика Pascal + Код

2011-09-28T19:11:56Z

Extremall: Новая: <source lang="">%{ Dictionary<string,double> vars = new Dictionary<string,double>(); %} %union { public int iVal; public double dVal; public string sVal; pu...

МПОК 2011

2011-09-28T19:07:53Z

Extremall: