PackratParsers
PackratParsers
is a component that extends the parser combinatorsprovided by scala.util.parsing.combinator.Parsers with a memoization
facility (''Packrat Parsing'').
Packrat Parsing is a technique for implementing backtracking,
recursive-descent parsers, with the advantage that it guarantees
unlimited lookahead and a linear parse time. Using this technique,
left recursive grammars can also be accepted.
recursive-descent parsers, with the advantage that it guarantees
unlimited lookahead and a linear parse time. Using this technique,
left recursive grammars can also be accepted.
Using
- any class/trait that extends
can mix in
Example:
- each grammar production previously declared as a
parameters becomes a
So, for example,
becomes
- Important: using
They can be free mixed with regular
PackratParsers
is very similar to using Parsers
:- any class/trait that extends
Parsers
(directly or through a subclass)can mix in
PackratParsers
.Example:
'''object''' MyGrammar '''extends''' StandardTokenParsers '''with''' PackratParsers
- each grammar production previously declared as a
def
without formalparameters becomes a
lazy val
, and its type is changed fromParser[Elem]
to PackratParser[Elem]
.So, for example,
'''def''' production: Parser[Int] = {...}
becomes
'''lazy val''' production: PackratParser[Int] = {...}
- Important: using
PackratParser
s is not an ''all or nothing'' decision.They can be free mixed with regular
Parser
s in a single grammar.Cached parse results are attached to the ''input'', not the grammar.
Therefore,
adds memoization to an underlying
but the common way should be to rely on the combinator
a given input with a
Therefore,
PackratsParser
s require a PackratReader
as input, whichadds memoization to an underlying
Reader
. Programmers can createPackratReader
objects either manually, as inproduction('''new''' PackratReader('''new''' lexical.Scanner("input")))
,but the common way should be to rely on the combinator
phrase
to wrapa given input with a
PackratReader
if the input is not one itself.- See also
- Bryan Ford: "Packrat Parsing: Simple, Powerful, Lazy, Linear Time." ICFP'02Alessandro Warth, James R. Douglass, Todd Millstein: "Packrat Parsers Can Support Left Recursion." PEPM'08
- Since
-
2.8
Type members
Classlikes
Inherited classlikes
The success case of
ParseResult
: contains the result and the remaining input.- Value Params
- next
-
The parser's remaining input
- result
-
The parser's output
- Inhertied from
- Parsers
A base class for parser results. A result is either successful or not
(failure may be fatal, i.e., an Error, or not, i.e., a Failure). On
success, provides a result of type
(and the rest of the input).
(failure may be fatal, i.e., an Error, or not, i.e., a Failure). On
success, provides a result of type
T
which consists of some result(and the rest of the input).
- Inhertied from
- Parsers
The root class of parsers.
Parsers are functions from the Input type to ParseResult.
Parsers are functions from the Input type to ParseResult.
- Inhertied from
- Parsers
A wrapper over sequence of matches.
Given
of the parser can be extracted from this case class.
p1: Parser[A]
and p2: Parser[B]
, a parser composed withp1 ~ p2
will have type Parser[~[A, B]]
. The successful resultof the parser can be extracted from this case class.
It also enables pattern matching, so something like this is possible:
{{{
def concat(p1: Parser[String] , p2: Parser[String] ): Parser[String] =
p1 ~ p2 ^^ { case a ~ b => a + b }
}}}
def concat(p1: Parser[String] , p2: Parser[String] ): Parser[String] =
p1 ~ p2 ^^ { case a ~ b => a + b }
}}}
- Inhertied from
- Parsers
The failure case of
Parsing will back-track when a failure occurs.
ParseResult
: contains an error-message and the remaining input.Parsing will back-track when a failure occurs.
- Value Params
- msg
-
An error message string describing the failure.
- next
-
The parser's unconsumed input at the point where the failure occurred.
- Inhertied from
- Parsers
The fatal failure case of ParseResult: contains an error-message and
the remaining input.
No back-tracking is done when a parser returns an
the remaining input.
No back-tracking is done when a parser returns an
Error
.- Value Params
- msg
-
An error message string describing the error.
- next
-
The parser's unconsumed input at the point where the error occurred.
- Inhertied from
- Parsers
Inherited types
type Elem
the type of input elements the provided parsers consume (When consuming
invidual characters, a parser is typically called a ''scanner'', which
produces ''tokens'' that are consumed by what is normally called a ''parser''.
Nonetheless, the same principles apply, regardless of the input type.)
invidual characters, a parser is typically called a ''scanner'', which
produces ''tokens'' that are consumed by what is normally called a ''parser''.
Nonetheless, the same principles apply, regardless of the input type.)
- Inhertied from
- Parsers
Value members
Methods
def scala$util$parsing$combinator$PackratParsers$$super$Parser[T](f: Input => ParseResult[T]): Parser[T]
A parser generator delimiting whole phrases (i.e. programs).
Overridden to make sure any input passed to the argument parser
is wrapped in a
is wrapped in a
PackratReader
.- Definition Classes
Inherited methods
@migration("The `p0` call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.", "2.9.0")
A parser generator for non-empty repetitions.
rep1(f, p)
first uses f
(which must succeed) and then repeatedlyuses
p
to parse the input until p
fails(the result is a
List
of the consecutive results of f
and p
)- Value Params
- first
-
a
Parser
that parses the first piece of input - p0
-
a
Parser
that is to be applied successively to the rest of the input (if any) -- evaluated at most once, and only when necessary
- Returns
-
A parser that returns a list of results produced by first applying
f
and then
repeatedlyp
to the input (it only succeeds iff
matches). - Inhertied from
- Parsers
A parser generator for non-empty repetitions.
rep1(p)
repeatedly uses p
to parse the input until p
fails -- p
must succeed at leastonce (the result is a
List
of the consecutive results of p
)- Value Params
- p
-
a
Parser
that is to be applied successively to the input
- Returns
-
A parser that returns a list of results produced by repeatedly applying
p
to the input
(and that only succeeds ifp
matches at least once). - Inhertied from
- Parsers
A parser generator for a specified range of repetitions interleaved by a
separator.
separator.
repNM(n, m, p, s)
uses p
at least n
times and up to m
times, interleavedwith separator
s
, to parse the input(the result is a
List
of at least n
consecutive results of p
and up to m
results).- Value Params
- m
-
maximum number of repetitions
- n
-
minimum number of repetitions
- p
-
a
Parser
that is to be applied successively to the input - sep
-
a
Parser
that interleaves with p
- Returns
-
A parser that returns a list of results produced by repeatedly applying
p
interleaved
withsep
to the input. The list has a size betweenn
and up tom
(and that only succeeds ifp
matches at leastn
times). - Inhertied from
- Parsers
Given a concatenation with a repetition (list), move the concatenated element into the list
- Inhertied from
- Parsers
A parser that results in an error.
- Value Params
- msg
-
The error message describing the failure.
- Returns
-
A parser that always fails with the specified error message.
- Inhertied from
- Parsers
The parser that matches an element in the domain of the partial function
f
.If
to it to produce this parser's result.
f
is defined on the first element in the input, f
is appliedto it to produce this parser's result.
Example: The parser
accepts an
accept("name", {case Identifier(n) => Name(n)})
accepts an
Identifier(n)
and returns a Name(n)
- Value Params
- expected
-
a description of the kind of element this parser expects (for error messages)
- f
-
a partial function that determines when this parser is successful and what its output is
- Returns
-
A parser that succeeds if
f
is applicable to the first element of the input,
applyingf
to it to produce the result. - Inhertied from
- Parsers
A parser that matches only the given list of element
es
.accept(es)
succeeds if the input subsequently provides the elements in the list es
.- Value Params
- es
-
the list of expected elements
- Returns
-
a Parser that recognizes a specified list of elements
- Inhertied from
- Parsers
A parser generator for interleaved repetitions.
repsep(p, q)
repeatedly uses p
interleaved with q
to parse the input, until p
fails.(The result is a
List
of the results of p
.)Example:
repsep(term, ",")
parses a comma-separated list of term's, yielding a list of these terms.- Value Params
- p
-
a
Parser
that is to be applied successively to the input - q
-
a
Parser
that parses the elements that separate the elements parsed byp
- Returns
-
A parser that returns a list of results produced by repeatedly applying
p
(interleaved withq
) to the input.
The results ofp
are collected in a list. The results ofq
are discarded. - Inhertied from
- Parsers
positioned
decorates a parser's result with the start position of theinput it consumed.
- Value Params
- p
-
a
Parser
whose result conforms toPositional
.
- Returns
-
A parser that has the same behaviour as
p
, but which marks its
result with the start position of the input it consumed,
if it didn't already have a position. - Inhertied from
- Parsers
A helper method that turns a
print debugging information to stdout before and after
being applied.
Parser
into one that willprint debugging information to stdout before and after
being applied.
- Inhertied from
- Parsers
Wrap a parser so that its failures and errors become success and
vice versa -- it never consumes any input.
vice versa -- it never consumes any input.
- Inhertied from
- Parsers
A parser generator for non-empty repetitions.
rep1sep(p, q)
repeatedly applies p
interleaved with q
to parse theinput, until
p
fails. The parser p
must succeed at least once.- Value Params
- p
-
a
Parser
that is to be applied successively to the input - q
-
a
Parser
that parses the elements that separate the elements parsed byp
(interleaved withq
)
- Returns
-
A parser that returns a list of results produced by repeatedly applying
p
to the input
(and that only succeeds ifp
matches at least once).
The results ofp
are collected in a list. The results ofq
are discarded. - Inhertied from
- Parsers
The parser that matches an element in the domain of the partial function
f
.If
to it to produce this parser's result.
f
is defined on the first element in the input, f
is appliedto it to produce this parser's result.
Example: The parser
accepts an
acceptMatch("name", {case Identifier(n) => Name(n)})
accepts an
Identifier(n)
and returns a Name(n)
- Value Params
- expected
-
a description of the kind of element this parser expects (for error messages)
- f
-
a partial function that determines when this parser is successful and what its output is
- Returns
-
A parser that succeeds if
f
is applicable to the first element of the input,
applyingf
to it to produce the result. - Inhertied from
- Parsers
A parser generator for a specified number of repetitions.
repN(n, p)
uses p
exactly n
time to parse the input(the result is a
List
of the n
consecutive results of p
).- Value Params
- num
-
the exact number of times
p
must succeed - p
-
a
Parser
that is to be applied successively to the input
- Returns
-
A parser that returns a list of results produced by repeatedly applying
p
to the input
(and that only succeeds ifp
matches exactlyn
times). - Inhertied from
- Parsers
A parser that matches only the given scala.collection.Iterable collection of elements
es
.acceptSeq(es)
succeeds if the input subsequently provides the elements in the iterable es
.- Value Params
- es
-
the list of expected elements
- Returns
-
a Parser that recognizes a specified list of elements
- Inhertied from
- Parsers
A parser that always fails.
- Value Params
- msg
-
The error message describing the failure.
- Returns
-
A parser that always fails with the specified error message.
- Inhertied from
- Parsers
def chainr1[T, U](p: => Parser[T], q: => Parser[(T, U) => U], combine: (T, U) => U, first: U): Parser[U]
A parser generator that generalises the
which parses the separator, produces a right-associative function that
combines the elements it separates. Additionally, the right-most (last)
element and the left-most combining function have to be supplied.
rep1sep
generator so that q
,which parses the separator, produces a right-associative function that
combines the elements it separates. Additionally, the right-most (last)
element and the left-most combining function have to be supplied.
rep1sep(p: Parser[T]
, q) corresponds to chainr1(p, q ^^ cons, cons, Nil) (where val cons = (x: T, y: List[T]
) => x :: y)
- Value Params
- combine
-
the "last" (left-most) combination function to be applied
- first
-
the "first" (right-most) element to be combined
- p
-
a parser that parses the elements
- q
-
a parser that parses the token(s) separating the elements, yielding a right-associative function that
combines two elements into one
- Inhertied from
- Parsers
A parser generator for optional sub-phrases.
opt(p)
is a parser that returns Some(x)
if p
returns x
and None
if p
fails.- Value Params
- p
-
A
Parser
that is tried on the input
- Returns
-
a
Parser
that always succeeds: either with the result provided byp
or
with the empty result - Inhertied from
- Parsers
A parser that matches only the given element
e
.elem(e)
succeeds if the input starts with an element e
.- Value Params
- e
-
the
Elem
that must be the next piece of input for the returned parser to succeed
- Returns
-
a
Parser
that succeeds ife
is the next available input (and returns it). - Inhertied from
- Parsers
A parser matching input elements that satisfy a given predicate.
elem(kind, p)
succeeds if the input starts with an element e
for which p(e)
is true.- Value Params
- kind
-
The element kind, used for error messages
- p
-
A predicate that determines which elements match.
- Inhertied from
- Parsers
Wrap a parser so that its failures become errors (the
will give up as soon as it encounters an error, on failure it simply
tries the next alternative).
|
combinatorwill give up as soon as it encounters an error, on failure it simply
tries the next alternative).
- Inhertied from
- Parsers
A parser generator that, roughly, generalises the
so that
function that combines the elements it separates.
rep1sep
generatorso that
q
, which parses the separator, produces a left-associativefunction that combines the elements it separates.
- Value Params
- first
-
a parser that parses the first element
- p
-
a parser that parses the subsequent elements
- q
-
a parser that parses the token(s) separating the elements,
yielding a left-associative function that combines two elements
into one
- Inhertied from
- Parsers
A parser generator that, roughly, generalises the rep1sep generator so
that
function that combines the elements it separates.
that
q
, which parses the separator, produces a left-associativefunction that combines the elements it separates.
''From: J. Fokker. Functional parsers. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming,
volume 925 of Lecture Notes in Computer Science, pages 1--23. Springer, 1995.''
volume 925 of Lecture Notes in Computer Science, pages 1--23. Springer, 1995.''
- Value Params
- p
-
a parser that parses the elements
- q
-
a parser that parses the token(s) separating the elements, yielding a left-associative function that
combines two elements into one
- Inhertied from
- Parsers
A parser matching input elements that satisfy a given predicate.
acceptIf(p)(el => "Unexpected "+el)
succeeds if the input starts with an element e
for which p(e)
is true.- Value Params
- err
-
A function from the received element into an error message.
- p
-
A predicate that determines which elements match.
- Returns
-
A parser for elements satisfying p(e).
- Inhertied from
- Parsers
A parser generator for guard expressions. The resulting parser will
fail or succeed just like the one given as parameter but it will not
consume any input.
fail or succeed just like the one given as parameter but it will not
consume any input.
- Value Params
- p
-
a
Parser
that is to be applied to the input
- Returns
-
A parser that returns success if and only if
p
succeeds but
never consumes any input - Inhertied from
- Parsers
A parser generator for repetitions.
rep(p)
repeatedly uses p
to parse the input until p
fails(the result is a List of the consecutive results of
p
).- Value Params
- p
-
a
Parser
that is to be applied successively to the input
- Returns
-
A parser that returns a list of results produced by repeatedly applying
p
to the input. - Inhertied from
- Parsers
Implicits
Implicits
Inherited implicits
A parser that matches only the given element
e
.The method is implicit so that elements can automatically be lifted to their parsers.
For example, when parsing
instead of first creating a
For example, when parsing
Token
s, Identifier("new")
(which is a Token
) can be used directly,instead of first creating a
Parser
using accept(Identifier("new"))
.- Value Params
- e
-
the
Elem
that must be the next piece of input for the returned parser to succeed
- Returns
-
a
tParser
that succeeds ife
is the next available input. - Inhertied from
- Parsers