A nice parser combinator library for Kotlin
val booleanGrammar = object : Grammar<BooleanExpression>() {
val id by token("\\w+")
val not by token("!")
val and by token("&")
val or by token("|")
val ws by token("\\s+", ignore = true)
val lpar by token("\\(")
val rpar by token("\\)")
val term =
(id use { Variable(text) }) or
(-not * parser(this::term) map { (Not(it) }) or
(-lpar * parser(this::rootParser) * -rpar)
val andChain = leftAssociative(term, and) { l, _, r -> And(l, r) }
override val rootParser = leftAssociative(andChain, or) { l, _, r -> Or(l, r) }
}
val ast = booleanGrammar.parseToEnd("a & !b | b & (!a | c)")
repositories {
jcenter()
}
dependencies {
compile 'com.github.h0tk3y.betterParse:better-parse:0.2.1'
}
As many other language recognition tools, better-parse
abstracts away from raw character input by
pre-processing it with a Lexer
, that can match Token
s by their patterns (regular expressions) against an input sequence.
A Lexer
tokenizes an input sequence such as InputStream
or a String
into a Sequence<TokenMatch>
, providing each with a position in the input.
One way to create a Lexer
is to first define the Tokens
to be matched:
val id = Token("identifier", pattern = "\\w+")
val cm = Token("comma", pattern = ",")
val ws = Token("whitespace", pattern = "\\s+", ignore = true)
A
Token
can be ignored by setting itsignore = true
. An ignored token can still be matched explicitly, but if another token is expected, the ignored one is just dropped from the sequence.
val lexer = Lexer(listOf(id, cm, ws))
Note: the tokens order matters in some cases, because the lexer tries to match them in exactly this order. For instance, if
Token("singleA", "a")
is listed beforeToken("doubleA", "aa")
, the latter will never be matched. Be careful with keyword tokens!
val tokenMatches: Sequence<TokenMatch> = lexer.tokenize("hello, world") // Support other types of input as well.
A more convenient way of defining tokens and creating a lexer is described in the Grammar section.
A Parser<T>
is an object that accepts an input sequence (a sequence of tokens, Sequence<TokenMatch>
) and
tries to convert some (from none to all) of its items into a T
. In better-parse
, parsers are also used
as build blocks to create new parsers by combining them.
When a parser tries to process the input, there are two possible outcomes:
-
If it succeeds, it returns
Parsed<T>
containing theT
result and theremainder: Sequence<TokenMatch>
that it left unprocessed. The latter can then be, and often is, passed to another parser. -
If it fails, it reports the failure returning an
ErrorResult
, which provides detailed information about the failure.
A very basic parser to start with is a Token
itself: when given an input Sequence<TokenMatch>
, it succeeds if the sequence starts
with the match of this token itself (possibly, skipping some ignored tokens) and returns that TokenMatch
, also excluding it
(and, possibly, some ignored tokens) from the remainder.
val a = Token(name = "a", pattern = "a+")
val b = Token(name = "b", pattern = "b+")
val tokenMatches = Lexer(listOf(a, b)).tokenize("aabbaaa")
val result = a.tryParse(tokenMatches) // contains the match for "aa" and the remainder with "bbaaa" in it
Simpler parsers can be combined to build a more complex parser, from tokens to terms and to the whole language.
There are several kinds of combinators included in better-parse
:
-
map
,use
,justAs
The map combinator takes a successful input of another parser and applies a transforming function to it. The error results are returned unchanged.
val id = Token("identifier", pattern = "\\w+") val aText = a map { it.text } // Parser<String>, returns the matched text from the input sequence
A parser for objects of a custom type can be created with
map
:val variable = a map { JavaVariable(name = it.text) } // Parser<JavaVariable>.
-
someParser use { ... }
is amap
equivalent that takes a function with receiver instead. Example:id use { text }
. -
foo asJust bar
can be used to map a parser to some constant value.
-
-
optional(...)
Given a
Parser<T>
, tries to parse the sequence with it, but returns anull
result if the parser failed, and thus never fails itself:val p: Parser<T> = ... val o = optional(p) // Parser<T?>
-
and
,and skip(...)
The tuple combinator arranges the parsers in a sequence, so that the remainder of the first one goes to the second one and so on. If all the parsers succeed, their results are merged into a
Tuple
. If either parser failes, itsErrorResult
is returned by the combinator.val a: Parser<A> = ... val b: Parser<B> = ... val aAndB = a and b // This is a `Parser<Tuple2<A, B>>` val bAndBAndA = b and b and a // This is a `Parser<Tuple3<B, B, A>>`
You can
skip(...)
components in a tuple combinator: the parsers will be called just as well, but their results won't be included in the resulting tuple:val bbWithoutA = skip(a) and b and skip(a) and b and skip(a) // Parser<Tuple2<B, B>>
If all the components in an
and
chain are skipped except for oneParser<T>
, the resulting parser isParser<T>
, notParser<Tuple1<T>>
.To process the resulting
Tuple
, use the aforementionedmap
anduse
. These parsers are equivalent:-
val fCall = id and skip(lpar) and id and skip(rpar) map { (fName, arg) -> FunctionCall(fName, arg) }
-
val fCall = id and lpar and id and rpar map { (fName, _, arg, _) -> FunctionCall(fName, arg) }
-
val fCall = id and lpar and id and rpar use { FunctionCall(t1, t3) }
There are
Tuple
classes up toTuple16
and the correspondingand
overloads.There are operator overloads for more compact
and
chains definition:-
a * b
is equivalent toa and b
. -
-a
is equivalent toskip(a)
.
With these operators, the parser
a and skip(b) and skip(c) and d
can also be defined asa * -b * -c * d
. -
-
or
The alternative combinator tries to parse the sequence with the parsers it combines one by one until one succeeds. If all the parsers fail, the returned
ErrorResult
is anAlternativesFailure
instance that contains all the failures from the parsers.The result type for the combined parsers is the least common supertype (which is possibly
Any
).val expr = const or var or fCall
-
zeroOrMore(...)
,oneOrMore(...)
,N times
,N timesOrMore
,N..M times
These combinators transform a
Parser<T>
into aParser<List<T>>
, invokng the parser several times and failing if there was not enough matches.val modifiers = zeroOrMore(functionModifier) val rectangleParser = 4 times number map { (a, b, c, d) -> Rect(a, b, c, d) }
-
separated(term, separator)
,separatedTerms(term, separator)
,leftAssociative(...)
,rightAssociative(...)
Combines the two parsers, invoking them in turn and thus parsing a sequence of
term
matches separated byseparator
matches.The result is a
Separated<T, S>
which provides the matches of both parsers (note that terms are one more than separators) and can also be reduced in either direction.val number: Parser<Int> = ... val sumParser = separated(number, plus) use { reduce { a, _, b -> a + b } }
The
leftAssociative
andrightAssociative
combinators do exactly this, but they take the reducing operation as they are built:val term: Parser<Term> val andChain = leftAssociative(term, andOperator) { l, _, r -> And(l, r) }
As a convenient way of defining a grammar of a language, there is an abstract class Grammar
, that collects the by token(...)
-delegated
properties into a Lexer
automatically, and also behaves as a composition of the Lexer
and the rootParser
.
interface Item
class Number(val value: Int) : Item
class Variable(val name: String) : Item
object ItemsParser : Grammar<List<Item>>() {
val num by token("\\d+")
val word by token("[A-Za-z]")
val comma by token(",\\s+")
val numParser = num use { Number(text.toInt()) }
val varParser = word use { Variable(text) }
override val rootParser = separatedTerms(numParser or varParser, comma)
}
val result: List<Item> = ItemsParser.parseToEnd("one, 2, three, 4, five")
To use a parser that has not been constructed yet, reference it with parser { someParser }
or parser(this::someParser)
:
val term =
constParser or
variableParser or
(-lpar and parser(this::term) and -rpar)
- A boolean expressions parser that constructs a simple AST:
BooleanExpression.kt
- An integer arithmetic expressions evaluator:
ArithmeticsEvaluator.kt
- A toy programming language parser: (link)