ANTLR

En el reconocimiento de lenguajes asistido por computadora, ANTLR (pronunciado «antler» ), u «Another Tool for Language Recognition» (Otra herramienta para el reconocimiento de lenguajes ), es un generador de analizadores sintácticos que utiliza un algoritmo LL(*) para el análisis. ANTLR es el sucesor del Purdue Compiler Construction Tool Set ( PCCTS ), desarrollado por primera vez en 1989, y se encuentra en desarrollo activo. Su responsable de mantenimiento es el profesor Terence Parr de la Universidad de San Francisco .

PCCTS 1.00 se anunció el 10 de abril de 1992. ^{[ 1 ] [ 2 ]}

ANTLR toma como entrada una gramática que especifica un lenguaje y genera como salida código fuente para un reconocedor de ese lenguaje. Mientras que la versión 3 admitía la generación de código en los lenguajes de programación Ada95 , ActionScript , C , C# , Java , JavaScript , Objective-C , Perl , Python , Ruby y Standard ML , ^{[ 3 ]} la versión 4 actualmente apunta a C#, C++, Dart , ^{[ 4 ] [ 5 ]} Java, JavaScript, Go , PHP , Python (2 y 3) y Swift .

Un lenguaje se especifica mediante una gramática libre de contexto expresada en la Forma Extendida de Backus-Naur (EBNF). ^{[ 6 ]} ANTLR puede generar analizadores léxicos , analizadores sintácticos , analizadores sintácticos de árbol y analizadores léxicos- sintácticos combinados . Los analizadores sintácticos pueden generar automáticamente árboles de análisis sintáctico o árboles de sintaxis abstracta , que pueden procesarse posteriormente con analizadores sintácticos de árbol. ANTLR proporciona una notación única y consistente para especificar analizadores léxicos, analizadores sintácticos y analizadores sintácticos de árbol.

Por defecto, ANTLR lee una gramática y genera un reconocedor para el lenguaje definido por ella (es decir, un programa que lee un flujo de entrada y genera un error si este no se ajusta a la sintaxis especificada por la gramática). Si no hay errores de sintaxis, la acción predeterminada es simplemente salir sin imprimir ningún mensaje. Para realizar alguna acción útil con el lenguaje, se pueden adjuntar acciones a los elementos de la gramática. Estas acciones se escriben en el lenguaje de programación en el que se genera el reconocedor. Durante la generación del reconocedor, las acciones se insertan en el código fuente en los puntos correspondientes. Las acciones se pueden usar para construir y verificar tablas de símbolos y para generar instrucciones en un lenguaje de destino, en el caso de un compilador. ^{[ 6 ]}

Además de los analizadores léxicos y sintácticos, ANTLR puede utilizarse para generar analizadores sintácticos de árbol. Estos son reconocedores que procesan árboles de sintaxis abstracta, los cuales pueden ser generados automáticamente por los analizadores sintácticos. Estos analizadores de árbol son exclusivos de ANTLR y ayudan a procesar árboles de sintaxis abstracta. ^{[ 6 ]}

ANTLR 3 y ANTLR 4 son software libre , publicado bajo una licencia BSD de tres cláusulas . ^{[ 7 ]} Las versiones anteriores se publicaron como software de dominio público . ^{[ 8 ]} La documentación, derivada del libro de Parr, The Definitive ANTLR 4 Reference , se incluye con el código fuente de ANTLR 4 con licencia BSD. ^{[ 7 ] [ 9 ]}

Se han desarrollado varios complementos para el entorno de desarrollo Eclipse para admitir la gramática ANTLR, incluido ANTLR Studio , un producto propietario , así como los complementos "ANTLR 2" ^{[ 10 ]} y "ANTLR 3" ^{[ 11 ]} para Eclipse alojados en SourceForge .

ANTLR 4 maneja correctamente la recursión izquierda directa , pero no la recursión izquierda en general, es decir, las reglas gramaticales x que se refieren a y que se refieren a x . ^{[ 12 ]}

El software desarrollado con ANTLR incluye:

• Genial ^{[ 15 ]}
• Jython ^{[ 16 ]}
• Hibernar ^{[ 17 ]}
• Proyecto OpenJDK Compiler Grammar versión experimental del compilador javac basada en una gramática escrita en ANTLR ^{[ 18 ].}
• Apex , el lenguaje de programación de Salesforce.com
• El evaluador de expresiones en Numbers , la hoja de cálculo de Apple.
• Lenguaje de consulta de búsqueda de Twitter ^{[ 19 ]}
• Servidor Weblogic
• Apache Cassandra
• Tratamiento
• JabRef
• Trino (motor de consultas SQL)
• Presto (motor de consultas SQL)
• MySQL Workbench

Más de 200 gramáticas implementadas en ANTLR 4 están disponibles en GitHub . ^{[ 20 ]} Abarcan desde gramáticas para una URL hasta gramáticas para lenguajes completos como C, Java y Go.

En el siguiente ejemplo, un analizador sintáctico en ANTLR describe la suma de expresiones que se puede ver en la forma "1 + 2 + 3":

// Opciones comunes, por ejemplo, las opciones del idioma de destino { language = "CSharp"; }// A continuación, la clase del analizador SumParser extiende Parser; opciones { k = 1 ; // Adelanto del analizador: 1 token }// Definición de una expresión : ENTERO ( MÁS ^ ENTERO ) * ;// Aquí está la clase Lexer SumLexer extiende Lexer; opciones { k = 1 ; // Lexer Lookahead: 1 caracteres } PLUS : '+' ; DIGIT : ( '0' .. '9' ) ; INTEGER : ( DIGIT )+ ;

El siguiente listado muestra la llamada al analizador sintáctico en un programa:

TextReader lector ; // (...) Rellenar TextReader con caracteres SumLexer lexer = new SumLexer ( lector ); SumParser parser = new SumParser ( lexer );analizador.declaración ( ) ;

• Coco/R
• Kit de herramientas para la reingeniería de software de DMS
• JavaCC
• Formalismo de definición de sintaxis modular
• Escaldado (Java)
• Gramática de expresiones de análisis sintáctico
• SableCC

• Sitio web oficial