public class RecursiveParser extends java.lang.Object implements Parser
Modifier and Type | Field and Description |
---|---|
protected @NotNull Parser |
parser
The wrapped parser.
|
Constructor and Description |
---|
RecursiveParser(@NotNull Parser parser)
Construct a new recursive parser that parses using the given
parser . |
Modifier and Type | Method and Description |
---|---|
@NotNull java.util.Set<Tree> |
parse(@NotNull Compilation compilation,
@NotNull Tree tree)
Parse the given
sketch with respect to the given compilation . |
@NotNull protected final @NotNull Parser parser
public RecursiveParser(@NotNull @NotNull Parser parser)
parser
.parser
- the wrapped parser.java.lang.NullPointerException
- if the given parser
is null.@NotNull public @NotNull java.util.Set<Tree> parse(@NotNull @NotNull Compilation compilation, @NotNull @NotNull Tree tree)
Parser
sketch
with respect to the given compilation
.