Portugol3.grammar

/*****************************************************************************************
* Copyright (c) 2014, Carlos Alberto Santos de Souza (carlos.albertoufs@gmail.com) 
*                     Samir Dantas Oliveira (samir.ufs@hotmail.com)
All Rights Reserved.
*
******************************************************************************************/




Helpers
//define terminais
	//Alfabeto da linguagem
	ascii_char = [0x0 .. 0x7f] ; //toda a tabela ascii
	letra = ['a' .. 'z'] ;
	letra_m = ['A' .. 'Z'] ;
	digito = ['0' .. '9'] ;
	
	//Pontuação
	
	chave_dir = '}';
	chave_esq = '{';
	cochete_dir = ']';
	cochete_esq = '[';
	barra_dir = '/';
	barra_esq = '\';
	parentese_dir = ')';
	parentese_esq = '(';
	estrela = '*';
	sublinhado = '_' ;
	virgula = ',';
	menos = '-';
	mais = '+';
	ponto_virgula = ';';
	dois_pontos = ':';
	exponenciacao = '^';
	resto = '%' ;
	atrib = '<-' ;
    maiorq = '>' ;
	menorq = '<' ;
	maior_igual = '>=' ;
	menor_igual = '<=';
	igual = '=';
	diferente = '<>' ;
	ponto = '.' ;
	apostrof = ''';
	
//caracteres não imprimiveis
	tab = 9 ;
	cr = 13 ;
	lf = 10 ;
	branco = ' ';
	
	
	States
//Estados
	normal,
	comentario_aninhado;
	
	Tokens
	
//Pontuação
	
	chave_dir = '}';
	chave_esq = '{';
	cochete_dir = ']';
	cochete_esq = '[';
	barra_dir = '/';
	barra_esq = '\';
	parentese_dir = ')';
	parentese_esq = '(';
	estrela = '*';
	sublinhado = '_' ;
	virgula = ',';
	menos = '-';
	mais = '+';
	ponto_virgula = ';';
	dois_pontos = ':';
	exponenciacao = '^';
	resto = '%' ;
	atrib = '<-' ;
    maiorq = '>' ;
	menorq = '<' ;
	maior_igual = '>=' ;
	menor_igual = '<=';
	igual = '=';
	diferente = '<>' ;
	ponto = '.' ;
	apostrof = ''';
	
//palavras reservadas
	//programa
	programa = 'programa' ;
	inicio = 'inicio' ;
	fim_ponto = 'fim'ponto ;
	
	//variáveis
	var = 'var';
	constante = 'constante';
	inteiro = 'inteiro';
	real = 'real';
	logico = 'logico';
	caractere = 'caractere';
	
	//condicional
	se = 'se';
	entao = 'entao';
	fim_se = 'fim se';
	senao = 'senao';
	fim_senao = 'fim senao';
	
	//Multicondicional(swith,case,...)
	avalie = 'avalie' ;
	caso = 'caso' ;
	padrao = 'padrao';
	
	//repetição para
	para = 'para';
	faca = 'faca' ;
	ate = 'ate' ;
	inicio_para = 'inicio para';
	fim_para = 'fim para';
	
	//repetição enquanto
	enquanto = 'enquanto';
	inicio_enquanto = 'inicio enquanto';
	fim_enquanto = 'fim enquanto';
	
	//Repetição repita
	repita = 'repita';
	inicio_repita = 'inicio repita';
	fim_repita = 'fim repita';
	
	//entrada e saida
	leia = 'leia' ;
	escreva = 'escreva' ;
	
	//fluxo
	passo = 'passo' ;
	retorne = 'retorne';
	interrompa = 'interrompa' ; //break em java
	continue = 'continue';
	
	//logicos
	nao = 'nao' ;
	ou = 'ou' ;
	xou = 'xou' ;
	e = 'e' ;
	verdade = 'verdade';
	falso = 'falso';
	
	//listas
	vetor = 'vetor' ;
	
		
	//valores da linguagem
	n_int = digito+;
	n_real = digito+ virgula digito+;
	l_caractere = apostrof [ascii_char - lf] apostrof;
	
    //comentários
	comentario = barra_dir barra_dir [ascii_char - [cr + lf]]*;
	
	//comentatios aninhados, identificadores
	{normal} brancos = (branco | cr lf | cr | lf | tab)+ ;
	{normal} identificador = (letra |letra_m | sublinhado)+ (letra | letra_m | digito | sublinhado)*;
	
	{normal->comentario_aninhado, comentario_aninhado}
	 comentario_inicio = barra_dir estrela;
	{comentario_aninhado} comentario_fim = estrela barra_dir;
	{comentario_aninhado} comentario_corpo = [ascii_char - [estrela + barra_dir]]*;

	
	Ignored Tokens
//tokens ignorados
	    comentario, brancos,comentario_corpo;
		
	Productions
//Regras da gramatica
///////////////////////////////////////////////////////////////////////////////////////////////////////////////
///Layout do programa
programa =
		{cabecalho} T.programa identificador 
						
						declaracao
						
						comando
					
					fim_ponto ;

///////////////////////////////////////////////////////////////////////////////////////////////////////////////
///declaraçao de variaveis e constantes. 
//Ex: 'variavel' integer: numero [,var*]; / 'constante' constante  numero [,var*];  / 'vetor' integer: numero[1] ;

declaracao =
			{variaveis} P.tipo dois_pontos escorpo ponto_virgula |
			{constantes} constante identificador valor ponto_virgula | 
			{vazio};

tipo = 	
			{inteiro} inteiro |
			{real} real |
			{caractere} caractere ;

escorpo = 
			{lista_variaveis} escorpo virgula variavel |
			{variavel} variavel;
		
variavel = 
			{vetor} identificador cochete_esq n_int cochete_dir |
			{variavel} identificador;


			
//////////////////////////////////////////////////////////////////////////////////////////////////////////////
//Comandos

			
	comando =
			{se_senao} comando se_bloco ponto_virgula |
			{vazio};

//////////////////////////////////////////////////////////////////////////////////////////////////////////////
//SE..SENAO
	
			
	se_bloco =
			{se_bloco} se parentese_esq  exp_logica parentese_dir entao comando senao_bloco fim_se;
			
	senao_bloco =
			{senao_bloco} senao comando fim_senao | 
			{vazio};
	
//////////////////////////////////////////////////////////////////////////////////////////////////////////////	
/// expressões aritimetricas : +,-,*,/
	
	
	exp_aritimetrica = 
			{numero_negativo} menos termo |
			{adicao_subtracao} exp_aritimetrica soma termo |
			{termo} termo ;
			
	soma = 
			{adicao} mais |
			{subtracao} menos;
			
	termo = 
			{multiplicacao_divisao} termo mult fator | 
			{fator} fator ;
			
	mult = 
			{multiplicacao} estrela |
			{divisao} barra_dir;
			
	fator = 
			{exp_parenteses} parentese_esq exp_aritimetrica parentese_dir |
			{elemento} elemento;	

//||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
//expressões logicas : nao,e,ou,xou
	
	exp_logica = 
			{ou_logico} exp_logica ou exp_xou | 
			{exp_xou} exp_xou ;

	exp_xou =
			{oux_logico} exp_xou xou exp_e |
			{exp_e} exp_e;
			
	exp_e =
			{e_logico} exp_e e exp_nao |
			{exp_nao} exp_nao;

			
	exp_nao = 
			{nao_logico} nao termo_logico |
			{termo_logico} termo_logico ;

			
	termo_logico = 
			{parenteses_logico} parentese_esq exp_logica parentese_dir |
			{parenteses_comparacao} exp_comparativa;

			
					
///////////////////////////////////////////////////////////////////////////////////////////////////////////////		
//Expressões comparativas : >,<,>=,<=,=,<>
	
	
	 exp_comparativa =
	        {igual_diferente1} [esq]: elemento  P.simbolo1 [dir]: elemento |
			{menor_maior} exp_menor_maior;
			
			
	 simbolo1 = 
			{igual} igual |
			{diferente} diferente;
			 
			 
	 exp_menor_maior =
			{menor_logico}  [esq]: elemento P.simbolo2 [dir]: elemento |
			{elemento} elemento;
			
	 simbolo2 = 
			{menor_que} menorq |
			{maior_que} maiorq |
			{menor_igual} menor_igual |
			{maior_igual} maior_igual;
		
			
////////////////////////////////////////////////////////////////////////////////////////////////////////////////			
///elementos representantes de valores	
	elemento = 
			{valor} valor |
			{variaveis} variavel;

	
	valor = 
			{caractere} l_caractere |
			{numero_inteiro} n_int |
			{numero_real} n_real ;

/////////////////////////////////////////////////////////////////////////////////////////////////////////////////		

/*	exp =	
		{valor} valor |
		{variavel} var |
		{subtracao} menos exp |
		{soma} exp mais exp |
		{subtracao} exp menos exp |
		{multiplicacao} exp estrela exp |
		{divisao} exp barra_dir exp |
		{expressao_logica} exp-logica;
	
	exp-logica =
		{igual}	 exp igual exp |
		{diferente} exp diferente exp |
		{menor igual} exp menor_igual exp |
		{maior igual} exp maior_igual exp |
		{menor} exp menorq exp |
		{maior} exp maiorq exp |
		{negacao} nao exp-logica |
		{conjuncao} exp-logica e exp-logica |
		{uniao} exp-logica ou exp-logica |
		{uniao exclusiva} exp-logica xou exp-logica;*/