color_table.e

   1 deferred class COLOR_TABLE
   2 feature
   3     black : COLOR is
   4     once
   5         !!Result.make(0, 0, 0)
   6     end
   7
   8     white : COLOR is
   9     once
  10         !!Result.make(255, 255, 255)
  11     end
  12
  13     darkred : COLOR is
  14     once
  15         !!Result.make(127, 0, 0)
  16     end
  17
  18     red : COLOR is
  19     once
  20         !!Result.make(255, 0, 0)
  21     end
  22
  23     cyan : COLOR is
  24     once
  25         !!Result.make(0, 255, 255)
  26     end
  27
  28     yellow : COLOR is
  29     once
  30         !!Result.make(255, 255, 0)
  31     end
  32
  33     purple : COLOR is
  34     once
  35         !!Result.make(255, 0, 255)
  36     end
  37
  38     blue : COLOR is
  39     once
  40         !!Result.make(0, 0, 255)
  41     end
  42
  43     green : COLOR is
  44     once
  45         !!Result.make(0, 255, 0)
  46     end
  47
  48     darkpurple : COLOR is
  49     once
  50         !!Result.make(127, 0, 127)
  51     end
  52 end