+
Point of view
All features
class PACKRAT_GRAMMAR
Summary
top
The packrat grammar written using the packrat parser :-)
Note that the original grammar is extended with "tags" which will allow the implementation of semantic actions. The grammar is:
grammar <- (nonterminal '<-' sp pattern)+ pattern <- alternative ('/' sp alternative)* alternative <- ([!&] sp suffix / suffix tag?)+ suffix <- primary ([*+?] sp)* primary <- '(' sp pattern ')' sp / '.' sp / literal / 
               charclass / nonterminal !'<-'
literal     <- ['] (!['] .)* ['] sp
charclass   <- '[' (!']' (. '-' . / .))* ']' sp
nonterminal <- [a-zA-Z]+ sp
sp          <- [ \t\n]*
tag         <- '{' (!'}' .)+ '}' sp
Direct parents
Insert list: PACKRAT_FEATURES
Class invariant
top
Overview
top
Creation features
{ANY}
Features
{}
{ANY}
test only
{EIFFELTEST_TOOLS}
low-level parsers
{}
{ANY}
reducer proxy (because Liberty Eiffel crashes if the agents are built in the once method)
{}
{}
{}
low-level image memory
{}
buffer moves
{}
Tune exports to your liking if need be
{}
{}
  • 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.
init
effective procedure
{}
top
with_reducer (a_reducer: PACKRAT_REDUCER)
effective procedure
{}
top
require
  • a_reducer /= Void
ensure
make
effective procedure
{}
top
default_reducer: PACKRAT_DEFAULT_REDUCER
once function
{}
top
once function
{}
top
writable attribute
{}
top
effective function
{ANY}
top
reset
effective procedure
{ANY}
top
set_table (a_table: PARSE_TABLE[PACKRAT_PARSE_CONTEXT], a_root: STRING)
effective procedure
{EIFFELTEST_TOOLS}
top
ensure
root: STRING
writable attribute
{EIFFELTEST_TOOLS}
top
reset_table
effective procedure
{EIFFELTEST_TOOLS}
top
parse_lookahead (buffer: MINI_PARSER_BUFFER): PACKRAT_IMAGE
effective function
{}
top
parse_quantifier (buffer: MINI_PARSER_BUFFER): PACKRAT_IMAGE
effective function
{}
top
parse_character (buffer: MINI_PARSER_BUFFER): PACKRAT_IMAGE
effective function
{}
top
parse_space (buffer: MINI_PARSER_BUFFER): PACKRAT_IMAGE
effective function
{}
top
effective function
{ANY}
top
require
error: PARSE_ERROR
writable attribute
{ANY}
top
reducer: PACKRAT_REDUCER
writable attribute
{}
top
reduce_nonterminal_def
effective procedure
{}
top
reduce_grammar
effective procedure
{}
top
reduce_pattern_first_alternative
effective procedure
{}
top
reduce_pattern_alternative
effective procedure
{}
top
reduce_pattern
effective procedure
{}
top
reduce_pattern_map (alt: PACKRAT_ALTERNATIVE)
effective procedure
{}
top
reduce_alternative_lookahead
effective procedure
{}
top
reduce_alternative_suffix_tag
effective procedure
{}
top
reduce_alternative_tag
effective procedure
{}
top
reduce_alternative
effective procedure
{}
top
reduce_quantifier
effective procedure
{}
top
reduce_suffix
effective procedure
{}
top
reduce_primary_as_nested_pattern
effective procedure
{}
top
reduce_primary_as_any
effective procedure
{}
top
reduce_primary_as_literal
effective procedure
{}
top
reduce_primay_as_charclass
effective procedure
{}
top
reduce_primary_as_nonterminal
effective procedure
{}
top
reduce_literal_start
effective procedure
{}
top
reduce_literal_string
effective procedure
{}
top
reduce_literal
effective procedure
{}
top
reduce_tag_start
effective procedure
{}
top
reduce_tag_string
effective procedure
{}
top
reduce_tag
effective procedure
{}
top
reduce_charclass_start
effective procedure
{}
top
reduce_charclass_range
effective procedure
{}
top
reduce_charclass_char
effective procedure
{}
top
reduce_charclass_class
effective procedure
{}
top
reduce_charclass
effective procedure
{}
top
reduce_nonterminal_name
effective procedure
{}
top
reduce_nonterminal
effective procedure
{}
top
reduce_space
effective procedure
{}
top
reduce_image_left_arrow (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_slash (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_not_and (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_star_plus_why (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_open_paren (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_close_paren (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_anychar (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_letter (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_string (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_quote (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_hyphen (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_dot (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_open_bracket (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_close_bracket (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_open_curly (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_close_curly (image: PARSER_IMAGE)
effective procedure
{}
top
reduce_image_space (image: PARSER_IMAGE)
effective procedure
{}
top
reset_features
effective procedure
{}
top
parse_any (buffer: MINI_PARSER_BUFFER): PACKRAT_IMAGE
effective function
{}
top
parse_regex (buffer: MINI_PARSER_BUFFER, regex: REGULAR_EXPRESSION): PACKRAT_IMAGE
effective function
{}
top
the regex must parse exactly one character
parse_string (buffer: MINI_PARSER_BUFFER, string: STRING): PACKRAT_IMAGE
effective function
{}
top
once function
{}
top
next_character (buffer: MINI_PARSER_BUFFER)
effective procedure
{}
top
restore (buffer: MINI_PARSER_BUFFER, a_position: PACKRAT_POSITION)
effective procedure
{}
top
position: PACKRAT_POSITION
writable attribute
{}
top
new_image (char: CHARACTER): PACKRAT_IMAGE
effective function
{}
top
one: INTEGER_8
is 0
constant attribute
{}
top
zero_or_one: INTEGER_8
is 1
constant attribute
{}
top
zero_or_more: INTEGER_8
is 2
constant attribute
{}
top
one_or_more: INTEGER_8
is 3
constant attribute
{}
top
seq (a_primaries: TRAVERSABLE[PACKRAT_PRIMARY], a_how_many: INTEGER_8, a_tag: ABSTRACT_STRING, a_action: PROCEDURE[TUPLE]): PACKRAT_ALTERNATIVE
effective function
{}
top
require
ref (a_atom_name: ABSTRACT_STRING): PACKRAT_PRIMARY
effective function
{}
top
require
  • a_atom_name /= Void
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.