class interface RGB_PALETTE_COLOR

creation
   white

   black

   dark_red

   dark_green

   dark_yellow

   dark_blue

   dark_magenta

   dark_cyan

   money_green

   sky_blue

   cream

   light_gray

   light_grey

   medium_gray

   medium_grey

   dark_gray

   dark_grey

   normal_red

   normal_green

   normal_blue

   yellow

   magenta

   cyan

   rgb (r, g, b: INTEGER)
      --  Set RGB colour components. On palletised displays, the colour will be 
      --  dithered from the standard colours above (e.g. from 20 colours, even on 
      --  a 256 colour palettised display). On the other hand, the colour will not 
      --  change when the palette is changed. To use a wider range of colours a 
      --  palette must be used in association with RGB_PALETTE_COLOR.

      require
         valid_values: valid_rgb(r,g,b)
      ensure
         done: red = r and green = g and blue = b

   from_string (str: STRING)
      --  Init object from string.

      require
         valid: str /= Void
      ensure
         done:  --  success implies to_string.is_equal(str)

feature(s) from P_TEXT_OBJECT
   --  Public interface

   to_string: STRING
      ensure
         is_copy: Result /= Void

   from_string (str: STRING)
      --  Init object from string.

      require
         valid: str /= Void
      ensure
         done:  --  success implies to_string.is_equal(str)

feature(s) from RGB_COLOR
   --  Standard colours. Always available (even when palette changed).

   white

   black

   dark_red

   dark_green

   dark_yellow

   dark_blue

   dark_magenta

   dark_cyan

   light_gray

   light_grey

   money_green

   sky_blue

   cream

   medium_gray

   medium_grey

   dark_gray

   dark_grey

   normal_red

   normal_green

   yellow

   normal_blue

   magenta

   cyan

feature(s) from RGB_COLOR
   --  RGB

   valid_rgb (r, g, b: INTEGER): BOOLEAN
      --  Valid rgb values within [0-255].


   rgb (r, g, b: INTEGER)
      --  Set RGB colour components. On palletised displays, the colour will be 
      --  dithered from the standard colours above (e.g. from 20 colours, even on 
      --  a 256 colour palettised display). On the other hand, the colour will not 
      --  change when the palette is changed. To use a wider range of colours a 
      --  palette must be used in association with RGB_PALETTE_COLOR.

      require
         valid_values: valid_rgb(r,g,b)
      ensure
         done: red = r and green = g and blue = b

feature(s) from RGB_COLOR
   --  RGB Components

   red: INTEGER

feature(s) from RGB_COLOR
   --  RGB Components

   green: INTEGER

feature(s) from RGB_COLOR
   --  RGB Components

   blue: INTEGER

invariant
   valid_rgb: valid_rgb(red,green,blue);

end of RGB_PALETTE_COLOR