+
Point of view
All features
class PACKRAT_IMAGE
Summary
Direct parents
Inherit list: PARSER_IMAGE
Insert list: PACKRAT_INTERNAL
Class invariant
Overview
Creation features
{PACKRAT_INTERNAL}
Features
{ANY}
{}
{}
  • 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.
image: STRING
writable attribute
{ANY}
the real image of the token
line: INTEGER_32
effective function
{ANY}
column: INTEGER_32
effective function
{ANY}
index: INTEGER_32
effective function
{ANY}
out_in_tagged_out_memory
effective procedure
{ANY}
Append terse printable representation of current object in tagged_out_memory.
require
      • locked: tagged_out_locked
      • locked: tagged_out_locked
    • locked: tagged_out_locked
ensure
  • still_locked: tagged_out_locked
  • not_cleared: tagged_out_memory.count >= old tagged_out_memory.count
  • append_only: old tagged_out_memory.twin.is_equal(tagged_out_memory.substring(1, old tagged_out_memory.count))
position: PACKRAT_POSITION
writable attribute
{}
the position of the image (discarding the leading blanks)
make (a_image: STRING, a_position: PACKRAT_POSITION)
effective procedure
{}
require
  • a_image /= Void
ensure
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.