GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
GROUP
+
Point of view
All features
ANY
All features
class GROUP
Summary
top
Direct parents
Insert list:
ANY
Class invariant
top
is_numeric
or
is_ordered
or
is_atomic
Overview
top
Creation features
{
ANY
}
make_atomic
(the_name:
STRING
, the_index:
INTEGER_32
)
make_numeric
(the_name:
STRING
, the_index:
INTEGER_32
)
make_ordered
(the_name:
STRING
, the_index:
INTEGER_32
)
Features
{
ANY
}
item
:
ITEM_ITEM
item_array
: FAST_ARRAY[
ITEM_ITEM
]
item_dictionary
: AVL_DICTIONARY[
ITEM_ITEM
,
STRING
]
var
:
ITEM_VAR
var_dictionary
: AVL_DICTIONARY[
ITEM_VAR
,
STRING
]
width
:
INTEGER_32
is_atomic
:
BOOLEAN
is_numeric
:
BOOLEAN
is_ordered
:
BOOLEAN
is_like_integer
:
BOOLEAN
name
:
STRING
index
:
INTEGER_32
make
(the_name:
STRING
, the_index:
INTEGER_32
)
make_atomic
(the_name:
STRING
, the_index:
INTEGER_32
)
make_numeric
(the_name:
STRING
, the_index:
INTEGER_32
)
make_ordered
(the_name:
STRING
, the_index:
INTEGER_32
)
add_item
(item_name:
STRING
)
goto_name
(item_name:
STRING
)
goto_index
(item_index:
INTEGER_32
)
item_count
:
INTEGER_32
get_var
(var_name:
STRING
)
get_anonymous_var
item
:
ITEM_ITEM
writable attribute
{
ANY
}
top
item_array
: FAST_ARRAY[
ITEM_ITEM
]
writable attribute
{
ANY
}
top
item_dictionary
: AVL_DICTIONARY[
ITEM_ITEM
,
STRING
]
writable attribute
{
ANY
}
top
var
:
ITEM_VAR
writable attribute
{
ANY
}
top
var_dictionary
: AVL_DICTIONARY[
ITEM_VAR
,
STRING
]
writable attribute
{
ANY
}
top
width
:
INTEGER_32
writable attribute
{
ANY
}
top
is_atomic
:
BOOLEAN
writable attribute
{
ANY
}
top
is_numeric
:
BOOLEAN
writable attribute
{
ANY
}
top
is_ordered
:
BOOLEAN
writable attribute
{
ANY
}
top
is_like_integer
:
BOOLEAN
effective function
{
ANY
}
top
name
:
STRING
writable attribute
{
ANY
}
top
index
:
INTEGER_32
writable attribute
{
ANY
}
top
make
(the_name:
STRING
, the_index:
INTEGER_32
)
effective procedure
{
ANY
}
top
make_atomic
(the_name:
STRING
, the_index:
INTEGER_32
)
effective procedure
{
ANY
}
top
make_numeric
(the_name:
STRING
, the_index:
INTEGER_32
)
effective procedure
{
ANY
}
top
make_ordered
(the_name:
STRING
, the_index:
INTEGER_32
)
effective procedure
{
ANY
}
top
add_item
(item_name:
STRING
)
effective procedure
{
ANY
}
top
require
is_numeric
implies item_name.is_integer
goto_name
(item_name:
STRING
)
effective procedure
{
ANY
}
top
goto_index
(item_index:
INTEGER_32
)
effective procedure
{
ANY
}
top
item_count
:
INTEGER_32
effective function
{
ANY
}
top
get_var
(var_name:
STRING
)
effective procedure
{
ANY
}
top
get_anonymous_var
effective procedure
{
ANY
}
top