note
	description: "[
		Constants for use with and by EV_CHARACTER_FORMAT and
		EV_CHARACTER_RANGE_INFORMATION
		]"
	legal: "See notice at end of class."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class
	EV_CHARACTER_FORMAT_CONSTANTS

feature -- Access

	Font_family: INTEGER = 1
		-- Font family applicable.
		
	Font_weight: INTEGER = 2
		-- Font weight applicable.
		
	Font_shape: INTEGER = 4
		-- Font shape applicable.
		
	Font_height: INTEGER = 8
		-- Font height applicable.
		
	Color: INTEGER = 16
		-- Color applicable.
		
	Background_color: INTEGER = 32
		-- Background color applicable.
		
	Effects_striked_out: INTEGER = 64
		-- Effects striked out valid.
		
	Effects_underlined: INTEGER = 128
		-- Effects underlined valid.
		
	Effects_vertical_offset: INTEGER = 256
		-- Effects vertical offset valid.

feature -- Contract support

	valid_character_format_flag (a_flag: INTEGER): BOOLEAN
			-- Is `a_flag' a valid character format flag?
			-- Used by EV_CHARACTER_FORMAT_RANGE_INFORMATION
			-- May be any combination of the attribute flags above, except that
			-- `Effects_underlined' and `Effects_double_underlined are mutually exclusive
		do
			Result := a_flag <= font_family  + font_weight + font_shape + font_height + color + background_color +
				effects_striked_out + effects_underlined  + effects_vertical_offset
		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 EV_CHARACTER_FORMAT_CONSTANTS