module Color; --export *; object Color components: RedIntensity and GreenIntensity and BlueIntensity; description: (* A Color is represented using the standard RGB notation, i.e, with integer intensity values for the red, green, and blue color components. *); end Color; object RedIntensity is integer description: (* RedIntensity is the intensity value for the red component of an RGB color. The size of the integer is platform-dependent, based on the number of binary bits available for color representation. Typical values are 8-bit, 16-bit, and 32-bit color. *); end; object GreenIntensity is integer description: (* GreenIntensity is the intensity value for the green component of an RGB color. See also RedIntensity. *); end GreenIntensity; object BlueIntensity is integer description: (* GreenIntensity is the intensity value for the blue component of an RGB color. See also RedIntensity. *); end BlueIntensity; end Color;