    class
    	EV_CHARACTER_FORMAT_EFFECTS

    General
    	cluster: interface
    	description: "Objects that represent effects applicable to EiffelVision2 character formats."

    Ancestors
    	ANY

    Queries
    	is_equal (other: [like Current] EV_CHARACTER_FORMAT_EFFECTS): BOOLEAN
    	is_striked_out: BOOLEAN
    	is_underlined: BOOLEAN
    	vertical_offset: INTEGER_32

    Commands
    	disable_striked_out
    	disable_underlined
    	enable_striked_out
    	enable_underlined
    	set_vertical_offset (an_offset: INTEGER_32)