+
Point of view
All features
class PARSE_TABLE
- Direct parents
- insert list: ANY
extend (a_table: PARSE_TABLE)
effective procedure
require
- a_table /= Void
- a_table /= Current
require
- atom_name /= Void
- atom /= Void
ensure
require
- not atom_name.is_empty
- has(atom_name)
require
- not has(name)
- atom.name = Void
ensure
{PARSE_TABLE << name, atom; name, atom; . . . name, atom >>}where each name is a STRING and each atom may be either a PARSE_NON_TERMINAL or a PARSE_TERMINAL.