indexing
description: "Describes a color consisting of relative intensities of red, green, and blue."
status: "See notice at end of class."
date: "$Date$"
revision: "$Revision$"
class interface
WEL_RGB_QUAD
create
make
ensure
red_set: red = 0
green_set: green = 0
blue_set: blue = 0
reserved_set: reserved = 0
make_by_pointer (a_pointer: POINTER)
itema_pointer
item
a_pointer
WEL_ANY
ensure WEL_ANY
item_set: item = a_pointer
shared: shared
feature
blue: INTEGER
green: INTEGER
item: POINTER
WEL_ANY
red: INTEGER
reserved: INTEGER
feature
structure_size: INTEGER
ensure WEL_STRUCTURE
positive_result: Result > 0
feature
exists: BOOLEAN
item
WEL_ANY
ensure WEL_ANY
Result = (item /= default_pointer)
shared: BOOLEAN
item
item
destroy_item
item
WEL_ANY
feature
set_shared
shared
WEL_ANY
ensure WEL_ANY
shared: shared
set_unshared
shared
WEL_ANY
ensure WEL_ANY
unshared: not shared
feature
set_blue (a_blue: INTEGER)
bluea_blue
ensure
blue_set: blue = a_blue
set_green (a_green: INTEGER)
greena_green
ensure
green_set: green = a_green
set_item (an_item: POINTER)
iteman_item
WEL_ANY
ensure WEL_ANY
item_set: item = an_item
set_red (a_red: INTEGER)
reda_red
ensure
red_set: red = a_red
set_reserved (a_reserved: INTEGER)
reserveda_reserved
ensure
reserved_set: reserved = a_reserved
feature
dispose
Current
Current
WEL_ANY
feature
to_integer: INTEGER
item
WEL_ANY
ensure WEL_ANY
Result = cwel_pointer_to_integer (item)
feature
initialize
WEL_STRUCTURE
require WEL_STRUCTURE
exists: exists
initialize_with_character (a_character: CHARACTER)
a_character
WEL_STRUCTURE
require WEL_STRUCTURE
exists: exists
memory_copy (source_pointer: POINTER; length: INTEGER)
lengthsource_pointeritem
WEL_STRUCTURE
require WEL_STRUCTURE
length_small_enough: length <= structure_size
length_large_enough: length > 0
exists: exists
invariant
ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)
end -- WEL_RGB_QUAD