indexing description: "Objects that ..." author: "" date: "$Date$" revision: "$Revision$" class EM_SHARED_BASE_SUBSYSTEMS feature Timer_subsystem: EM_TIMER_SUBSYSTEM is -- EiffelMedia timer subsystem once create Result.make ensure timer_subsystem_not_void: Result /= Void end Joystick_subsystem: EM_JOYSTICK_SUBSYSTEM is -- EiffelMedia joystick subsystem once create Result.make ensure joystick_subsystem_not_void: Result /= Void end Cdrom_subsystem: EM_CDROM_SUBSYSTEM is -- EiffelMedia CD ROM subsystem once create Result.make ensure cdrom_subsystem_not_void: Result /= Void end end