private static void Pfalsa()
{
if (Lexico.NextTokenIs("else"))
{
Comandos();
}
}
private static void Lista_arg(Simbolo pEsq)
{
var parametros = TabelaDeSimbolos.BuscaParametros(pEsq);
if (Lexico.NextTokenIs('('))
{
CurrentToken = Lexico.NextToken();
Argumentos();
if (parametros.Count() != FilaSimbolos.Count())
{
pEsq.SetMsgErro(MsgErrosSemanticos.PARAMETROS_INCORRETOS, parametros.Count(), FilaSimbolos.Count());
Error(pEsq);
}
while (FilaSimbolos.Any())
{
var sim = FilaSimbolos.Dequeue();
var param = parametros.Dequeue();
if (sim.Tipo != param.Tipo)
{
pEsq.SetMsgErro(MsgErrosSemanticos.PARAMETRO_ERRADO, sim, param);
Error(pEsq);
}
}
CurrentTokenIs(')');
}
if (parametros.Count() != 0)
{
pEsq.SetMsgErro(MsgErrosSemanticos.PARAMETROS_INCORRETOS, parametros.Count(), 0);
Error(pEsq);
}
}
private static void Op_un()
{
if (Lexico.NextTokenIs('+') || Lexico.NextTokenIs('-'))
{
CurrentToken = Lexico.NextToken();
}
}
private static bool CurrentTokenIs(params object[] objs)
{
CurrentToken = Lexico.NextToken();
string erros = "";
foreach (var item in objs)
{
if (item is Tag)
{
if (CurrentToken.Tag == (Tag)item)
{
return(true);
}
erros += item + ", ";
}
else if (CurrentToken.Equals(item))
{
return(true);
}
else
{
erros += item + ", ";
}
}
erros += "a";
erros = erros.Replace(", a", string.Empty);
Error(erros);
return(false);
}
private static void Mais_var()
{
if (Lexico.NextTokenIs(','))
{
CurrentToken = Lexico.NextToken();
Variaveis();
}
}
private static void Mais_dc()
{
if (Lexico.NextTokenIs(';'))
{
CurrentToken = Lexico.NextToken();
Dc();
}
}
private static void Mais_par()
{
if (Lexico.NextTokenIs(';'))
{
CurrentToken = Lexico.NextToken();
Lista_par();
}
}
private static void Dc_loc()
{
if (Lexico.NextTokenIs("var"))
{
Dc_v();
Mais_dcloc();
}
}
private static void Mais_comandos()
{
if (Lexico.NextTokenIs(';'))
{
CurrentToken = Lexico.NextToken();
Comandos();
}
}
private static void Mais_ident()
{
if (Lexico.NextTokenIs(';'))
{
CurrentToken = Lexico.NextToken();
Argumentos();
}
}
private static void Parametros()
{
if (Lexico.NextTokenIs('('))
{
CurrentToken = Lexico.NextToken();
Categoria = "param";
Lista_par();
CurrentTokenIs(')');
}
}
private static void Comando()
{
CurrentToken = Lexico.NextToken();
if (CurrentToken.Equals("if"))
{
Condicao();
if (CurrentTokenIs("then"))
{
Comandos();
Pfalsa();
CurrentTokenIs('$');
}
}
else if (CurrentToken.Equals("while"))
{
Condicao();
if (CurrentTokenIs("do"))
{
Comandos();
CurrentTokenIs('$');
}
}
else if (CurrentToken.Equals("read") || CurrentToken.Equals("write"))
{
if (CurrentTokenIs('('))
{
Variaveis();
while (FilaSimbolos.Any())
{
var simbolo = FilaSimbolos.Dequeue();
var encontrou = TabelaDeSimbolos.Busca(simbolo) != null;
if (!encontrou)
{
simbolo.SetMsgErro(MsgErrosSemanticos.NAO_DECLARADO);
Error(simbolo);
}
}
CurrentTokenIs(')');
}
}
else if (CurrentToken.Tag == Tag.IDENTIFICADOR)
{
var simbolo = TabelaDeSimbolos.Busca(CurrentToken.Lexema, Escopo);
if (simbolo == null)
{
Error(new Simbolo(CurrentToken, MsgErrosSemanticos.NAO_DECLARADO));
}
simbolo.Token.Linha = CurrentToken.Linha;
RestoIdent(simbolo);
}
else
{
Error("if, while, read, write, Identificador");
}
}
private static Simbolo Outros_termos(Simbolo pEsq)
{
if (Lexico.NextTokenIs('+') || Lexico.NextTokenIs('-'))
{
Op_ad();
var tDir = Termo(pEsq);
var oDir = Outros_termos(tDir);
return(oDir);
}
return(pEsq);
}
private static Simbolo Mais_fatores(Simbolo pEsq)
{
if (Lexico.NextTokenIs('*') || Lexico.NextTokenIs('/'))
{
Op_mul();
var fDir = Fator(pEsq);
var mDir = Mais_fatores(fDir);
return(mDir);
}
return(pEsq);
}
private static void RestoIdent(Simbolo pEsq)
{
if (Lexico.NextTokenIs(":="))
{
CurrentToken = Lexico.NextToken();
Expressao(pEsq);
}
else
{
Lista_arg(pEsq);
}
}
private static void Dc()
{
Escopo = "";
if (Lexico.NextTokenIs("var"))
{
Dc_v();
Mais_dc();
}
else if (Lexico.NextTokenIs("procedure"))
{
Dc_p();
Mais_dc();
}
}
private static Simbolo Fator(Simbolo pEsq)
{
CurrentToken = Lexico.NextToken();
if (CurrentToken.Equals('('))
{
Expressao(pEsq);
CurrentTokenIs(')');
}
else if (CurrentToken.Tag == Tag.IDENTIFICADOR)
{
var simbolo = TabelaDeSimbolos.Busca(CurrentToken.Lexema, Escopo);
if (simbolo == null)
{
Error(new Simbolo(CurrentToken, MsgErrosSemanticos.NAO_DECLARADO));
}
if (simbolo.Categoria == "procedure")
{
Error(new Simbolo(CurrentToken, MsgErrosSemanticos.NAO_DECLARADO));
}
simbolo.Token.Linha = CurrentToken.Linha;
if (pEsq != null)
{
if (simbolo.Tipo != pEsq.Tipo)
{
pEsq.SetMsgErro(MsgErrosSemanticos.ATRIBUICAO_ERRADA, simbolo);
Error(pEsq);
}
pEsq.Token.Linha = CurrentToken.Linha;
return(pEsq);
}
return(simbolo);
}
else if (CurrentToken.Tag == Tag.NUMERO_INTEIRO)
{
var s = new Simbolo(CurrentToken, Escopo, "", CurrentToken.Lexema);
s.Tipo = CurrentToken.GetTagDescription();
if (pEsq != null)
{
if (pEsq.Tipo != "integer")
{
pEsq.SetMsgErro(MsgErrosSemanticos.ATRIBUICAO_ERRADA, s);
Error(pEsq);
}
pEsq.Token.Linha = CurrentToken.Linha;
return(pEsq);
}
return(s);
}
else if (CurrentToken.Tag == Tag.NUMERO_REAL)
{
var s = new Simbolo(CurrentToken, Escopo, "", CurrentToken.Lexema);
s.Tipo = CurrentToken.GetTagDescription();
if (pEsq != null)
{
if (pEsq.Tipo != "real")
{
pEsq.SetMsgErro(MsgErrosSemanticos.ATRIBUICAO_ERRADA, s);
Error(pEsq);
}
pEsq.Token.Linha = CurrentToken.Linha;
return(pEsq);
}
return(s);
}
else
{
Error("N° inteiro, N° real ou identificador");
}
return(pEsq);
}