Sintaxis Cup

CUP es una herramienta utilizada para la generación de analizadores sintácticos para java y una de las mas usadas y comunes.

Para conocer a fondo que es cup pueden ir a CUP.

A continuación voy a explicar la estructura de un archivo de cup así como su sintaxis, hay una buena cantidad de manuales en internet acerca de esto pero el objetivo del blog es hacerlo de la manera mas resumida y entendible posible ya que muchas veces (casi siempre) estamos escasos de tiempo y no podemos ponernos a leer un manual de 20 o más paginas.

Archivo de entrada para Cup:

Consta de 5 partes las cuales son:

1- definición de paquetes y librerías

2- Código de usuario

3- Declaración de terminales y no terminales

4- Declaración de precedencia

5- Definición de símbolo inicial y reglas de producción

Se podría decir que esa es la estructura general y lleva ese orden a excepción del código de usuario el cual puede ser usado entre las producciones.

1-     La definición de paquetes y librerías se refiere a los "package" e "imports" en java, los cuales serán útiles cuando se agreguen los archivos generados por cup a nuestro proyecto en java.

2-     Código de usuario:  Lo utilizamos para escribir código java dentro de el parser, puede ser action code o parser code.

La sintaxis que utiliza es:

parser code {: //código java :}  o  action code {://código java:}

3-     Terminales y No terminales: La declaración de los símbolos terminales de la gramática y de los no terminales.

4-     La declaración de precedencia se realiza si es necesaria, algunas veces no es necesaria pero otras si.

5-     En la ultima parte se inicia con el símbolo inicial de la gramática y se escribe toda la gramática con notación bnf.

Al final de cada producción podemos incluir código java si queremos que se ejecute una acción al llegar a dicha producción, por ejemplo:

BEGIN ::= COMPLETO {:System.out.println(“Se llego a la produccion inicial”);:};

Aquí se tiene la producción BEGIN::= COMPLETO y lo que se hará es imprimir un string cuando se llegue a tal producción, el código se coloca dentro llaves así ------>  {://código aquí:}.

A continuación un pequeño ejemplo de un archivo de cup el cual contiene la sintaxis comentada y muestra de forma mas clara como se utiliza.

Nota: la sintaxis genera un parser para reconocer sentencias if anidadas.

// 1. DEFINICION DE PAQUETES Y LIBRERIAS package Ejemplo; import java.io.*; import java_cup.runtime.*; // 2. CODIGO DE USUARIO parser code // aqui tenemos un bloque de codigo en java y necesitamos usar las palabras "parser code" seguido de {: //codigo :} {: public LinkedList<Errores> lista_errores=new LinkedList<Errores>(); /*Variable que se utilizara como salida */ public String salida =new String(); /**Este metodo se ejecuta al encontrar un error sintactico*/ public void syntax_error(Symbol s){ System.out.println("Error en la Linea " + (s.right+1) +" Columna "+s.left+ ". Identificador " +s.value + " No se reconoce." ); } /**Se ejecuta cuando el parser no se puede recuperar de un error.*/ public void unrecovered_syntax_error(Symbol s) throws java.lang.Exception{ System.out.println("Error en la Linea " + (s.right+1)+ "Columna "+s.left+". Identificador " + s.value + " no reconocido."); } :} // 3. DECLARACION DE TERMINALES Y NO TERMINALES terminal sif,abrepar,verdad,cierrapar,falso,sino,abrellave,cierrallave; // se declaran los terminales non terminal BEGIN, ESTRUCTURA, SENTENCIAIF, SENTENCIAELSEIF, SENTENCIAELSE,CONDICION; //se declaran los no terminales // 4. aqui iria la precedencia // 5. GRAMATICA start with BEGIN; // se indica que iniciara con el no terminal "BEGIN" //toda la gramatica BEGIN ::= SENTENCIAIF SENTENCIAELSEIF SENTENCIAELSE |SENTENCIAIF SENTENCIAELSE |SENTENCIAIF SENTENCIAELSEIF |SENTENCIAIF ; SENTENCIAIF ::= error|sif abrepar CONDICION cierrapar abrellave SENTENCIAIF SENTENCIAELSEIF SENTENCIAELSE cierrallave | sif abrepar CONDICION cierrapar abrellave SENTENCIAIF SENTENCIAELSE cierrallave |sif abrepar CONDICION cierrapar abrellave SENTENCIAIF SENTENCIAELSEIF cierrallave |sif abrepar CONDICION cierrapar abrellave SENTENCIAIF cierrallave | sif abrepar CONDICION cierrapar abrellave cierrallave | sif abrepar CONDICION cierrapar abrellave cierrallave SENTENCIAIF; SENTENCIAELSEIF ::= SENTENCIAELSEIF sino SENTENCIAIF | sino SENTENCIAIF; SENTENCIAELSE ::= sino abrellave BEGIN cierrallave | sino abrellave cierrallave; CONDICION ::= verdad | falso ;