indexing
	description: "Console fill attributes."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_FILL_ATTRIBUTES_CONSTANTS

feature -- Access

	background_blue: INTEGER
			-- Add blue to background

	background_green: INTEGER
			-- Add green to background

	background_intensity: INTEGER
			-- Increase console background intensity

	background_red: INTEGER
			-- Add red to background

	foreground_blue: INTEGER
			-- Add blue to foreground

	foreground_green: INTEGER
			-- Add green to foreground

	foreground_intensity: INTEGER
			-- Increase console foreground intensity

	foreground_red: INTEGER
			-- Add red to foreground

	is_valid_fill_attributes (an_integer: INTEGER): BOOLEAN
			-- Is an_integer a valid fill atrtibutes?
	
invariant

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

end -- class WEL_FILL_ATTRIBUTES_CONSTANTS