Semantic Analysis/Exercise 01 - Revision history

Root: Redirected page to ist:Semantic Analysis/Exercise 01

2018-12-06T18:08:52Z

Redirected page to ist:Semantic Analysis/Exercise 01

← Older revision		Revision as of 18:08, 6 December 2018
Line 1:		Line 1:
	~~{{TOCright}}~~		#REDIRECT [[ist:Semantic Analysis/Exercise 01]]
	~~== Problema ==~~
	Considere o analisador sintáctico da linguagem Simple (abaixo). Considere que as variáveis só podem ser utilizadas em expressões ('''tID''' ou '''tASSIGN''') depois de declaradas ('''tLET'''); que variáveis com o mesmo nome não podem ser declaradas no mesmo bloco; e que os tokens '''tINT''' e '''tSTRING''' correspondem a literais, respectivamente, dos tipos inteiro e cadeia de caracteres.

	Traduza para C (visitor em C++: '''c_writer''') e valide semanticamente (visitor em C++: '''type_checker''') a árvore sintáctica abstracta, emitindo mensagens se forem detectados erros de validação semântica. Utilize as classes da CDK ('''cdk::symbol_table''', nós, etc.) na resolução do problema. Pode ser útil definir outras classes auxiliares de validação de tipos ('''symbol''', etc.). Nos visitors, implemente apenas os métodos process. O acesso às sub-árvores de nós binários faz-se através dos métodos '''left()''' e '''right()''' e às sub-árvores de nós unários através do método '''argument()'''.

	~~<text>~~
	~~%token tSTART tBLOCK tEND tLET tPRINT tASSIGN~~
	~~%token <str> tID tSTRING~~
	~~%token <i> tINT~~
	~~%type <node> program block decl instr~~
	~~%type <sequence> decls instrs~~
	~~%right tASSIGN~~
	~~%left '-'~~
	~~%nonassoc tUNARY~~

	%%
	~~program : tSTART block { _compiler->ast(new program_node(LINE, $2)); }~~
	;
	~~block : tBLOCK decls instrs tEND { $$ = new block_node(LINE, $2, $3); }~~
	;
	~~decls : decl { $$ = new cdk::sequence_node(LINE, $1); }~~
	~~\| decls decl { $$ = new cdk::sequence_node(LINE, $2, $1); }~~
	;
	~~decl : tLET tID { $$ = new declaration_node(LINE, $2); }~~
	;
	~~instrs : instr { $$ = new cdk::sequence_node(LINE, $1); }~~
	~~\| instrs instr { $$ = new cdk::sequence_node(LINE, $2, $1); }~~
	;
	~~instr : ';' { $$ = new cdk::nil_node(LINE); }~~
	~~\| block ';' { $$ = $1; }~~
	~~\| tPRINT expr ';' { $$ = new print_exp_node(LINE, $2); }~~
	~~\| tPRINT tSTRING ';' { $$ = new print_str_node(LINE, $2); }~~
	;
	~~expr : tID { $$ = new cdk::identifier_node(LINE, $1); }~~
	~~\| tINT { $$ = new cdk::integer_node(LINE, $1); }~~
	~~\| expr '-' expr { $$ = new cdk::sub_node(LINE, $1, $3); }~~
	~~\| '-' expr %prec tUNARY { $$ = new cdk::neg_node(LINE, $2); }~~
	~~\| tID tASSIGN expr { $$ = new assignment_node(LINE, $1, $3); }~~
	;
	%%
	~~</text>~~

	~~== Solution ==~~

	~~The solution is straightforward and very similar to that obtained for the~~ [[Semantic Analysis/~~The Tiny language: semantic analysis example and C generation\|the Tiny language]].~~

	~~[[category:Compiladores]]~~
	~~[[category:Ensino~~]]

Root at 14:33, 6 April 2015

2015-04-06T14:33:14Z

← Older revision		Revision as of 14:33, 6 April 2015
Line 46:		Line 46:
	The solution is straightforward and very similar to that obtained for the [[Semantic Analysis/The Tiny language: semantic analysis example and C generation\|the Tiny language]].		The solution is straightforward and very similar to that obtained for the [[Semantic Analysis/The Tiny language: semantic analysis example and C generation\|the Tiny language]].

	[[category:~~Compilers~~]]		[[category:Compiladores]]
	[[category:~~Teaching~~]]		[[category:Ensino]]

Root: /* The Problem (in Portuguese) */

2015-03-03T08:32:50Z

The Problem (in Portuguese)

← Older revision		Revision as of 08:32, 3 March 2015
Line 1:		Line 1:
	{{TOCright}}		{{TOCright}}
	== ~~The Problem (in Portuguese)~~ ==		== Problema ==
	Considere o analisador sintáctico da linguagem Simple (abaixo). Considere que as variáveis só podem ser utilizadas em expressões ('''tID''' ou '''tASSIGN''') depois de declaradas ('''tLET'''); que variáveis com o mesmo nome não podem ser declaradas no mesmo bloco; e que os tokens '''tINT''' e '''tSTRING''' correspondem a literais, respectivamente, dos tipos inteiro e cadeia de caracteres.		Considere o analisador sintáctico da linguagem Simple (abaixo). Considere que as variáveis só podem ser utilizadas em expressões ('''tID''' ou '''tASSIGN''') depois de declaradas ('''tLET'''); que variáveis com o mesmo nome não podem ser declaradas no mesmo bloco; e que os tokens '''tINT''' e '''tSTRING''' correspondem a literais, respectivamente, dos tipos inteiro e cadeia de caracteres.

Root: /* The Problem (in Portuguese) */

2014-05-05T19:24:07Z

The Problem (in Portuguese)

← Older revision		Revision as of 19:24, 5 May 2014
Line 1:		Line 1:
	{{TOCright}}		{{TOCright}}
	== The Problem (in Portuguese) ==		== The Problem (in Portuguese) ==
	Considere o analisador sintáctico da linguagem Simple (abaixo). Considere que as variáveis só podem ser utilizadas em expressões (tID ou tASSIGN) depois de declaradas (tLET); que variáveis com o mesmo nome não podem ser declaradas no mesmo bloco; e que os tokens tINT e tSTRING correspondem a literais, respectivamente, dos tipos inteiro e cadeia de caracteres.		Considere o analisador sintáctico da linguagem Simple (abaixo). Considere que as variáveis só podem ser utilizadas em expressões ('''tID''' ou '''tASSIGN''') depois de declaradas ('''tLET'''); que variáveis com o mesmo nome não podem ser declaradas no mesmo bloco; e que os tokens '''tINT''' e '''tSTRING''' correspondem a literais, respectivamente, dos tipos inteiro e cadeia de caracteres.

	Traduza para C (visitor em C++: '''c_writer''') e valide semanticamente (visitor em C++: '''type_checker''') a árvore sintáctica abstracta, emitindo mensagens se forem detectados erros de validação semântica. Utilize as classes da CDK ('''cdk::symbol_table''', nós, etc.) na resolução do problema. Pode ser útil definir outras classes auxiliares de validação de tipos ('''symbol''', etc.). Nos visitors, implemente apenas os métodos process. O acesso às sub-árvores de nós binários faz-se através dos métodos left() e right() e às sub-árvores de nós unários através do método argument().		Traduza para C (visitor em C++: '''c_writer''') e valide semanticamente (visitor em C++: '''type_checker''') a árvore sintáctica abstracta, emitindo mensagens se forem detectados erros de validação semântica. Utilize as classes da CDK ('''cdk::symbol_table''', nós, etc.) na resolução do problema. Pode ser útil definir outras classes auxiliares de validação de tipos ('''symbol''', etc.). Nos visitors, implemente apenas os métodos process. O acesso às sub-árvores de nós binários faz-se através dos métodos '''left()''' e '''right()''' e às sub-árvores de nós unários através do método '''argument()'''.

	<text>		<text>
Line 13:		Line 13:
	%right tASSIGN		%right tASSIGN
	%left '-'		%left '-'
	%nonassoc ~~tUMINUS~~		%nonassoc tUNARY

	%%		%%
	program : tSTART block { _compiler->ast(new ~~ProgramNode~~(LINE, $2)); }		program : tSTART block { _compiler->ast(new program_node(LINE, $2)); }
	;		;
	block : tBLOCK decls instrs tEND { $$ = new ~~BlockNode~~(LINE, $2, $3); }		block : tBLOCK decls instrs tEND { $$ = new block_node(LINE, $2, $3); }
	;		;
	decls : decl { $$ = new ~~Sequence~~(LINE, $1); }		decls : decl { $$ = new cdk::sequence_node(LINE, $1); }
	\| decls decl { $$ = new ~~Sequence~~(LINE, $2, $1); }		\| decls decl { $$ = new cdk::sequence_node(LINE, $2, $1); }
	;		;
	decl : tLET tID { $$ = new ~~DeclNode~~(LINE, $2); }		decl : tLET tID { $$ = new declaration_node(LINE, $2); }
	;		;
	instrs : instr { $$ = new ~~Sequence~~(LINE, $1); }		instrs : instr { $$ = new cdk::sequence_node(LINE, $1); }
	\| instrs instr { $$ = new ~~Sequence~~(LINE, $2, $1); }		\| instrs instr { $$ = new cdk::sequence_node(LINE, $2, $1); }
	;		;
	instr : ';' { $$ = new ~~Nil~~(LINE); }		instr : ';' { $$ = new cdk::nil_node(LINE); }
	\| block ';' { $$ = $1; }		\| block ';' { $$ = $1; }
	\| tPRINT expr ';' { $$ = new ~~PrintExpNode~~(LINE, $2); }		\| tPRINT expr ';' { $$ = new print_exp_node(LINE, $2); }
	\| tPRINT tSTRING ';' { $$ = new ~~PrintStrNode~~(LINE, $2); }		\| tPRINT tSTRING ';' { $$ = new print_str_node(LINE, $2); }
	;		;
	expr : tID { $$ = new ~~Identifier~~(LINE, $1); }		expr : tID { $$ = new cdk::identifier_node(LINE, $1); }
	\| tINT { $$ = new ~~Integer~~(LINE, $1); }		\| tINT { $$ = new cdk::integer_node(LINE, $1); }
	\| ~~tID tASSIGN~~ expr { $$ = new ~~AssignmentNode~~(LINE, $1, $3); }		\| expr '-' expr { $$ = new cdk::sub_node(LINE, $1, $3); }
	\| ~~expr~~ '-' expr { $$ = new ~~SUB~~(LINE, $~~1, $3~~); }		\| '-' expr %prec tUNARY { $$ = new cdk::neg_node(LINE, $2); }
	\| ~~'-'~~ expr ~~%prec tUMINUS~~ { $$ = new ~~NEG~~(LINE, $2); }		\| tID tASSIGN expr { $$ = new assignment_node(LINE, $1, $3); }
	;		;
	%%		%%

Root: /* Solution */

2014-05-05T19:20:46Z

Solution

← Older revision		Revision as of 19:20, 5 May 2014
Line 44:		Line 44:
	== Solution ==		== Solution ==

	The solution is straightforward and very similar to that obtained for the Tiny language.		The solution is straightforward and very similar to that obtained for the [[Semantic Analysis/The Tiny language: semantic analysis example and C generation\|the Tiny language]].

	[[category:Compilers]]		[[category:Compilers]]
	[[category:Teaching]]		[[category:Teaching]]

Root: /* The Problem (in Portuguese) */

2014-05-05T19:20:22Z

The Problem (in Portuguese)

← Older revision		Revision as of 19:20, 5 May 2014
Line 1:		Line 1:
	{{TOCright}}		{{TOCright}}
	== The Problem (in Portuguese) ==		== The Problem (in Portuguese) ==
	Considere o analisador sintáctico da linguagem Simple (abaixo). Considere que as variáveis só podem ser utilizadas em expressões (ID ou ~~ASSIGN~~) depois de declaradas (~~LET~~); que variáveis com o mesmo nome não podem ser declaradas no mesmo bloco; e que os tokens ~~INT~~ e ~~STRING~~ correspondem a literais, respectivamente, dos tipos inteiro e cadeia de caracteres.		Considere o analisador sintáctico da linguagem Simple (abaixo). Considere que as variáveis só podem ser utilizadas em expressões (tID ou tASSIGN) depois de declaradas (tLET); que variáveis com o mesmo nome não podem ser declaradas no mesmo bloco; e que os tokens tINT e tSTRING correspondem a literais, respectivamente, dos tipos inteiro e cadeia de caracteres.

	Traduza para C (visitor em C++) e valide semanticamente (visitor em C++) a árvore sintáctica abstracta, emitindo mensagens se forem detectados erros de validação semântica. Utilize as classes da CDK (cdk::~~SymbolTable~~, nós, etc.) na resolução do problema. Pode ser útil definir outras classes auxiliares de validação de tipos (~~Symbol~~, etc.). Nos visitors, implemente apenas os métodos process. O acesso às sub-árvores de nós binários faz-se através dos métodos left() e right() e às sub-árvores de nós unários através do método argument().		Traduza para C (visitor em C++: '''c_writer''') e valide semanticamente (visitor em C++: '''type_checker''') a árvore sintáctica abstracta, emitindo mensagens se forem detectados erros de validação semântica. Utilize as classes da CDK ('''cdk::symbol_table''', nós, etc.) na resolução do problema. Pode ser útil definir outras classes auxiliares de validação de tipos ('''symbol''', etc.). Nos visitors, implemente apenas os métodos process. O acesso às sub-árvores de nós binários faz-se através dos métodos left() e right() e às sub-árvores de nós unários através do método argument().

	<text>		<text>

Root: /* Solution */

2014-05-05T19:19:00Z

Solution

← Older revision		Revision as of 19:19, 5 May 2014
Line 43:		Line 43:

	== Solution ==		== Solution ==

			The solution is straightforward and very similar to that obtained for the Tiny language.

	[[category:Compilers]]		[[category:Compilers]]
	[[category:Teaching]]		[[category:Teaching]]

Root: /* The Problem (in Portuguese) */

2014-05-05T19:18:21Z

The Problem (in Portuguese)

@@ Line 41: / Line 41: @@
 %%
 </text>
 == Solution ==

Root: /* The Problem (in Portuguese) */

2012-06-02T16:45:26Z

The Problem (in Portuguese)

@@ Line 41: / Line 41: @@
 %%
 </text>
 == Solution ==

Root: Created page with "{{TOCright}} == The Problem (in Portuguese) == Considere o analisador sintáctico da linguagem Simple (abaixo). Considere que as variáveis só podem ser utilizadas em expressõe..."

2012-06-02T16:44:46Z

Created page with "{{TOCright}} == The Problem (in Portuguese) == Considere o analisador sintáctico da linguagem Simple (abaixo). Considere que as variáveis só podem ser utilizadas em expressõe..."

New page

{{TOCright}}
== The Problem (in Portuguese) ==
Considere o analisador sintáctico da linguagem Simple (abaixo). Considere que as variáveis só podem ser utilizadas em expressões (ID ou ASSIGN) depois de declaradas (LET); que variáveis com o mesmo nome não podem ser declaradas no mesmo bloco; e que os tokens INT e STRING correspondem a literais, respectivamente, dos tipos inteiro e cadeia de caracteres.

Traduza para C (visitor em C++) e valide semanticamente (visitor em C++) a árvore sintáctica abstracta, emitindo mensagens se forem detectados erros de validação semântica. Utilize as classes da CDK (cdk::SymbolTable, nós, etc.) na resolução do problema. Pode ser útil definir outras classes auxiliares de validação de tipos (Symbol, etc.). Nos visitors, implemente apenas os métodos process. O acesso às sub-árvores de nós binários faz-se através dos métodos left() e right() e às sub-árvores de nós unários através do método argument().

<text>
%token tSTART tBLOCK tEND tLET tPRINT tASSIGN
%token <str> tID tSTRING
%token <i> tINT
%type <node> program block decl instr
%type <sequence> decls instrs
%right tASSIGN
%left '-'
%nonassoc tUMINUS

%%
program : tSTART block { _compiler->ast(new ProgramNode(LINE, $2)); }
;
block : tBLOCK decls instrs tEND { $$ = new BlockNode(LINE, $2, $3); }
;
decls : decl { $$ = new Sequence(LINE, $1); }
| decls decl { $$ = new Sequence(LINE, $2, $1); }
;
decl : tLET tID { $$ = new DeclNode(LINE, $2); }
;
instrs : instr { $$ = new Sequence(LINE, $1); }
| instrs instr { $$ = new Sequence(LINE, $2, $1); }
;
instr : ';' { $$ = new Nil(LINE); }
| block ';' { $$ = $1; }
| tPRINT expr ';' { $$ = new PrintExpNode(LINE, $2); }
| tPRINT tSTRING ';' { $$ = new PrintStrNode(LINE, $2); }
;
expr : tID { $$ = new Identifier(LINE, $1); }
| tINT { $$ = new Integer(LINE, $1); }
| tID tASSIGN expr { $$ = new AssignmentNode(LINE, $1, $3); }
| expr '-' expr { $$ = new SUB(LINE, $1, $3); }
| '-' expr %prec tUMINUS { $$ = new NEG(LINE, $2); }
;
%%
</text>

== Solution ==

[[category:Compilers]]
[[category:Teaching]]