+
Point of view
All features
expanded class PACKRAT_PACK
Summary
top
Direct parents
Insert list: TRISTATE_VALUES
Class invariant
top
Overview
top
Features
{ANY}
{PACKRAT_INTERNAL}
{ANY}
is_equal (other: PACKRAT_PACK): BOOLEAN
effective function
{ANY}
top
Is other attached to an object considered equal to current object?
require
  • other /= Void
ensure
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
parsed: TRISTATE
effective function
{ANY}
top
require
effective function
{ANY}
top
require
effective function
{ANY}
top
require
is_set: BOOLEAN
writable attribute
{ANY}
top
default_create
effective procedure
{ANY}
top
Default creation method.
It is used when no creation method is specified if allowed. Note it may be renamed.
set (a_parsed: TRISTATE, a_memo: PACKRAT_CONTEXT_MEMO, a_actions: COLLECTION[PARSE_ACTION])
effective procedure
{PACKRAT_INTERNAL}
top
require
  • not is_set
  • a_parsed.is_equal(no) = a_actions = Void
ensure
my_parsed: TRISTATE
writable attribute
{PACKRAT_INTERNAL}
top
writable attribute
{PACKRAT_INTERNAL}
top
my_actions: COLLECTION[PARSE_ACTION]
writable attribute
{PACKRAT_INTERNAL}
top
yes: TRISTATE
effective function
{ANY}
top
effective function
{ANY}
top
maybe: TRISTATE
effective function
{ANY}
top