Ksanderer в 11:12, 6 октября 2011

2011-10-06T11:12:12Z

← Предыдущая версия		Версия от 14:12, 6 октября 2011
Строка 307:		Строка 307:

	C.LEX		C.LEX
	<source>		<source lang="">
	%namespace LexScanner		%namespace LexScanner
	%using Syntax_node_tree;		%using Syntax_node_tree;

Ksanderer в 11:11, 6 октября 2011

2011-10-06T11:11:50Z

Внесённые изменения

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

2011-09-28T19:13:56Z

Новая: <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>

Грамматика C + Код - История изменений

Ksanderer в 11:12, 6 октября 2011

Ksanderer в 11:11, 6 октября 2011

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