@NonNullByDefault
| Class | Description |
|---|---|
| Encoder |
An instance of
Encoder can be used
to encode syntactic regular expressions
in tagged regular expressions. |
| Optimiser |
This class implements optimisations of
tagged regular exceptions
in order to minimise the number of tags
(which have a big impact on the complexity
of the translation into a DFA).
|
| Optimiser.Allocated |
This structure represents the result of optimising a tagged
regular expression: it packs together the resulting tagged
expression, the list of
Optimiser.IdentInfo for each possible
bound variable in the original regular expression, and the
overall number of different memory cells needed to store
all markers at run-time. |
| Optimiser.IdentInfo |
Structure which represents how an indentifier in
a regular expression is realized in optimised tagged
regular expressions, i.e. provides tag
addresses for the start and end of the expression bound
to the identifier, and whether it is optional or not.
|
| Optimiser.TagAddr |
The relative address of a tag, either with
respect to some memory cell, i.e. some actual
storage for a tag, or to the
Optimiser.TagAddr.START
or Optimiser.TagAddr.END of the input. |
| Optimiser.TagKey |
Similar to
TRegular.TagInfo, but without the
semantic action. |
| TLexer |
A tagged lexer definition is the encoded
version of a lexer definition,
where all entries have been
encoded and optimised.
|
| TLexerEntry |
A tagged lexer entry is the encoded optimised
version of a syntactic lexer entry.
|
| TLexerEntry.Finisher |
Packs together a description of one of the semantic
actions in a tagged lexer entry
|
| TRegular |
Instances of
TRegular represent tagged
regular expressions. |
| TRegular.Action |
Stands for a semantic action to be executed
when matching reaches this regular expression.
|
| TRegular.Alternate |
Instances of tagged regular expressions that represent a
choice
a | b between two regular expressions. |
| TRegular.Characters |
Instances of regular expressions that match exactly
one character amongst a set of possible characters.
|
| TRegular.Epsilon |
The singleton class that stands for the empty tagged
regular expression ε, which only matches the empty string.
|
| TRegular.Repetition |
Instances of tagged regular expressions that represent the
Kleene closure
r* of some regular expression r,
i.e. matching zero, one or more repetitions of r |
| TRegular.Sequence |
Instances of tagged regular expressions that represent the
concatenation
ab of two regular expressions. |
| TRegular.Tag |
Instances of tagged regular expressions that represent
a tag, i.e. either the beginning or the end of some
bound sub-expression
|
| TRegular.TagInfo |
Describes a tag, i.e. a marker
used in tagged regular expressions
to represent the boundaries of bound sub-expressions
|
| TRegulars |
This class contains various utility methods
about tagged regular expressions.
|
| TRegulars.MatchResult |
The result of a successful match of a tagged
regular expression against some input string
|
| Enum | Description |
|---|---|
| TRegular.Kind |
Enumeration which describes the different kinds of
concrete implementations of
TRegular. |