    class
    	EV_COLOR

    General
    	cluster: interface
    	description: "Color modeled as red, green, blue intensitieseach with range [0,1]."
    	keywords: "color, pixel, rgb, 8, 16, 24"
    	create: make_with_rgb, make_with_8_bit_rgb, default_create

    Ancestors
    	EV_ANY*
    	HASHABLE*

    Queries
    	blue: REAL_32
    	blue_16_bit: INTEGER_32
    	blue_8_bit: INTEGER_32
    	data: 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] 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