GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EIFFEL_POSITION
+
Point of view
All features
ANY
EIFFEL_GRAMMAR
EIFFEL_IMAGE
EIFFEL_POSITION
All features
expanded class EIFFEL_POSITION
Summary
top
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
EIFFEL_GRAMMAR
}
default_create
Default creation method.
Features
{
EIFFEL_GRAMMAR
}
next
(buffer:
MINI_PARSER_BUFFER
): EIFFEL_POSITION
{
EIFFEL_GRAMMAR
,
EIFFEL_IMAGE
,
EIFFEL_POSITION
}
line
:
INTEGER_32
column
:
INTEGER_32
index
:
INTEGER_32
{
ANY
}
is_equal
(other: EIFFEL_POSITION):
BOOLEAN
Is
other
attached to an object considered equal to current object?
{}
default_create
Default creation method.
next
(buffer:
MINI_PARSER_BUFFER
): EIFFEL_POSITION
effective function
{
EIFFEL_GRAMMAR
}
top
line
:
INTEGER_32
writable attribute
{
EIFFEL_GRAMMAR
,
EIFFEL_IMAGE
,
EIFFEL_POSITION
}
top
column
:
INTEGER_32
writable attribute
{
EIFFEL_GRAMMAR
,
EIFFEL_IMAGE
,
EIFFEL_POSITION
}
top
index
:
INTEGER_32
writable attribute
{
EIFFEL_GRAMMAR
,
EIFFEL_IMAGE
,
EIFFEL_POSITION
}
top
is_equal
(other: EIFFEL_POSITION):
BOOLEAN
effective function
{
ANY
}
top
Is
other
attached to an object considered equal to current object?
require
other /= Void
ensure
commutative:
generating_type = other.generating_type implies Result = other.is_equal(Current)
default_create
effective procedure
{}
top
Default creation method.
It is used when no creation method is specified if allowed. Note it may be renamed.