note description: "[ Loop variant violation ]" library: "Free implementation of ELKS library" copyright: "Copyright (c) 1986-2006, Eiffel Software and others" license: "Eiffel Forum License v2 (see forum.txt)" date: "$Date$" revision: "$Revision$" class VARIANT_VIOLATION inherit ASSERTION_VIOLATION feature -- Access frozen code: INTEGER -- Exception code do Result := {EXCEP_CONST}.loop_variant end feature {NONE} -- Accesss frozen internal_meaning: STRING = "Non-decreasing loop variant or negative value reached." end