| Package | Description |
|---|---|
| org.stekikun.dolmen.automaton | |
| org.stekikun.dolmen.tagged |
| Class and Description |
|---|
| TLexer
A tagged lexer definition is the encoded
version of a lexer definition,
where all entries have been
encoded and optimised.
|
| 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.TagInfo
Describes a tag, i.e. a marker
used in tagged regular expressions
to represent the boundaries of bound sub-expressions
|
| Class and Description |
|---|
| 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.Epsilon
The singleton class that stands for the empty tagged
regular expression ε, which only matches the empty string.
|
| TRegular.Kind
Enumeration which describes the different kinds of
concrete implementations of
TRegular. |
| 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.MatchResult
The result of a successful match of a tagged
regular expression against some input string
|