class
	PACKET

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

Ancestors
	TO_SPECIAL [T]
	TO_SPECIAL [T]

Queries
	count: INTEGER
	data: SPECIAL [CHARACTER]
	element (pos: INTEGER): CHARACTER
	is_equal (other: [like Current] PACKET): BOOLEAN
	valid_position (pos: INTEGER): BOOLEAN

Commands
	copy (other: [like Current] PACKET)
	make (size: INTEGER)
	put_element (an_item: CHARACTER; pos: INTEGER)

Constraints
	data not equal void