indexing
	description: "Shared access to counters."
	date: "$Date$"
	revision: "$Date$"
	
class
	SHARED_COUNTER

inherit
	SHARED_WORKBENCH

feature -- Counters

	Class_counter: CLASS_COUNTER is
			-- Counter of classes
		once
			Result := System.class_counter
		end

	Routine_id_counter: ROUTINE_COUNTER is
			-- Counter for routine ids
		once
			Result := System.routine_id_counter
		end
	
	Static_type_id_counter: TYPE_COUNTER is
			-- Counter of instances of CLASS_TYPE
		once
			Result := System.static_type_id_counter
		end

	Body_index_counter: BODY_INDEX_COUNTER is
			-- Body index counter
		once
			Result := System.body_index_counter
		end

	Real_body_id_counter: REAL_BODY_ID_COUNTER is
			-- Counter for real body id
		once
			Result := System.execution_table.counter
		end

	Invalid_index: INTEGER is 0xFFFFFFFF
			-- Invalid real body index used to mark
			-- empty invariants (max BODY_INDEX)

end -- class SHARED_COUNTER