note
	description: "A use example"
	author: "Basile Maret"

deferred class
	EXAMPLE

feature -- Initialization

	make
			-- Create the example
		deferred
		ensure
			imap_not_void: imap /= Void and then imap.is_connected
		end

feature -- Basic operation

	run_example
			-- Run the example
		require
			imap.is_connected
		deferred
		ensure
			not imap.is_connected
		end

feature {NONE} -- Constants

	Server_name: STRING = "your_server.ch"
			-- The address of the server

	User_name: STRING = "your_name@your_server.ch"
			-- The user name

	Password: STRING = "qwertz"
			-- The password for `user_name'

feature -- Access

	imap: IMAP_CLIENT_LIB
end