GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
TEMPLATE_LOOP_ITEM
+
Point of view
All features
ANY
TEMPLATE_INPUT_STREAM
TEMPLATE_LOOP_ITEM
All features
expanded class TEMPLATE_LOOP_ITEM
Summary
top
Direct parents
Insert list:
ANY
Overview
top
Features
{
TEMPLATE_INPUT_STREAM
,
TEMPLATE_LOOP_ITEM
}
name
:
FIXED_STRING
index
:
INTEGER_32
discard
:
BOOLEAN
new
(a_name:
FIXED_STRING
, a_index:
INTEGER_32
, a_discard:
BOOLEAN
): TEMPLATE_LOOP_ITEM
{
TEMPLATE_LOOP_ITEM
}
set_name
(a_name:
FIXED_STRING
) assign
name
set_index
(a_index:
INTEGER_32
) assign
index
set_discard
(a_discard:
BOOLEAN
) assign
discard
name
:
FIXED_STRING
writable attribute
{
TEMPLATE_INPUT_STREAM
,
TEMPLATE_LOOP_ITEM
}
top
index
:
INTEGER_32
writable attribute
{
TEMPLATE_INPUT_STREAM
,
TEMPLATE_LOOP_ITEM
}
top
discard
:
BOOLEAN
writable attribute
{
TEMPLATE_INPUT_STREAM
,
TEMPLATE_LOOP_ITEM
}
top
new
(a_name:
FIXED_STRING
, a_index:
INTEGER_32
, a_discard:
BOOLEAN
): TEMPLATE_LOOP_ITEM
effective function
{
TEMPLATE_INPUT_STREAM
,
TEMPLATE_LOOP_ITEM
}
top
ensure
Result.
name
= a_name
Result.
index
= a_index
Result.
discard
= a_discard
set_name
(a_name:
FIXED_STRING
) assign
name
effective procedure
{
TEMPLATE_LOOP_ITEM
}
top
require
a_name /= Void
ensure
name
= a_name
set_index
(a_index:
INTEGER_32
) assign
index
effective procedure
{
TEMPLATE_LOOP_ITEM
}
top
ensure
index
= a_index
set_discard
(a_discard:
BOOLEAN
) assign
discard
effective procedure
{
TEMPLATE_LOOP_ITEM
}
top
ensure
discard
= a_discard