note
	description: "An effect to play on a GAME_HAPTIC"
	author: "Louis Marchand"
	date: "Mon, 02 Mar 2015 16:23:11 +0000"
	revision: "2.0"

deferred class interface
	GAME_HAPTIC_EFFECT

feature -- Access

	length: NATURAL_32 assign set_length
			-- Duration of Current (in millisecond)
		require
			exists: exists

	set_length (a_length: NATURAL_32)
			-- Assign length with the value of a_length
		require
			exists: exists
			length_valid: a_length <= 32767
		ensure
			is_assign: length = a_length
	
feature -- Implementation

	structure_size: INTEGER_32
			-- Size to allocate (in bytes).
	
invariant
	type_valid: type > 0

end -- class GAME_HAPTIC_EFFECT

Generated by ISE EiffelStudio