indexing description: "Objects that represent an EV_DIALOG.% %The original version of this class was generated by EiffelBuild." date: "$Date$" revision: "$Revision$" class EXCEPTION_DIALOG inherit EXCEPTION_DIALOG_IMP feature {NONE} -- Initialization user_initialization is -- called by `initialize'. -- Any custom user initialization that -- could not be performed in `initialize', -- (due to regeneration of implementation class) -- can be added here. do okay_button.select_actions.extend (agent destroy) end feature -- Status Setting set_summary (a_type: STRING) is -- Set summary require type_not_void: a_type /= Void type_not_empty: not a_type.is_empty do summary_label.set_text (a_type) end set_exception_type (a_type: STRING) is -- Set type require type_not_void: a_type /= Void type_not_empty: not a_type.is_empty do a_type.replace_substring_all ("%R", "") excpt_type_label.set_text (a_type) end set_exception_trace (a_trace: STRING) is -- Set trace require trace_not_void: a_trace /= Void trace_not_empty: not a_trace.is_empty do a_trace.replace_substring_all ("%R", "") excpt_trace_text.set_text (a_trace) end end -- class EXCEPTION_DIALOG