note
	description: "Summary description for {E2B_FAILED_VERIFICATION}."
	date: "$Date$"
	revision: "$Revision$"

class
	E2B_FAILED_VERIFICATION

inherit

	E2B_VERIFICATION_RESULT

create
	make

feature {NONE} -- Initialization

	make
			-- Initialize.
		do
			create errors.make
		end

feature -- Access

	errors: LINKED_LIST [E2B_VERIFICATION_ERROR]
			-- List of verification errors.

feature -- Display

	single_line_message (a_formatter: TEXT_FORMATTER)
			-- <Precursor>
		do
			if errors.is_empty then
				a_formatter.add ("(no message found)")
			else
				errors.first.single_line_message (a_formatter)
				if errors.count > 1 then
					a_formatter.add_space
					if errors.count = 2 then
						a_formatter.add ("(+1 more error)")
					else
						a_formatter.add ("(+" + (errors.count-1).out + " more errors)")
					end
				end
			end
		end

end