ACCIONES SEMANTICAS

Dependiendo del tipo de sentencias, las acciones semánticas pueden agruparse en:

•  Sentencias de Declaración: Completar la sección de tipos de la Tabla de Símbolos.
•  Sentencias “ejecutables”: Realizar comprobaciones de tipos entre los operandos implicados.
•  Funciones y procedimientos: Comprobar el número, orden y tipo de los parámetros actuales en cada      llamada a una función o procedimiento.
•  Identificación de variables: Comprobar si un identificador ha sido declarado antes de utilizarlo.
•  Etiquetas: Comprobar si hay etiquetas repetidas y validación.
•  Constantes: Comprobar que no se utilicen en la parte izquierda de una asignación.
•  Conversiones y equivalencias de tipo: Verificación.
•  Sobrecarga de operadores y funciones: Detectar y solventar.

Entrada por: Hugo Daniel Paz Casas