indexing
	description: "Server for abstract syntax description of invariant indexed by class id."
	date: "$Date$"
	revision: "$Revision$"

class
	INV_AST_SERVER 

inherit
	READ_SERVER [INVARIANT_AS]
		rename
			ast_server as offsets
		export
			{ANY} merge
		redefine
			has, item
		end

create
	make

feature 

	cache: INV_AST_CACHE is
			-- Cache for routine tables
		once
			create Result.make
		end
		
	has (an_id: INTEGER): BOOLEAN is
			-- Is the id `an_id' present either in Current or in
			-- `Tmp_inv_ast_server' ?
		do
			Result := Tmp_inv_ast_server.has (an_id) or else server_has (an_id);
		end;

	item (an_id: INTEGER): INVARIANT_AS is
			-- Invariant of class of id `an_id'. Look for it first in
			-- the associated temporary server
	   do
			if Tmp_inv_ast_server.has (an_id) then
				Result := Tmp_inv_ast_server.item (an_id);
			else
				Result := server_item (an_id);
			end;
		ensure then
			Result_exists: Result /= Void
		end;

end