TypeChecker

[deisekelley]

Coding the TypeChecker for APEG grammars. The following issues must be verified:

• Nonterminals declarations and use;
• Corrected use of type expressions;
• Declaration and use of inherited and synthesized attributes;

[deisekelley]

Nonterminals declarations is done: Verificação de uso de terminais não declarados.

[deisekelley]

Nonterminal uses is done: Computa uma lista de não terminais não utilizados.

[deisekelley]

Estão concluídas: A comparação da quantidade de parâmetros passados para uma regra com a sua definição e a verificação se no lugar dos atributos sintetizados não esta sendo passado um numero.

[deisekelley]

VerificaVisitor em andamento, foi feito um novo tipo chamado ErrorType, para quando os tipos nao derem matchs possamos desempilha-los e empilhar o ErrorType. Uma tabela tambem esta sendo feita com os tipos aceitos para cada operacao como add e sub.

[deisekelley]

Submetendo uma nova correção pro sistema de tipos.

[deisekelley]

Sistemas de tipo agora suporta tipos locais.