    class
    	EV_CHARACTER_FORMAT_RANGE_INFORMATION

    General
    	cluster: interface
    	description:
    		"Objects that provide information for a range of characters in an EV_RICH_TEXT.
    		Depending on the query applied to `Current', the values of all attributes are used in different
    		fashions, sometimes to indicate which fields of an EV_CHARACTER_FORMAT are valid, or have a particular
    		property. The applicable features in EV_RICH_TEXT which use `Current' provide full descriptions."
    	create: make_with_flags

    Ancestors
    	ANY
    	EV_CHARACTER_FORMAT_CONSTANTS

    Queries
    	background_color: BOOLEAN
    	color: BOOLEAN
    	effects_striked_out: BOOLEAN
    	effects_underlined: BOOLEAN
    	effects_vertical_offset: BOOLEAN
    	font_family: BOOLEAN
    	font_height: BOOLEAN
    	font_shape: BOOLEAN
    	font_weight: BOOLEAN
    	valid_character_format_flag (a_flag: INTEGER_32): BOOLEAN

    Commands
    	make_with_flags (flags: INTEGER_32)