Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_PARAGRAPH_FORMAT General cluster: interface description: "Objects that represent paragraph formatting information." Ancestors EV_ANY* Queries alignment: INTEGER_32 bottom_spacing: INTEGER_32 data: detachable ANY is_center_aligned: BOOLEAN is_destroyed: BOOLEAN is_justified: BOOLEAN is_left_aligned: BOOLEAN is_right_aligned: BOOLEAN left_margin: INTEGER_32 right_margin: INTEGER_32 top_spacing: INTEGER_32 valid_alignment (an_alignment: INTEGER_32): BOOLEAN Commands destroy enable_center_alignment enable_justification enable_left_alignment enable_right_alignment set_alignment (an_alignment: INTEGER_32) set_bottom_spacing (a_spacing: INTEGER_32) set_data (some_data: [like data] detachable ANY) set_left_margin (a_margin: INTEGER_32) set_right_margin (a_margin: INTEGER_32) set_top_spacing (a_spacing: INTEGER_32) Constraints valid alignment
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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