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