Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_COLOR General cluster: interface description: "Color modeled as red, green, blue intensities each with range [0,1]." keywords: "color, pixel, rgb, 8, 16, 24" create: default_create, make_with_8_bit_rgb, make_with_rgb Ancestors EV_ANY* HASHABLE* Queries blue: REAL_32 blue_16_bit: INTEGER_32 blue_8_bit: INTEGER_32 data: detachable ANY green: REAL_32 green_16_bit: INTEGER_32 green_8_bit: INTEGER_32 hash_code: INTEGER_32 hue: REAL_32 is_destroyed: BOOLEAN is_equal (other: [like Current] EV_COLOR): BOOLEAN is_hashable: BOOLEAN lightness: REAL_32 Max_16_bit: INTEGER_32 Max_24_bit: INTEGER_32 Max_8_bit: INTEGER_32 out: STRING_8 red: REAL_32 red_16_bit: INTEGER_32 red_8_bit: INTEGER_32 rgb_24_bit: INTEGER_32 saturation: REAL_32 Commands copy (other: [like Current] EV_COLOR) destroy set_blue (a_blue: REAL_32) set_blue_with_16_bit (a_16_bit_blue: INTEGER_32) set_blue_with_8_bit (an_8_bit_blue: INTEGER_32) set_data (some_data: [like data] detachable ANY) set_green (a_green: REAL_32) set_green_with_16_bit (a_16_bit_green: INTEGER_32) set_green_with_8_bit (an_8_bit_green: INTEGER_32) set_red (a_red: REAL_32) set_red_with_16_bit (a_16_bit_red: INTEGER_32) set_red_with_8_bit (an_8_bit_red: INTEGER_32) set_rgb (a_red, a_green, a_blue: REAL_32) set_rgb_with_16_bit (a_16_bit_red, a_16_bit_green, a_16_bit_blue: INTEGER_32) set_rgb_with_24_bit (a_24_bit_rgb: INTEGER_32) set_rgb_with_8_bit (an_8_bit_red, an_8_bit_green, an_8_bit_blue: INTEGER_32) Constraints red within range green within range blue within range red 8 bit within range green 8 bit within range blue 8 bit within range red 16 bit within range green 16 bit within range blue 16 bit within range rgb 24 bit within range red 16 bit conversion red 8 bit conversion green 16 bit conversion green 8 bit conversion blue 16 bit conversion blue 8 bit conversion
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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