class
	THREAD_ATTRIBUTES

General
	cluster: thread
	description: "Class defining thread attributes."
	create: make

Ancestors
	ANY
	MEMORY_STRUCTURE*

Queries
	default_priority: INTEGER_32
	exists: BOOLEAN
	item: POINTER
	max_priority: INTEGER_32
	min_priority: INTEGER_32
	priority: INTEGER_32
	shared: BOOLEAN
	stack_size: NATURAL_64
	structure_size: INTEGER_32

Commands
	make_by_pointer (a_ptr: POINTER)
	mem_make
	set_priority (prio: [like priority] INTEGER_32)
	set_stack_size (s: [like stack_size] NATURAL_64)

Constraints
	priority bounded

Generated by ISE EiffelStudio