Description of "ThreadQueue" Data Type

The type "ThreadQueue" is defined in /pliant/language/schedule/threads_engine.pli module.

Field	Type
first	(Pointer ThreadHeader)


	Method name	Arguments					Result

	add_current_thread	Name	`queue`	`priority`	`restart_cost`
		Type	ThreadQueue	Int	Int
		Access	`Arw`	`Arv`	`Arv`

	is_empty	Name	`q`
		Type	ThreadQueue				CBool
		Access	`Ar`				`AwvR`

	restart_some_threads	Name	`queue`	`quantity`	`variable`	`value`
		Type	ThreadQueue	Int	uInt	uInt
		Access	`Arw`	`Arv`	`Arw`	`Arv`

	restart_some_threads	Name	`queue`	`quantity`
		Type	ThreadQueue	Int
		Access	`Arw`	`Arv`