+
Point of view
All features
deferred class EIFFEL_IMAGE
Summary
Direct parents
Inherit list: PARSER_IMAGE
Known children
Inherit list: TYPED_EIFFEL_IMAGE, UNTYPED_EIFFEL_IMAGE
Class invariant
Overview
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}
Redefined because Liberty Eiffel's default is_equal generates bad code in some strange situations
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.
position: EIFFEL_POSITION
writable attribute
the position of the image (discarding the leading blanks)