class
	TEST_EHEALTH_SYSTEM

Ancestors
	COMMON_SETUP2
	ES_TEST*

Clients
	ROOT
	TEST_EHEALTH_SYSTEM

Suppliers
	BOOLEAN
	HEALTH_SYSTEM
	INTERACTION
	PAIR [G -> attached ANY, H -> attached ANY]
	REL [G -> attached ANY, H -> attached ANY]
	SET [G -> attached ANY]
	TEST_EHEALTH_SYSTEM


Generated by ISE EiffelStudio