Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_REGION General cluster: interface description: "Used for defining a clip region in EV_DRAWABLE" create: default_create, make_with_rectangle Ancestors EV_ANY* Queries conjuncted alias "&" (a_region: EV_REGION): EV_REGION data: detachable ANY disjuncted alias "|" (a_region: EV_REGION): EV_REGION exclusive_or alias "xor" (a_region: EV_REGION): EV_REGION intersect alias "and" (a_region: EV_REGION): EV_REGION is_destroyed: BOOLEAN is_equal (other: [like Current] EV_REGION): BOOLEAN subtract alias "-" (a_region: EV_REGION): EV_REGION union alias "or" (a_region: EV_REGION): EV_REGION Commands copy (other: [like Current] EV_REGION) destroy offset (a_horizontal_offset, a_vertical_offset: INTEGER_32) set_data (some_data: [like data] detachable ANY) set_rectangle (a_rectangle: EV_RECTANGLE)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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