+
Point of view
All features
deferred class EIFFEL_IMAGE
Summary
top
Direct parents
Inherit list: PARSER_IMAGE
Known children
Inherit list: TYPED_EIFFEL_IMAGE, UNTYPED_EIFFEL_IMAGE
Class invariant
top
Overview
top
Features
{ANY}
  • is_equal (other: EIFFEL_IMAGE): BOOLEAN
    Redefined because Liberty Eiffel's default is_equal generates bad code in some strange situations
{ANY}
{EIFFEL_IMAGE}
is_equal (other: EIFFEL_IMAGE): BOOLEAN
effective function
{ANY}
top
Redefined because Liberty Eiffel's default is_equal generates bad code in some strange situations
require
  • other /= Void
ensure
  • commutative: generating_type = other.generating_type implies Result = other.is_equal(Current)
image: STRING
writable attribute
{ANY}
top
the real image of the token
blanks: STRING
writable attribute
{ANY}
top
the leading blanks and comments (before the image itself)
line: INTEGER_32
effective function
{ANY}
top
column: INTEGER_32
effective function
{ANY}
top
index: INTEGER_32
effective function
{ANY}
top
out_in_tagged_out_memory
effective procedure
{ANY}
top
Append terse printable representation of current object in tagged_out_memory.
require
  • 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: EIFFEL_POSITION
writable attribute
{EIFFEL_IMAGE}
top
the position of the image (discarding the leading blanks)