Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_PARAGRAPH_FORMAT_RANGE_INFORMATION General cluster: interface description: "Objects that provide information for a range of lines 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_PARAGRAPH_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_PARAGRAPH_CONSTANTS Queries alignment: BOOLEAN Alignment_center: INTEGER_32 Alignment_flag: INTEGER_32 Alignment_justified: INTEGER_32 Alignment_left: INTEGER_32 Alignment_right: INTEGER_32 bottom_spacing: BOOLEAN Bottom_spacing_flag: INTEGER_32 left_margin: BOOLEAN Left_margin_flag: INTEGER_32 right_margin: BOOLEAN Right_margin_flag: INTEGER_32 top_spacing: BOOLEAN Top_spacing_flag: INTEGER_32 valid_alignment (an_alignment: INTEGER_32): BOOLEAN valid_paragraph_flag (a_flag: INTEGER_32): BOOLEAN Commands make_with_flags (flags: INTEGER_32)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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