Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class EV_PARAGRAPH_FORMAT_I General cluster: implementation_interface description: "Implementation interface for objects that represent paragraph formatting information." Ancestors EV_ANY_I* Queries alignment: INTEGER_32 bottom_spacing: INTEGER_32 is_destroyed: BOOLEAN left_margin: INTEGER_32 right_margin: INTEGER_32 top_spacing: INTEGER_32 Commands set_alignment (an_alignment: INTEGER_32) set_bottom_spacing (a_spacing: INTEGER_32) set_left_margin (a_margin: INTEGER_32) set_right_margin (a_margin: INTEGER_32) set_top_spacing (a_spacing: INTEGER_32)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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