GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
PACKRAT_CONTEXT_MEMO
+
Point of view
All features
ANY
PACKRAT_INTERNAL
PACKRAT_PARSE_CONTEXT
All features
expanded class PACKRAT_CONTEXT_MEMO
Summary
top
Direct parents
Insert list:
PACKRAT_INTERNAL
Overview
top
Features
{
ANY
}
is_equal
(other: PACKRAT_CONTEXT_MEMO):
BOOLEAN
Is
other
attached to an object considered equal to current object?
{
PACKRAT_INTERNAL
}
is_set
:
BOOLEAN
memo
:
INTEGER_32
action_count
:
INTEGER_32
{
PACKRAT_PARSE_CONTEXT
}
set
(a_memo:
INTEGER_32
, a_action_count:
INTEGER_32
)
my_memo
:
INTEGER_32
my_action_count
:
INTEGER_32
{}
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
}
top
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
{
PACKRAT_INTERNAL
}
top
memo
:
INTEGER_32
effective function
{
PACKRAT_INTERNAL
}
top
require
is_set
action_count
:
INTEGER_32
effective function
{
PACKRAT_INTERNAL
}
top
require
is_set
set
(a_memo:
INTEGER_32
, a_action_count:
INTEGER_32
)
effective procedure
{
PACKRAT_PARSE_CONTEXT
}
top
require
not
is_set
ensure
is_set
memo
= a_memo
action_count
= a_action_count
my_memo
:
INTEGER_32
writable attribute
{
PACKRAT_PARSE_CONTEXT
}
top
my_action_count
:
INTEGER_32
writable attribute
{
PACKRAT_PARSE_CONTEXT
}
top
log
:
LOGGER
effective function
{}
top
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
{}
top
The cached logger.
The ugly name is intentional. Don't use directly.