Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	EV_CHARACTER_FORMAT_EFFECTS

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

Ancestors
	ANY

Queries
	is_in_default_state: 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)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org