Revisar
Confirmar que o parser inicial da equipe ainda compila e reconhece entradas válidas.
CEDIS | Universidade de Brasília (UnB)
Continuação do parser e tratamento de erros sintáticos
FGA0003 — Compiladores 1 · Semana 5 · Aula prática
CEDISObjetivos e produto da aula
Diagnosticar
Diferenciar erros léxicos, sintáticos e de execução.
Recuperar
Adicionar uma produção com o token especial error e um delimitador de sincronização.
Testar
Criar testes inválidos e documentar a estratégia no repositório.
CEDISRoteiro de laboratório
- 01Recuperar o estado da sprint
- 02Criar uma linha de base funcional
- 03Observar falhas atuais do parser
- 04Implementar recuperação por ponto e vírgula
- 05Melhorar mensagens de erro
- 06Testar múltiplos erros no mesmo arquivo
- 07Adaptar, documentar e publicar
CEDISAtualize o repositório e confirme a linha de base
Comandos iniciais
git pullgit statusmake clean- make
Fonte oficial
- https://github.com/sergioaafreitas/COMP1
- Localize o material da Semana 05.
- Compare o exemplo com o projeto da equipe.
Não implemente recuperação antes de confirmar que o parser atual ainda funciona.
CEDISTeste válido de referência
Entrada
3 + 4 * 2;
Saída esperada
Resultado: 11
Objetivo
Garantir que a precedência e a compilação básica continuam funcionando.
CEDISSepare as responsabilidades
- Detecção: o parser percebe que a entrada não cabe na gramática.
- Diagnóstico: o compilador comunica linha, token e contexto.
- Recuperação: o parser tenta continuar sem encerrar a análise.
CEDISClassifique as falhas antes de corrigir
Erro léxico
Caractere não reconhecido pelo scanner. Exemplo: @.
Erro sintático
Sequência de tokens inválida para a gramática. Exemplo: 3 + ;
Erro de execução
Ação semântica problemática. Exemplo: 10 / 0;
CEDIS
Use panic mode com ponto e vírgula
- O ponto e vírgula marca o fim de uma instrução simples.
- Ao falhar, o parser descarta tokens até sincronizar.
- Depois de sincronizar, a análise pode continuar.
CEDISProdução de recuperação
- Use SEMICOLON de forma consistente no parser e no scanner.
- %empty deixa a produção vazia explícita.
- yyerrok encerra o estado de recuperação.
- Use yyclearin apenas quando for necessário descartar o lookahead.
CEDISMelhore yyerror
Versão mínima
- void yyerror(const char *mensagem) {
- fprintf(stderr, "[ERRO SINTÁTICO] %s\n", mensagem);
- }
Versão com linha
- Use %option yylineno no scanner.
- Declare extern int yylineno; no parser, se necessário.
- Inclua a linha na mensagem.
A mensagem deve ajudar a equipe a localizar e reproduzir o erro.
CEDIS
Corrija o scanner.l
- Inclua parser.tab.h corretamente.
- Retorne SEMICOLON, não SEMI se o parser usa SEMICOLON.
- Evite aspas escapadas indevidamente nas regras Flex.
- Use stderr para mensagens de erro léxico.
CEDISCompile novamente
1
Bison
bison -d src/parser.y
2
Flex
flex src/scanner.l
3
GCC
gcc -Wall -Wextra -o parser parser.tab.c lex.yy.c -lfl
4
Executar
./parser < tests/invalidos/multiplos-erros.txt
CEDISEntradas para observar o comportamento atual
Sintático
3 + ;
Parênteses
(3 + 2;
Excesso
3 + 4));
Léxico
3 + @ 2;
Execução
10 / 0;
CEDISTeste com múltiplos erros no mesmo arquivo
Arquivo
3 + 4; 5 + ; 6 * 7; (8 + 2; 9 - 1;
Critério
Após recuperar de um erro, o parser deve processar entradas seguintes.
Evidência
Guarde o arquivo em tests/invalidos e registre a saída no README.
CEDISAdapte ao projeto da equipe
Tokens de sincronização possíveis
- ; ao final de comandos
- } ao final de blocos
- ) ao final de expressões agrupadas
- palavras-chave que iniciam novas declarações
Evite
- descartar todo o arquivo após o primeiro erro
- mensagens genéricas demais
- duplicar mensagens em excesso
- misturar erro léxico com sintático
A estratégia precisa fazer sentido para a linguagem escolhida pela equipe.
CEDISTrabalhe em ciclos curtos
- Implemente uma produção de recuperação por vez.
- Teste um erro por vez antes de testar muitos erros.
- Registre limitações no README.
- Publique commits pequenos e verificáveis.
CEDISDocumente e versione
1
README
Explique erros reconhecidos, sincronizadores, exemplos e limitações.
2
Testes
Versione tests/validos e tests/invalidos.
3
Commit
git add . · git commit -m "Adiciona recuperação e testes de erros sintáticos"
4
Push
git push
CEDISChecklist de conclusão
Linha de base
Parser compila e entrada válida funciona.
Recuperação
Produção com error e token de sincronização implementada.
Diagnóstico
Mensagens diferenciam erro léxico, sintático e execução.
Repositório
Testes e README atualizados no GitHub.
CEDISReferências e recursos da aula
- Material da Semana 5: Continuação do parser e tratamento de erros sintáticos, FGA0003 — Compiladores 1, Universidade de Brasília.
- Repositório da disciplina e códigos das aulas práticas: https://github.com/sergioaafreitas/COMP1
- GNU Project. Bison Manual: Error Recovery.
- GNU Project. Flex Manual.
- Aho, Lam, Sethi e Ullman. Compilers: Principles, Techniques, and Tools.
CEDISEntrega da aula: parser mais robusto
Conclua com recuperação por token de sincronização, mensagens melhores, testes inválidos documentados e commits publicados. Códigos da disciplina: https://github.com/sergioaafreitas/COMP1