Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_FONT_I General cluster: implementation_interface description: "Eiffel Vision font. Implementation interface." keywords: "character, face, height, family, weight, shape, bold, italic" Ancestors EV_ANY_I* EV_FONT_CONSTANTS Queries ascent: INTEGER_32 char_set: INTEGER_32 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_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: READABLE_STRING_GENERAL): 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 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_values (a_family, a_weight, a_shape, a_height: INTEGER_32; a_preferred_families: [like preferred_families] EV_ACTIVE_LIST [STRING_32]) set_weight (a_weight: INTEGER_32) Constraints family valid weight valid shape valid height bigger than zero ascent not negative descent not negative width of empty string equals zero
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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