Automatic generation produced by ISE Eiffel
class EDITOR_FONT General cluster: text_window description: "Objects that ..." create: default_create, make_with_values, make_with_font Ancestors EV_FONT Queries ascent: INTEGER_32 char_set: INTEGER_32 data: ANY descent: INTEGER_32 family: INTEGER_32 Family_modern: INTEGER_32 Family_roman: INTEGER_32 Family_sans: INTEGER_32 Family_screen: INTEGER_32 Family_typewriter: INTEGER_32 height: INTEGER_32 height_in_points: INTEGER_32 horizontal_resolution: INTEGER_32 is_destroyed: BOOLEAN is_equal (other: [like Current] EDITOR_FONT): BOOLEAN is_proportional: BOOLEAN line_height: INTEGER_32 maximum_width: INTEGER_32 minimum_width: INTEGER_32 name: STRING_32 preferred_families: EV_ACTIVE_LIST [STRING_32] shape: INTEGER_32 Shape_italic: INTEGER_32 Shape_regular: INTEGER_32 string_size (a_string: READABLE_STRING_GENERAL): TUPLE [INTEGER_32, INTEGER_32, INTEGER_32, INTEGER_32] string_width (a_string: STRING_8): INTEGER_32 valid_family (a_family: INTEGER_32): BOOLEAN valid_shape (a_shape: INTEGER_32): BOOLEAN valid_weight (a_weight: INTEGER_32): BOOLEAN vertical_resolution: INTEGER_32 weight: INTEGER_32 Weight_black: INTEGER_32 Weight_bold: INTEGER_32 Weight_regular: INTEGER_32 Weight_thin: INTEGER_32 width: INTEGER_32 Commands copy (other: [like Current] EDITOR_FONT) destroy set_data (some_data: [like data] ANY) set_family (a_family: INTEGER_32) set_height (a_height: INTEGER_32) set_height_in_points (a_height: INTEGER_32) set_shape (a_shape: INTEGER_32) set_weight (a_weight: INTEGER_32) -- Generated by Eiffel Studio --
For more details: eiffel.org