note
	description: "A GAME_HAPTIC_EFFECT that can have an infinte length."
	author: "Louis Marchand"
	date: "Mon, 02 Mar 2015 16:23:11 +0000"
	revision: "2.0"

deferred class interface
	GAME_HAPTIC_EFFECT_INFINITE_LENGTH

feature -- Access

	set_infinite
			-- When played, Current will never stop by itself
		require
			exists: exists
		ensure
			infinite_is_set: is_infinite

	is_infinite: BOOLEAN
			-- It True, Current will never stop by itself when started
		require
			exists: exists

	set_length (a_length: NATURAL_32)
			-- Assign length with the value of a_length
		require else
			exists: exists
			length_valid: a_length <= 32767 or a_length = {GAME_SDL_EXTERNAL}.sdl_haptic_infinity
	
end -- class GAME_HAPTIC_EFFECT_INFINITE_LENGTH

Generated by ISE EiffelStudio