documentación

variedad de tareas, incluyendo producir salidas o alterar variables externas. Frecuentemente, la
acción actúa sobre el valor de los tokens de la construcción.
El analizador léxico asigna el valor de cada token a la variable externa yylval. Yacc provee
una notación posicional, $n, para acceder al valor del enésimo token en una expresión:
expr: NUM ´+´ NUM { printf (¨%d¨, $1 + $3); }
En este caso, la acción imprime la suma del valor del primero y tercer token. El valor
retornado por una acción puede ser asignado a la variable ¨$$¨. Veamos el siguiente ejemplo:
expr: ID { $$ = $1; }
| ´(´ expr ´)´ { $$ = $2; }
;
La primera acción es invocada cuando se reconoce ¨ID¨, y retorna el valor del token ID
como el valor de la regla expr. Realmente, esta el la acción por defecto, y puede ser omitida
opcionalmente. La segunda acción selecciona el valor de expr que es el segundo elemento en la
construcción.
Tokens
La función básica de la rutina léxica es detectar un token y retornar un número de token a la
rutina del parser que llamó a aquélla. El número de token es definido por un símbolo que el
parser usa para identificar un token. Además, la rutina léxica puede pasar el valor real del token
mismo.
Las acciones de la especificación Lex consiste de sentencias C que retornan el número de
token y su valor. Los números de token son definidos por Yacc cuando éste procesa los tokens
declarados en la especificación Yacc. La sentencia #define es usada para definir los números de
tokens:
#define NUMERO 257
Estas definiciones son ubicadas en el archivo y_tab.c, junto con la rutina yyparse. (Cada
carácter ASCII es definido como un token cuyo número es su valor ASCII (0 a 256); así, los
tokens definidos por el usuario comienzan en 257). El parser y el léxico deben usar el mismo
conjunto de símbolos para identificar tokens; por lo tanto el léxico debe tener acceso a los
símbolos definidos por el parser. Una forma de hacer esto es decir a Yacc, mediante la opción
–d) que cree el archivo de encabezamiento y_tab.h que puede ser incluido en la especificación
Lex. Por supuesto, se podría definir explícitamente estos símbolos en la especificación Lex,
asegurándose que se correspondan con los números de tokens asignados en Yacc.
Para retornar el número de token en una acción, se debe usar la sentencia return. Por
ejemplo, la siguiente regla que aparea cualquier número y la acción retorna el token NUMERO:
[0-9] + { return NUMERO; }
Para pasar el valor del token al parser, Lex crea una variable externa llamada yytext que
contiene la cadena de caracteres que son reconocidas por la expresión regular. Una variable
externa llamada yylval es seteada por Yacc para pasar el valor del token desde el analizador
léxico al parser. El tipo de yylval es int, por defecto. Por lo tanto, para asignar el valor de yytext
a yylval, se debe convertir el valor desde una string a un int. Se puede cambiar el tipo de yylval
o, como se verá, definir una unión de tipos de datos múltiples para yylval.
4