note
	description: "The main manager of the text library."
	author: "Louis Marchand"
	date: "Mon, 30 Mar 2015 01:20:46 +0000"
	revision: "2.0"

class interface
	TEXT_CONTROLLER

create 
	default_create

feature -- Access

	is_text_enable: BOOLEAN assign set_is_text_enable
			-- The library is enabled.

	set_is_text_enable (a_value: BOOLEAN)
			-- Assign to is_text_enable the value of a_value
		ensure
			is_assign: not has_error implies is_text_enable ~ a_value

	enable_text
			-- Activate the game text library.
		ensure
			enable_text_is_enable: not has_error implies is_text_enable

	disable_text
			-- Desactivate the library.
		require
			disable_text_is_enable: is_text_enable
		ensure
			is_disable: not is_text_enable

	quit_library
			-- Close the library.
	
end -- class TEXT_CONTROLLER

Generated by ISE EiffelStudio