note
	description: "All the server used during an Eiffel compilation"
	legal: "See notice at end of class."
	status: "See notice at end of class.";
	date: "$Date$";
	revision: "$Revision$"

class
	SYSTEM_SERVER

inherit
	SHARED_TMP_SERVER

create
	make

feature -- Initialization

	make
			-- Create all the servers.
		do
			create classes.make
			create unref_classes.make (10)
			create server_controler.make
			create feature_server.make
			create body_server
			create byte_server.make
			create ast_server.make
			create class_info_server
			create inv_ast_server.make
			create inv_byte_server.make
			create depend_server.make
			create creation_server.make
			create m_feat_tbl_server.make
			create m_feature_server.make
			create m_desc_server.make
			create match_list_server.make
		end

feature -- Purge of compilation files

	prepare_before_saving (normal_compilation: BOOLEAN)
		local
			i, nb: INTEGER
		do
				-- Purges server files only if it is not a precompilation.
			if normal_compilation then
				server_controler.remove_useless_files
			end
			depend_server.cache.wipe_out
			creation_server.cache.wipe_out
			inv_byte_server.cache.wipe_out
			byte_server.cache.wipe_out
			ast_server.cache.wipe_out
			m_feat_tbl_server.cache.wipe_out
			m_feature_server.cache.wipe_out
			m_desc_server.cache.wipe_out

			--| Wipe out all cache information.
			feature_server.cache.wipe_out

				-- Remove all FEATURE_I's from memory.
			nb := classes.count
			i := 0
			across
				classes as l_classes
			until
				i > nb
			loop
				if attached l_classes.item as l_class and then attached l_class.feature_table as l_table then
					l_table.cleanup_for_saving
					i := i + 1
				end
			end
		end

feature -- Access

	classes: CLASS_C_SERVER;
			-- Server for compiled classes
			--| Reminder: This is not a real server

	server_controler: SERVER_CONTROL;
			-- Controler of servers

	feature_server: FEATURE_SERVER
			-- Server for features

	body_server: BODY_SERVER;
			-- Server for instances of EIFFEL_FEAT

	ast_server: AST_SERVER;
			-- Server for abstract syntax trees

	byte_server: BYTE_SERVER;
			-- Server for byte code trees

	class_info_server: CLASS_INFO_SERVER;
			-- Server for class information produced bu first pass

	inv_ast_server: INV_AST_SERVER;
			-- Server for abstract syntax description of invariant clause

	inv_byte_server: INV_BYTE_SERVER;
			-- Server for invariant byte code

	depend_server: DEPEND_SERVER;
			-- Server for dependances for incremental type check

	creation_server: CREATION_SERVER
			-- Server for creation procedure checks.

	m_feat_tbl_server: M_FEAT_TBL_SERVER;
			-- Server of byte code description of melted feature tables

	m_feature_server: M_FEATURE_SERVER;
			-- Server of melted feature byte code

	m_desc_server: M_DESC_SERVER;
			-- Server for class type descriptors

	match_list_server: MATCH_LIST_SERVER
			-- Server for match lists

feature {NONE} -- Private access

	unref_classes: ARRAYED_LIST [CLASS_I]
			-- Place holder to keep a class alive although class
			-- is not directly referenced by System. Classes have
			-- been added by one of the compiler tool provider.

invariant
	classes_not_void: classes /= Void
	unref_classes_not_void: unref_classes /= Void
	server_controler_not_void: server_controler /= Void
	body_server_not_void: body_server /= Void
	byte_server_not_void: byte_server /= Void
	ast_server_not_void: ast_server /= Void
	class_info_server_not_void: class_info_server /= Void
	inv_ast_server_not_void: inv_ast_server /= Void
	inv_byte_server_not_void: inv_byte_server /= Void
	depend_server_not_void: depend_server /= Void
	creation_server_not_void: creation_server /= Void
	m_feat_tbl_server_not_void: m_feat_tbl_server /= Void
	m_feature_server_not_void: m_feature_server /= Void
	m_desc_server_not_void: m_desc_server /= Void
	match_list_server_not_void: match_list_server /= Void

note
	copyright:	"Copyright (c) 1984-2014, Eiffel Software"
	license:	"GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
	licensing_options:	"http://www.eiffel.com/licensing"
	copying: "[
			This file is part of Eiffel Software's Eiffel Development Environment.
			
			Eiffel Software's Eiffel Development Environment is free
			software; you can redistribute it and/or modify it under
			the terms of the GNU General Public License as published
			by the Free Software Foundation, version 2 of the License
			(available at the URL listed under "license" above).
			
			Eiffel Software's Eiffel Development Environment is
			distributed in the hope that it will be useful, but
			WITHOUT ANY WARRANTY; without even the implied warranty
			of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
			See the GNU General Public License for more details.
			
			You should have received a copy of the GNU General Public
			License along with Eiffel Software's Eiffel Development
			Environment; if not, write to the Free Software Foundation,
			Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
		]"
	source: "[
			Eiffel Software
			5949 Hollister Ave., Goleta, CA 93117 USA
			Telephone 805-685-1006, Fax 805-685-6869
			Website http://www.eiffel.com
			Customer support http://support.eiffel.com
		]"

end -- class SYSTEM_SERVER