indexing
	description: "SToraGe MOVE flags"
	status: "See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"

class interface
	ECOM_STGMOVE

feature -- Access

	is_valid_stgmove (stgmove: INTEGER): BOOLEAN
			-- Is stgmove a valid storage move flag?

	stgmove_copy: INTEGER
			-- Carry out the first part of the move operation but do
			-- not remove the original element.

	stgmove_move: INTEGER
			-- Carry out the move operation, as expected.
	
invariant

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

end -- class ECOM_STGMOVE