class
	LOOP_INVARIANT_VIOLATION

General
	cluster: elks
	description: "Exception raised for violated loop invariant"

Ancestors
	ASSERTION_VIOLATION*

Queries
	cause: EXCEPTION
	code: INTEGER_32
	description: detachable READABLE_STRING_GENERAL
	Exception_manager: EXCEPTION_MANAGER
	is_caught: BOOLEAN
	is_ignorable: BOOLEAN
	is_ignored: BOOLEAN
	is_raisable: BOOLEAN
	line_number: INTEGER_32
	original: EXCEPTION
	out: STRING_8
	recipient_name: detachable STRING_8
	Tag: IMMUTABLE_STRING_32
	trace: detachable STRING_32
	type_name: detachable STRING_8

Commands
	raise
	set_description (a_description: detachable READABLE_STRING_GENERAL)

Generated by ISE EiffelStudio