indexing

	description: 
		"Error when an access to Result is invalid: %
		%invariant or procedure.";
	date: "$Date$";
	revision: "$Revision $"

class VRLE3 obsolete "NOT IN THE BOOK"

inherit
	
	FEATURE_ERROR
		redefine
			subcode
		end;

feature -- Property

	code: STRING is "VEEN";
			-- Error code

	subcode: INTEGER is 2;

end -- class VRLE3