expanded class PACKRAT_CONTEXT_MEMO
Summary
Direct parents
Insert list: PACKRAT_INTERNAL
Overview
Features
{ANY}
  • is_equal (other: PACKRAT_CONTEXT_MEMO): BOOLEAN
    Is other attached to an object considered equal to current object?
{PACKRAT_INTERNAL}
{PACKRAT_PARSE_CONTEXT}
{}
  • log: LOGGER
    There is one logger per concrete type; for performance reasons it is cached in each instance.
  • log_memory__0_: LOGGER
    The cached logger.
is_equal (other: PACKRAT_CONTEXT_MEMO): BOOLEAN
effective function
{ANY}
Is other attached to an object considered equal to current object?
require
    • other /= Void
    • other /= Void
ensure
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
is_set: BOOLEAN
writable attribute
memo: INTEGER_32
effective function
require
action_count: INTEGER_32
effective function
require
set (a_memo: INTEGER_32, a_action_count: INTEGER_32)
effective procedure
require ensure
my_memo: INTEGER_32
writable attribute
my_action_count: INTEGER_32
writable attribute
log: LOGGER
effective function
{}
There is one logger per concrete type; for performance reasons it is cached in each instance.
ensure
  • Result /= Void
log_memory__0_: LOGGER
writable attribute
{}
The cached logger.
The ugly name is intentional. Don't use directly.