class
	EL_FALLIBLE

feature -- Status query

	has_error: BOOLEAN
		do
			Result := attached internal_error_list
		end

feature -- Access

	error_list: EL_ARRAYED_LIST [EL_ERROR_DESCRIPTION]
		do
			if attached internal_error_list as list then
				Result := list
			else
				create Result.make_empty
				internal_error_list := Result
			end
		end

feature -- Element change

	put (error: EL_ERROR_DESCRIPTION)
		do
			error_list.extend (error)
		end

	put_error_message (message: READABLE_STRING_GENERAL)
		local
			error: EL_ERROR_DESCRIPTION
		do
			create error.make_empty
			error.set_lines (message)
			put (error)
		end

	reset
		do
			internal_error_list := Void
		end

feature -- Basic operations

	print_errors (log: EL_LOGGABLE)
		do
			across error_list as list loop
				log.put_new_line
				list.item.print_to (log)
			end
		end

feature {NONE} -- Internal attributes

	internal_error_list: detachable EL_ARRAYED_LIST [EL_ERROR_DESCRIPTION] note option: transient attribute end
end