+
Point of view
All features
class UNTYPED_EIFFEL_IMAGE
Summary
Direct parents
Inherit list: EIFFEL_IMAGE
Class invariant
Overview
Creation features
{EIFFEL_GRAMMAR}
Features
{}
{ANY}
  • is_equal (other: UNTYPED_EIFFEL_IMAGE): BOOLEAN
    Redefined because Liberty Eiffel's default is_equal generates bad code in some strange situations
{ANY}
{EIFFEL_IMAGE}
make (a_image: STRING, a_blanks: STRING, a_position: EIFFEL_POSITION)
effective procedure
{}
require
  • a_image /= Void
ensure
is_equal (other: UNTYPED_EIFFEL_IMAGE): BOOLEAN
effective function
{ANY}
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}
the real image of the token
blanks: STRING
writable attribute
{ANY}
the leading blanks and comments (before the image itself)
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
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
the position of the image (discarding the leading blanks)