The antlrc package
ANTLR is a LL(*) parser generator that supports semantic predicates, syntax predicates and backtracking. antlrc provides a Haskell interface to the ANTLR C runtime. ANTLR generates the lexer and/or parser C code, which can call Haskell code for things such as: semantic predicates which may look up entries in the symbol table, creating symbol table entries, type checking, creating abstract syntax trees, etc.
The C source code for the lexer and/or parser are generated from the ANTLR grammar file, which by convention has a .g filename extension.
The generated C files can be compiled as C or C++.
The main entry point to the program can be written in C or C++, which calls the generated parser and lexer. The parser can make calls to Haskell to build the AST and symbol table, and to implement dis-ambiguating semantic predicates if necessary (for context sensitive languages).
The ANTLR parser generator is written in Java. It is necessary to use the same ANTLR parser generator version as the ANTLR C runtime version. antlrc is tested with ANTLR 3.2 and libantlr3c 3.2.
In addition to creating the GrammarLexer.c and GrammarParser.c files, the antlr parser generator creates a Grammar.tokens file which contains a list of lexer token identifier numbers and any associated name that is is specified in the tokens section of the Grammar.g file. The antlrcmkenums is run specifying the input Grammar.tokens file, and generates a GrammarTokens.h C/C++ header file containing an enum with enum members for those tokens that have user specified names. This enum is then processed by c2hs to create a Haskell enum for the token identifiers.
Examples are provided on github:
Documentation for the ANTLR C runtime library is at:
Documentation for the ANTLR parser generator is at:
|Dependencies||base (≥3 & <5), bytestring, c2hs (≥0.16), enumerator, haskell98, regex-posix|
|Copyright||Copyright (c) Mark Wright 2010-2011. All rights reserved.|
|Source repository||git clone git://github.com/markwright/antlrc.git|
|Upload date||Thu Jan 20 11:03:22 UTC 2011|