GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
TYPED_EIFFEL_IMAGE
+
Point of view
All features
ANY
EIFFEL_IMAGE
All features
class TYPED_EIFFEL_IMAGE [E_]
Summary
top
Direct parents
Inherit list:
EIFFEL_IMAGE
Class invariant
top
decoded
/= Void
image /= Void
Overview
top
Creation features
{
EIFFEL_GRAMMAR
}
make
(a_image:
STRING
, a_decoded: E_, a_blanks:
STRING
, a_position:
EIFFEL_POSITION
)
Features
{
ANY
}
decoded
: E_
{}
make
(a_image:
STRING
, a_decoded: E_, a_blanks:
STRING
, a_position:
EIFFEL_POSITION
)
{
ANY
}
is_equal
(other: TYPED_EIFFEL_IMAGE [E_]):
BOOLEAN
Redefined because Liberty Eiffel's default is_equal generates bad code in some strange situations
{
ANY
}
image
:
STRING
the real image of the token
blanks
:
STRING
the leading blanks and comments (before the
image
itself)
line
:
INTEGER_32
column
:
INTEGER_32
index
:
INTEGER_32
out_in_tagged_out_memory
Append terse printable representation of current object in
tagged_out_memory
.
{
EIFFEL_IMAGE
}
position
:
EIFFEL_POSITION
the position of the
image
(discarding the leading
blanks
)
decoded
: E_
writable attribute
{
ANY
}
top
make
(a_image:
STRING
, a_decoded: E_, a_blanks:
STRING
, a_position:
EIFFEL_POSITION
)
effective procedure
{}
top
require
a_image /= Void
a_decoded /= Void
ensure
image
= a_image
decoded
= a_decoded
blanks
= a_blanks
position
.is_equal(a_position)
is_equal
(other: TYPED_EIFFEL_IMAGE [E_]):
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
)