Semantic Analysis/Exercise 01 - Revision history

Root: /* Solution */

2023-06-02T17:18:59Z

Solution

← Older revision		Revision as of 17:18, 2 June 2023
Line 44:		Line 44:
	== Solution ==		== 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]].		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 main difference is in block generation ('''c_writer'''): '''_symtab.push();''' and '''_symtab.pop();''' are needed at the beginning and ending of the generation method.

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

Root: /* Problema */

2021-05-07T08:24:31Z

Problema

← Older revision		Revision as of 08:24, 7 May 2021
Line 33:		Line 33:
	\| tPRINT tSTRING ';' { $$ = new print_str_node(LINE, $2); }		\| tPRINT tSTRING ';' { $$ = new print_str_node(LINE, $2); }
	;		;
	expr : tID { $$ = new cdk::variable_node(LINE, $1); }		expr : tID { $$ = new rvalue_node(LINE, new cdk::variable_node(LINE, $1)); }
	\| tINT { $$ = new cdk::integer_node(LINE, $1); }		\| tINT { $$ = new cdk::integer_node(LINE, $1); }
	\| expr '-' expr { $$ = new cdk::sub_node(LINE, $1, $3); }		\| expr '-' expr { $$ = new cdk::sub_node(LINE, $1, $3); }

Root: /* Problema */

2019-04-26T13:56:55Z

Problema

← Older revision		Revision as of 13:56, 26 April 2019
Line 1:		Line 1:
	{{TOCright}}		{{TOCright}}
	== Problema ==		== 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 Let (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 '''do_XXX''' (onde '''XXX''' é o nome da classe do nó). 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()'''.

	<source lang="text">		<source lang="text">
Line 33:		Line 33:
	\| tPRINT tSTRING ';' { $$ = new print_str_node(LINE, $2); }		\| tPRINT tSTRING ';' { $$ = new print_str_node(LINE, $2); }
	;		;
	expr : tID { $$ = new cdk::~~identifier_node~~(LINE, $1); }		expr : tID { $$ = new cdk::variable_node(LINE, $1); }
	\| tINT { $$ = new cdk::integer_node(LINE, $1); }		\| tINT { $$ = new cdk::integer_node(LINE, $1); }
	\| expr '-' expr { $$ = new cdk::sub_node(LINE, $1, $3); }		\| expr '-' expr { $$ = new cdk::sub_node(LINE, $1, $3); }

Root at 11:29, 12 February 2019

2019-02-12T11:29:14Z

← Older revision		Revision as of 11:29, 12 February 2019
Line 5:		Line 5:
	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>		<source lang="text">
	%token tSTART tBLOCK tEND tLET tPRINT tASSIGN		%token tSTART tBLOCK tEND tLET tPRINT tASSIGN
	%token <str> tID tSTRING		%token <str> tID tSTRING
Line 40:		Line 40:
	;		;
	%%		%%
	</~~text~~>		</source>

	== Solution ==		== Solution ==

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]]