Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	WEL_ARRAY [G -> WEL_STRUCTURE]

General
	cluster: wel
	description: "Fixed array for WEL_STRUCTURE. Used internally by WEL."
	create: make

Ancestors
	WEL_STRUCTURE*

Queries
	count: INTEGER_32
	exists: BOOLEAN
	i_th_item (index: INTEGER_32): POINTER
	is_equal (other: [like Current] WEL_ARRAY [G]): BOOLEAN
	item: POINTER
	item_size: INTEGER_32
	shared: BOOLEAN
	structure_size: INTEGER_32

Commands
	copy (other: [like Current] WEL_ARRAY [G])
	dispose
	initialize
	initialize_with_character (a_character: CHARACTER_8)
	memory_copy (source_pointer: POINTER; length: INTEGER_32)
	put (an_item: G; index: INTEGER_32)
	set_item (an_item: POINTER)
	set_shared
	set_unshared

Constraints
	positive count
	positive item size



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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