+
Point of view
TYPED_INTERNALS
class ESE_PARSER
- Direct parents
- insert list: ANY
require
- a_actions /= Void
- grammar.is_coherent
- grammar.has(start)
ensure
- a_actions.count >= old a_actions.count
- error_message /= Void implies a_actions.count = old a_actions.count