note description: "[ Individual verifiation error. ]" date: "$Date$" revision: "$Revision$" deferred class E2B_VERIFICATION_ERROR feature {NONE} -- Initialization make (a_parent: E2B_VERIFICATION_RESULT) -- Initialize verification error. do verification_result := a_parent end feature -- Access verification_result: E2B_VERIFICATION_RESULT -- Related verification result. context_feature: detachable FEATURE_I -- Related Eiffel feature (if any). do Result := verification_result.context_feature end context_class: detachable CLASS_C -- Related Eiffel class (if any). do Result := verification_result.context_class end context_line_number: INTEGER -- Related Eiffel line number (if any). feature -- Display single_line_message (a_formatter: TEXT_FORMATTER) -- Single line description of this error. deferred end multi_line_message (a_formatter: TEXT_FORMATTER) -- Multi line description of this error. do single_line_message (a_formatter) end end