Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_FRAME_CONSTANTS General cluster: interface description: "Constants for use by and with EV_FRAME." keywords: "frame, bevel, outline, raised, lowered" Ancestors ANY Queries Ev_frame_etched_in: INTEGER_32 Ev_frame_etched_out: INTEGER_32 Ev_frame_lowered: INTEGER_32 Ev_frame_raised: INTEGER_32 valid_frame_border (a_code: INTEGER_32): BOOLEAN
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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