GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
VAR
+
Point of view
All features
ANY
All features
class VAR
Summary
top
Direct parents
Insert list:
ANY
Overview
top
Creation features
{
ANY
}
make
(the_group:
GROUP
, the_name:
STRING
)
Features
{
ANY
}
group
:
GROUP
name
:
STRING
item
:
ITEM
to_integer
:
INTEGER_32
make
(the_group:
GROUP
, the_name:
STRING
)
start
is_off
:
BOOLEAN
next
goto_index
(idx:
INTEGER_32
)
{}
value
:
INTEGER_32
group
:
GROUP
writable attribute
{
ANY
}
top
name
:
STRING
writable attribute
{
ANY
}
top
item
:
ITEM
writable attribute
{
ANY
}
top
to_integer
:
INTEGER_32
effective function
{
ANY
}
top
require
group
.is_like_integer
not
is_off
make
(the_group:
GROUP
, the_name:
STRING
)
effective procedure
{
ANY
}
top
start
effective procedure
{
ANY
}
top
ensure
group
.item_count > 0 /=
is_off
is_off
:
BOOLEAN
effective function
{
ANY
}
top
ensure
Result =
item
/= Void
next
effective procedure
{
ANY
}
top
require
not
is_off
goto_index
(idx:
INTEGER_32
)
effective procedure
{
ANY
}
top
require
idx.in_range(0,
group
.item_count - 1)
ensure
not
is_off
value
:
INTEGER_32
writable attribute
{}
top