class
	AUTOTEST_APP

inherit
	EL_CRC_32_AUTOTEST_APPLICATION [
		CLASS_FILE_NAME_NORMALIZER_TEST_SET,
		CLASS_RENAMING_TEST_SET,
		ZCODEC_GENERATOR_TEST_SET,
		EIFFEL_GREP_COMMAND_TEST_SET,
		EIFFEL_SOURCE_COMMAND_TEST_SET,
		FEATURE_EDITOR_COMMAND_TEST_SET,
		LIBRARY_MIGRATION_COMMAND_TEST_SET,
		LIBRARY_MIGRATION_CIRCULAR_COMMAND_TEST_SET,
		NOTE_EDITOR_TEST_SET,
		PYXIS_ECF_PARSER_TEST_SET,
		REPOSITORY_PUBLISHER_TEST_SET,
		REPOSITORY_SOURCE_LINK_EXPANDER_TEST_SET,
		PYXIS_EIFFEL_CONFIG_TEST_SET,
		TRANSLATION_TREE_COMPILER_TEST_SET,
		UNDEFINE_PATTERN_COUNTER_TEST_SET,
		UPGRADE_DEFAULT_POINTER_SYNTAX_TEST_SET
	]
		redefine
			new_log_filter_set, visible_types
		end

create
	make

feature {NONE} -- Implementation

	new_log_filter_set: EL_LOG_FILTER_SET [TUPLE]
			--
		do
			Result := Precursor
			Result.show_all ({EIFFEL_CONFIGURATION_FILE})
			Result.show_all ({EIFFEL_CONFIGURATION_INDEX_PAGE})
		end

	visible_types: TUPLE [
		EIFFEL_GREP_COMMAND,
		FEATURE_EDITOR_COMMAND,
		PYXIS_TRANSLATION_TREE_COMPILER,
		REPOSITORY_TEST_PUBLISHER,
		UNDEFINE_PATTERN_COUNTER_COMMAND,
		ZCODEC_GENERATOR_TEST_SET
	]
		do
			create Result
		end

end