AttributeError: 'ExprContext' object has no attribute 'NUMERO'

O que está acontecendo?

O erro AttributeError: 'ExprContext' object has no attribute 'NUMERO' significa que você está tentando acessar um atributo chamado NUMERO em um objeto do tipo ExprContext, mas esse atributo não existe.

Por que isso acontece?

1. Contexto do ANTLR4: Quando o parser ANTLR4 processa uma regra de gramática (como expr), ele cria um objeto de contexto (ex: ExprContext) que contém referências aos nós filhos (tokens ou regras aninhadas).
2. Atributos dinâmicos: O ANTLR4 gera atributos automaticamente para cada regra e token definidos na gramática. Se a regra expr não inclui um token NUMERO diretamente, o atributo NUMERO não será criado.
3. Erro comum: Isso geralmente ocorre quando o visitor tenta acessar um token específico (como NUMERO) de forma direta, mas a estrutura da gramática exige acesso via índice ou método.

Como corrigir?

Passo 1: Verifique a gramática (Mocp.g4)

• Abra o ficheiro de gramática (ex: Mocp.g4).
• Procure a regra expr. Exemplo de regra:

  expr: NUMERO | expr '+' expr | ... ;

• Se NUMERO for um token (definido em tokens ou lexer), ele será acessível como expr().NUMERO().
• Se NUMERO for uma regra (definida em parser), será expr().expr() ou similar.

Passo 2: Ajuste o visitor (mocp_visitor.py)

No método visitExpr (ou similar), em vez de:

numero = ctx.NUMERO()  # ERRO: atributo inexistente

Use uma das abordagens:

Opção A: Acessar via getChild()

def visitExpr(self, ctx):
    # Acessa o primeiro filho (assumindo que é um token NUMERO)
    if ctx.getChild(0).getText() == 'NUMERO':
        return int(ctx.getChild(0).getText())

Opção B: Verificar se o contexto tem o atributo

def visitExpr(self, ctx):
    if hasattr(ctx, 'NUMERO'):
        return int(ctx.NUMERO().getText())
    else:
        # Trate outros casos (ex: expressões binárias)
        pass

Opção C: Usar a propriedade getText()

def visitExpr(self, ctx):
    texto = ctx.getText()
    # Se o texto for um número, converta
    if texto.isdigit():
        return int(texto)
    # Caso contrário, processe a expressão
    return self.visitChildren(ctx)

Passo 3: Exemplo completo corrigido

Supondo que a gramática tenha:

• Token NUMERO: definido no lexer.
• Regra expr: expr: NUMERO | expr '+' expr;

No visitor:

def visitExpr(self, ctx):
    # Se o primeiro filho for um token NUMERO
    if ctx.getChildCount() == 1 and isinstance(ctx.getChild(0), TerminalNode):
        token = ctx.getChild(0)
        if token.symbol.type == MocpLexer.NUMERO:
            return int(token.getText())
    # Caso contrário, processe a expressão binária
    else:
        left = self.visit(ctx.expr(0))
        right = self.visit(ctx.expr(1))
        return left + right  # Exemplo para operador '+'

Conclusão

O erro ocorre porque o ExprContext não tem um atributo NUMERO direto. A solução é:

• Verificar a gramática para entender a estrutura.
• Ajustar o visitor para acessar os nós filhos corretamente, usando getChild(), getText() ou verificando o tipo de token.

Isso garantirá que a árvore sintática abstrata seja gerada corretamente.