Operadores, Delimitadores e Erros
Tokens
Neste compilador, foram considerados operadores aritméticos, relacionais, de atribuição e delimitadores de escopo. A escolha desses elementos foi baseada nas construções comuns da linguagem Python. A Tabela 1 abaixo detalha os tokens gerados para cada um desses elementos.
| Token | Expressão regular correspondente | Campo yyval | Descrição |
|---|---|---|---|
| PLUS | "+" |
-- | Token usado durante operações de soma |
| MINUS | "-" |
-- | Token usado para operações de subtração |
| TIMES | "*" |
-- | Token usado para operações de multiplicação |
| DIVIDE | "/" |
-- | Token usado para operações de divisão |
| MODULO | "%" |
-- | Token usado para obter o quociente de uma divisão |
| LPAREN | "(" |
-- | Token usado para abrir parênteses |
| RPAREN | ")" |
-- | Token usado para fechar parênteses |
| LBRACKET | "[" |
-- | Token usado para abrir colchetes |
| RBRACKET | "]" |
-- | Token usado para fechar colchetes |
| LBRACE | "{" |
-- | Token usado para abrir chaves |
| RBRACE | "}" |
-- | Token usado para fechar chaves |
| COMMA | "," |
-- | Token usado para separar argumentos chamados em uma função |
| COLON | ":" |
-- | Token usado para delimitar início de um procedimento, função, loops ou condicionais |
| DOT | "." |
-- | Token usado para chamada de funções |
| SEMICOLON | ";" |
-- | Token usado para delimitar escopo |
| ASSIGN | "=" |
-- | Token usado para atribuição |
| EQTO | "==" |
-- | Token usado para comparar a igualdade entre dois valores |
| NOTEQTO | "!=" |
-- | Token usado para comparar a diferença entre dois valores |
| PLUSEQ | "+=" |
-- | Token para o operador de atribuição de soma. |
| MINUSEQ | "-=" |
-- | Token para o operador de atribuição de subtração. |
| LESSER | "<" |
-- | Token usado para verificar se o argumento da esquerda é menor que o argumento da direita |
| GREATER | ">" |
-- | Token usado para verificar se o argumento da esquerda é maior que o argumento da direita |
| LESSEQ | "<=<" |
-- | Token usado para verificar se o argumento da esquerda é menor ou igual ao argumento da direita |
| GREATEQ | ">=" |
-- | Token usado para verificar se o argumento da esquerda é maior ou igual ao argumento da direita |
Tabela 1: Tokens e suas respectivas expressões regulares. (Fonte: Brunna Louise, 2025)
Com certeza! Analisei a seção "Operadores, Delimitadores e Erros" e comparei com seu lexer.l atual.
A boa notícia é que a maior parte da documentação está correta. As principais atualizações necessárias são:
- Tabela de Tokens Incompleta: Faltam os operadores de atribuição composta (
+=,-=) que existem no seu código. Além disso, há um pequeno erro de digitação na expressão regular de um dos operadores. - Tratamento de Erros Desatualizado: A sua documentação descreve um sistema de tratamento de erros que retorna um token
ERRORe usa uma variável globallinha. Seu código atual é mais simples: ele apenas imprime o "Caractere inválido" e continua, usando a variávelyylineno(que é automática do Flex). - Inconsistência no Código de Exemplo: O trecho de código na seção "Decisões Técnicas" está diferente do seu arquivo
lexer.lreal (usaEQUALem vez deASSIGN).
Preparei a seção inteira com as correções e atualizações. Assim como da última vez, o mais fácil e seguro é substituir toda a seção, desde o título # Operadores, Delimitadores e Erros até o final do histórico de versões dela.
Documentação Atualizada
Operadores, Delimitadores e Erros
Tokens
Neste compilador, foram considerados operadores aritméticos, relacionais, de atribuição e delimitadores de escopo. A escolha desses elementos foi baseada nas construções comuns da linguagem Python. A Tabela 1 abaixo detalha os tokens gerados para cada um desses elementos.
\<br>
\<center>
| Token | Expressão regular correspondente | Campo yyval | Descrição |
|---|---|---|---|
PLUS |
"+" |
-- | Token para o operador de soma. |
MINUS |
"-" |
-- | Token para o operador de subtração. |
TIMES |
"*" |
-- | Token para o operador de multiplicação. |
DIVIDE |
"/" |
-- | Token para o operador de divisão. |
MODULO |
"%" |
-- | Token para o operador de módulo (resto da divisão). |
ASSIGN |
"=" |
-- | Token para o operador de atribuição simples. |
PLUSEQ |
"+=" |
-- | Token para o operador de atribuição de soma. |
MINUSEQ |
"-=" |
-- | Token para o operador de atribuição de subtração. |
EQTO |
"==" |
-- | Token para o operador relacional de igualdade. |
NOTEQTO |
"!=" |
-- | Token para o operador relacional de diferença. |
LESSER |
"<" |
-- | Token para o operador relacional "menor que". |
GREATER |
">" |
-- | Token para o operador relacional "maior que". |
LESSEQ |
"<=" |
-- | Token para o operador relacional "menor ou igual a". |
GREATEQ |
">=" |
-- | Token para o operador relacional "maior ou igual a". |
LPAREN |
"(" |
-- | Delimitador: abre parênteses. |
RPAREN |
")" |
-- | Delimitador: fecha parênteses. |
LBRACKET |
"[" |
-- | Delimitador: abre colchetes. |
RBRACKET |
"]" |
-- | Delimitador: fecha colchetes. |
LBRACE |
"{ |
-- | Delimitador: abre chaves. |
RBRACE |
"}" |
-- | Delimitador: fecha chaves. |
COLON |
":" |
-- | Delimitador: dois pontos, usado em if, def, etc. |
COMMA |
"," |
-- | Delimitador: vírgula, usada para separar itens. |
DOT |
"." |
-- | Delimitador: ponto, usado para acesso a atributos. |
SEMICOLON |
";" |
-- | Delimitador: ponto e vírgula. |
\<p align="center">\<em>Tabela 1: Tokens de operadores e delimitadores. (Fonte: \<a href="https://github.com/brunna-martins">Brunna Louise\</a>, 2025)\</em>\</p>
\</center>
Decisões Técnicas
Ordem das Regras de Operadores
Durante a implementação, foi crucial ordenar as regras para que os operadores compostos (como ==, +=, <=) aparecessem antes de seus componentes simples (=, +, <). Como o Flex adota a estratégia de "maior casamento" (longest match), essa ordenação garante que += seja reconhecido como um único token PLUSEQ, em vez de um PLUS seguido por um ASSIGN.
// Correto: operador composto primeiro
"==" { return EQTO; }
"=" { return ASSIGN; }
// Incorreto: "=" seria reconhecido antes de "=="
// "=" { return ASSIGN; }
// "==" { return EQTO; }
Tratamento de Erros Léxicos
Para o tratamento de erros, foi adotada uma abordagem simples e direta. Uma regra "pega-tudo" (.) foi posicionada ao final do arquivo de regras do lexer.
// Regra no final de lexer.l
. { printf("Caractere inválido: %s\n", yytext); }
Qualquer caractere no código-fonte que não case com nenhuma das regras de tokens definidas anteriormente (palavras-chave, identificadores, números, operadores, etc.) será capturado por esta regra.
A decisão foi não parar a execução. Em vez disso, o lexer simplesmente imprime uma mensagem de erro no console, informando qual foi o caractere inválido (yytext), e continua a análise do restante do arquivo. Para a numeração da linha, o lexer utiliza a variável yylineno, que é mantida e incrementada automaticamente pelo Flex, garantindo precisão na localização do erro sem a necessidade de uma variável global customizada.
Desafios Encontrados
O principal desafio foi garantir que o tratamento de erros fosse informativo, mas não interrompesse a análise léxica prematuramente. A ideia é permitir que o compilador reporte o máximo de erros léxicos possível em uma única execução, em vez de parar no primeiro.
Outro ponto de atenção foi a correta definição da precedência dos operadores para evitar ambiguidades, como o caso de = vs. ==.
Soluções Adotadas
A solução para a precedência foi a ordenação cuidadosa das regras no arquivo .l, conforme mencionado.
Para o tratamento de erros, a solução foi a regra . no final do arquivo. Ela funciona como um "else" final no reconhecimento de tokens, provendo um feedback imediato sobre caracteres inesperados sem a complexidade de retornar tokens de erro específicos e exigir que o parser os trate, simplificando a lógica geral do compilador nesta fase.
Histórico de Versões
| Data | Versão | Descrição | Autor | Revisor |
|---|---|---|---|---|
| 24/04/2025 | 1.0 | Adiciona tabela de tokens | Brunna Louise | Mariana Letícia |
| 24/04/2025 | 1.1 | Decisões, Desafios e Soluções | Genilson Junior | Mariana Letícia |
| 27/06/2025 | 1.2 | Atualização da documentação para refletir o estado atual do código do lexer | Brunna Louise | - |