Correcao de cenarios e adicao de testes de integracao, analise sintatica

src/main/java/analise/exceptions/ProducaoSintaticaException.java

@@ -8,11 +8,11 @@ public ProducaoSintaticaException(String producao) {
 		super ("Nao foi possivel validar a producao: " + producao);
 	}
 	public ProducaoSintaticaException(String producao, String linha, String coluna) {
-		super ("Nao foi possivel validar a producao: " + producao +", linha " + linha + " coluna " +  coluna);
+		super ("Nao foi possivel validar a producao: " + producao +", linha: " + linha + " coluna: " +  coluna);
 	}
 
 	public ProducaoSintaticaException(String producao, String linha, String coluna, String lexema) {
-		super ("Nao foi possivel validar a producao: " + producao +", linha " + linha + " coluna " +  coluna + ", token " + lexema);
+		super ("Nao foi possivel validar a producao: " + producao +", linha: " + linha + " coluna: " +  coluna + ", token: '" + lexema + "'");
 	}	
 
 }

src/main/java/analise/exceptions/ProducaoSintaticaLoggedException.java

@@ -9,6 +9,7 @@ public class ProducaoSintaticaLoggedException extends Exception {
 
 	public ProducaoSintaticaLoggedException(String message) {
 		super(message);
+		System.out.println(message);
 		ProducaoSintaticaLoggedException.log.add(message); 
 	}
 

src/main/java/analise/sintatica/ArvoreSintaticaAbstrataNo.java

@@ -79,5 +79,9 @@ public boolean possueNosFilhos() {
 	public int quatidadeNosFilhos(){
 		return (this.listaDeNosFilhos.size());
 	}
+
+	public String print() {
+		return "";
+	}
 
 }

src/main/java/analise/sintatica/producoes/RegrasProducaoDoStatement.java

@@ -20,7 +20,7 @@ public ArvoreSintaticaAbstrataNo validaEGeraProducao() throws ProducaoSintaticaE
 			try {
 				guardedCommandList = this.validaEGeraProducaoDadoProducao(ProducoesEnum.guardedCommandList);
 			} catch (ProducaoSintaticaException e) {
-			  //	
+
 			}
 			if (guardedCommandList != null) {
 				raiz.adicionaNoFilho(guardedCommandList);

src/main/java/analise/sintatica/producoes/RegrasProducaoGuardedCommandList.java

@@ -15,8 +15,12 @@ public ArvoreSintaticaAbstrataNo validaEGeraProducao() throws ProducaoSintaticaE
 		boolean isValida;
 
 		this.salvarIndiceTokenAtual();
-		ArvoreSintaticaAbstrataNo guardedCommand;
-		guardedCommand = this.validaEGeraProducaoDadoProducao(ProducoesEnum.guardedCommand);
+		ArvoreSintaticaAbstrataNo guardedCommand = null;
+		try {
+			guardedCommand = this.validaEGeraProducaoDadoProducao(ProducoesEnum.guardedCommand);
+		} catch (ProducaoSintaticaException e) {
+			//
+		}
 		if (guardedCommand == null) {
 			this.recuperarIndiceSalvo();
 			this.throwProducaoSintaticaException("guardedCommandList");

src/test/java/analise/sintatica/AnaliseSintaticaIntegracaoTest.java

@@ -133,6 +133,71 @@ public void testValidaArquivo_IfStatementComplexo() {
 		} catch (ProducaoSintaticaException ep) {
 			fail(ep.getMessage());
 		} 
-	}		
+	}
+
+	public void testValidaArquivo_doComplexo2() {
+		String source = this.loadResourceNamed("module_doComplexo2.gcl");
+
+		this.analisador = this.buildAnaliseSintatica(source);
+		try {
+			assertTrue(this.analisador.valida());
+		} catch (InvalidTokenException et) {
+			fail(et.getMessage());
+		} catch (ProducaoSintaticaException ep) {
+			fail(ep.getMessage());
+		} 
+	}
+
+	public void testValidaArquivo_procAninhadaSimples() {
+		String source = this.loadResourceNamed("module_procAninhadaSimples.gcl");
+
+		this.analisador = this.buildAnaliseSintatica(source);
+		try {
+			assertTrue(this.analisador.valida());
+		} catch (InvalidTokenException et) {
+			fail(et.getMessage());
+		} catch (ProducaoSintaticaException ep) {
+			fail(ep.getMessage());
+		} 
+	}	
+
+	public void testValidaArquivo_procAninhadaComplexa() {
+		String source = this.loadResourceNamed("module_procAninhadaComplexo.gcl");
+
+		this.analisador = this.buildAnaliseSintatica(source);
+		try {
+			assertTrue(this.analisador.valida());
+		} catch (InvalidTokenException et) {
+			fail(et.getMessage());
+		} catch (ProducaoSintaticaException ep) {
+			fail(ep.getMessage());
+		} 
+	}
 
+	public void testValidaArquivo_procAninhada_doSimples() {
+		String source = this.loadResourceNamed("module_procAninhada_doSimples.gcl");
+
+		this.analisador = this.buildAnaliseSintatica(source);
+		try {
+			assertTrue(this.analisador.valida());
+		} catch (InvalidTokenException et) {
+			fail(et.getMessage());
+		} catch (ProducaoSintaticaException ep) {
+			fail(ep.getMessage());
+		} 
+	}
+
+	public void testValidaArquivo_procAninhada_doComplexa() {
+		String source = this.loadResourceNamed("module_procAninhada_doComplexa.gcl");
+
+		this.analisador = this.buildAnaliseSintatica(source);
+		try {
+			assertTrue(this.analisador.valida());
+		} catch (InvalidTokenException et) {
+			fail(et.getMessage());
+		} catch (ProducaoSintaticaException ep) {
+			fail(ep.getMessage());
+		} 
+	}	
+
 }

src/test/resources/module_doComplexo2.gcl

@@ -0,0 +1,9 @@
+module doComplexo2
+begin
+	do x#0 -> search(x,A, result); 
+		if result.1 -> write x, ' can be found at ', result.2;  
+		[] ~result.1 -> write x, ' not found'; 
+		fi; 
+		read x; 
+	od;
+end.	

src/test/resources/module_doStatement.gcl

@@ -6,4 +6,4 @@ begin
     i := i + 1;
   od;
 
-end.
+end. 

src/test/resources/module_doStatementComplexo.gcl

@@ -13,4 +13,4 @@ begin
 		fi; 
 	od; 
 	result := [found, where];
-end. 
+end. 

src/test/resources/module_procAninhadaComplexo.gcl

@@ -0,0 +1,28 @@
+module search  
+private 
+
+	proc search (val integer target; val elements B; ref [Boolean, integer] result)	
+	integer m; 
+	integer i; 
+	Boolean found;
+	integer where;	
+	begin 
+		i:= 1;
+		m := size;
+		found := false;
+		do i <= m -> 
+			if B[i] = target -> 
+					found := true; 
+					where := i;
+					i := m + 1;
+			[]  B[i] # target -> 
+					i := i+1; 
+			fi; 
+		od; 
+		result := [found, where];
+	end;  
+
+begin
+  skip;
+end.  
+

src/test/resources/module_procAninhadaSimples.txt → src/test/resources/module_procAninhadaSimples.gcl

@@ -1,6 +1,6 @@
 module atribuicaoGuarded
 
-	proc procAninhada()
+	proc search ()
 	begin
 	  skip;
 	  skip;

src/test/resources/module_procAninhada_doComplexa.gcl

@@ -0,0 +1,25 @@
+module atribuicaoGuarded
+
+	proc search ()
+		integer m; 
+		integer i; 
+		Boolean found;
+		integer where;	
+	begin
+		i:= 1;
+		m := size;
+		found := false;
+		do i <= m -> 
+			if B[i] = target -> 
+					found := true; 
+					where := i;
+					i := m + 1;
+			[]  B[i] # target -> 
+					i := i+1; 
+			fi; 
+		od; 
+	end;
+
+begin
+	skip;
+end. 

src/test/resources/module_procAninhada_doSimples.gcl

@@ -0,0 +1,14 @@
+module atribuicaoGuarded
+
+	proc search ()
+	  integer i;
+	begin
+	  i := 0;
+	  do i < 10 ->
+	    i := i + 1;
+	  od;
+	end;
+
+begin
+	skip;
+end. 

src/test/resources/search.gcl

@@ -26,7 +26,7 @@ private
 					i := i+1; 
 			fi; 
 		od; 
-		result = [found, where];
+		result := [found, where];
 	end;  
 
 begin