Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class HEADER General cluster: mail description: "Objects that contains all the information relative to any header. Headers can only have email addresses informations." create: make, make_with_entries Ancestors ANY Queries entries: ARRAYED_LIST [READABLE_STRING_8] multiple_entries: BOOLEAN unique_entry: READABLE_STRING_8 Commands add_entries (list: ITERABLE [READABLE_STRING_8]) add_entry (s: READABLE_STRING_8) enable_multiple_entries remove_entry (entry: READABLE_STRING_8) remove_i_th_entry (i: INTEGER_32)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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