class EXCEPTION General cluster: base description: "Exception object for EiffelVision, will be replaced when exception objects are available" create: make_with_tag_and_trace Ancestors ANY Queries tag: STRING_8 trace_as_string: STRING_8