Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/christianparpart/klex
C++17 (CLI/embeddable) Lexical Scanner Generator
https://github.com/christianparpart/klex
generator lexer-generator lexical-analysis regular-expressions scanner
Last synced: 23 days ago
JSON representation
C++17 (CLI/embeddable) Lexical Scanner Generator
- Host: GitHub
- URL: https://github.com/christianparpart/klex
- Owner: christianparpart
- Created: 2018-05-27T21:44:15.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2022-11-03T19:02:18.000Z (about 2 years ago)
- Last Synced: 2024-05-01T20:51:16.817Z (7 months ago)
- Topics: generator, lexer-generator, lexical-analysis, regular-expressions, scanner
- Language: C++
- Homepage:
- Size: 833 KB
- Stars: 17
- Watchers: 5
- Forks: 2
- Open Issues: 5
-
Metadata Files:
- Readme: README.md
- Funding: .github/FUNDING.yml
Awesome Lists containing this project
README
# klex - A Scanner Generator
[](https://travis-ci.org/christianparpart/klex) [](https://ci.appveyor.com/project/christianparpart/klex) [](https://codecov.io/gh/christianparpart/klex) [](https://lgtm.com/projects/g/christianparpart/klex/context:cpp)
- mklex: CLI tool for compiling regular expressions into state transition tables
- libklex: C++ library for lexing
### mklex CLI
```
mklex - klex lexer generator
(c) 2018 Christian Parpart
-v, --verbose Prints some more verbose output
-h, --help Prints this help and exits
-f, --file=PATTERN_FILE Input file with lexer rules
-t, --output-table=FILE Output file that will contain the compiled tables (use - to represent stderr)
-T, --output-token=FILE Output file that will contain the compiled tables (use - to represent stderr)
-n, --table-name=IDENTIFIER Symbol name for generated table (may include namespace). [lexerDef]
-N, --token-name=IDENTIFIER Symbol name for generated token enum type (may include namespace). [Token]
-M, --machine-name=IDENTIFIER
Symbol name for generated machine enum type (must not include namespace). [Machine]
-x, --debug-dfa=DOT_FILE Writes dot graph of final finite automaton. Use - to represent stdout. []
-d, --debug-nfa Writes dot graph of non-deterministic finite automaton to stdout and exits.
--no-dfa-minimize Do not minimize the DFA
-p, --perf Print performance counters to stderr.
```
### Example klex Grammar
```
# specials
Spacing(ignore) ::= "[\t\s]+"
Eof ::= <>
# symbols
Plus ::= \+
RndOpen ::= \(
RndClose ::= \)
# keywords
If ::= if
Then ::= then
Else ::= else
# literals & identifiers
NumberLiteral ::= 0|[1-9][0-9]*
Identifier ::= [a-zA-Z_][a-zA-Z0-9_]*
```
### klex Lexer API
The great thing about the Lexer API is, that it is header-only, as the most complex parts are done
at compilation already.
You can compile the above grammar with `klex -f rules.klex -t myrules.h -T mytokens.h`
and then compile the code below:
```cpp
#include
#include
#include
#include "myrules.h"
#include "mytokens.h"
int main(int argc, const char* argv[]) {
klex::Lexer lexer {lexerDef, std::make_unique(argv[1])};
for (Token t = lexer.recognize(); t != Token::Eof; t = lexer.recognize()) {
std::cerr << fmt::format("[{}-{}]: token {} (\"{}\")\n",
lexer.offset().first,
lexer.offset().second,
to_string(t), lexer.word());
}
return EXIT_SUCCESS;
}
```
### klex lexer generator API
See [examples/mathexpr.cc](https://github.com/christianparpart/klex/blob/master/examples/mathexpr.cc)
as a great example. Here's a snippet:
```cpp
enum class Token { Eof = 1, Plus, Minus, Mul, Div, RndOpen, RndClose, Number, INVALID };
std::string RULES = R"(
Space(ignore) ::= [\s\t]+
Eof ::= <>
Plus ::= "+"
Minus ::= "-"
Mul ::= "*"
Div ::= "/"
RndOpen ::= "("
RndClose ::= \)
Number ::= -?([0-9]+|[0-9]{1,3}(_[0-9]{3})*)
INVALID ::= .
)";
using Number = long long int;
Number expr(Lexer& lexer) {
// [... consume lexer tokens here ...]
return 42;
}
int main(int argc, const char* argv[]) {
klex::Compiler cc;
cc.declareAll(std::make_unique(RULES));
Lexer lexer { cc.compile(), std::make_unique("2 + 3 * (5 - 1)") };
lexer.recognize(); // recognize first token
Number y = expr(lexer);
std::cerr << fmt::format("{} = {}\n", input, y);
return EXIT_SUCCESS;
}
```
### References
- https://swtch.com/~rsc/regexp/