Usuario:ManuelRomero/preferencias/compiladores/analisisSemático

De WikiEducator
Saltar a: navegación, buscar

PROGRAMA

  • primera producción
  • Producción obligatoria
  • define de qué consta un programa
programa : tPROGRAMA tIDENTIFICADOR ';' declaracion_variables declaracion_acciones bloque_instrucciones
  • Acciones a realizar
  1. Dar de alta el identificador del programa para no volver a usarlo
  2. Después de la última instrucción eliminamos items de la tabla de símbolos
  3. Para crear el XML del programa, cada vez que hay un identificador creo un tag diciendo lo que es y lo cierro al final de su ámbito
programa:
    tPROGRAMA tIDENTIFICADOR ';'
    {
      nivel = 0;
      inicializar_tabla (tabsim);
      /*El identificador del programa
      Es el primer símbolo y por lo tanto seguro
      que no va a exixtir, por lo que no lo buscamos*/
      introducir_programa(tabsim,$2.NId,0);
      AbreTag(xmlin,$2.NId,nivel-1);
    }
 
    declaracion_variables 
    declaracion_acciones
    bloque_instrucciones
    {
      eliminar_variables (tabsim, nivel);
      eliminar_parametros_ocultos(tabsim,nivel+1);
      eliminar_acciones (tabsim, nivel);
      eliminar_programa(tabsim);
      CierraTag(xmlin,$2.NId,nivel-1);
    }
;

declaracion_variables

  • produccion optativa (puede haber o no variables en un programa)
  • lista de variables que puede tener un programa
  • Acciones a realizar
  1. ninguna ya que no tenemos ninún terminal solo producciones
  • Produccion para yacc
DeclaracionVariables.png

Vemos que puede estar vacía (épsidon) o que puede contener lista de declaraciones seguido del token punto y coma ;

Código en yaac
declaracion_variables:
|    lista_declaraciones ';'
;

lista_declaraciones




Icon define.gif

Definición

Una lista de elementos uno o varios elementos


  • En este caso va a ser una lista de declaraciones: una (declaracion) o varias declaraciones (lista_declaraciones)
  • En yacc siempre usaremos una recursividad por la izquierda (ver producción)
  • Acciones a realizar
  1. ninguna ya que no tenemos ningún terminal solo producciones
   lista_declaraciones ';' declaracion
|    declaracion
;

declaracion




Icon define.gif

Definición

declaracion de una variable es un tipo de variable seguido de una serie de identificadores que representan las variables


  • Una declaracion puede ser de variables simple o un variables compuesta
  • La forma de daclarar es decir el tipo de variable y luego una lista (1 o mas) de identificadores
  • Acciones a realizar
  1. ninguna ya que no tenemos ninún terminal solo producciones
Producción

Declaracion.png

codigo en yacc
 variable_simple lista_identificadores
|variable_compuesta identificadores_variable_compuesta
;

variable_simple

identificadores

variable_compuesta

  • Esta producción es un poco complicada ya que puede darse dos casos en la variable compuesta
  1. Vector
  2. Matriz
  • Esto lo detectaremos si hay un rango (vector) o si hay dos rangos (matriz)
Producción

VariableCompuesta.png

codigo en yacc
variable_compuesta:
tVECTOR '[' rango']' resto_variable_compuesta{$$=$5;}
;
  • Vamos a crear la produuccion resto_variable_compuesta la cual puede o no empeza por rango como veremos
  • Ademas a la produccion resto_variable_compuesta le vamos a asignar un atributo TIPO_VARIABLE_COMPUESTA
typedef enum{
     VECTOR,
     MATRIZ
};TIPO_VARIABLE_COMPUESTA

identificadores_variable_compuesta

declaracion_acciones

bloque_instrucciones