+
Point of view
All features
class VAR
Summary
top
Direct parents
Insert list: ANY
Overview
top
Creation features
{ANY}
Features
{ANY}
{}
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
make (the_group: GROUP, the_name: STRING)
effective procedure
{ANY}
top
start
effective procedure
{ANY}
top
ensure
is_off: BOOLEAN
effective function
{ANY}
top
ensure
  • Result = item /= Void
next
effective procedure
{ANY}
top
require
goto_index (idx: INTEGER_32)
effective procedure
{ANY}
top
require
  • idx.in_range(0, group.item_count - 1)
ensure
value: INTEGER_32
writable attribute
{}
top