note description: "[ Exception representing an precondition 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 PRECONDITION_VIOLATION inherit ASSERTION_VIOLATION feature -- Access frozen code: INTEGER -- Exception code do Result := {EXCEP_CONST}.precondition end feature {NONE} -- Accesss frozen internal_meaning: STRING = "Precondition violated." end