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