GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
PARSE_ERROR
+
Point of view
All features
ANY
PARSE_ERROR
All features
class PARSE_ERROR
Summary
top
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
ANY
}
make
(a_index:
INTEGER_32
, a_message:
STRING
, a_previous: PARSE_ERROR)
Features
{
ANY
}
index
:
INTEGER_32
message
:
STRING
next
: PARSE_ERROR
{
PARSE_ERROR
}
set_next
(a_next: PARSE_ERROR)
last
: PARSE_ERROR
{}
make
(a_index:
INTEGER_32
, a_message:
STRING
, a_previous: PARSE_ERROR)
index
:
INTEGER_32
writable attribute
{
ANY
}
top
message
:
STRING
writable attribute
{
ANY
}
top
next
: PARSE_ERROR
writable attribute
{
ANY
}
top
set_next
(a_next: PARSE_ERROR)
effective procedure
{
PARSE_ERROR
}
top
require
a_next /= Void
a_next /= Current
ensure
last
= a_next
last
: PARSE_ERROR
effective function
{
PARSE_ERROR
}
top
ensure
Result /= Void
make
(a_index:
INTEGER_32
, a_message:
STRING
, a_previous: PARSE_ERROR)
effective procedure
{}
top
require
a_message /= Void
ensure
index
= a_index
message
= a_message
a_previous /= Void implies a_previous.
last
= Current