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