note
	description: "A GAME_HAPTIC_EFFECT that have a starting delay and a restarting interval.."
	author: "Louis Marchand"
	date: "Thu, 02 Apr 2015 02:40:10 +0000"
	revision: "2.0"

deferred class interface
	GAME_HAPTIC_EFFECT_DELAYED

feature -- Access

	delay: NATURAL_16 assign set_delay
			-- delay before starting Current (in millisecond)
		require
			exists: exists

	set_delay (a_delay: NATURAL_16)
			-- Assign delay with the value of a_delay
		require
			exists: exists
			delay_valid: a_delay <= 32767
		ensure
			is_assign: delay = a_delay

	interval: NATURAL_16 assign set_interval
			-- how soon before effect can be triggered again (in millisecond)
		require
			exists: exists

	set_interval (a_interval: NATURAL_16)
			-- Assign interval with the value of a_interval
		require
			exists: exists
			interval_valid: a_interval <= 32767
		ensure
			is_assign: interval = a_interval
	
end -- class GAME_HAPTIC_EFFECT_DELAYED

Generated by ISE EiffelStudio