    deferred class
    	EV_TIMEOUT_I

    General
    	cluster: implementation_mswin
    	description: "Eiffel Vision timeout. Implementation interface."

    Ancestors
    	EV_ANY_I*

    Queries
    	count: INTEGER_32
    	interval: INTEGER_32
    	is_timeout_executing: BOOLEAN

    Commands
    	on_timeout
    	reset_count
    	set_interval (an_interval: INTEGER_32)

    Constraints
    	interval not negative
    	count not negative