Sig: Práctica: Establecimiento de la Sup: Análisis de Ámbito Ant: Usando el Método str Err: Si hallas una errata ...

Práctica: Establecimiento de la relación uso-declaración

En la segunda parte del análisis de ámbito se resuelve el problema de la identificación de los nombres estableciendo la relación entre el uso de un nombre y la declaración que se le aplica (dada por los atributos scope y type):

Añada las siguientes comprobaciones dependientes del contexto al compilador de Simple C:

• Resuelva el problema del ámbito de los identificadores: asocie cada uso de un identificador con la declaración que se le aplica.
• Asocie cada nodo RETURN con el nodo de la subrutina que lo engloba. Añádale un atributo al nodo RETURN que indique el tipo que la rutina debe retornar.
• Asocie cada nodo CONTINUE y cada nodo BREAK con el nodo del bucle que lo engloba. Indique el error si la sentencia (CONTINUE o BREAK) no esta dentro de un bucle. Añada a dichos nodos un atributo que referencia al nodo del bucle que lo engloba.
• Añada etiquetas de salto y la sentencia goto al lenguaje Simple C. Toda etiqueta va asociada con una sentencia. La sintáxis de statement debe ser extendida para incluir sentencias etiquetadas:

        statement:
            expression ';' { $_[1] }
          | ';'
          | %name BREAK
            $BREAK ';'
              { ...  }
          | %name CONTINUE
             $CONTINUE ';'
              { ... }
          | 'goto' ID ';'
          | ID ':' statement
              { ... }
        ;
  

  Las siguientes indicaciones tienen por objeto ayudarle en el análisis de ámbito de etiquetas:

  • Sólo se permiten saltos dentro de la misma subrutina.
  • Será necesario crear un manejador de ámbito de etiquetas mediante Parse::Eyapp::Scope->new
  • Al comienzo de cada función comienza un ámbito de etiquetas.
  • Cada vez que se encuentra una sentencia etiquetada la etiqueta ID es guardada en una tabla de símbolos de etiquetas.
  • El valor asociado con la entrada para la etiqueta es una referencia a un hash. La clave mas importante en ese hash es la referencia a la sentencia que etiqueta.
  • Cada aparición de un goto es una instancia de ámbito.
  • La llamada a end_scope (al terminar el análisis de la función) deberá decorar automáticamente el nodo GOTO con la referencia a la sentencia asociada con la etiqueta
  • La tabla de etiquetas es un atributo del nodo asociado con la función.

Sig: Práctica: Establecimiento de la Sup: Análisis de Ámbito Ant: Usando el Método str Err: Si hallas una errata ...