Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_PARAGRAPH_CONSTANTS General cluster: interface description: "Constants for use by and with EV_PARAGRAPH_FORMAT and EV_PARAGRAPH_FORMAT_RANGE_INFORMATION" Ancestors ANY Queries Alignment: INTEGER_32 Alignment_center: INTEGER_32 Alignment_justified: INTEGER_32 Alignment_left: INTEGER_32 Alignment_right: INTEGER_32 Bottom_spacing: INTEGER_32 Left_margin: INTEGER_32 Right_margin: INTEGER_32 Top_spacing: INTEGER_32 valid_alignment (an_alignment: INTEGER_32): BOOLEAN valid_paragraph_flag (a_flag: INTEGER_32): BOOLEAN
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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