+
Point of view
All features
deferred class PARSE_ATOM [C_ -> PARSE_CONTEXT]
Summary
top
A part of the PARSE_TABLE.
Direct parents
Insert list: PARSER_FACET, TRISTATE_VALUES
Known children
Inherit list: PACKRAT_ATOM, PARSE_NON_TERMINAL, PARSE_TERMINAL
Overview
top
Features
{ANY}
{PARSE_TABLE}
{PARSER_FACET}
  • parse (context: C_): TRISTATE
    The Result is yes if the parsing succeeded, no if there was a syntax error, or maybe if the parse could complete with some more text.
{}
{ANY}
writable attribute
{ANY}
top
table: PARSE_TABLE[C_]
writable attribute
{ANY}
top
is_coherent: BOOLEAN
deferred function
{ANY}
top
require ensure
  • must_be_coherent: Result
pretty_print_on (stream: OUTPUT_STREAM)
deferred procedure
{ANY}
top
require
  • stream.is_connected
set (a_name: ABSTRACT_STRING, a_table: PARSE_TABLE[C_])
effective procedure
{PARSE_TABLE}
top
require
  • name = Void
  • table = Void
  • not a_name.is_empty
  • a_table /= Void
ensure
set_table (a_table: PARSE_TABLE[C_])
effective procedure
{PARSE_TABLE}
top
require
  • a_table /= Void
ensure
set_default_tree_builders (non_terminal_builder: PROCEDURE[TUPLE 2[FIXED_STRING, TRAVERSABLE[FIXED_STRING]]], terminal_builder: PROCEDURE[TUPLE 2[FIXED_STRING, PARSER_IMAGE]])
deferred procedure
{PARSE_TABLE}
top
require
parse (context: C_): TRISTATE
deferred function
{PARSER_FACET}
top
The Result is yes if the parsing succeeded, no if there was a syntax error, or maybe if the parse could complete with some more text.
require
  • context /= Void
ensure
  • context.actions.count >= old context.actions.count
  • not Result.is_equal(yes) implies context.buffer.current_index = old context.buffer.current_index and then context.actions.count = old context.actions.count
add_error_position (error: STRING, buffer: MINI_PARSER_BUFFER)
effective procedure
{}
top
print_error_position (o: OUTPUT_STREAM, buffer: MINI_PARSER_BUFFER)
effective procedure
{}
top
yes: TRISTATE
effective function
{ANY}
top
effective function
{ANY}
top
maybe: TRISTATE
effective function
{ANY}
top