class
	THREAD_ENVIRONMENT

General
	cluster: ise
	description: "Information about the current thread execution"

Ancestors
	ANY

Queries
	current_thread_id: POINTER

Generated by ISE EiffelStudio