note description: "Definition of the sixteen standard colors." legal: "See notice at end of class." status: "See notice at end of class." date: "$Date$" revision: "$Revision$" class WEL_STANDARD_COLORS feature -- Access White: WEL_COLOR_REF -- White color once create Result.make_rgb (255, 255, 255) ensure result_not_void: Result /= Void end Black: WEL_COLOR_REF -- Black color once create Result.make_rgb (0, 0, 0) ensure result_not_void: Result /= Void end Grey, Gray: WEL_COLOR_REF -- Grey color once create Result.make_rgb (192, 192, 192) ensure result_not_void: Result /= Void end Dark_grey, Dark_gray: WEL_COLOR_REF -- Dark grey color once create Result.make_rgb (128, 128, 128) ensure result_not_void: Result /= Void end Blue: WEL_COLOR_REF -- Blue color once create Result.make_rgb (0, 0, 255) ensure result_not_void: Result /= Void end Dark_blue: WEL_COLOR_REF -- Dark blue color once create Result.make_rgb (0, 0, 128) ensure result_not_void: Result /= Void end Cyan: WEL_COLOR_REF -- Cyan color once create Result.make_rgb (0, 255, 255) ensure result_not_void: Result /= Void end Dark_cyan: WEL_COLOR_REF -- Dark cyan color once create Result.make_rgb (0, 128, 128) ensure result_not_void: Result /= Void end Green: WEL_COLOR_REF -- Green color once create Result.make_rgb (0, 255, 0) ensure result_not_void: Result /= Void end Dark_green: WEL_COLOR_REF -- Dark green color once create Result.make_rgb (0, 128, 0) ensure result_not_void: Result /= Void end Yellow: WEL_COLOR_REF -- Yellow color once create Result.make_rgb (255, 255, 0) ensure result_not_void: Result /= Void end Dark_yellow: WEL_COLOR_REF -- Dark yellow color once create Result.make_rgb (128, 128, 0) ensure result_not_void: Result /= Void end Red: WEL_COLOR_REF -- Red color once create Result.make_rgb (255, 0, 0) ensure result_not_void: Result /= Void end Dark_red: WEL_COLOR_REF -- Dark red color once create Result.make_rgb (128, 0, 0) ensure result_not_void: Result /= Void end Magenta: WEL_COLOR_REF -- Magenta color once create Result.make_rgb (255, 0, 255) ensure result_not_void: Result /= Void end Dark_magenta: WEL_COLOR_REF -- Dark magenta color once create Result.make_rgb (128, 0, 128) ensure result_not_void: Result /= Void end note copyright: "Copyright (c) 1984-2006, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- class WEL_STANDARD_COLORS