class
	MEMORY_STREAM

General
	obsolete: "Use MANAGED_POINTER instead."
	cluster: elks
	description: "Stream of data stored in non Eiffel memory"
	create: make, make_from_pointer

Ancestors
	DISPOSABLE*

Queries
	area: POINTER
	at alias "@" (i: INTEGER_32): INTEGER_8
	capacity: INTEGER_32
	count: INTEGER_32
	is_equal (other: [like Current] MEMORY_STREAM): BOOLEAN
	is_resizable: BOOLEAN
	item alias "[]" (i: INTEGER_32): INTEGER_8
	valid_index (i: INTEGER_32): BOOLEAN

Commands
	append (other: [like Current] MEMORY_STREAM)
	copy (other: [like Current] MEMORY_STREAM)
	dispose
	force (v: INTEGER_8; i: INTEGER_32)
	put (v: INTEGER_8; i: INTEGER_32)
	set_capacity (n: INTEGER_32)
	set_count (n: INTEGER_32)

Constraints
	non void internal area
	area not null

Generated by ISE EiffelStudio