indexing
	description: "Stat flags, used in feature `stat' of EOLE_STREAM"
	status: "See notice at end of class"
	date: "$Date$"
	revision: "$Revision$"

class interface
	ECOM_STAT_FLAGS

feature -- Access

	is_valid_stat_flag (flag: INTEGER): BOOLEAN
			-- Is flag a valid stat flag?

	statflag_default: INTEGER
			-- Indicate that this is not used for property

	statflag_noname: INTEGER
			-- Indicate that this is not used for property
	
invariant

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

end -- class ECOM_STAT_FLAGS