Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_IDENTIFIED_PIXMAP General cluster: interface description: "Objects that is a pixmap with an id." create: make_with_id Ancestors ANY Queries id: INTEGER_32 pixmap: EV_PIXMAP Constraints pixmap not void id positive
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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