Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	PACKET

General
	cluster: abstract
	description: "A data packet for sending and receiving on a socket."
	create: make, make_from_managed_pointer

Ancestors
	ANY

Queries
	at alias "@" (i: INTEGER_32): CHARACTER_8
	count: INTEGER_32
	data: MANAGED_POINTER
	element alias "[]" (i: INTEGER_32): CHARACTER_8
	is_equal (other: [like Current] PACKET): BOOLEAN
	valid_position (i: INTEGER_32): BOOLEAN

Commands
	copy (other: [like Current] PACKET)
	make (size: INTEGER_32)
	make_from_managed_pointer (a_data: [like data] MANAGED_POINTER)
	put_element (v: CHARACTER_8; i: INTEGER_32)

Constraints
	data not equal void



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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