Skip to content

Commit

Permalink
Corrigindo referencia vetor em parametro (fix #724) (#758)
Browse files Browse the repository at this point in the history 
* corrigindo vetor referencia passado por parâmetro

* corrigindo atribuição em vetor não declarado

* resolvendo parciamente referencias de parametros

* testes a serem feitos

* Testes Finalizados
  • Loading branch information
@AdsonEsteves
AdsonEsteves authored Mar 13, 2020
1 parent 4452b81 commit 7d802ab
Show file tree
Hide file tree
Showing 8 changed files with 130 additions and 15 deletions.
7 changes: 6 additions & 1 deletion core/src/main/java/br/univali/portugol/nucleo/analise/semantica/AnalisadorSemantico.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -1630,7 +1630,12 @@ else if (noOperacao.getOperandoEsquerdo() instanceof NoReferenciaMatriz
|| noOperacao.getOperandoEsquerdo() instanceof NoReferenciaVetor)
{
simbolo = memoria.getSimbolo(((NoReferencia) noOperacao.getOperandoEsquerdo()).getNome());
if (simbolo.constante())

if(simbolo==null)
{
notificarErroSemantico(new ErroSimboloNaoDeclarado((NoReferencia) noOperacao.getOperandoEsquerdo()));
}
else if (simbolo.constante())
{
final Simbolo pSimbolo = simbolo;
notificarErroSemantico(new ErroAtribuirEmConstante(noOperacao.getTrechoCodigoFonte(), pSimbolo));
Expand Down
18 changes: 18 additions & 0 deletions core/src/main/java/br/univali/portugol/nucleo/asa/NoDeclaracaoParametro.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,10 @@ public final class NoDeclaracaoParametro extends NoDeclaracaoBase implements NoD
private final ModoAcesso modoAcesso;
private final Quantificador quantificador;

private int indiceReferencia = -1;

private int idParaInspecao = -1;


/**
* @param nome o nome deste parãmetro.
Expand Down Expand Up @@ -114,4 +117,19 @@ public TrechoCodigoFonte getTrechoCodigoFonte()

return new TrechoCodigoFonte(getTrechoCodigoFonteTipoDado().getLinha(), getTrechoCodigoFonteTipoDado().getColuna(), tamanhoTotal);
}

public boolean ehPassadaPorReferencia()
{
return indiceReferencia >= 0;
}

public int getIndiceReferencia()
{
return indiceReferencia;
}

public void setIndiceReferencia(int indiceReferencia)
{
this.indiceReferencia = indiceReferencia;
}
}
4 changes: 2 additions & 2 deletions core/src/main/java/br/univali/portugol/nucleo/compilador/Compilador.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -163,8 +163,8 @@ private Programa geraPrograma(ASAPrograma asa, ResultadoAnalise resultadoAnalise
gerador.gera(asa, writerArquivoJava, nomeClasse, opcoes);
writerArquivoJava.flush();

// byte[] encoded = Files.readAllBytes(Paths.get(arquivoJava.getAbsolutePath()));
// System.out.println(new String(encoded, "UTF-8"));
byte[] encoded = Files.readAllBytes(Paths.get(arquivoJava.getAbsolutePath()));
System.out.println(new String(encoded, "UTF-8"));

if (Thread.currentThread().isInterrupted())
{
Expand Down
47 changes: 40 additions & 7 deletions core/src/main/java/br/univali/portugol/nucleo/execucao/gerador/GeradorCodigoJava.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -615,14 +615,32 @@ public Void visitar(NoReferenciaVariavel no) throws ExcecaoVisitaASA
escopo = Utils.getNomeBiblioteca(escopo, asa);
saida.append(escopo).append(".");
}

NoDeclaracaoBase declaracao = no.getOrigemDaReferencia();
boolean ehParametroPorReferencia = declaracao instanceof NoDeclaracaoParametro && (((NoDeclaracaoParametro) declaracao).getModoAcesso() == ModoAcesso.POR_REFERENCIA);
if (ehParametroPorReferencia || no.ehPassadoPorReferencia())
{
String stringIndice = ehParametroPorReferencia ? no.getNome() : Utils.geraStringIndice(no);
String nomeTipo = Utils.getNomeTipoJava(declaracao.getTipoDado()).toUpperCase();
saida.format("REFS_%s[%s]", nomeTipo, stringIndice);
if(no.getOrigemDaReferencia() instanceof NoDeclaracaoParametro)
{
if(((NoDeclaracaoParametro)no.getOrigemDaReferencia()).getQuantificador()==Quantificador.VETOR
|| ((NoDeclaracaoParametro)no.getOrigemDaReferencia()).getQuantificador()==Quantificador.MATRIZ)
{
saida.format("%s", stringIndice);
}
else
{
saida.format("REFS_%s[%s]", nomeTipo, stringIndice);
}

}
else
{
saida.format("REFS_%s[%s]", nomeTipo, stringIndice);
}


}
else
{
Expand Down Expand Up @@ -1070,7 +1088,7 @@ public VisitorGeracaoCodigo geraChaveFechamentoClasse()
return this;
}

public VisitorGeracaoCodigo geraAtributosParaVariaveisPassadasPorReferencia(Map<TipoDado, List<NoDeclaracaoVariavel>> variaveis)
public VisitorGeracaoCodigo geraAtributosParaVariaveisPassadasPorReferencia(Map<TipoDado, List<NoDeclaracao>> variaveis)
{
if (variaveis.isEmpty())
{
Expand Down Expand Up @@ -1105,15 +1123,30 @@ public VisitorGeracaoCodigo geraAtributosParaVariaveisPassadasPorReferencia(Map<
{
if (variaveis.containsKey(tipo))
{
for (NoDeclaracaoVariavel variavel : variaveis.get(tipo))
for (NoDeclaracao variavel : variaveis.get(tipo))
{
saida.append(identacao)
if(variavel instanceof NoDeclaracaoVariavel)
{
saida.append(identacao)
.append("private final int ")
.append(Utils.geraStringIndice((NoDeclaracaoVariavel)variavel))
.append(" = ")
.append(String.valueOf(((NoDeclaracaoVariavel)variavel).getIndiceReferencia()))
.append(";")
.println();
}
//TESTAR
//else if(variavel instanceof NoDeclaracaoParametro && ((NoDeclaracaoParametro)variavel).getModoAcesso()==ModoAcesso.POR_VALOR)
else if(variavel instanceof NoDeclaracaoParametro)
{
saida.append(identacao)
.append("private final int ")
.append(Utils.geraStringIndice(variavel))
.append(Utils.geraStringIndice((NoDeclaracaoParametro)variavel))
.append(" = ")
.append(String.valueOf(variavel.getIndiceReferencia()))
.append(String.valueOf(((NoDeclaracaoParametro)variavel).getIndiceReferencia()))
.append(";")
.println();
}
}

saida.println(); //separa as declarações para cada tipo
Expand Down
32 changes: 28 additions & 4 deletions core/src/main/java/br/univali/portugol/nucleo/execucao/gerador/PreCompilador.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@
public class PreCompilador extends VisitanteNulo
{

private final Map<TipoDado, List<NoDeclaracaoVariavel>> declaracoes = new HashMap<>();
private final Map<TipoDado, List<NoDeclaracao>> declaracoes = new HashMap<>();
private final Set<NoDeclaracaoFuncao> funcoesInvocadas = new HashSet<>(); // guarda apenas as funções que foram invocadas, as funções que não são invocadas não serão geradas no código Java

private static long seedNomes = System.currentTimeMillis();
Expand Down Expand Up @@ -89,10 +89,34 @@ public Void visitar(NoChamadaFuncao chamadaFuncao) throws ExcecaoVisitaASA
TipoDado tipoOrigem = origemReferencia.getTipoDado();
if (!declaracoes.containsKey(tipoOrigem)) // verifica se é necessário criar uma lista para guardar as variáveis do tipo do nó de origem
{
declaracoes.put(tipoOrigem, new ArrayList<NoDeclaracaoVariavel>());
declaracoes.put(tipoOrigem, new ArrayList<NoDeclaracao>());
}

List<NoDeclaracaoVariavel> variaveis = declaracoes.get(tipoOrigem);
List<NoDeclaracao> variaveis = declaracoes.get(tipoOrigem);
if (!variaveis.contains(origemReferencia))
{
int indice = variaveis.size();
referencia.setIndiceReferencia(indice);
origemReferencia.setIndiceReferencia(indice);
variaveis.add(origemReferencia);
for (NoReferencia ref : origemReferencia.getReferencias())
{
NoReferenciaVariavel origem = (NoReferenciaVariavel) ref;
origem.setIndiceReferencia(indice);
}
}
}
else if (referencia.getOrigemDaReferencia() instanceof NoDeclaracaoParametro && ((NoDeclaracaoParametro)referencia.getOrigemDaReferencia()).getModoAcesso()==ModoAcesso.POR_VALOR)
{
NoDeclaracaoParametro origemReferencia = (NoDeclaracaoParametro)referencia.getOrigemDaReferencia();

TipoDado tipoOrigem = origemReferencia.getTipoDado();
if (!declaracoes.containsKey(tipoOrigem)) // verifica se é necessário criar uma lista para guardar as variáveis do tipo do nó de origem
{
declaracoes.put(tipoOrigem, new ArrayList<NoDeclaracao>());
}

List<NoDeclaracao> variaveis = declaracoes.get(tipoOrigem);
if (!variaveis.contains(origemReferencia))
{
int indice = variaveis.size();
Expand Down Expand Up @@ -193,7 +217,7 @@ public Object visitar(NoVetor noVetor) throws ExcecaoVisitaASA
return null;
}

public Map<TipoDado, List<NoDeclaracaoVariavel>> getVariaveisPassadasPorReferencia()
public Map<TipoDado, List<NoDeclaracao>> getVariaveisPassadasPorReferencia()
{
return declaracoes;
}
Expand Down
6 changes: 6 additions & 0 deletions ...c/main/java/br/univali/portugol/nucleo/execucao/gerador/helpers/GeradorChamadaMetodo.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -95,6 +95,12 @@ private void geraParametro(NoExpressao parametroRecebido, ParametroEsperado para
{
saida.append(Utils.geraStringIndice(referencia));
}
else if(referencia.getOrigemDaReferencia() instanceof NoDeclaracaoParametro
&& ((NoDeclaracaoParametro)referencia.getOrigemDaReferencia()).getModoAcesso() == ModoAcesso.POR_VALOR
&& ((NoDeclaracaoParametro)referencia.getOrigemDaReferencia()).getQuantificador() == Quantificador.VALOR)
{
saida.append(Utils.geraStringIndice(referencia));
}
else // origem é um NoDeclaracaoParametro
{
saida.append(referencia.getNome());
Expand Down
25 changes: 24 additions & 1 deletion ...ain/java/br/univali/portugol/nucleo/execucao/gerador/helpers/GeradorDeclaracaoMetodo.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,9 @@ public void gera(NoDeclaracaoFuncao noFuncao, PrintWriter saida, VisitanteASA vi
saida.append(" throws ErroExecucao, InterruptedException");
saida.println(); // pula uma linha depois da declaração da assinatura do método
saida.append(identacao).append("{").println(); // inicia o escopo do método

saida.append(identacao);
geraInicializacaoParametroPorReferenciaLiteral(noFuncao, saida);

if (opcoes.gerandoCodigoParaInterrupcaoDeThread)
{
Utils.geraVerificacaoThreadInterrompida(saida, nivelEscopo);
Expand All @@ -66,6 +68,7 @@ public void gera(NoDeclaracaoFuncao noFuncao, PrintWriter saida, VisitanteASA vi

saida.println();
saida.append(identacao).append("}").println(); // finaliza o escopo do método
//TODO HERE Parametros Referenciaveis
saida.println(); // linha em branco depois de cada método


Expand Down Expand Up @@ -244,6 +247,26 @@ private static void geraParametros(NoDeclaracaoFuncao noFuncao, PrintWriter said
saida.append(")"); // parenteses de fim da lista de parâmetros
}

private static void geraInicializacaoParametroPorReferenciaLiteral(NoDeclaracaoFuncao noFuncao, PrintWriter saida)
{
List<NoDeclaracaoParametro> parametros = noFuncao.getParametros();
int size = parametros.size();
for (int i = 0; i < size; i++)
{
NoDeclaracaoParametro noParametro = parametros.get(i);

if (noParametro.ehPassadaPorReferencia() && noParametro.getQuantificador() == Quantificador.VALOR && noParametro.getModoAcesso() == ModoAcesso.POR_VALOR)
{
String stringIndice = Utils.geraStringIndice(noParametro);
String nomeTipo = Utils.getNomeTipoJava(noParametro.getTipoDado()).toUpperCase();
saida.format("REFS_%s[%s]", nomeTipo, stringIndice);
saida.append(" = "+noParametro.getNome());
saida.append(";");
saida.println();
}
}
}

private static void geraParametroPorReferencia(NoDeclaracaoParametro noParametro, PrintWriter saida)
{
// os parâmetros por referência são apenas índices para o array REFERENCIAS[]
Expand Down
6 changes: 6 additions & 0 deletions core/src/main/java/br/univali/portugol/nucleo/execucao/gerador/helpers/Utils.java
View file
Original file line number Diff line number Diff line change
Expand Up @@ -192,6 +192,12 @@ public static String geraStringIndice(NoReferenciaVariavel variavel)
assert (variavel.ehPassadoPorReferencia());
return geraStringIndice(variavel.getIndiceReferencia(), variavel.getNome());
}

public static String geraStringIndice(NoDeclaracaoParametro variavel)
{
assert (variavel.ehPassadaPorReferencia());
return geraStringIndice(variavel.getIndiceReferencia(), variavel.getNome());
}

public static String geraStringIndice(NoDeclaracaoVariavel variavel)
{
Expand Down

0 comments on commit 7d802ab

Please sign in to comment.