deferred class
	EIFFEL_CLASS_SERIALIZEABLE

inherit
	EVC_SERIALIZEABLE
		rename
			output_path as html_output_path
		redefine
			serialize
		end

	EL_THREAD_ACCESS [CODEBASE_METRICS]

	EL_EIFFEL_KEYWORDS

	EL_MODULE_DIRECTORY; EL_MODULE_FILE; EL_MODULE_XML

	PUBLISHER_CONSTANTS; EL_ZSTRING_CONSTANTS; EL_CHARACTER_32_CONSTANTS

feature -- Status query

	notes_filled: BOOLEAN

feature -- Basic operations

	serialize
		do
			if not notes_filled then
				fill_notes
			end
			Precursor
		end

feature {NONE} -- Deferred

	fill_notes
		deferred
		end

feature {NONE} -- Constants

	Class_begin_strings: EL_ZSTRING_LIST
		once
			create Result.make (3)
			across Class_declaration_keywords as l_word loop
				Result.extend (new_line * 1 + l_word.item)
			end
		end

	Default_metrics: SPECIAL [INTEGER]
		-- metrics array in alphabetical order of name defined in class `EIFFEL_SOURCE_ANALYZER'
		local
			analyzer: EIFFEL_SOURCE_ANALYZER
		once
			create analyzer.make ("", Latin_1)
			create Result.make_filled (0, analyzer.Metric_count)
		end

	Default_class_use_set: EL_HASH_SET [IMMUTABLE_STRING_8]
		once ("PROCESS")
			create Result.make_equal (0)
		end

	Default_notes: EIFFEL_NOTES
		once
			create Result.make_default
		end

	Template: STRING = ""

end