Diversas correções e melhorias dos ultimos dias para versao 0.9.6 - Pre Lançamento

Author: humbertotecnologia

Ambiente.cs

@@ -2,6 +2,7 @@ class Ambiente
 {
     // Aqui armazena variaveis de ambiente usadas por todas as etapas da compilação
 
+    public bool DentroDeUmTryCatch { get; set; } = false;
     public byte TamanhoStringPilha { get; set; } = 128;
     public byte TamanhoStringEstatica { get; set; } = 255;
 
@@ -11,6 +12,8 @@ class Ambiente
     public List<Modulo> Modulos { get; set; }
     // Todos as Estruturas carregados
     public List<Estrutura> Estruturas { get; set; }
+    // Todos os erros possíveis
+    public List<RegistroDeErro> Erros { get; set; }
     // Modulo atual durante o processamento
     public Modulo? Modulo { get; set; } = null;
     // Rotina atual durante o processamento
@@ -55,8 +58,9 @@ public void CadastraReferencia(Modulo mod)
         return null;
     }
 
-    public Ambiente(Saida saida, List<DirectoryInfo> importacao, List<Modulo> modulos, List<Estrutura> estruturas, Trecho trecho, No no)
+    public Ambiente(Saida saida, List<DirectoryInfo> importacao, List<RegistroDeErro> erros, List<Modulo> modulos, List<Estrutura> estruturas, Trecho trecho, No no)
     {
+        Erros = erros;
         Estruturas = estruturas;
         DiretoriosImportacao = importacao;
         Modulos = modulos;

Analise.cs

@@ -2,6 +2,9 @@ class Analise
 {
     // Variaveis de uso comum do analisador
 
+
+    // Registro de erros possiveis no codigo fonte
+    public List<RegistroDeErro> Erros { get; set; } = new List<RegistroDeErro>();
     // Armazena os códigos fontes analisados
     public List<Fonte> Fontes { get; set; } = new List<Fonte>();
     // Armazena os módulos carregados, usado para compilação
@@ -27,9 +30,9 @@ public Analise(List<DirectoryInfo> dirs)
     // Processa tipo de uma variável
     // Usado quando se declara o tipo da variável, por exemplo:
     // Dim variavel as TIPO
-    private TipoVariavel processaTipo(ref Trechos trechos)
+    public static TipoVariavel ProcessaTipo(string tipo)
     {
-        switch(trechos.Atual.Conteudo.ToLower())
+        switch(tipo)
         {
             case "int8":
                 return TipoVariavel.Int16;
@@ -51,11 +54,15 @@ private TipoVariavel processaTipo(ref Trechos trechos)
                 return TipoVariavel.Structure;
         }
     }
+    private TipoVariavel processaTipo(ref Trechos trechos)
+    {
+        return ProcessaTipo(trechos.Atual.Conteudo.ToLower());
+    }
 
     // Processa declaração de variável ou campo do modulo
     // Exemplo:
     // dim variavel as tipo
-    private DeclaraVariavel processaDim(NivelPublicidade publi, Estrutura mod, bool varDoModulo, ref Trechos trechos)
+    private DeclaraVariavel processaDim(NivelPublicidade publi, Estrutura mod, bool varDoModulo, bool apenasPonteiro, ref Trechos trechos)
     {
         trechos.ExigeProximo("Esperado o nome da variável após o 'dim'");
         trechos.ExigeId("Esperado o nome da variável");
@@ -76,6 +83,7 @@ private DeclaraVariavel processaDim(NivelPublicidade publi, Estrutura mod, bool
         TipoVariavel tipoRetorno = TipoVariavel.UInt16;
         string tipoRetornoNome = "uint16";
         DeclaraVariavel dim = new DeclaraVariavel(dimTrecho, mod, varDoModulo, publi, dimTipo, dimTipoNome, dimColecao, dimColecaoTam);
+        dim.EstruturaEstaticaApenasPonteiro = apenasPonteiro;
         if(dimTipo == TipoVariavel.Func | dimTipo == TipoVariavel.Action)
         {
             trechos.ExigeTipo(TipoTrecho.AbreParenteses, $"Esperado '(' após '{dimTipoNome}'");
@@ -450,12 +458,12 @@ private void nivelRotina(Modulo mod, Rotina rot, List<No> cmds, bool apenasUmCom
         do 
         {
             reverifica:
-            if(trechos.EhIdentificador("end") | trechos.EhIdentificador("else")) break;
+            if(trechos.EhIdentificador("end") | trechos.EhIdentificador("else") | trechos.EhIdentificador("catch")) break;
 
 
             if(trechos.EhIdentificador("dim"))
             {
-                rot.Variaveis.Add(processaDim(NivelPublicidade.Local, mod, false, ref trechos));
+                rot.Variaveis.Add(processaDim(NivelPublicidade.Local, mod, false, false, ref trechos));
             }
             else if(trechos.EhIdentificador("let"))
             {
@@ -491,9 +499,37 @@ private void nivelRotina(Modulo mod, Rotina rot, List<No> cmds, bool apenasUmCom
                 cmds.Add(new VaPara(trechos.Atual));
                 trechos.Proximo();
             }
-            else if(trechos.EhIdentificador("invoke"))
+            else if(trechos.EhIdentificador("throw"))
             {
-                throw new NotImplementedException();
+                trechos.Proximo();
+                EmiteErro emite = new EmiteErro(trechos.Atual);
+                trechos.ExigeId("Esperado o tipo de erro");
+                cmds.Add(emite);
+                trechos.Proximo();
+            }
+            else if(trechos.EhIdentificador("try"))
+            {
+                trechos.Proximo();
+                Tenta tenta = new Tenta(trechos.Atual);
+                cmds.Add(tenta);
+                trechos.ExigeFimDaLinha("Esperado fim da linha");
+                trechos.ProximaLinha();
+                nivelRotina(mod, rot, tenta.TentaComandos, false, ref trechos);
+                trechos.ExigeId("catch", "Esperado um 'catch' ao final dos comandos de um 'try'");
+                do
+                {
+                    trechos.Proximo();
+                    trechos.ExigeId("Esperado um tipo de erro");
+                    List<No> erroCmds = new List<No>();
+                    string erroTipo = trechos.Atual.Conteudo;
+                    trechos.Proximo();
+                    trechos.ExigeFimDaLinha("Esperado fim da linha");
+                    trechos.ProximaLinha();
+                    nivelRotina(mod, rot, erroCmds, false, ref trechos);
+                    tenta.PegaErros.Add(erroTipo, erroCmds);
+                }while(trechos.EhIdentificador("catch"));
+                trechos.ExigeId("end", "Esperado um 'end' ao final de um Try Catch");
+                trechos.Proximo();
             }
             else if(trechos.EhIdentificador() & trechos.EhProximoTipo(TipoTrecho.DoisPontos))
             {
@@ -650,9 +686,10 @@ private Rotina processaSubFunction(Modulo mod, NivelPublicidade publi, bool reto
     // end
     private void nivelModulo(Modulo mod, ref Trechos trechos)
     {
-        NivelPublicidade publi = NivelPublicidade.Privado;
         do 
         {
+            NivelPublicidade publi = NivelPublicidade.Privado;
+            bool apenasPonteiro = false;
             if(trechos.EhIdentificador("end")) break;
             publi = NivelPublicidade.Privado;
             if(trechos.EhIdentificador("public"))
@@ -665,21 +702,29 @@ private void nivelModulo(Modulo mod, ref Trechos trechos)
                 publi = NivelPublicidade.Privado;
                 trechos.Proximo();
             }
+            if(trechos.EhIdentificador("pointer"))
+            {
+                apenasPonteiro = true;
+                trechos.Proximo();
+            }
 
             if(trechos.EhIdentificador("dim"))
             {
-                mod.Campos.Add(processaDim(publi, mod, true, ref trechos));
+                mod.Campos.Add(processaDim(publi, mod, true, apenasPonteiro, ref trechos));
             }
             else if(trechos.EhIdentificador("sub"))
             {
+                if(apenasPonteiro) trechos.Erro("Marcador Pointer não é compatível com rotinas");
                 mod.Rotinas.Add(processaSubFunction(mod, publi, false, ref trechos));
             }
             else if(trechos.EhIdentificador("function"))
             {
+                if(apenasPonteiro) trechos.Erro("Marcador Pointer não é compatível com rotinas");
                 mod.Rotinas.Add(processaSubFunction(mod, publi, true, ref trechos));
             }
             else if(!trechos.FimDaLinha)
             {
+                if(apenasPonteiro) trechos.Erro("Esperado alguma declaração de variável");
                 trechos.Erro("Comando desconhecido");
             }
         } while(trechos.ProximaLinha());
@@ -698,7 +743,7 @@ private void nivelEstrutura(Estrutura estrutura, ref Trechos trechos)
 
             if(trechos.EhIdentificador("dim"))
             {
-                estrutura.Campos.Add(processaDim(NivelPublicidade.Publico, estrutura, true, ref trechos));
+                estrutura.Campos.Add(processaDim(NivelPublicidade.Publico, estrutura, true, false, ref trechos));
             }
             else if(!trechos.FimDaLinha)
             {
@@ -739,6 +784,19 @@ private void nivelRaiz(ref Trechos trechos)
                     trechos.ExigeProximoFimDaLinha("Esperado apenas o 'end', sem nenhum complemento posterior");
 
                 }
+                else if (trechos.EhIdentificador("error"))
+                {
+                    trechos.Proximo();
+                    trechos.ExigeId("Esperado o nome do erro");
+                    var erroTrecho = trechos.Atual;
+                    trechos.Proximo();
+                    trechos.ExigeTipo(TipoTrecho.Atribuicao, "Esperado um '=' após o nome do erro");
+                    trechos.Proximo();
+                    trechos.ExigeTipo(TipoTrecho.Numero, "Esperado um numero decimal");
+                    RegistroDeErro erro = new RegistroDeErro(erroTrecho, int.Parse(trechos.Atual.Conteudo));
+                    Erros.Add(erro);
+                    trechos.Proximo();
+                }
                 else if(trechos.EhIdentificador("imports"))
                 {
                     trechos.Proximo();
@@ -813,7 +871,7 @@ private void CompilaReferencias(Modulo mod, Ambiente amb)
     // Compila codigo fonte
     public void Compila(Saida saida)
     {
-        Ambiente amb = new Ambiente(saida, DiretoriosImportacao, Modulos, Estruturas, Modulos.First().Trecho, Modulos.First());;
+        Ambiente amb = new Ambiente(saida, DiretoriosImportacao, Erros, Modulos, Estruturas, Modulos.First().Trecho, Modulos.First());;
 
 
         foreach (var estru in Estruturas)
@@ -854,5 +912,6 @@ public void Compila(Saida saida)
             amb.Saida.EmiteItemRealocacao(realoc);
         }
         amb.Saida.EmiteItemRealocacao(new Realocacao(TipoDeRealocacao.FimLista, 0, "0", 0));
+        amb.Saida.EmiteRotulo("END");
     }
 }

Distro/Atual/hcbasic.dll

@@ -3,5 +3,17 @@ Imports System
 Module Program
     Public Sub Main(args as PtrByteArray)
         Console.WriteLine "Hello World!!"
+        Try
+            Dim teste1 as UInt16
+            Dim teste2 as UInt16
+            teste1 = 0
+            teste2 = 10 / teste1
+        Catch DivByZeroError
+            Console.WriteLine "Teste de erro por divisão por zero"
+            Console.Write "Arquivo: "
+            Console.WriteLine ErrorFile()
+            Console.Write "Linha..: "
+            Console.WriteUInt16 ErrorLine()
+        End
     End
 End