indexing
	description: "Data transactions"
	status: "See note at end of class"
	date: "$Date$"
	revision: "$Revision$"

deferred class interface
	TRANSACTION

feature -- Access

	source: DATA_RESOURCE
			-- Current source

	target: DATA_RESOURCE
			-- Current target
	
feature -- Measurement

	count: INTEGER
			-- Number of transactions
	
feature -- Status report

	error: BOOLEAN
			-- Has an error occurred in current transaction?

	is_correct: BOOLEAN
			-- Is transaction set up correctly?

	succeeded: BOOLEAN
			-- Has the transaction succeeded?
	
feature -- Status setting

	reset_error
			-- Reset error flag.
	
feature -- Basic operations

	execute
			-- Execute transaction.
		require
			correct_transaction: is_correct
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class TRANSACTION