indexing
	description: "Error for violation of the constrained genericity %
				%rule by a parent type."
	date: "$Date$"
	revision: "$Revision $"

class
	VTCG5

inherit
	EIFFEL_ERROR
		redefine
			build_explain
		end

feature -- Properties

	actual_type: TYPE_A

	c_type: TYPE_A

	code: STRING is "VTCG"
			-- Error code

feature -- Output

	build_explain (st: STRUCTURED_TEXT) is
			-- Build specific explanation explain for current error
			-- in `st'.
		do
			st.add_string ("In constraint genericity clause")
			st.add_new_line
			st.add_string ("Actual type: ")
			actual_type.append_to (st)
			st.add_new_line
			st.add_string ("Type to which it should conform: ")
			c_type.append_to (st)
			st.add_new_line
		end

feature {COMPILER_EXPORTER} -- Setting

	set_actual_type (a_type: TYPE_A) is
		do
			actual_type := a_type
		end

	set_constraint_type (a_type: TYPE_A) is
		do
			c_type := a_type
		end

end -- class VTCG5