+
Point of view
All features
class PACKRAT_DEFAULT_REDUCER
Features
{}
{}
{}
{}
{}
{}
{}
{}
ensure
-
useful: Result.is_coherent
reduce_pattern_first_alternative
effective procedure
reduce_pattern_alternative
effective procedure
reduce_alternative_lookahead
effective procedure
reduce_alternative_suffix_tag
effective procedure
reduce_primary_as_nested_pattern
effective procedure
reduce_primary_as_literal
effective procedure
reduce_primay_as_charclass
effective procedure
reduce_primary_as_nonterminal
effective procedure
is 0
constant attribute
{}
is 1
constant attribute
{}
is 2
constant attribute
{}
require
- a_name /= Void
- a_atom /= Void
- atom(a_name) = Void
ensure
is 0
constant attribute
{}
is 1
constant attribute
{}
is 2
constant attribute
{}
is 3
constant attribute
{}