+
Point of view
All features
class WEB_TEMPLATE_PARSER
Summary
top
Direct parents
Insert list: LOGGING, SINGLETON
Class invariant
top
Overview
top
Creation features
{ANY}
Features
{ANY}
{}
{}
{ANY}
  • is_equal (other: WEB_TEMPLATE_PARSER): BOOLEAN
    Is other attached to an object considered equal to current object?
{}
{}
  • 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.
effective function
{ANY}
top
require
  • a_replace /= Void
ensure
parse_error: PARSE_ERROR
writable attribute
{ANY}
top
reduce_non_terminal (a_name: FIXED_STRING)
effective procedure
{}
top
require
reduce_terminal (a_name: FIXED_STRING, a_image: PARSER_IMAGE)
effective procedure
{}
top
id: STRING
writable attribute
{}
top
name: STRING
writable attribute
{}
top
extension: FAST_ARRAY[STRING]
writable attribute
{}
top
last_string: STRING
writable attribute
{}
top
writable attribute
{}
top
writable attribute
{}
top
make
effective procedure
{}
top
writable attribute
{}
top
once function
{}
top
once function
{}
top
is_equal (other: WEB_TEMPLATE_PARSER): 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)
is_real_singleton: BOOLEAN
effective function
{}
top
ensure
  • assertion_check_only: Result
singleton_memory_pool: HASHED_DICTIONARY[POINTER, STRING]
once function
{}
top
This pool is unique in the whole system.
A memory is kept for each singleton type (type, not class) in the system.
current_is_not_an_expanded_type: BOOLEAN
effective function
{}
top
Check that the dynamic type of the SINGLETON is not an expanded type.
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.