+
Point of view
All features
deferred class ABSTRACT_PARSER [C_ -> PARSE_CONTEXT]
Summary
top
Direct parents
Insert list: LOGGING, PARSER_FACET, TRISTATE_VALUES
Known children
Inherit list: DESCENDING_PARSER, PACKRAT_PARSER
Overview
top
Features
{ANY}
{}
{ANY}
{}
  • log: LOGGER
    There is one logger per concrete type; for performance reasons it is cached in each instance.
  • log_memory__0_: LOGGER
    The cached logger.
parse (buffer: MINI_PARSER_BUFFER, grammar: PARSE_TABLE[C_], start: STRING, a_actions: COLLECTION[PARSE_ACTION]): BOOLEAN
deferred function
{ANY}
top
Returns True if the parsing succeeded or definitely could not succeed, False if some more text could make it succeed.
require
  • a_actions /= Void
  • grammar.is_coherent
  • grammar.has(start)
ensure
  • a_actions.count >= old a_actions.count
  • not Result implies a_actions.count = old a_actions.count
eval (buffer: MINI_PARSER_BUFFER, grammar: PARSE_TABLE[C_], start: STRING): BOOLEAN
effective function
{ANY}
top
Returns True if the parsing succeeded or definitely could not succeed, False if some more text could make it succeed.
error: PARSE_ERROR
writable attribute
{ANY}
top
once function
{}
top
once function
{}
top
writable attribute
{}
top
save_actions
effective procedure
{}
top
ensure
restore_actions
effective procedure
{}
top
require ensure
new_free_actions: FAST_ARRAY[PARSE_ACTION]
effective function
{}
top
ensure
  • Result.is_empty
yes: TRISTATE
effective function
{ANY}
top
effective function
{ANY}
top
maybe: TRISTATE
effective function
{ANY}
top
log: LOGGER
effective function
{}
top
There is one logger per concrete type; for performance reasons it is cached in each instance.
ensure
  • Result /= Void
log_memory__0_: LOGGER
writable attribute
{}
top
The cached logger.
The ugly name is intentional. Don't use directly.