ANTLR
Template:Short description Template:More citations needed {{#invoke:Infobox|infobox}}Template:Template other{{#invoke:Check for unknown parameters | check | showblankpositional=1 | unknown = Template:Main other | preview = Page using Template:Infobox software with unknown parameter "_VALUE_"|ignoreblank=y | AsOf | author | background | bodystyle | caption | collapsetext | collapsible | developer | discontinued | engine | engines | genre | included with | language | language count | language footnote | latest preview date | latest preview version | latest release date | latest release version | latest_preview_date | latest_preview_version | latest_release_date | latest_release_version | licence | license | logo | logo alt | logo caption | logo upright | logo size | logo title | logo_alt | logo_caption | logo_upright | logo_size | logo_title | middleware | module | name | operating system | operating_system | other_names | platform | programming language | programming_language | released | replaced_by | replaces | repo | screenshot | screenshot alt | screenshot upright | screenshot size | screenshot title | screenshot_alt | screenshot_upright | screenshot_size | screenshot_title | service_name | size | standard | title | ver layout | website | qid }}Template:Main other
In computer-based language recognition, ANTLR (pronounced antler), or ANother Tool for Language Recognition, is a parser generator that uses a LL(*) algorithm for parsing. ANTLR is the successor to the Purdue Compiler Construction Tool Set (PCCTS), first developed in 1989, and is under active development. Its maintainer is Professor Terence Parr of the University of San Francisco.Template:Citation needed
PCCTS 1.00 was announced April 10, 1992.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref><ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
UsageEdit
ANTLR takes as input a grammar that specifies a language and generates as output source code for a recognizer of that language. While Version 3 supported generating code in the programming languages Ada95, ActionScript, C, C#, Java, JavaScript, Objective-C, Perl, Python, Ruby, and Standard ML,<ref>SML/NJ Language Processing Tools: User Guide</ref> Version 4 at present targets C#, C++, Dart,<ref name="github">{{#invoke:citation/CS1|citation |CitationClass=web }}</ref><ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> Java, JavaScript, Go, PHP, Python (2 and 3), and Swift.
A language is specified using a context-free grammar expressed using Extended Backus–Naur Form (EBNF).Template:Citation needed<ref name=":0">Template:Cite book</ref> ANTLR can generate lexers, parsers, tree parsers, and combined lexer-parsers. Parsers can automatically generate parse trees or abstract syntax trees, which can be further processed with tree parsers. ANTLR provides a single consistent notation for specifying lexers, parsers, and tree parsers.
By default, ANTLR reads a grammar and generates a recognizer for the language defined by the grammar (i.e., a program that reads an input stream and generates an error if the input stream does not conform to the syntax specified by the grammar). If there are no syntax errors, the default action is to simply exit without printing any message. In order to do something useful with the language, actions can be attached to grammar elements in the grammar. These actions are written in the programming language in which the recognizer is being generated. When the recognizer is being generated, the actions are embedded in the source code of the recognizer at the appropriate points. Actions can be used to build and check symbol tables and to emit instructions in a target language, in the case of a compiler.Template:Citation needed<ref name=":0" />
Other than lexers and parsers, ANTLR can be used to generate tree parsers. These are recognizers that process abstract syntax trees, which can be automatically generated by parsers. These tree parsers are unique to ANTLR and help processing abstract syntax trees.Template:Citation needed<ref name=":0" />
LicensingEdit
Template:Citation needed span and ANTLR 4 are free software, published under a three-clause BSD License.<ref name=antlr4-license>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> Prior versions were released as public domain software.<ref>Template:Cite mailing list</ref> Documentation, derived from Parr's book The Definitive ANTLR 4 Reference, is included with the BSD-licensed ANTLR 4 source.<ref name=antlr4-license/><ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
Various plugins have been developed for the Eclipse development environment to support the ANTLR grammar, including ANTLR Studio, a proprietary product, as well as the "ANTLR 2"<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> and "ANTLR 3"<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> plugins for Eclipse hosted on SourceForge.Template:Citation needed
ANTLR 4Edit
ANTLR 4 deals with direct left recursion correctly, but not with left recursion in general, i.e., grammar rules x that refer to y that refer to x.<ref>What is the difference between ANTLR 3 & 4</ref>
DevelopmentEdit
As reported on the tools<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> page of the ANTLR project, plug-ins that enable features like syntax highlighting, syntax error checking and code completion are freely available for the most common IDEs (Intellij IDEA, NetBeans, Eclipse, Visual Studio<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref> and Visual Studio Code).
ProjectsEdit
Software built using ANTLR includes:
- Groovy<ref>{{#invoke:citation/CS1|citation
|CitationClass=web }}</ref>
- Jython<ref>{{#invoke:citation/CS1|citation
|CitationClass=web }}</ref>
- Hibernate<ref>{{#invoke:citation/CS1|citation
|CitationClass=web }}</ref>
- OpenJDK Compiler Grammar project experimental version of the javac compiler based upon a grammar written in ANTLR<ref>{{#invoke:citation/CS1|citation
|CitationClass=web }}</ref>
- Apex, Salesforce.com's programming languageTemplate:Citation needed
- The expression evaluator in Numbers, Apple's spreadsheetTemplate:Citation needed
- Twitter's search query language<ref>{{#invoke:citation/CS1|citation
|CitationClass=web }} </ref>
- Weblogic serverTemplate:Citation needed
- Apache CassandraTemplate:Citation needed
- ProcessingTemplate:Citation needed
- JabRefTemplate:Citation needed
- Trino (SQL query engine)
- Presto (SQL query engine)
- MySQL Workbench
Over 200 grammars implemented in ANTLR 4 are available on GitHub.<ref>Template:Citation</ref> They range from grammars for a URL to grammars for entire languages like C, Java and Go.
ExampleEdit
In the following example, a parser in ANTLR describes the sum of expressions can be seen in the form of "1 + 2 + 3": <syntaxhighlight lang="antlr">
// Common options, for example, the target language options { language = "CSharp"; } // Followed by the parser class SumParser extends Parser; options { k = 1; // Parser Lookahead: 1 Token } // Definition of an expression statement: INTEGER (PLUS^ INTEGER)*; // Here is the Lexer class SumLexer extends Lexer; options { k = 1; // Lexer Lookahead: 1 characters } PLUS: '+'; DIGIT: ('0'..'9'); INTEGER: (DIGIT)+;
</syntaxhighlight> The following listing demonstrates the call of the parser in a program: <syntaxhighlight lang="java">
TextReader reader; // (...) Fill TextReader with character SumLexer lexer = new SumLexer(reader); SumParser parser = new SumParser(lexer);
parser.statement();
</syntaxhighlight>
See alsoEdit
- Coco/R
- DMS Software Reengineering Toolkit
- JavaCC
- Modular Syntax Definition Formalism
- Parboiled (Java)
- Parsing expression grammar
- SableCC