Automatic generation produced by ISE Eiffel
class EV_CHARACTER_FORMAT_CONSTANTS General cluster: interface description: "Constants for use with and by EV_CHARACTER_FORMAT and EV_CHARACTER_RANGE_INFORMATION" Ancestors ANY Queries Background_color: INTEGER_32 Color: INTEGER_32 Effects_striked_out: INTEGER_32 Effects_underlined: INTEGER_32 Effects_vertical_offset: INTEGER_32 Font_family: INTEGER_32 Font_height: INTEGER_32 Font_shape: INTEGER_32 Font_weight: INTEGER_32 valid_character_format_flag (a_flag: INTEGER_32): BOOLEAN -- Generated by Eiffel Studio --
For more details: eiffel.org