Parser
.See: Description
Class | Description |
---|---|
CollectParser |
Because
Tree.offer(Tree) uses Tree.pop() . |
CombineParser |
A parser that combines the results of multiple other parsers.
|
FilterByKindParser |
A parser that parses using another parser and only parses trees with a kind equal to a
pre-specified kind.
|
FilterHierarchyByKindParser |
A parser that searches in the hierarchy of the tree given to it (including the tree
itself) looking for trees with a pre-specified kind.
|
HierarchyParser |
A parser that attempt to parse every tree in the hierarchy of the tree provided to it
(including the tree itself) and parses using another parser.
|
MergeByOrderParser |
A parser that merges the clashing sketches resulting from another parser going from the
first to the last tree sequentially.
|
MergeByWeightParser |
A parser that uses multiple other parsers for parsing.
|
MergeFlatByOrderParser |
A merging parser that does not allow two trees having any dominance between each other.
|
MergeFlatByWeightParser |
An
MergeByWeightParser that does not allow any dominance between the results. |
OfferParser |
A parser that parses using another parser and combines the results into one tree then
return it.
|
PatternGroupParser |
A parser that parses by pattern groups.
|
PatternParser |
A parser parsing literal sketches depending on a specific pattern.
|
PatternRangeParser |
A parser parsing scope sketches depending on a specific starting and ending pattern.
|
RecursiveParser |
A parser that parses using another parser then add to the results the result of parsing
each tree using this parser (which will make it parse recursively).
|
ThenAddParser |
A parser that parses using another parser then parser each resultant tree using another
parser and add them to the results.
|
ThenOfferParser |
A parser that parses using another parser then parses each resultant tree using another
parser and offers the results to that tree.
|
Parser
.