private void ValidarTiposAtribuicao()
{
TipoItemTs tipoVar;
var indexAtribuicao = IndexAtual;
while (Tokens[indexAtribuicao].Tipo != TipoToken.SimboloAtribuicao)
{
indexAtribuicao--;
}
indexAtribuicao--;
switch (Tokens[indexAtribuicao].Tipo)
{
case TipoToken.Identificador:
tipoVar = TabelaDeSimbolos.Find(Tokens[indexAtribuicao].Cadeia, EscopoStack.Peek()).Tipo;
break;
case TipoToken.NumeroReal:
tipoVar = TipoItemTs.NumeroReal;
break;
default:
tipoVar = TipoItemTs.NumeroInteiro;
break;
}
if (TipoItensExpressao.Any(x => x != tipoVar))
{
throw new CompiladorException(
$"Atribuição inválida, era esperado um valor do tipo {tipoVar.ToString()}\nLinha: {Tokens[indexAtribuicao].Linha}");
}
}
private void ValidarParametros(ItemTs procedure)
{
//Validar argumentos procedure
var i = IndexAtual;
var tipoParametros = new List <TipoParametro>();
while (Tokens[i].Tipo != TipoToken.SimboloAbreParenteses)
{
if (Tokens[i].Tipo == TipoToken.Identificador)
{
var parametro = TabelaDeSimbolos.Find(Tokens[i].Cadeia, EscopoStack.Peek());
tipoParametros.Add(parametro.Tipo == TipoItemTs.NumeroInteiro
? TipoParametro.NumeroInteiro
: TipoParametro.NumeroReal);
}
i--;
}
if (tipoParametros.Count != procedure.Parametros.Count)
{
throw new CompiladorException($"Quantidade errada de parametros\nLinha: {Tokens[i].Linha}");
}
for (int j = 0; j < tipoParametros.Count - 1; j++)
{
if (tipoParametros[j] != procedure.Parametros[j].Tipo)
{
throw new CompiladorException(
$"Parametro com tipo diferente do esperado, encontrou {tipoParametros[j].ToString()} mas esperava {procedure.Parametros[j].Tipo.ToString()}\nLinha: {Tokens[i].Linha}");
}
}
}
public int GerarDALLOC(TabelaDeSimbolos tab)
{
int maiorNivel = tab.tabela[tab.tabela.Count - 1].escopo;
int i = 0, quant_var = 0;
while (i <= tab.tabela.Count - 1)
{
if (tab.tabela[i].escopo == maiorNivel)
{
if (tab.tabela[i].tipo == "inteiro" || tab.tabela[i].tipo == "boolean")
{
quant_var++;
}
}
i++;
}
if (maiorNivel == 0)
{
Gerar("", "DALLOC", "" + 0, "" + (quant_var + 1));
}
else
{
if (quant_var == 0)
{
return(0);
}
Gerar("", "DALLOC", "" + (auxAlloc - quant_var), "" + quant_var);
}
return(quant_var);
}
private void ValidarVariavel()
{
var i = 0;
while (new List <string>()
{
nameof(MaisVar), nameof(Variaveis)
}.Contains(CallStack.ElementAt(i)))
{
i++;
}
var callerName = CallStack.ElementAt(i);
if (callerName == nameof(DcV) || callerName == nameof(ListaPar))
{
TabelaDeSimbolos.TryAddNewItem(new ItemTs
{
Cadeia = Tokens[IndexAtual].Cadeia, Escopo = EscopoStack.Peek(), Tipo = TipoItemTs.Desconhecido,
Linha = Tokens[IndexAtual].Linha
});
GeradorCodigoHipo.AreaDeCodigo.Add(InstrucoesMaquinaHipo.ALME + " 1");
}
else
{
TabelaDeSimbolos.VerificarSeVariavelJaFoiDeclarada(new ItemTs
{
Cadeia = Tokens[IndexAtual].Cadeia, Escopo = EscopoStack.Peek(), Tipo = TipoItemTs.Desconhecido
});
}
}
public AnalisadorSintatico(List <Token> tokens)
{
Tokens = tokens;
TabelaDeSimbolos = new TabelaDeSimbolos();
EscopoStack = new Stack <string>();
CallStack = new Stack <string>();
TipoItensExpressao = new List <TipoItemTs>();
GeradorCodigoHipo = new GeradorCodigoHipo();
}
private void DcP()
{
CallStack.Push(nameof(DcP));
if (Tokens[IndexAtual].Tipo == TipoToken.ReservadoProcedure)
{
IndexAtual++;
if (Tokens[IndexAtual].Tipo == TipoToken.Identificador)
{
var procedure = new ItemTs
{
Cadeia = Tokens[IndexAtual].Cadeia,
Escopo = EscopoStack.Peek(),
Tipo = TipoItemTs.Procedimento,
Linha = Tokens[IndexAtual].Linha,
Parametros = new List <Parametro>()
};
EscopoStack.Push(Tokens[IndexAtual].Cadeia);
IndexAtual++;
Parametros();
AddParametrosNaProcedure(procedure);
TabelaDeSimbolos.TryAddNewItem(procedure);
CorpoP();
EscopoStack.Pop();
}
else
{
ThrowCompiladorException(Tokens[IndexAtual]);
}
}
else
{
ThrowCompiladorException(Tokens[IndexAtual]);
}
CallStack.Pop();
}
private void Fator()
{
CallStack.Push(nameof(Fator));
switch (Tokens[IndexAtual].Tipo)
{
case TipoToken.Identificador:
ValidarVariavel();
var simboloTs = TabelaDeSimbolos.Find(Tokens[IndexAtual].Cadeia, EscopoStack.Peek());
TipoItensExpressao.Add(simboloTs.Tipo);
IndexAtual++;
break;
case TipoToken.NumeroInteiro:
IndexAtual++;
TipoItensExpressao.Add(TipoItemTs.NumeroInteiro);
break;
case TipoToken.NumeroReal:
IndexAtual++;
TipoItensExpressao.Add(TipoItemTs.NumeroReal);
break;
case TipoToken.SimboloAbreParenteses:
IndexAtual++;
Expressao();
if (Tokens[IndexAtual].Tipo == TipoToken.SimboloFechaParenteses)
{
IndexAtual++;
}
else
{
ThrowCompiladorException(Tokens[IndexAtual]);
}
break;
}
CallStack.Pop();
}
private void TipoVar()
{
CallStack.Push(nameof(TipoVar));
if (Tokens[IndexAtual].Tipo == TipoToken.ReservadoReal ||
Tokens[IndexAtual].Tipo == TipoToken.ReservadoInteger)
{
var tipoItemTs = Tokens[IndexAtual].Tipo == TipoToken.ReservadoReal
? TipoItemTs.NumeroReal
: TipoItemTs.NumeroInteiro;
TabelaDeSimbolos.SetTipoVariaveis(tipoItemTs);
IndexAtual++;
}
else
{
ThrowCompiladorException(Tokens[IndexAtual]);
}
CallStack.Pop();
}
private void Comando()
{
CallStack.Push(nameof(Comando));
switch (Tokens[IndexAtual].Tipo)
{
case TipoToken.ReservadoRead:
IndexAtual++;
if (Tokens[IndexAtual].Tipo == TipoToken.SimboloAbreParenteses)
{
IndexAtual++;
Variaveis();
if (Tokens[IndexAtual].Tipo == TipoToken.SimboloFechaParenteses)
{
IndexAtual++;
}
else
{
ThrowCompiladorException(Tokens[IndexAtual]);
}
}
else
{
ThrowCompiladorException(Tokens[IndexAtual]);
}
GeradorCodigoHipo.AreaDeCodigo.Add(InstrucoesMaquinaHipo.LEIT.ToString());
//Todo implementar endereço real dos items em AreaDeDados
GeradorCodigoHipo.AreaDeCodigo.Add(InstrucoesMaquinaHipo.ARMZ + " " + GeradorCodigoHipo.AreaDeDados.Count);
break;
case TipoToken.ReservadoWrite:
IndexAtual++;
if (Tokens[IndexAtual].Tipo == TipoToken.SimboloAbreParenteses)
{
IndexAtual++;
Variaveis();
if (Tokens[IndexAtual].Tipo == TipoToken.SimboloFechaParenteses)
{
IndexAtual++;
}
else
{
ThrowCompiladorException(Tokens[IndexAtual]);
}
}
else
{
ThrowCompiladorException(Tokens[IndexAtual]);
}
break;
case TipoToken.ReservadoWhile:
IndexAtual++;
Condicao();
GeradorCodigoHipo.AreaDeCodigo.Add(InstrucoesMaquinaHipo.CRVL + " 1");
GeradorCodigoHipo.AreaDeCodigo.Add(InstrucoesMaquinaHipo.CRVL + " 0");
/*
* var i = IndexAtual;
* while (Tokens[i].Tipo != TipoToken.ReservadoWhile)
* {
*
* i--;
* }
*/
if (Tokens[IndexAtual].Tipo == TipoToken.ReservadoDo)
{
IndexAtual++;
Comandos();
if (Tokens[IndexAtual].Tipo == TipoToken.SimboloCifrao)
{
IndexAtual++;
}
else
{
ThrowCompiladorException(Tokens[IndexAtual]);
}
}
else
{
ThrowCompiladorException(Tokens[IndexAtual]);
}
break;
case TipoToken.ReservadoIf:
IndexAtual++;
Condicao();
if (Tokens[IndexAtual].Tipo == TipoToken.ReservadoThen)
{
IndexAtual++;
Comandos();
Pfalsa();
if (Tokens[IndexAtual].Tipo == TipoToken.SimboloCifrao)
{
IndexAtual++;
}
else
{
ThrowCompiladorException(Tokens[IndexAtual]);
}
}
else
{
ThrowCompiladorException(Tokens[IndexAtual]);
}
break;
case TipoToken.Identificador:
var procedure = TabelaDeSimbolos.Find(Tokens[IndexAtual].Cadeia, EscopoStack.Peek(), true);
bool isProcedure = procedure != null;
if (procedure == null && TabelaDeSimbolos.Find(Tokens[IndexAtual].Cadeia, EscopoStack.Peek()) == null)
{
throw new CompiladorException($"Procedure {Tokens[IndexAtual].Cadeia} não declarada\nLinha: {Tokens[IndexAtual].Linha}");
}
IndexAtual++;
RestoIdent();
if (isProcedure)
{
ValidarParametros(procedure);
}
break;
default:
ThrowCompiladorException(Tokens[IndexAtual]);
break;
}
CallStack.Pop();
}