indexing
	description: "Definition of the sixteen standard pens."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_STANDARD_PENS

feature -- Access

	black_pen: WEL_PEN
			-- Black pen
		ensure
			result_not_void: Result /= void

	blue_pen: WEL_PEN
			-- Blue pen
		ensure
			result_not_void: Result /= void

	cyan_pen: WEL_PEN
			-- Cyan pen
		ensure
			result_not_void: Result /= void

	dark_blue_pen: WEL_PEN
			-- Dark blue pen
		ensure
			result_not_void: Result /= void

	dark_cyan_pen: WEL_PEN
			-- Dark cyan pen
		ensure
			result_not_void: Result /= void

	dark_green_pen: WEL_PEN
			-- Dark green pen
		ensure
			result_not_void: Result /= void

	dark_grey_pen: WEL_PEN
			-- Dark grey pen
		ensure
			result_not_void: Result /= void

	dark_magenta_pen: WEL_PEN
			-- Dark magenta pen
		ensure
			result_not_void: Result /= void

	dark_red_pen: WEL_PEN
			-- Dark red pen
		ensure
			result_not_void: Result /= void

	dark_yellow_pen: WEL_PEN
			-- Dark yellow pen
		ensure
			result_not_void: Result /= void

	green_pen: WEL_PEN
			-- Green pen
		ensure
			result_not_void: Result /= void

	grey_pen: WEL_PEN
			-- Grey pen
		ensure
			result_not_void: Result /= void

	magenta_pen: WEL_PEN
			-- Magenta pen
		ensure
			result_not_void: Result /= void

	red_pen: WEL_PEN
			-- Red pen
		ensure
			result_not_void: Result /= void

	white_pen: WEL_PEN
			-- White pen
		ensure
			result_not_void: Result /= void

	yellow_pen: WEL_PEN
			-- Yellow pen
		ensure
			result_not_void: Result /= void
	
invariant

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

end -- class WEL_STANDARD_PENS