indexing description: "Error when there is an addtional invalid selection."; date: "$Date$"; revision: "$Revision $" class VMRC inherit EIFFEL_ERROR feature -- Propertie code: STRING is "VMRC"; -- Error code end -- class VMRC