Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class ARGUMENT_FLAG_SWITCH Ancestors ARGUMENT_VALUE_SWITCH Clients ARGUMENT_FLAG_SWITCH Suppliers ARGUMENT_FLAGS_VALIDATOR ARGUMENT_FLAG_OPTION ARGUMENT_FLAG_SWITCH ARRAY [G] ARRAYED_LIST [G] ARRAY_ITERATION_CURSOR [G] BOOLEAN CHARACTER_8 HASH_TABLE [G, K -> detachable HASHABLE] HASH_TABLE_ITERATION_CURSOR [G, K -> detachable HASHABLE] INTEGER_32 ITERATION_CURSOR* [G] LIST* [G] SORTED_TWO_WAY_LIST [G -> COMPARABLE] STRING_8 TWO_WAY_LIST_ITERATION_CURSOR [G]
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org