+
Point of view
All features
class PARSE_ACTION
Summary
top
Direct parents
Insert list: ANY
Class invariant
top
Overview
top
Creation features
{PARSER_FACET}
Features
{ANY}
{PARSER_FACET}
{}
writable attribute
{ANY}
top
useful for debug
call
effective procedure
{ANY}
top
set_name (a_name: ABSTRACT_STRING)
effective procedure
{PARSER_FACET}
top
ensure
make (a_action: PROCEDURE[TUPLE])
effective procedure
{}
top
require
  • a_action /= Void
ensure
action: PROCEDURE[TUPLE]
writable attribute
{}
top