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