Analise Semântica aula-10-analise-semântica.pdf

Analise Semântica Até o momento vimos a etapa de análise léxica - que quebra o programa fonte em tokens. E a análise sintática - que validas as regras de formação da linguagem de programação. A semântica de um programa está diretamente ligada ao seu significado. A análise semântica é a terceira etapa do processo de compilação e é nesse memento que ocorre a validação de verificação de erros semânticos que até então não podem ser verificados pelas etapas anteriores.

Analise Semântica Frase: Não é possível representar em uma gramática livre de contexto uma regra como "Todo identificador deve ser declarado antes de ser usado", isso resume muito bem o que deve ser feito na análise semântica

Analise Semântica O analisador semântico utiliza a árvore sintática produzida na etapa de analise sintática e a tabela de símbolos produzida e incrementada desde o início do processo de compilação. Toda essa estrutura é utilizada gerar uma arvore de sintática e uma tabela de símbolos mais elaborada e adaptada para as próximas etapas que compreendem as tarefas do back-end do processo de compilação e que tratam da geração do código em si.

Principais erros semânticos Escopo dos identificadores: Deve garantir que variáveis e funções estejam declaradas em locais que podem ser acessados onde esses identificadores estão sendo utilizados. Exemplo: Em uma classe funções declaradas como privadas estão sendo utilizadas fora da classe. Compatibilidade de tipos: Verificar se os tipos de dados declarados a variáveis e funções estão sendo utilizados e atatribuidos corretamente. Exemplo: variável declaração como Numérica está recebendo um valor Literal.

Principais erros semânticos Mecanismo de passagem de parâmetros: Também é verificado através dessas ações semânticas, verificação de tipos de paramentos e quantidade de parâmetros. Detectar unicidade de nomes de identificadores: Por exemplo variáveis com o mesmo nome no mesmo escopo não deve ser permitido. Detectar o uso correto de comandos de controle de fluxo: Como exemplo temos os comandos continue e break.

Lembrete A análise semântica verifica erros semânticos no programa fonte e captura informações para as fases subsequentes que tratam da geração do código objeto. Utiliza a estrutura hierárquica criada na fase de análise sintática a fim de identificar operadores e operações e enunciados de expressões. Um importante componente da analise semântica é a verificação de tipos, nela o compilador verifica se cada operador recebe os operandos permitidos e especificados na linguagem fonte. Um exemplo que ilustra muito bem essa etapa de validação de tipos é a atribuição de objetos de tipos ou classe diferentes.

Curiosidade Em alguns casos, o compilador realiza a conversão automática de um tipo para outro que seja adequado à aplicação do operador. Por exemplo a expressão

Erros semânticos Veja o exemplo de um código em Object Pascal:

Erros semânticos No exemplo acima o analisador semântico de ter uma series e preocupações para validar o significado de cada regra de produção. Vamos utilizar como exemplo a regra de produção de atribuição

Erros semânticos O analisador semântico deve fazer as seguintes validações O identificador C foi declarado? O identificador C é uma variável? Qual o escopo da variável C? Qual é o tipo da variável C? O tipo da variável C é compatível com os demais identificadores, operadores?

TAE – Exercício para entrega

Tradução dirigida por sintaxe Esse processo é implementado associando-se a cada execução de uma regra da gramatical (execução do analisador sintático) uma ação semântica. Essas ações semânticas são frequentemente implementadas a chamadas de rotinas semânticas, e podem ser responsáveis por efetuar a análise semântica, geração de código, armazenamento de informações na tabela de símbolos.

Exercício para entrega Fazer uma pesquisa sobre a técnica de Tradução Dirigida por Sintaxe e elaborar um resumo explicando do que se trata essa técnica. A pesquisa deve incluir: Definição do que é e como é realizado a Tradução Dirigida por Sintaxe. Incluir a referência ao material pesquisado. Ao final elaborar 3 questões, 1 questão com alternativa verdadeiro e falso e 2 questões múltipla escolha com 4 alternativas cada. Esse trabalho deve ser entregue até o final da aula de hoje (31/10/2014). Será considerado como TAE e ira valer nota com peso 5.