class
	SHARED_EXECUTION_ENVIRONMENT

General
	cluster: ise
	description: "Shared instance of execution environment."

Ancestors
	ANY

Generated by ISE EiffelStudio